/
Main/
Debian/
hppa/math/
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9-2_hppa.deb, 6.49 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_2.9.1-1_hppa.deb, 6.59 MB)
acl2-books A Computational Logic for Applicative Common Lisp: compiled libraries (acl2-books_3.1-1_hppa.deb, 7.41 MB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9-2_hppa.deb, 381.87 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_2.9.1-1_hppa.deb, 382.08 KB)
acl2-infix A Computational Logic for Applicative Common Lisp: infix interface (acl2-infix_3.1-1_hppa.deb, 408.10 KB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9-2_hppa.deb, 13.67 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_2.9.1-1_hppa.deb, 13.73 MB)
acl2 A Computational Logic for Applicative Common Lisp: main binary (acl2_3.1-1_hppa.deb, 15.39 MB)
admesh a tool for processing triangulated solid meshes (admesh_0.95-6_hppa.deb, 35.95 KB)
admesh a tool for processing triangulated solid meshes (admesh_0.95-7_hppa.deb, 36.24 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.11.10.1-1_hppa.deb, 356.71 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.11.5t4.5-1_hppa.deb, 1.05 MB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.13-3_hppa.deb, 340.98 KB)
apcalc Arbitrary precision calculator (original name: calc) (apcalc_2.12.1.5-1_hppa.deb, 341.52 KB)
aribas interpreter for arithmetic (aribas_1.20-2_hppa.deb, 195.77 KB)
aribas interpreter for arithmetic (aribas_1.53-1_hppa.deb, 205.79 KB)
aribas interpreter for arithmetic (aribas_1.61-1_hppa.deb, 207.67 KB)
aribas interpreter for arithmetic (aribas_1.63-2_hppa.deb, 208.79 KB)
arpack++ object-oriented version of the ARPACK package. (arpack++_2.1-3_hppa.deb, 1.61 MB)
autoclass automatic classification or clustering (autoclass_3.3.4-1_hppa.deb, 431.08 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-5_hppa.deb, 566.52 KB)
autoclass automatic classification or clustering (autoclass_3.3.4-6_hppa.deb, 545.07 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050201-1_hppa.deb, 183.33 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-10_hppa.deb, 188.37 KB)
axiom-graphics A general purpose computer algebra system: graphics subsystem (axiom-graphics_20050901-9_hppa.deb, 190.62 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050201-1_hppa.deb, 142.81 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-10_hppa.deb, 145.17 KB)
axiom-hypertex A general purpose computer algebra system: hypertex subsystem (axiom-hypertex_20050901-9_hppa.deb, 146.06 KB)
bc The GNU bc arbitrary precision calculator language (bc_1.06-15_hppa.deb, 68.17 KB)
bc The GNU bc arbitrary precision calculator language (bc_1.06-17_hppa.deb, 68.30 KB)
bc The GNU bc arbitrary precision calculator language (bc_1.06-20_hppa.deb, 69.34 KB)
bc The GNU bc arbitrary precision calculator language (bc_1.06-8_hppa.deb, 67.15 KB)
bc The GNU bc arbitrary precision calculator language (bc_1.06.94-1_hppa.deb, 75.13 KB)
bc The GNU bc arbitrary precision calculator language (bc_1.06.94-3_hppa.deb, 76.01 KB)
bugsx evolve biomorphs using genetic algorithms (bugsx_1.08-6_hppa.deb, 326.24 KB)
bugsx evolve biomorphs using genetic algorithms (bugsx_1.08-7_hppa.deb, 325.50 KB)
circlepack creation and display of circle packings (circlepack_5.1-1_hppa.deb, 470.43 KB)
circlepack creation and display of circle packings (circlepack_5.1-3_hppa.deb, 463.40 KB)
coq proof assistant for higher-order logic (toplevel and compiler) (coq_8.0pl3-2_hppa.deb, 2.83 MB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-15_hppa.deb, 58.88 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-17_hppa.deb, 59.03 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-20_hppa.deb, 60.38 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-8_hppa.deb, 55.63 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06.94-1_hppa.deb, 66.22 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06.94-3_hppa.deb, 66.82 KB)
dome calculates and draws geodesic domes (dome_4.80-3+b2_hppa.deb, 54.55 KB)
dome calculates and draws geodesic domes (dome_4.80-3_hppa.deb, 56.93 KB)
dome calculates and draws geodesic domes (dome_4.80-4_hppa.deb, 53.77 KB)
drawmap draws customized maps, using raw USGS data files (drawmap_2.3-1.0.1_hppa.deb, 217.79 KB)
