/
Main/
Ubuntu/
all/math/
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_2.9-2_all.deb, 289.81 KB)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_2.9.3-5build1_all.deb, 367.00 KB)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_2.9.3-7_all.deb, 367.12 KB)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_3.0-1_all.deb, 665.20 KB)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_3.1-1_all.deb, 4.73 MB)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_3.3-1.1_all.deb, 1.19 MB)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources (acl2-books-source_2.9-2_all.deb, 1.18 MB)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources (acl2-books-source_2.9.3-5build1_all.deb, 1.24 MB)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources (acl2-books-source_2.9.3-7_all.deb, 1.24 MB)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources (acl2-books-source_3.0-1_all.deb, 1.59 MB)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources (acl2-books-source_3.1-1_all.deb, 2.14 MB)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources (acl2-books-source_3.3-1.1_all.deb, 2.33 MB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_2.9-2_all.deb, 47.58 KB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_2.9.3-5build1_all.deb, 48.22 KB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_2.9.3-7_all.deb, 48.20 KB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_3.0-1_all.deb, 49.12 KB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_3.1-1_all.deb, 49.39 KB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_3.3-1.1_all.deb, 53.29 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_2.9-2_all.deb, 82.26 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_2.9.3-5build1_all.deb, 82.87 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_2.9.3-7_all.deb, 82.85 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_3.0-1_all.deb, 83.01 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_3.1-1_all.deb, 83.37 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_3.3-1.1_all.deb, 83.72 KB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_2.9-2_all.deb, 1.95 MB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_2.9.3-5build1_all.deb, 2.02 MB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_2.9.3-7_all.deb, 2.02 MB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_3.0-1_all.deb, 2.09 MB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_3.1-1_all.deb, 2.16 MB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_3.3-1.1_all.deb, 2.37 MB)
apcalc-common Arbitrary precision calculator (common files) (apcalc-common_2.11.10.1-1_all.deb, 799.57 KB)
apcalc-common Arbitrary precision calculator (common files) (apcalc-common_2.12.1.13-3ubuntu1_all.deb, 864.21 KB)
apcalc-common Arbitrary precision calculator (common files) (apcalc-common_2.12.1.2-0ubuntu1_all.deb, 852.34 KB)
axiom-databases A general purpose computer algebra system: generated text databases (axiom-databases_0.20040831-1_all.deb, 965.50 KB)
axiom-databases A general purpose computer algebra system: generated text databases (axiom-databases_20050901-4ubuntu1_all.deb, 943.90 KB)
axiom-databases A general purpose computer algebra system: generated text databases (axiom-databases_20050901-6ubuntu1_all.deb, 944.51 KB)
axiom-databases A general purpose computer algebra system: generated text databases (axiom-databases_20050901-9ubuntu1_all.deb, 944.63 KB)
axiom-doc A general purpose computer algebra system: documentation (axiom-doc_0.20040831-1_all.deb, 9.51 MB)
axiom-doc A general purpose computer algebra system: documentation (axiom-doc_20050901-4ubuntu1_all.deb, 8.30 MB)
axiom-doc A general purpose computer algebra system: documentation (axiom-doc_20050901-6ubuntu1_all.deb, 8.32 MB)
axiom-doc A general purpose computer algebra system: documentation (axiom-doc_20050901-9ubuntu1_all.deb, 8.33 MB)
axiom-graphics-data A general purpose computer algebra system: graphics subsystem (axiom-graphics-data_20050901-4ubuntu1_all.deb, 2.83 MB)
axiom-graphics-data A general purpose computer algebra system: graphics subsystem (axiom-graphics-data_20050901-6ubuntu1_all.deb, 2.83 MB)
axiom-graphics-data A general purpose computer algebra system: graphics subsystem (axiom-graphics-data_20050901-9ubuntu1_all.deb, 2.83 MB)
axiom-hypertex-data A general purpose computer algebra system: hypertex subsystem (axiom-hypertex-data_20050901-4ubuntu1_all.deb, 3.51 MB)
axiom-hypertex-data A general purpose computer algebra system: hypertex subsystem (axiom-hypertex-data_20050901-6ubuntu1_all.deb, 3.51 MB)
axiom-hypertex-data A general purpose computer algebra system: hypertex subsystem (axiom-hypertex-data_20050901-9ubuntu1_all.deb, 3.51 MB)
axiom-source A general purpose computer algebra system: source files (axiom-source_0.20040831-1_all.deb, 1.20 MB)
axiom-source A general purpose computer algebra system: source files (axiom-source_20050901-4ubuntu1_all.deb, 1.20 MB)
axiom-source A general purpose computer algebra system: source files (axiom-source_20050901-6ubuntu1_all.deb, 1.20 MB)
