Source package agda/2.6.3-1 in landing @ pureos

Filename	Size	Checksum (SHA256)
agda_2.6.3-1.dsc	4.9 kB	`37b477db081fcebf1080901703f2cf2d38dcbfe23986808bff1589f915477ec6`
agda_2.6.3.orig.tar.gz	1.8 MB	`beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016`
agda_2.6.3-1.debian.tar.xz	11.6 kB	`a295ed8cded8ced795c0c71abd7abc78446d94faca9c61177a00daa4ad1ed631`

Filename

Size

Checksum (SHA256)

4.9 kB

37b477db081fcebf1080901703f2cf2d38dcbfe23986808bff1589f915477ec6

1.8 MB

beacc9802c470e42bb0707f9ffe7db488a936c635407dada5d4db060b58d6016

11.6 kB

a295ed8cded8ced795c0c71abd7abc78446d94faca9c61177a00daa4ad1ed631

agda - 2.6.3-1 main