ODTÜ FTP Hizmet Sayfası
Home
/
pub
/
mirrors
/
ftp.debian.org
/
debian
/
pool
/
main
/
a
/
agda-stdlib
File
Size
..
-
agda-stdlib-doc_0.17-1_all.deb
1.33MB
agda-stdlib-doc_1.3-2_all.deb
2.35MB
agda-stdlib-doc_1.7.1-1_all.deb
2.90MB
agda-stdlib-doc_2.1-3_all.deb
3.54MB
agda-stdlib_0.17-1.debian.tar.xz
5.19KB
agda-stdlib_0.17-1.dsc
2.18KB
agda-stdlib_0.17-1_all.deb
31.49MB
agda-stdlib_0.17.orig.tar.gz
388.02KB
agda-stdlib_1.3-2.debian.tar.xz
5.51KB
agda-stdlib_1.3-2.dsc
2.06KB
agda-stdlib_1.3-2_all.deb
69.84MB
agda-stdlib_1.3.orig.tar.gz
733.80KB
agda-stdlib_1.7.1-1.debian.tar.xz
5.53KB
agda-stdlib_1.7.1-1.dsc
2.11KB
agda-stdlib_1.7.1-1_all.deb
95.41MB
agda-stdlib_1.7.1.orig.tar.gz
918.10KB
agda-stdlib_2.1-3.debian.tar.xz
5.88KB
agda-stdlib_2.1-3.dsc
2.17KB
agda-stdlib_2.1-3_all.deb
133.25MB
agda-stdlib_2.1.orig.tar.gz
1.16MB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}
