/Main/Debian/ia64/math/

   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9-2_ia64.deb, 1.44 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9.1-1_ia64.deb, 1.48 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.1-1_ia64.deb, 2.85 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.2-1_ia64.deb, 2.91 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.3-1_ia64.deb, 8.63 MB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9-2_ia64.deb, 344.08 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.1-1_ia64.deb, 297.06 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.2-1_ia64.deb, 294.26 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.3-1_ia64.deb, 294.53 KB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9-2_ia64.deb, 15.69 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9.1-1_ia64.deb, 15.76 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.1-1_ia64.deb, 16.79 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.2-1_ia64.deb, 17.47 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.3-1_ia64.deb, 18.25 MB)
   admesh  processing triangulated solid meshes (admesh_0.95-4_ia64.deb, 44.82 KB)
   admesh  a tool for processing triangulated solid meshes (admesh_0.95-6_ia64.deb, 44.71 KB)
   admesh  a tool for processing triangulated solid meshes (admesh_0.95-7_ia64.deb, 48.43 KB)
   apcalc-dev  Library for arbitrary precision arithmetic (apcalc-dev_2.11.5t4.5-1_ia64.deb, 644.26 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.11.10.1-1_ia64.deb, 512.03 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.5-1_ia64.deb, 488.62 KB)
   aribas  interpreter for arithmetic (aribas_1.20-2_ia64.deb, 234.54 KB)
   aribas  interpreter for arithmetic (aribas_1.53-1_ia64.deb, 256.13 KB)
   aribas  interpreter for arithmetic (aribas_1.61-1_ia64.deb, 252.76 KB)
   aribas  interpreter for arithmetic (aribas_1.63-2_ia64.deb, 254.79 KB)
   arpack++  object-oriented version of the ARPACK package. (arpack++_2.1-3_ia64.deb, 1.61 MB)
   arpack2-dev  Fortran77 subroutines to solve large scale eigenvalue problems. (arpack2-dev_2.1-3_ia64.deb, 810.12 KB)
   arpack2  Fortran77 subroutines to solve large scale eigenvalue problems. (arpack2_2.1-3_ia64.deb, 168.34 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.3-5_ia64.deb, 521.47 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-1_ia64.deb, 484.63 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-5_ia64.deb, 638.64 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-6_ia64.deb, 609.56 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050201-1_ia64.deb, 250.63 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-10_ia64.deb, 279.19 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-9_ia64.deb, 279.18 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050201-1_ia64.deb, 200.63 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-10_ia64.deb, 210.37 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-9_ia64.deb, 211.65 KB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050901-10_ia64.deb, 22.05 MB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050901-9_ia64.deb, 22.11 MB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-15_ia64.deb, 80.89 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-17_ia64.deb, 81.15 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-20_ia64.deb, 84.98 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-8_ia64.deb, 81.35 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06.94-1_ia64.deb, 92.32 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06.94-3_ia64.deb, 94.25 KB)
   bugsx  evolve biomorphs using genetic algorithms (bugsx_1.08-6_ia64.deb, 333.45 KB)
   bugsx  evolve biomorphs using genetic algorithms (bugsx_1.08-7_ia64.deb, 331.32 KB)
   circlepack  creation and display of circle packings (circlepack_5.1-1_ia64.deb, 601.84 KB)
   coq  proof assistant for higher-order logic (toplevel and compiler) (coq_8.0pl2-2_ia64.deb, 2.97 MB)
   coq  proof assistant for higher-order logic (toplevel and compiler) (coq_8.0pl3-2_ia64.deb, 3.00 MB)