acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9-2_sparc.deb, 972.15 KB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.1-1_sparc.deb, 1.82 MB)
   acl2-books  A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.3-1.1_sparc.deb, 5.75 MB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9-2_sparc.deb, 248.88 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.1-1_sparc.deb, 217.61 KB)
   acl2-infix  A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.3-1.1_sparc.deb, 210.64 KB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9-2_sparc.deb, 21.33 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.1-1_sparc.deb, 16.68 MB)
   acl2  A Computational Logic for Applicative Common Lisp: main binary (acl2_3.3-1.1_sparc.deb, 17.80 MB)
   admesh  processing triangulated solid meshes (admesh_0.95-4_sparc.deb, 33.55 KB)
   admesh  a tool for processing triangulated solid meshes (admesh_0.95-6_sparc.deb, 31.49 KB)
   admesh  a tool for processing triangulated solid meshes (admesh_0.95-7_sparc.deb, 31.39 KB)
   apcalc-dev  Library for arbitrary precision arithmetic (apcalc-dev_2.11.5t4.5-1_sparc.deb, 498.97 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.11.10.1-1_sparc.deb, 340.43 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.11.5t4.5-1_sparc.deb, 1.02 MB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.13-3_sparc.deb, 314.99 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.5-1_sparc.deb, 313.24 KB)
   apcalc  Arbitrary precision calculator (original name: calc) (apcalc_2.12.3.3-1_sparc.deb, 308.07 KB)
   aribas  interpreter for arithmetic (aribas_1.53-1_sparc.deb, 187.72 KB)
   aribas  interpreter for arithmetic (aribas_1.63-2_sparc.deb, 192.67 KB)
   arpack++  object-oriented version of the ARPACK package. (arpack++_2.1-3_sparc.deb, 1.61 MB)
   arpack2-dev  Fortran77 subroutines to solve large scale eigenvalue problems. (arpack2-dev_2.1-3_sparc.deb, 763.54 KB)
   arpack2  Fortran77 subroutines to solve large scale eigenvalue problems. (arpack2_2.1-3_sparc.deb, 129.07 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.3-5_sparc.deb, 429.32 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-1_sparc.deb, 414.28 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-5_sparc.deb, 544.36 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-6_sparc.deb, 523.92 KB)
   autoclass  automatic classification or clustering (autoclass_3.3.4-7_sparc.deb, 524.34 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050201-1_sparc.deb, 153.46 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-10_sparc.deb, 161.98 KB)
   axiom-graphics  A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-9_sparc.deb, 161.05 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050201-1_sparc.deb, 121.56 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-10_sparc.deb, 126.95 KB)
   axiom-hypertex  A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-9_sparc.deb, 125.50 KB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050201-1_sparc.deb, 16.40 MB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050901-10_sparc.deb, 15.55 MB)
   axiom  A general purpose computer algebra system: main binary and modules (axiom_20050901-9_sparc.deb, 15.74 MB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-15_sparc.deb, 64.00 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-20_sparc.deb, 64.85 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06-8_sparc.deb, 62.89 KB)
   bc  The GNU bc arbitrary precision calculator language (bc_1.06.94-3_sparc.deb, 71.81 KB)
   bugsx  evolve biomorphs using genetic algorithms (bugsx_1.08-6_sparc.deb, 326.05 KB)
   bugsx  evolve biomorphs using genetic algorithms (bugsx_1.08-7_sparc.deb, 323.60 KB)
   circlepack  creation and display of circle packings (circlepack_5.1-1_sparc.deb, 445.76 KB)
   circlepack  creation and display of circle packings (circlepack_5.1-3_sparc.deb, 438.99 KB)
   coq  proof assistant for higher-order logic (toplevel and compiler) (coq_8.0pl2-2_sparc.deb, 6.65 MB)
   dc  The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-15_sparc.deb, 55.28 KB)
   dc  The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-20_sparc.deb, 56.57 KB)
   dc  The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-8_sparc.deb, 55.07 KB)
   dc  The GNU dc arbitrary precision reverse-polish calculator (dc_1.06.94-3_sparc.deb, 63.39 KB)