/
Main/
Ubuntu/
i386/math/
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.8-4_i386.deb, 854.96 KB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9-2_i386.deb, 813.64 KB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9.3-5build1_i386.deb, 812.66 KB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9.3-7_i386.deb, 812.79 KB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.0-1_i386.deb, 1.14 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.1-1_i386.deb, 1.51 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.3-1.1_i386.deb, 17.62 MB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.8-4_i386.deb, 173.73 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9-2_i386.deb, 176.84 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9.3-5build1_i386.deb, 165.05 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9.3-7_i386.deb, 165.02 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.0-1_i386.deb, 162.49 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.1-1_i386.deb, 166.08 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.3-1.1_i386.deb, 388.48 KB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_2.8-4_i386.deb, 12.27 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9-2_i386.deb, 13.10 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9.3-5build1_i386.deb, 13.27 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9.3-7_i386.deb, 13.28 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_3.0-1_i386.deb, 14.26 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_3.1-1_i386.deb, 14.80 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_3.3-1.1_i386.deb, 16.12 MB)
admesh a tool for processing triangulated solid meshes (admesh_0.95-5_i386.deb, 31.26 KB)
admesh a tool for processing triangulated solid meshes (admesh_0.95-6_i386.deb, 30.53 KB)
admesh a tool for processing triangulated solid meshes (admesh_0.95-7_i386.deb, 30.34 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.11.10.1-1_i386.deb, 286.34 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.11.11-1_i386.deb, 288.55 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.13-2ubuntu1_i386.deb, 306.77 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.13-3ubuntu1_i386.deb, 302.03 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.2-0ubuntu1_i386.deb, 305.21 KB)
aribas interpreter for arithmetic (aribas_1.53-1_i386.deb, 183.73 KB)
aribas interpreter for arithmetic (aribas_1.61-1_i386.deb, 189.87 KB)
arpack++ Object-oriented version of the ARPACK package (arpack++_2.1-5_i386.deb, 1.61 MB)
autoclass automatic classification or clustering (autoclass_3.3.3-5_i386.deb, 414.24 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-1_i386.deb, 417.84 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-4_i386.deb, 513.29 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-5_i386.deb, 538.97 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-6_i386.deb, 548.16 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-4ubuntu1_i386.deb, 144.69 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-6ubuntu1_i386.deb, 144.54 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-9ubuntu1_i386.deb, 150.65 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-4ubuntu1_i386.deb, 118.17 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-6ubuntu1_i386.deb, 118.77 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-9ubuntu1_i386.deb, 123.31 KB)
axiom A general purpose computer algebra system (axiom_0.20040128-4_i386.deb, 14.56 MB)
axiom A general purpose computer algebra system: main binary and modules (axiom_0.20040831-1_i386.deb, 11.76 MB)
axiom A general purpose computer algebra system: main binary and modules (axiom_20050901-4ubuntu1_i386.deb, 12.09 MB)
axiom A general purpose computer algebra system: main binary and modules (axiom_20050901-6ubuntu1_i386.deb, 11.88 MB)
axiom A general purpose computer algebra system: main binary and modules (axiom_20050901-9ubuntu1_i386.deb, 12.65 MB)
bc The GNU bc arbitrary precision calculator language (bc_1.06-15_i386.deb, 62.61 KB)
bc The GNU bc arbitrary precision calculator language (bc_1.06-16_i386.deb, 63.18 KB)
