|
|
|
1.24 MB 2009-02-22acl2-books-certs_3.4-2_all.deb 209+ mirrors
2.84 MB 2009-02-22acl2-books-source_3.4-2_all.deb 209+ mirrors
27.42 MB 2009-02-24acl2-books_3.4-2_alpha.deb 119 mirrors
24.56 MB 2009-02-23acl2-books_3.4-2_amd64.deb 202+ mirrors
21.35 MB 2009-02-25acl2-books_3.4-2_armel.deb 156 mirrors
20.48 MB 2009-02-22acl2-books_3.4-2_i386.deb 207+ mirrors
25.20 MB 2009-03-18acl2-books_3.4-2_ia64.deb 131 mirrors
23.72 MB 2009-02-23acl2-books_3.4-2_mips.deb 115 mirrors
22.73 MB 2009-03-02acl2-books_3.4-2_mipsel.deb 113 mirrors
27.38 MB 2009-02-24acl2-books_3.4-2_powerpc.deb 134 mirrors
26.95 MB 2009-02-23acl2-books_3.4-2_s390.deb 112 mirrors
22.01 MB 2009-03-22acl2-books_3.4-2_sparc.deb 130 mirrors
2.29 MB 2009-02-22acl2-doc_3.4-2_all.deb 209+ mirrors
54.94 KB 2009-02-22acl2-emacs_3.4-2_all.deb 209+ mirrors
86.65 KB 2009-02-22acl2-infix-source_3.4-2_all.deb 209+ mirrors
484.76 KB 2009-02-24acl2-infix_3.4-2_alpha.deb 119 mirrors
430.27 KB 2009-02-23acl2-infix_3.4-2_amd64.deb 202+ mirrors
399.33 KB 2009-02-25acl2-infix_3.4-2_armel.deb 156 mirrors
390.27 KB 2009-02-22acl2-infix_3.4-2_i386.deb 207+ mirrors
542.25 KB 2009-03-18acl2-infix_3.4-2_ia64.deb 131 mirrors
437.38 KB 2009-02-23acl2-infix_3.4-2_mips.deb 115 mirrors
409.31 KB 2009-03-02acl2-infix_3.4-2_mipsel.deb 113 mirrors
504.51 KB 2009-02-24acl2-infix_3.4-2_powerpc.deb 134 mirrors
451.51 KB 2009-02-23acl2-infix_3.4-2_s390.deb 112 mirrors
424.10 KB 2009-03-22acl2-infix_3.4-2_sparc.deb 130 mirrors
2.49 MB 2009-02-22acl2-source_3.4-2_all.deb 209+ mirrors
13.57 KB 2009-02-22acl2_3.4-2.diff.gz 302+ mirrors
1.16 KB 2009-02-22acl2_3.4-2.dsc 304+ mirrors
19.53 MB 2009-02-24acl2_3.4-2_alpha.deb 119 mirrors
20.61 MB 2009-02-23acl2_3.4-2_amd64.deb 202+ mirrors
18.93 MB 2009-02-25acl2_3.4-2_armel.deb 156 mirrors
18.48 MB 2009-02-22acl2_3.4-2_i386.deb 207+ mirrors
20.75 MB 2009-03-18acl2_3.4-2_ia64.deb 131 mirrors
18.79 MB 2009-02-23acl2_3.4-2_mips.deb 115 mirrors
17.68 MB 2009-03-02acl2_3.4-2_mipsel.deb 113 mirrors
20.41 MB 2009-02-24acl2_3.4-2_powerpc.deb 134 mirrors
20.44 MB 2009-02-23acl2_3.4-2_s390.deb 112 mirrors
21.07 MB 2009-03-22acl2_3.4-2_sparc.deb 130 mirrors
7.63 MB 2008-08-24acl2_3.4.orig.tar.gz info browse 392+ mirrors
acl2_3.4.orig.tar.gz
/Main/Debian/Other/
6.98 MB 2007-12-02acl2_3.3.orig.tar.gz info browse 232+ mirrors
acl2_3.3.orig.tar.gz
/Main/Debian/Other/
17.80 MB 2008-04-05acl2_3.3-1.1_sparc.deb info browse 47 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/sparc/math/
821 B 2008-04-05acl2_3.3-1.1.dsc 232+ mirrors
13.28 KB 2008-04-05acl2_3.3-1.1.diff.gz 231+ mirrors
6.42 MB 2006-12-03acl2_3.1.orig.tar.gz info browse 286+ mirrors
acl2_3.1.orig.tar.gz
/Main/Debian/Other/
16.68 MB 2006-12-30acl2_3.1-1_sparc.deb info browse 178 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/sparc/math/
16.21 MB 2006-12-04acl2_3.1-1_s390.deb info browse 156 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/s390/math/
17.04 MB 2006-12-04acl2_3.1-1_powerpc.deb info browse 183 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/powerpc/math/
14.28 MB 2007-01-07acl2_3.1-1_mipsel.deb info browse 157 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/mipsel/math/
15.06 MB 2006-12-11acl2_3.1-1_mips.deb info browse 159 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/mips/math/
15.10 MB 2007-02-11acl2_3.1-1_m68k.deb info browse 156 mirrors
acl2 - A Computational Logic for Applicative Common Lisp: main binary
/Main/Debian/m68k/math/
| Results 1 - 50 |