acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9-2_amd64.deb, 1.00 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.1-1_amd64.deb, 2.16 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.3-1.1_amd64.deb, 6.29 MB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9-2_amd64.deb, 210.21 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.1-1_amd64.deb, 193.99 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.3-1.1_amd64.deb, 194.06 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.4-1_amd64.deb, 431.67 KB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9-2_amd64.deb, 15.94 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.1-1_amd64.deb, 17.66 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.3-1.1_amd64.deb, 18.06 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.4-1_amd64.deb, 20.60 MB)
   admesh  a tool for processing triangulated solid meshes (admesh_0.95-6_amd64.deb, 32.59 KB)
   admesh  a tool for processing triangulated solid meshes (admesh_0.95-7_amd64.deb, 32.96 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.11.10.1-1_amd64.deb, 305.92 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.13-3_amd64.deb, 324.31 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.5-1_amd64.deb, 321.54 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.3.3-1_amd64.deb, 328.70 KB)
   aribas  interpreter for arithmetic (aribas_1.53-1_amd64.deb, 211.96 KB)
   aribas  interpreter for arithmetic (aribas_1.53-1_amd64.deb, 205.98 KB)
   aribas  interpreter for arithmetic (aribas_1.62-1_amd64.deb, 208.43 KB)
   aribas  interpreter for arithmetic (aribas_1.63-2_amd64.deb, 210.09 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-1_amd64.deb, 425.74 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-5_amd64.deb, 552.39 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-6_amd64.deb, 538.19 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-7_amd64.deb, 539.79 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050201-1_amd64.deb, 174.10 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-10.1_amd64.deb, 180.95 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-10_amd64.deb, 178.52 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-9_amd64.deb, 178.21 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050201-1_amd64.deb, 138.48 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-10.1_amd64.deb, 144.96 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-10_amd64.deb, 142.75 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-9_amd64.deb, 141.88 KB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050201-1_amd64.deb, 15.26 MB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050901-10_amd64.deb, 15.86 MB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050901-9_amd64.deb, 15.72 MB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-20_amd64.deb, 68.85 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06.94-3_amd64.deb, 75.75 KB)
   bugsx  evolve biomorphs using genetic algorithms (bugsx_1.08-7_amd64.deb, 325.15 KB)
   coq  proof assistant for higher-order logic (toplevel and compiler) (coq_8.0pl3-2_amd64.deb, 6.25 MB)
   cpushare  client and server for the CPUShare distributed computing platform (cpushare_0.48-2_amd64.deb, 27.74 KB)
   cpushare  client and server for the CPUShare distributed computing platform (cpushare_0.48-4_amd64.deb, 28.76 KB)
   dc  The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-15_amd64.deb, 58.34 KB)
   dc  The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-20_amd64.deb, 59.84 KB)
   dc  The GNU dc arbitrary precision reverse-polish calculator (dc_1.06.94-3_amd64.deb, 66.53 KB)
   dicelab  evaluate the statistical distribution of dice rolls (dicelab_0.6-1_amd64.deb, 36.81 KB)
   dome  calculates and draws geodesic domes (dome_4.80-3_amd64.deb, 54.20 KB)
   dome  calculates and draws geodesic domes (dome_4.80-5_amd64.deb, 54.60 KB)
   drawmap  draws customized maps, using raw USGS data files (drawmap_2.5-1_amd64.deb, 220.95 KB)
   drawmap  draws customized maps, using raw USGS data files (drawmap_2.5-2_amd64.deb, 223.72 KB)