ODTÜ FTP Hizmet Sayfası
Home
/
debian
/
pool
/
main
/
a
/
agda
File
Size
..
-
agda-bin_2.5.4.1-3+b1_amd64.deb
5.60MB
agda-bin_2.5.4.1-3+b1_arm64.deb
6.47MB
agda-bin_2.5.4.1-3+b1_i386.deb
5.67MB
agda-bin_2.6.1-1+b2_amd64.deb
8.50MB
agda-bin_2.6.1-1+b2_arm64.deb
9.89MB
agda-bin_2.6.1-1+b2_i386.deb
8.55MB
agda-bin_2.6.1-1+b2_ppc64el.deb
11.75MB
agda-bin_2.6.1-1+b3_s390x.deb
22.73MB
agda-bin_2.6.2.2-1.1_amd64.deb
7.39MB
agda-bin_2.6.2.2-1.1_mips64el.deb
14.58MB
agda-bin_2.6.2.2-1.1_ppc64el.deb
10.12MB
agda-bin_2.6.2.2-1.1_s390x.deb
19.27MB
agda-bin_2.6.3-1+b1_i386.deb
14.66MB
agda-bin_2.6.3-1+b1_mips64el.deb
15.33MB
agda-bin_2.6.3-1+b1_s390x.deb
14.10MB
agda-bin_2.6.3-1+b2_arm64.deb
9.83MB
agda-bin_2.6.3-1+b2_riscv64.deb
10.94MB
agda-bin_2.6.3-1+b3_amd64.deb
9.78MB
agda-bin_2.6.3-1+b3_ppc64el.deb
10.90MB
agda-mode_2.5.4.1-3_all.deb
114.92KB
agda_2.5.4.1-3.debian.tar.xz
9.70KB
agda_2.5.4.1-3.dsc
3.78KB
agda_2.5.4.1-3_all.deb
115.34KB
agda_2.5.4.1.orig.tar.gz
1.90MB
agda_2.6.1-1.debian.tar.xz
9.82KB
agda_2.6.1-1.dsc
4.09KB
agda_2.6.1-1_all.deb
28.06KB
agda_2.6.1.orig.tar.gz
2.52MB
agda_2.6.2.2-1.1.debian.tar.xz
10.25KB
agda_2.6.2.2-1.1.dsc
4.32KB
agda_2.6.2.2-1.1_all.deb
12.02KB
agda_2.6.2.2.orig.tar.gz
1.61MB
agda_2.6.3-1.debian.tar.xz
11.33KB
agda_2.6.3-1.dsc
4.83KB
agda_2.6.3-1_all.deb
19.66KB
agda_2.6.3.orig.tar.gz
1.71MB
elpa-agda2-mode_2.5.4.1-3_all.deb
151.80KB
elpa-agda2-mode_2.6.1-1_all.deb
65.25KB
elpa-agda2-mode_2.6.2.2-1.1_all.deb
49.75KB
elpa-agda2-mode_2.6.3-1_all.deb
57.87KB
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb
16.38MB
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb
18.82MB
libghc-agda-dev_2.5.4.1-3+b1_i386.deb
16.02MB
libghc-agda-dev_2.6.1-1+b2_amd64.deb
36.19MB
libghc-agda-dev_2.6.1-1+b2_arm64.deb
42.74MB
libghc-agda-dev_2.6.1-1+b2_i386.deb
36.33MB
libghc-agda-dev_2.6.1-1+b2_ppc64el.deb
53.28MB
libghc-agda-dev_2.6.1-1+b3_s390x.deb
55.30MB
libghc-agda-dev_2.6.2.2-1.1_amd64.deb
23.70MB
libghc-agda-dev_2.6.2.2-1.1_mips64el.deb
34.79MB
libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb
34.53MB
libghc-agda-dev_2.6.2.2-1.1_s390x.deb
37.74MB
libghc-agda-dev_2.6.3-1+b1_i386.deb
37.50MB
libghc-agda-dev_2.6.3-1+b1_mips64el.deb
33.42MB
libghc-agda-dev_2.6.3-1+b1_s390x.deb
32.59MB
libghc-agda-dev_2.6.3-1+b2_arm64.deb
24.26MB
libghc-agda-dev_2.6.3-1+b2_riscv64.deb
37.04MB
libghc-agda-dev_2.6.3-1+b3_amd64.deb
22.56MB
libghc-agda-dev_2.6.3-1+b3_ppc64el.deb
32.61MB
libghc-agda-doc_2.5.4.1-3_all.deb
3.62MB
libghc-agda-doc_2.6.1-1_all.deb
5.53MB
libghc-agda-doc_2.6.2.2-1.1_all.deb
6.29MB
libghc-agda-doc_2.6.3-1_all.deb
6.64MB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}