ODTÜ FTP Hizmet Sayfası
Home
/
pub
/
mirrors
/
ftp.debian.org
/
debian
/
pool
/
main
/
a
/
acl2
File
Size
..
-
acl2-books-certs_8.0dfsg-1_all.deb
69.91MB
acl2-books-certs_8.3dfsg-2_all.deb
138.65MB
acl2-books-certs_8.5dfsg-5_all.deb
170.11MB
acl2-books-certs_8.6+dfsg-2_all.deb
211.35MB
acl2-books-certs_8.6+dfsg-3_all.deb
211.65MB
acl2-books-source_8.0dfsg-1_all.deb
11.90MB
acl2-books-source_8.3dfsg-2_all.deb
18.63MB
acl2-books-source_8.5dfsg-5_all.deb
23.52MB
acl2-books-source_8.6+dfsg-2_all.deb
26.23MB
acl2-books-source_8.6+dfsg-3_all.deb
26.23MB
acl2-books_8.0dfsg-1_amd64.deb
131.56MB
acl2-books_8.0dfsg-1_arm64.deb
134.80MB
acl2-books_8.0dfsg-1_armhf.deb
119.56MB
acl2-books_8.0dfsg-1_i386.deb
110.62MB
acl2-books_8.3dfsg-2_amd64.deb
241.16MB
acl2-books_8.3dfsg-2_arm64.deb
236.00MB
acl2-books_8.3dfsg-2_armel.deb
218.37MB
acl2-books_8.3dfsg-2_armhf.deb
222.95MB
acl2-books_8.3dfsg-2_i386.deb
203.94MB
acl2-books_8.3dfsg-2_mips64el.deb
253.60MB
acl2-books_8.3dfsg-2_mipsel.deb
227.91MB
acl2-books_8.3dfsg-2_ppc64el.deb
244.75MB
acl2-books_8.3dfsg-2_s390x.deb
218.99MB
acl2-books_8.5dfsg-5_amd64.deb
286.96MB
acl2-books_8.5dfsg-5_arm64.deb
289.41MB
acl2-books_8.5dfsg-5_armel.deb
267.80MB
acl2-books_8.5dfsg-5_armhf.deb
271.70MB
acl2-books_8.5dfsg-5_i386.deb
247.58MB
acl2-books_8.5dfsg-5_mips64el.deb
309.47MB
acl2-books_8.5dfsg-5_mipsel.deb
284.55MB
acl2-books_8.5dfsg-5_ppc64el.deb
291.50MB
acl2-books_8.5dfsg-5_s390x.deb
267.37MB
acl2-books_8.6+dfsg-2_amd64.deb
415.56MB
acl2-books_8.6+dfsg-2_arm64.deb
412.49MB
acl2-books_8.6+dfsg-2_armel.deb
385.63MB
acl2-books_8.6+dfsg-2_armhf.deb
394.63MB
acl2-books_8.6+dfsg-2_i386.deb
344.28MB
acl2-books_8.6+dfsg-2_ppc64el.deb
429.78MB
acl2-books_8.6+dfsg-2_riscv64.deb
936.03MB
acl2-books_8.6+dfsg-2_s390x.deb
416.71MB
acl2-books_8.6+dfsg-3_amd64.deb
415.58MB
acl2-books_8.6+dfsg-3_arm64.deb
412.50MB
acl2-books_8.6+dfsg-3_armel.deb
385.80MB
acl2-books_8.6+dfsg-3_armhf.deb
394.66MB
acl2-books_8.6+dfsg-3_i386.deb
344.34MB
acl2-books_8.6+dfsg-3_mips64el.deb
440.68MB
acl2-books_8.6+dfsg-3_ppc64el.deb
429.85MB
acl2-books_8.6+dfsg-3_riscv64.deb
936.58MB
acl2-books_8.6+dfsg-3_s390x.deb
416.54MB
acl2-doc_8.0dfsg-1_all.deb
392.11KB
acl2-doc_8.3dfsg-2_all.deb
437.12KB
acl2-doc_8.5dfsg-5_all.deb
470.05KB
acl2-doc_8.6+dfsg-2_all.deb
512.61KB
acl2-doc_8.6+dfsg-3_all.deb
512.84KB
acl2-emacs_8.0dfsg-1_all.deb
66.02KB
acl2-emacs_8.3dfsg-2_all.deb
67.79KB
acl2-infix-source_8.0dfsg-1_all.deb
77.33KB
acl2-infix-source_8.3dfsg-2_all.deb
78.01KB
acl2-infix-source_8.5dfsg-5_all.deb
70.64KB
acl2-infix-source_8.6+dfsg-2_all.deb
70.95KB
acl2-infix-source_8.6+dfsg-3_all.deb
71.13KB
acl2-infix_8.0dfsg-1_amd64.deb
421.91KB
acl2-infix_8.0dfsg-1_arm64.deb
432.42KB
acl2-infix_8.0dfsg-1_armhf.deb
406.50KB
acl2-infix_8.0dfsg-1_i386.deb
389.98KB
acl2-infix_8.3dfsg-2_amd64.deb
478.79KB
acl2-infix_8.3dfsg-2_arm64.deb
469.40KB
acl2-infix_8.3dfsg-2_armel.deb
462.92KB
acl2-infix_8.3dfsg-2_armhf.deb
478.29KB
acl2-infix_8.3dfsg-2_i386.deb
484.84KB
acl2-infix_8.3dfsg-2_mips64el.deb
503.34KB
acl2-infix_8.3dfsg-2_mipsel.deb
508.89KB
acl2-infix_8.3dfsg-2_ppc64el.deb
497.86KB
acl2-infix_8.3dfsg-2_s390x.deb
434.94KB
acl2-infix_8.5dfsg-5_amd64.deb
464.15KB
acl2-infix_8.5dfsg-5_arm64.deb
460.66KB
acl2-infix_8.5dfsg-5_armel.deb
459.09KB
acl2-infix_8.5dfsg-5_armhf.deb
472.35KB
acl2-infix_8.5dfsg-5_i386.deb
477.48KB
acl2-infix_8.5dfsg-5_mips64el.deb
490.54KB
acl2-infix_8.5dfsg-5_mipsel.deb
502.86KB
acl2-infix_8.5dfsg-5_ppc64el.deb
483.03KB
acl2-infix_8.5dfsg-5_s390x.deb
431.95KB
acl2-infix_8.6+dfsg-2_amd64.deb
866.02KB
acl2-infix_8.6+dfsg-2_arm64.deb
833.77KB
acl2-infix_8.6+dfsg-2_armel.deb
814.59KB
acl2-infix_8.6+dfsg-2_armhf.deb
845.52KB
acl2-infix_8.6+dfsg-2_i386.deb
852.23KB
acl2-infix_8.6+dfsg-2_ppc64el.deb
885.39KB
acl2-infix_8.6+dfsg-2_riscv64.deb
1.83MB
acl2-infix_8.6+dfsg-2_s390x.deb
863.89KB
acl2-infix_8.6+dfsg-3_amd64.deb
864.79KB
acl2-infix_8.6+dfsg-3_arm64.deb
833.50KB
acl2-infix_8.6+dfsg-3_armel.deb
813.27KB
acl2-infix_8.6+dfsg-3_armhf.deb
846.41KB
acl2-infix_8.6+dfsg-3_i386.deb
852.51KB
acl2-infix_8.6+dfsg-3_mips64el.deb
874.95KB
acl2-infix_8.6+dfsg-3_ppc64el.deb
881.96KB
acl2-infix_8.6+dfsg-3_riscv64.deb
1.85MB
acl2-infix_8.6+dfsg-3_s390x.deb
862.89KB
acl2-source_8.0dfsg-1_all.deb
2.94MB
acl2-source_8.3dfsg-2_all.deb
3.19MB
acl2-source_8.5dfsg-5_all.deb
3.42MB
acl2-source_8.6+dfsg-2_all.deb
3.81MB
acl2-source_8.6+dfsg-3_all.deb
3.81MB
acl2_8.0dfsg-1.debian.tar.xz
199.96KB
acl2_8.0dfsg-1.dsc
2.19KB
acl2_8.0dfsg-1_amd64.deb
18.94MB
acl2_8.0dfsg-1_arm64.deb
17.03MB
acl2_8.0dfsg-1_armhf.deb
15.43MB
acl2_8.0dfsg-1_i386.deb
16.21MB
acl2_8.0dfsg.orig.tar.gz
74.04MB
acl2_8.3dfsg-2.debian.tar.xz
222.97KB
acl2_8.3dfsg-2.dsc
2.22KB
acl2_8.3dfsg-2_amd64.deb
20.49MB
acl2_8.3dfsg-2_arm64.deb
18.97MB
acl2_8.3dfsg-2_armel.deb
17.57MB
acl2_8.3dfsg-2_armhf.deb
17.72MB
acl2_8.3dfsg-2_i386.deb
18.58MB
acl2_8.3dfsg-2_mips64el.deb
18.37MB
acl2_8.3dfsg-2_mipsel.deb
18.80MB
acl2_8.3dfsg-2_ppc64el.deb
21.56MB
acl2_8.3dfsg-2_s390x.deb
19.71MB
acl2_8.3dfsg.orig.tar.gz
111.83MB
acl2_8.5dfsg-5.debian.tar.xz
305.56KB
acl2_8.5dfsg-5.dsc
2.21KB
acl2_8.5dfsg-5_amd64.deb
22.32MB
acl2_8.5dfsg-5_arm64.deb
20.59MB
acl2_8.5dfsg-5_armel.deb
18.18MB
acl2_8.5dfsg-5_armhf.deb
18.68MB
acl2_8.5dfsg-5_i386.deb
19.43MB
acl2_8.5dfsg-5_mips64el.deb
19.65MB
acl2_8.5dfsg-5_mipsel.deb
18.90MB
acl2_8.5dfsg-5_ppc64el.deb
22.07MB
acl2_8.5dfsg-5_s390x.deb
20.98MB
acl2_8.5dfsg.orig.tar.gz
213.19MB
acl2_8.6+dfsg-2.debian.tar.xz
434.70KB
acl2_8.6+dfsg-2.dsc
2.23KB
acl2_8.6+dfsg-2_amd64.deb
35.19MB
acl2_8.6+dfsg-2_arm64.deb
34.91MB
acl2_8.6+dfsg-2_armel.deb
36.16MB
acl2_8.6+dfsg-2_armhf.deb
36.57MB
acl2_8.6+dfsg-2_i386.deb
38.80MB
acl2_8.6+dfsg-2_ppc64el.deb
35.47MB
acl2_8.6+dfsg-2_riscv64.deb
35.44MB
acl2_8.6+dfsg-2_s390x.deb
38.01MB
acl2_8.6+dfsg-3.debian.tar.xz
694.53KB
acl2_8.6+dfsg-3.dsc
2.23KB
acl2_8.6+dfsg-3_amd64.deb
35.44MB
acl2_8.6+dfsg-3_arm64.deb
36.45MB
acl2_8.6+dfsg-3_armel.deb
36.06MB
acl2_8.6+dfsg-3_armhf.deb
38.20MB
acl2_8.6+dfsg-3_i386.deb
39.18MB
acl2_8.6+dfsg-3_mips64el.deb
35.66MB
acl2_8.6+dfsg-3_ppc64el.deb
35.37MB
acl2_8.6+dfsg-3_riscv64.deb
35.39MB
acl2_8.6+dfsg-3_s390x.deb
37.88MB
acl2_8.6+dfsg.orig.tar.gz
229.20MB
elpa-acl2_8.5dfsg-5_all.deb
68.97KB
elpa-acl2_8.6+dfsg-2_all.deb
76.43KB
elpa-acl2_8.6+dfsg-3_all.deb
76.62KB
×
{{modal_header}}
MD5
{{md5_sum}}
SHA1
{{sha1_sum}}
