gsl-ref-psdoc  GNU Scientific Library (GSL) Reference Manual in postscript (gsl-ref-psdoc_1.8-1_all.deb, 1.02 MB)
   gsl-ref-psdoc  GNU Scientific Library (GSL) Reference Manual in postscript (gsl-ref-psdoc_1.9-1_all.deb, 1.10 MB)
   hol88-contrib-help  Higher Order Logic, user contributed online help files (hol88-contrib-help_2.02.19940316-1_all.deb, 24.98 KB)
   hol88-contrib-help  Higher Order Logic, user contributed online help files (hol88-contrib-help_2.02.19940316-7_all.deb, 25.78 KB)
   hol88-contrib-help  Higher Order Logic, user contributed online help files (hol88-contrib-help_2.02.19940316-8_all.deb, 25.83 KB)
   hol88-contrib-source  Higher Order Logic, user contributed source (hol88-contrib-source_2.02.19940316-1_all.deb, 953.23 KB)
   hol88-contrib-source  Higher Order Logic, user contributed source (hol88-contrib-source_2.02.19940316-7_all.deb, 953.81 KB)
   hol88-contrib-source  Higher Order Logic, user contributed source (hol88-contrib-source_2.02.19940316-8_all.deb, 987.01 KB)
   hol88-doc  Documentation for hol88 (hol88-doc_2.02.19940316-1_all.deb, 991.96 KB)
   hol88-doc  Documentation for hol88 (hol88-doc_2.02.19940316-7_all.deb, 995.73 KB)
   hol88-doc  Documentation for hol88 (hol88-doc_2.02.19940316-8_all.deb, 995.01 KB)
   hol88-help  Higher Order Logic, online help files (hol88-help_2.02.19940316-1_all.deb, 280.68 KB)
   hol88-help  Higher Order Logic, online help files (hol88-help_2.02.19940316-7_all.deb, 281.44 KB)
   hol88-help  Higher Order Logic, online help files (hol88-help_2.02.19940316-8_all.deb, 316.24 KB)
   hol88-library-help  Higher Order Logic, library online help files (hol88-library-help_2.02.19940316-1_all.deb, 283.97 KB)
   hol88-library-help  Higher Order Logic, library online help files (hol88-library-help_2.02.19940316-7_all.deb, 284.68 KB)
   hol88-library-help  Higher Order Logic, library online help files (hol88-library-help_2.02.19940316-8_all.deb, 304.54 KB)
   hol88-library-source  Higher Order Logic, library source files (hol88-library-source_2.02.19940316-1_all.deb, 549.18 KB)
   hol88-library-source  Higher Order Logic, library source files (hol88-library-source_2.02.19940316-7_all.deb, 549.94 KB)
   hol88-library-source  Higher Order Logic, library source files (hol88-library-source_2.02.19940316-8_all.deb, 551.72 KB)
   hol88-source  Higher Order Logic, source files (hol88-source_2.02.19940316-1_all.deb, 1.18 MB)
   hol88-source  Higher Order Logic, source files (hol88-source_2.02.19940316-7_all.deb, 268.08 KB)
   hol88-source  Higher Order Logic, source files (hol88-source_2.02.19940316-8_all.deb, 268.88 KB)
   libfreefem-doc  Documentation for FreeFEM development (libfreefem-doc_3.5.7-3_all.deb, 41.20 KB)
   lybniz  mathematical function graph plotter (lybniz_1.3.2-2_all.deb, 59.26 KB)
   matita-standard-library  standard library for the Matita interactive theorem prover (matita-standard-library_0.5.3-1_all.deb, 12.03 MB)
   matwrap  A wrapper generator for matrix languages (matwrap_0.57-3_all.deb, 95.67 KB)
   matwrap  wrapper generator for matrix languages (matwrap_0.57-5_all.deb, 95.86 KB)
   matwrap  wrapper generator for matrix languages (matwrap_0.57-6_all.deb, 95.97 KB)
   matwrap  wrapper generator for matrix languages (matwrap_0.57-8_all.deb, 112.98 KB)
   matwrap  wrapper generator for matrix languages (matwrap_0.57-9_all.deb, 110.74 KB)
   maxima-doc  A computer algebra system -- documentation (maxima-doc_5.13.0-3.1_all.deb, 3.41 MB)
   maxima-doc  A fairly complete computer algebra system-- documentation (maxima-doc_5.9.1-9_all.deb, 5.27 MB)
   maxima-emacs  A computer algebra system -- emacs interface (maxima-emacs_5.10.0-6_all.deb, 92.25 KB)
   maxima-emacs  A fairly complete computer algebra system-- emacs interface (maxima-emacs_5.9.1-9_all.deb, 88.13 KB)
   maxima-share  A fairly complete computer algebra system-- extra code (maxima-share_5.9.1-9_all.deb, 2.16 MB)
   maxima-src  A fairly complete computer algebra system-- source code (maxima-src_5.9.1-9_all.deb, 1.07 MB)
   maxima-test  A fairly complete computer algebra system-- test suite (maxima-test_5.9.1-9_all.deb, 43.48 KB)
   minlog  Proof assistant based on first order natural deduction calculus (minlog_4.0.99.20071012-4_all.deb, 1.85 MB)
   minlog  Proof assistant based on first order natural deduction calculus (minlog_4.0.99.20080304-4_all.deb, 1.92 MB)
   num-utils  programs for dealing with numbers from the command line (num-utils_0.5-7_all.deb, 53.57 KB)
   num-utils  programs for dealing with numbers from the command line (num-utils_0.5-9_all.deb, 53.62 KB)
   octave-ci  Contributed functions for the GNU Octave language (octave-ci_99.09-2_all.deb, 10.61 KB)
   octave-control  control functions for Octave from Octave-Forge (octave-control_1.0.6-1_all.deb, 16.41 KB)
   octave-epstk  GNU Octave encapsulated postscript toolkit (octave-epstk_1.9-1_all.deb, 1.84 MB)
   octave-epstk  GNU Octave encapsulated postscript toolkit (octave-epstk_2.1-1_all.deb, 1.97 MB)
   octave-epstk  GNU Octave encapsulated postscript toolkit (octave-epstk_2.1-7_all.deb, 1.98 MB)
   octave-epstk  GNU Octave encapsulated postscript toolkit (octave-epstk_2.2-11_all.deb, 1.69 MB)
   octave-epstk  GNU Octave encapsulated postscript toolkit (octave-epstk_2.2-5_all.deb, 1.69 MB)
   octave-epstk  GNU Octave encapsulated postscript toolkit (octave-epstk_2.2-8_all.deb, 1.70 MB)