/
Main/
Debian/
all/math/
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_2.9-2_all.deb, 288.85 KB)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_2.9.3-1_all.deb, 371.63 KB)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_3.1-1_all.deb, 4.74 MB)
acl2-books-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_3.2-1_all.deb, 4.87 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-certs A Computational Logic for Applicative Common Lisp: library certificates (acl2-books-certs_3.3-1_all.deb, 1.18 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-1_all.deb, 1.24 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.2-1_all.deb, 2.27 MB)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources (acl2-books-source_3.3-1.1_all.deb, 2.44 MB)
acl2-books-source A Computational Logic for Applicative Common Lisp: library sources (acl2-books-source_3.3-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.59 KB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_3.1-1_all.deb, 49.35 KB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_3.2-1_all.deb, 50.62 KB)
acl2-emacs A Computational Logic for Applicative Common Lisp: emacs interface (acl2-emacs_3.3-1.1_all.deb, 54.71 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_2.9-2_all.deb, 82.27 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_2.9.3-1_all.deb, 82.53 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_3.1-1_all.deb, 83.32 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_3.2-1_all.deb, 83.35 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_3.3-1.1_all.deb, 85.33 KB)
acl2-infix-source A Computational Logic for Applicative Common Lisp: infix source (acl2-infix-source_3.3-1_all.deb, 83.59 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_3.1-1_all.deb, 2.16 MB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_3.2-1_all.deb, 2.25 MB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_3.3-1.1_all.deb, 2.37 MB)
acl2-source A Computational Logic for Applicative Common Lisp: source files (acl2-source_3.3-1_all.deb, 2.37 MB)
apcalc-common Arbitrary precision calculator (common files) (apcalc-common_2.11.10.1-1_all.deb, 799.58 KB)
apcalc-common Arbitrary precision calculator (common files) (apcalc-common_2.12.1.13-3_all.deb, 877.69 KB)
apcalc-common Arbitrary precision calculator (common files) (apcalc-common_2.12.1.5-1_all.deb, 853.12 KB)
axiom-databases A general purpose computer algebra system: generated text databases (axiom-databases_20050201-1_all.deb, 941.06 KB)
axiom-databases A general purpose computer algebra system: generated text databases (axiom-databases_20050901-10_all.deb, 945.68 KB)
axiom-databases A general purpose computer algebra system: generated text databases (axiom-databases_20050901-9_all.deb, 944.25 KB)
axiom-doc A general purpose computer algebra system: documentation (axiom-doc_20050201-1_all.deb, 7.81 MB)
axiom-doc A general purpose computer algebra system: documentation (axiom-doc_20050901-10_all.deb, 8.30 MB)
axiom-doc A general purpose computer algebra system: documentation (axiom-doc_20050901-9_all.deb, 8.30 MB)
axiom-graphics-data A general purpose computer algebra system: graphics subsystem (axiom-graphics-data_20050201-1_all.deb, 2.83 MB)
axiom-graphics-data A general purpose computer algebra system: graphics subsystem (axiom-graphics-data_20050901-10_all.deb, 2.83 MB)
axiom-graphics-data A general purpose computer algebra system: graphics subsystem (axiom-graphics-data_20050901-9_all.deb, 2.83 MB)
axiom-hypertex-data A general purpose computer algebra system: hypertex subsystem (axiom-hypertex-data_20050201-1_all.deb, 3.51 MB)
axiom-hypertex-data A general purpose computer algebra system: hypertex subsystem (axiom-hypertex-data_20050901-10_all.deb, 3.51 MB)
axiom-hypertex-data A general purpose computer algebra system: hypertex subsystem (axiom-hypertex-data_20050901-9_all.deb, 3.51 MB)
axiom-source A general purpose computer algebra system: source files (axiom-source_20050201-1_all.deb, 1.20 MB)
axiom-source A general purpose computer algebra system: source files (axiom-source_20050901-10_all.deb, 1.20 MB)
axiom-source A general purpose computer algebra system: source files (axiom-source_20050901-9_all.deb, 1.20 MB)
axiom-test A general purpose computer algebra system: regression test inputs (axiom-test_20050201-1_all.deb, 438.33 KB)
axiom-test A general purpose computer algebra system: regression test inputs (axiom-test_20050901-10_all.deb, 453.84 KB)
axiom-test A general purpose computer algebra system: regression test inputs (axiom-test_20050901-9_all.deb, 453.16 KB)
axiom-tex A general purpose computer algebra system: style file for TeX (axiom-tex_20050201-1_all.deb, 23.68 KB)
axiom-tex A general purpose computer algebra system: style file for TeX (axiom-tex_20050901-10_all.deb, 26.83 KB)
