/
Main/
Debian/
arm/math/
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-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 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)
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)
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)
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)
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_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_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-17_arm.deb, 64.22 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)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-15_arm.deb, 55.21 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-17_arm.deb, 55.35 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-20_arm.deb, 56.71 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06-8_arm.deb, 52.49 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06.94-1_arm.deb, 63.40 KB)
dc The GNU dc arbitrary precision reverse-polish calculator (dc_1.06.94-3_arm.deb, 63.24 KB)
dome calculates and draws geodesic domes (dome_4.80-3+b1_arm.deb, 55.76 KB)
