acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9-2_arm.deb, 903.71 KB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.1-1_arm.deb, 1.61 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.3-1_arm.deb, 4.98 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.4-1_arm.deb, 20.49 MB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9-2_arm.deb, 204.20 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.1-1_arm.deb, 185.73 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.3-1_arm.deb, 171.13 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.4-1_arm.deb, 379.47 KB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9-2_arm.deb, 13.81 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.1-1_arm.deb, 16.00 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.3-1_arm.deb, 16.40 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.4-1_arm.deb, 18.78 MB)
   admesh  processing triangulated solid meshes (admesh_0.95-4_arm.deb, 30.75 KB)
   admesh  a tool for processing triangulated solid meshes (admesh_0.95-6_arm.deb, 31.17 KB)
   admesh  a tool for processing triangulated solid meshes (admesh_0.95-7_arm.deb, 31.38 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.11.10.1-1_arm.deb, 295.55 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.5-1_arm.deb, 309.08 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.3.3-1_arm.deb, 302.27 KB)
   aribas  interpreter for arithmetic (aribas_1.53-1_arm.deb, 193.23 KB)
   aribas  interpreter for arithmetic (aribas_1.61-1_arm.deb, 198.20 KB)
   aribas  interpreter for arithmetic (aribas_1.63-2_arm.deb, 200.08 KB)
   arpack++  object-oriented version of the ARPACK package. (arpack++_2.1-3_arm.deb, 1.61 MB)
   arpack2-dev  Fortran77 subroutines to solve large scale eigenvalue problems. (arpack2-dev_2.1-3_arm.deb, 746.31 KB)
   arpack2  Fortran77 subroutines to solve large scale eigenvalue problems. (arpack2_2.1-3_arm.deb, 129.78 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.3-5_arm.deb, 413.82 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-1_arm.deb, 414.61 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-5_arm.deb, 544.05 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-6_arm.deb, 523.76 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-7_arm.deb, 523.50 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050201-1_arm.deb, 168.79 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-10.1_arm.deb, 175.73 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-10_arm.deb, 173.81 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-9_arm.deb, 174.73 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050201-1_arm.deb, 124.12 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-10.1_arm.deb, 131.78 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-10_arm.deb, 129.61 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-9_arm.deb, 130.44 KB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050201-1_arm.deb, 14.15 MB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050901-10_arm.deb, 13.37 MB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050901-9_arm.deb, 13.93 MB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-15_arm.deb, 64.05 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-20_arm.deb, 65.53 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-8_arm.deb, 63.08 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06.94-1_arm.deb, 72.50 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06.94-3_arm.deb, 72.24 KB)
   bugsx  evolve biomorphs using genetic algorithms (bugsx_1.08-6_arm.deb, 323.43 KB)
   bugsx  evolve biomorphs using genetic algorithms (bugsx_1.08-7_arm.deb, 323.86 KB)
   circlepack  creation and display of circle packings (circlepack_5.1-1_arm.deb, 431.44 KB)
   circlepack  creation and display of circle packings (circlepack_5.1-3_arm.deb, 434.82 KB)
   coq  proof assistant for higher-order logic (toplevel and compiler) (coq_8.0pl3-2_arm.deb, 2.72 MB)