ODTÜ FTP Hizmet Sayfası
Home
/
pub
/
mirrors
/
ftp.debian.org
/
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.4.3-1+b1_armel.deb
13.33MB
agda-bin_2.6.4.3-1+b1_i386.deb
14.06MB
agda-bin_2.6.4.3-1+b1_mips64el.deb
14.01MB
agda-bin_2.6.4.3-1_amd64.deb
9.40MB
agda-bin_2.6.4.3-1_arm64.deb
9.42MB
agda-bin_2.6.4.3-1_ppc64el.deb
9.02MB
agda-bin_2.6.4.3-1_riscv64.deb
12.49MB
agda-bin_2.6.4.3-1_s390x.deb
18.86MB
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.4.3-1.debian.tar.xz
10.21KB
agda_2.6.4.3-1.dsc
5.08KB
agda_2.6.4.3-1_all.deb
11.86KB
agda_2.6.4.3.orig.tar.gz
1.78MB
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.4.3-1_all.deb
50.11KB
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.4.3-1+b1_armel.deb
29.76MB
libghc-agda-dev_2.6.4.3-1+b1_i386.deb
35.63MB
libghc-agda-dev_2.6.4.3-1+b1_mips64el.deb
32.29MB
libghc-agda-dev_2.6.4.3-1_amd64.deb
21.79MB
libghc-agda-dev_2.6.4.3-1_arm64.deb
23.33MB
libghc-agda-dev_2.6.4.3-1_ppc64el.deb
29.08MB
libghc-agda-dev_2.6.4.3-1_riscv64.deb
39.73MB
libghc-agda-dev_2.6.4.3-1_s390x.deb
38.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.4.3-1_all.deb
7.14MB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}
