Source package agda/2.6.4.3-1 in landing @ pureos

Filename	Size	Checksum (SHA256)
agda_2.6.4.3-1.dsc	5.2 kB	`2411cfccbb39ae0340e744dddb764f483a0176e1bfb8bff1eebbdfd619496437`
agda_2.6.4.3.orig.tar.gz	1.9 MB	`74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2`
agda_2.6.4.3-1.debian.tar.xz	10.5 kB	`634a7a27365d476ca2d9e4cf2254e76bf920dcee688b653eeb956cfdf3525ecd`

Filename

Size

Checksum (SHA256)

5.2 kB

2411cfccbb39ae0340e744dddb764f483a0176e1bfb8bff1eebbdfd619496437

1.9 MB

74edc96ec57d43bc148b329c02f6b06c3c3c16e8e40802e735570b1424df03a2

10.5 kB

634a7a27365d476ca2d9e4cf2254e76bf920dcee688b653eeb956cfdf3525ecd

agda - 2.6.4.3-1 main