Index of /Linux/distributions/nexenta/ncp2/dists/hardy-unstable/contrib/source/math

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]yacas_1.2.2.orig.tar.gz2009-01-01 08:58 1.2M 
[TXT]yacas_1.2.2-2.dsc2009-01-01 08:58 749  
[ ]yacas_1.2.2-2.diff.gz2009-01-01 08:58 143K 
[ ]xgraph_12.1.orig.tar.gz2009-01-01 08:36 142K 
[TXT]xgraph_12.1-7.dsc2009-01-01 08:36 642  
[ ]xgraph_12.1-7.diff.gz2009-01-01 08:36 45K 
[ ]wzip_1.1.1.tar.gz2008-12-30 13:12 35K 
[TXT]wzip_1.1.1.dsc2008-12-30 13:12 482  
[ ]wxmaxima_0.7.1.orig.tar.gz2008-12-26 09:49 663K 
[TXT]wxmaxima_0.7.1-1ubuntu3.dsc2008-12-26 09:49 787  
[ ]wxmaxima_0.7.1-1ubuntu3.diff.gz2008-12-26 09:49 8.4K 
[ ]why_2.04.dfsg.orig.tar.gz2008-12-28 21:00 1.2M 
[TXT]why_2.04.dfsg-3.dsc2008-12-28 21:00 1.3K 
[ ]why_2.04.dfsg-3.diff.gz2008-12-28 21:00 2.9K 
[ ]tochnog_20010124.orig.tar.gz2008-12-30 11:43 854K 
[TXT]tochnog_20010124-3.1.dsc2008-12-30 11:43 637  
[ ]tochnog_20010124-3.1.diff.gz2008-12-30 11:43 11K 
[ ]tilp_6.80.orig.tar.gz2008-12-26 04:09 1.1M 
[TXT]tilp_6.80-5ubuntu1.dsc2008-12-26 04:09 1.4K 
[ ]tilp_6.80-5ubuntu1.diff.gz2008-12-26 04:09 10K 
[ ]tilp2_1.01.orig.tar.gz2008-12-30 14:17 891K 
[TXT]tilp2_1.01-0ubuntu2.dsc2008-12-30 14:17 1.5K 
[ ]tilp2_1.01-0ubuntu2.diff.gz2008-12-30 14:17 2.9K 
[ ]tapecalc_20070214.orig.tar.gz2008-12-25 12:24 100K 
[TXT]tapecalc_20070214-2.dsc2008-12-25 12:24 618  
[ ]tapecalc_20070214-2.diff.gz2008-12-25 12:24 4.0K 
[ ]suitesparse_3.1.0.orig.tar.gz2008-12-30 12:19 8.6M 
[TXT]suitesparse_3.1.0-3.dsc2008-12-30 12:19 1.1K 
[ ]suitesparse_3.1.0-3.diff.gz2008-12-30 12:19 15K 
[ ]sprng_2.0a.orig.tar.gz2008-12-25 09:44 1.6M 
[TXT]sprng_2.0a-4.dsc2008-12-25 09:44 1.2K 
[ ]sprng_2.0a-4.diff.gz2008-12-25 09:44 9.0K 
[ ]spline_1.1-11.tar.gz2008-12-29 09:44 9.1K 
[TXT]spline_1.1-11.dsc2008-12-29 09:44 1.1K 
[ ]snappea_3.0d3.orig.tar.gz2008-12-25 11:50 860K 
[TXT]snappea_3.0d3-20ubuntu1.dsc2008-12-25 11:50 733  
[ ]snappea_3.0d3-20ubuntu1.diff.gz2008-12-25 11:50 617K 
[ ]skinedit_1.26.orig.tar.gz2009-01-01 05:59 359K 
[TXT]skinedit_1.26-4ubuntu1.dsc2009-01-01 05:59 704  
[ ]skinedit_1.26-4ubuntu1.diff.gz2009-01-01 05:59 2.3K 
[ ]sc_7.16.orig.tar.gz2008-12-25 13:54 205K 
[TXT]sc_7.16-2.dsc2008-12-25 13:54 1.2K 
[ ]sc_7.16-2.diff.gz2008-12-25 13:54 6.5K 
[ ]rkward_0.4.9.orig.tar.gz2008-12-29 03:14 1.6M 
[TXT]rkward_0.4.9-2ubuntu0.1.dsc2008-12-29 03:14 720  
[ ]rkward_0.4.9-2ubuntu0.1.diff.gz2008-12-29 03:14 14K 
[ ]regina-normal_4.4.orig.tar.gz2009-01-01 05:32 4.6M 
[TXT]regina-normal_4.4-1ubuntu1.dsc2009-01-01 05:32 1.0K 
[ ]regina-normal_4.4-1ubuntu1.diff.gz2009-01-01 05:32 10K 
[ ]r-cran-pscl_0.92.orig.tar.gz2008-12-25 05:30 630K 
[TXT]r-cran-pscl_0.92-2.dsc2008-12-25 05:29 1.3K 
[ ]r-cran-pscl_0.92-2.diff.gz2008-12-25 05:30 2.0K 
[ ]r-cran-mnp_2.5-5.orig.tar.gz2008-12-24 10:41 51K 
[TXT]r-cran-mnp_2.5-5-1build1.dsc2008-12-24 10:41 625  
[ ]r-cran-mnp_2.5-5-1build1.diff.gz2008-12-24 10:41 2.4K 
[ ]r-cran-eco_3.1-1.orig.tar.gz2009-01-01 05:28 150K 
[TXT]r-cran-eco_3.1-1-1build1.dsc2009-01-01 05:28 635  
[ ]r-cran-eco_3.1-1-1build1.diff.gz2009-01-01 05:28 2.1K 
[ ]r-base_2.6.2.orig.tar.gz2008-12-25 23:30 15M 
[TXT]r-base_2.6.2-2.dsc2008-12-25 23:30 1.0K 
[ ]r-base_2.6.2-2.diff.gz2008-12-25 23:30 56K 
[ ]quickplot_0.8.13.orig.tar.gz2008-12-29 21:42 440K 
[TXT]quickplot_0.8.13-2.dsc2008-12-29 21:42 629  
[ ]quickplot_0.8.13-2.diff.gz2008-12-29 21:42 8.9K 
[ ]qtoctave_0.7.4+dfsg.orig.tar.gz2009-06-06 06:32 620K 
[TXT]qtoctave_0.7.4+dfsg-2~hardy1.dsc2009-06-06 06:32 1.0K 
[ ]qtoctave_0.7.4+dfsg-2~hardy1.diff.gz2009-06-06 06:32 12K 
[ ]qtiplot_0.9.3~rc2.orig.tar.gz2008-12-25 06:12 1.2M 
[TXT]qtiplot_0.9.3~rc2-2.dsc2008-12-25 06:12 891  
[ ]qtiplot_0.9.3~rc2-2.diff.gz2008-12-25 06:12 12K 
[ ]qhull_2003.1.orig.tar.gz2008-12-28 21:52 707K 
[TXT]qhull_2003.1-8.dsc2008-12-28 21:52 862  
[ ]qhull_2003.1-8.diff.gz2008-12-28 21:52 7.3K 
[ ]qalculate-kde_0.9.6.orig.tar.gz2008-12-25 10:54 1.4M 
[TXT]qalculate-kde_0.9.6-2ubuntu1.dsc2008-12-25 10:54 965  
[ ]qalculate-kde_0.9.6-2ubuntu1.diff.gz2008-12-25 10:54 12K 
[ ]qalculate-gtk_0.9.6.orig.tar.gz2008-12-24 22:57 1.5M 
[TXT]qalculate-gtk_0.9.6-2.dsc2008-12-24 22:57 933  
[ ]qalculate-gtk_0.9.6-2.diff.gz2008-12-24 22:57 109K 
[ ]psignifit_2.5.6.orig.tar.gz2008-12-28 21:15 100K 
[TXT]psignifit_2.5.6-3.dsc2008-12-28 21:15 837  
[ ]psignifit_2.5.6-3.diff.gz2008-12-28 21:15 5.2K 
[ ]plotutils_2.5.orig.tar.gz2008-12-25 06:38 3.5M 
[TXT]plotutils_2.5-2.dsc2008-12-25 06:38 863  
[ ]plotutils_2.5-2.diff.gz2008-12-25 06:38 9.7K 
[ ]plotmtv_1.4.4t.orig.tar.gz2009-01-05 02:38 1.7M 
[TXT]plotmtv_1.4.4t-10ubuntu1.dsc2009-01-05 02:38 721  
[ ]plotmtv_1.4.4t-10ubuntu1.diff.gz2009-01-05 02:38 8.8K 
[ ]plotdrop_0.5.2.orig.tar.gz2009-01-05 02:41 39K 
[TXT]plotdrop_0.5.2-1.dsc2009-01-05 02:41 621  
[ ]plotdrop_0.5.2-1.diff.gz2009-01-05 02:41 4.0K 
[ ]pgapack_1.0.0.1.orig.tar.gz2008-12-25 06:18 314K 
[TXT]pgapack_1.0.0.1-4.2.dsc2008-12-25 06:18 534  
[ ]pgapack_1.0.0.1-4.2.diff.gz2008-12-25 06:18 7.1K 
[ ]pdl_2.4.3.orig.tar.gz2008-12-24 12:06 2.1M 
[TXT]pdl_2.4.3-6ubuntu1.dsc2008-12-24 12:06 889  
[ ]pdl_2.4.3-6ubuntu1.diff.gz2008-12-24 12:06 6.5K 
[ ]pari_2.3.3-2.diff.gz2008-12-26 13:37 13K 
[ ]pari_2.3.3-2-build1.tar.gz2009-02-17 04:45 1.9M 
[TXT]pari_2.3.3-2-build1.dsc2009-02-17 04:45 684  
[ ]pari-extra_2.1.orig.tar.gz2009-01-03 21:25 14M 
[TXT]pari-extra_2.1-1.dsc2009-01-03 21:25 568  
[ ]pari-extra_2.1-1.diff.gz2009-01-03 21:25 2.1K 
[ ]otter_3.3f.orig.tar.gz2008-12-30 13:21 2.4M 
[TXT]otter_3.3f-1.dsc2008-12-30 13:21 587  
[ ]otter_3.3f-1.diff.gz2008-12-30 13:21 7.0K 
[ ]orpie_1.5.1.orig.tar.gz2008-12-25 10:27 362K 
[TXT]orpie_1.5.1-3.dsc2008-12-25 10:27 1.3K 
[ ]orpie_1.5.1-3.diff.gz2008-12-25 10:27 2.8K 
[ ]oleo_1.99.16.orig.tar.gz2008-12-30 12:09 780K 
[TXT]oleo_1.99.16-10ubuntu1.dsc2008-12-30 12:09 1.4K 
[ ]oleo_1.99.16-10ubuntu1.diff.gz2008-12-30 12:09 14K 
[ ]octave3.0_3.0.0.orig.tar.gz2008-12-31 01:48 11M 
[TXT]octave3.0_3.0.0-9ubuntu1.dsc2008-12-31 01:48 1.5K 
[ ]octave3.0_3.0.0-9ubuntu1.diff.gz2008-12-31 01:48 57K 
[ ]num-utils_0.5.orig.tar.gz2008-12-25 13:12 31K 
[TXT]num-utils_0.5-9.dsc2008-12-25 13:12 559  
[ ]num-utils_0.5-9.diff.gz2008-12-25 13:12 10K 
[ ]netgen_4.4.orig.tar.gz2008-12-28 21:39 3.3M 
[TXT]netgen_4.4-9.dsc2008-12-28 21:39 926  
[ ]netgen_4.4-9.diff.gz2008-12-28 21:39 15K 
[ ]multimix_19981218.orig.tar.gz2009-01-03 19:44 364K 
[TXT]multimix_19981218-11.dsc2009-01-03 19:44 600  
[ ]multimix_19981218-11.diff.gz2009-01-03 19:44 28K 
[ ]mrbayes_3.1.2-0ubuntu1.diff.gz2008-12-30 13:07 2.0K 
[ ]mrbayes_3.1.2-0ubuntu1-build1.tar.gz2009-02-17 04:45 532K 
[TXT]mrbayes_3.1.2-0ubuntu1-build1.dsc2009-02-17 04:45 612  
[ ]model-builder_0.4.1.orig.tar.gz2008-12-29 21:10 131K 
[TXT]model-builder_0.4.1-2ubuntu2.dsc2008-12-29 21:10 1.0K 
[ ]model-builder_0.4.1-2ubuntu2.diff.gz2008-12-29 21:10 5.9K 
[ ]minlog_4.0.99.20071012.orig.tar.gz2009-01-03 19:23 815K 
[TXT]minlog_4.0.99.20071012-4.dsc2009-01-03 19:23 621  
[ ]minlog_4.0.99.20071012-4.diff.gz2009-01-03 19:23 3.7K 
[ ]meschach_1.2b.orig.tar.gz2008-12-26 10:40 215K 
[TXT]meschach_1.2b-13.dsc2008-12-26 10:40 583  
[ ]meschach_1.2b-13.diff.gz2008-12-26 10:40 53K 
[ ]maxima_5.13.0.orig.tar.gz2008-12-26 08:26 18M 
[TXT]maxima_5.13.0-3ubuntu1.dsc2008-12-26 08:26 930  
[ ]maxima_5.13.0-3ubuntu1.diff.gz2008-12-26 08:26 2.0M 
[ ]matwrap_0.57.orig.tar.gz2009-01-03 18:53 86K 
[TXT]matwrap_0.57-9.dsc2009-01-03 18:53 882  
[ ]matwrap_0.57-9.diff.gz2009-01-03 18:53 4.4K 
[ ]matita_0.4.98.orig.tar.gz2009-01-03 18:49 1.8M 
[TXT]matita_0.4.98-5.dsc2009-01-03 18:49 1.1K 
[ ]matita_0.4.98-5.diff.gz2009-01-03 18:49 4.0K 
[ ]mathomatic_12.8.5.orig.tar.gz2008-12-30 00:49 170K 
[TXT]mathomatic_12.8.5-1.dsc2008-12-30 00:49 1.3K 
[ ]mathomatic_12.8.5-1.diff.gz2008-12-30 00:49 5.0K 
[ ]matchit_2.2-11.orig.tar.gz2008-12-29 03:52 32K 
[TXT]matchit_2.2-11-2.dsc2008-12-29 03:52 1.3K 
[ ]matchit_2.2-11-2.diff.gz2008-12-29 03:52 2.4K 
[ ]mascyma_0.59-1ubuntu2.tar.gz2009-01-02 19:04 295K 
[TXT]mascyma_0.59-1ubuntu2.dsc2009-01-02 19:04 585  
[ ]lybniz_1.3.2.orig.tar.gz2008-12-25 05:11 69K 
[TXT]lybniz_1.3.2-1ubuntu1.dsc2008-12-25 05:11 1.5K 
[ ]lybniz_1.3.2-1ubuntu1.diff.gz2008-12-25 05:11 2.8K 
[ ]lp-solve_5.5.0.10.orig.tar.gz2008-12-28 20:47 751K 
[TXT]lp-solve_5.5.0.10-9build1.dsc2008-12-28 20:47 743  
[ ]lp-solve_5.5.0.10-9build1.diff.gz2008-12-28 20:47 333K 
[ ]littler_0.1.0.orig.tar.gz2008-12-29 05:34 116K 
[TXT]littler_0.1.0-1ubuntu1.dsc2008-12-29 05:34 674  
[ ]littler_0.1.0-1ubuntu1.diff.gz2008-12-29 05:34 2.6K 
[ ]libtnt_1.2.6.orig.tar.gz2008-12-29 22:03 51K 
[TXT]libtnt_1.2.6-1.dsc2008-12-29 22:03 534  
[ ]libtnt_1.2.6-1.diff.gz2008-12-29 22:03 8.9K 
[ ]libranlip_1.0.orig.tar.gz2008-12-24 23:54 466K 
[TXT]libranlip_1.0-4.1.dsc2008-12-24 23:54 1.2K 
[ ]libranlip_1.0-4.1.diff.gz2008-12-24 23:54 3.5K 
[ ]libqalculate_0.9.6.orig.tar.gz2008-12-24 12:39 1.1M 
[TXT]libqalculate_0.9.6-2.dsc2008-12-24 12:39 1.5K 
[ ]libqalculate_0.9.6-2.diff.gz2008-12-24 12:39 205K 
[ ]libmath++_0.0.4.orig.tar.gz2008-12-28 18:52 50K 
[TXT]libmath++_0.0.4-3.dsc2008-12-28 18:52 693  
[ ]libmath++_0.0.4-3.diff.gz2008-12-28 18:52 2.3K 
[ ]liblip_2.0.0.orig.tar.gz2008-12-30 13:58 666K 
[TXT]liblip_2.0.0-1.1.dsc2008-12-30 13:58 637  
[ ]liblip_2.0.0-1.1.diff.gz2008-12-30 13:58 4.7K 
[ ]libjama_1.2.4.orig.tar.gz2008-12-31 00:50 43K 
[TXT]libjama_1.2.4-2.dsc2008-12-31 00:50 538  
[ ]libjama_1.2.4-2.diff.gz2008-12-31 00:50 9.3K 
[ ]lbt_1.2.2.orig.tar.gz2008-12-25 08:05 20K 
[TXT]lbt_1.2.2-3.dsc2008-12-25 08:05 540  
[ ]lbt_1.2.2-3.diff.gz2008-12-25 08:05 2.1K 
[ ]kseg_0.4.0.3.orig.tar.gz2008-12-29 05:28 641K 
[TXT]kseg_0.4.0.3-2.dsc2008-12-29 05:28 585  
[ ]kseg_0.4.0.3-2.diff.gz2008-12-29 05:28 7.7K 
[ ]kayali_0.3.2.orig.tar.gz2008-12-30 23:59 555K 
[TXT]kayali_0.3.2-0ubuntu3.dsc2008-12-30 23:59 745  
[ ]kayali_0.3.2-0ubuntu3.diff.gz2008-12-30 23:59 4.8K 
[ ]kali_3.1.orig.tar.gz2008-12-25 10:04 669K 
[TXT]kali_3.1-7.dsc2008-12-25 10:04 584  
[ ]kali_3.1-7.diff.gz2008-12-25 10:04 4.8K 
[ ]jgraph_83.orig.tar.gz2008-12-29 22:05 107K 
[TXT]jgraph_83-22.dsc2008-12-29 22:05 552  
[ ]jgraph_83-22.diff.gz2008-12-29 22:05 35K 
[ ]jacal_1b7.orig.tar.gz2008-12-30 01:16 236K 
[TXT]jacal_1b7-2.dsc2008-12-30 01:16 564  
[ ]jacal_1b7-2.diff.gz2008-12-30 01:16 4.0K 
[ ]hol88_2.02.19940316.orig.tar.gz2008-12-28 21:33 9.8M 
[TXT]hol88_2.02.19940316-7.dsc2008-12-28 21:33 839  
[ ]hol88_2.02.19940316-7.diff.gz2008-12-28 21:33 19K 
[ ]gsl-ref-html_1.10.orig.tar.gz2008-12-29 20:24 496K 
[TXT]gsl-ref-html_1.10-1.dsc2008-12-29 20:24 566  
[ ]gsl-ref-html_1.10-1.diff.gz2008-12-29 20:24 9.2K 
[ ]grpn_1.1.2.orig.tar.gz2008-12-30 21:56 45K 
[TXT]grpn_1.1.2-2ubuntu2.dsc2008-12-30 21:56 658  
[ ]grpn_1.1.2-2ubuntu2.diff.gz2008-12-30 21:56 3.8K 
[ ]gretl_1.7.1.orig.tar.gz2008-12-28 19:25 5.7M 
[TXT]gretl_1.7.1-3.dsc2008-12-28 19:25 1.0K 
[ ]gretl_1.7.1-3.diff.gz2008-12-28 19:25 12K 
[ ]graphthing_1.3.2.orig.tar.gz2008-12-24 16:08 140K 
[TXT]graphthing_1.3.2-2.dsc2008-12-24 16:08 1.4K 
[ ]graphthing_1.3.2-2.diff.gz2008-12-24 16:08 4.1K 
[ ]grace_5.1.21.orig.tar.gz2008-12-29 03:07 2.4M 
[TXT]grace_5.1.21-1build1.dsc2008-12-29 03:07 1.5K 
[ ]grace_5.1.21-1build1.diff.gz2008-12-29 03:07 23K 
[ ]gnuplot_4.2.2.orig.tar.gz2009-01-30 02:27 2.7M 
[TXT]gnuplot_4.2.2-1nexenta1.dsc2009-01-30 02:26 1.0K 
[ ]gnuplot_4.2.2-1nexenta1.diff.gz2009-01-30 02:27 27K 
[ ]gnuplot-mode_0.6.0.orig.tar.gz2008-12-29 04:47 299K 
[TXT]gnuplot-mode_0.6.0-2.3.dsc2008-12-29 04:47 1.2K 
[ ]gnuplot-mode_0.6.0-2.3.diff.gz2008-12-29 04:47 5.0K 
[ ]gmsh_2.0.8.orig.tar.gz2008-12-29 20:32 2.1M 
[TXT]gmsh_2.0.8-4ubuntu1.dsc2008-12-29 20:32 1.0K 
[ ]gmsh_2.0.8-4ubuntu1.diff.gz2008-12-29 20:32 74K 
[ ]gmp-ecm_6.1.2.orig.tar.gz2008-12-30 21:27 379K 
[TXT]gmp-ecm_6.1.2-1.dsc2008-12-30 21:27 575  
[ ]gmp-ecm_6.1.2-1.diff.gz2008-12-30 21:27 32K 
[ ]ginac_1.4.1.orig.tar.gz2008-12-26 10:10 1.1M 
[TXT]ginac_1.4.1-1build1.dsc2008-12-26 10:10 1.3K 
[ ]ginac_1.4.1-1build1.diff.gz2008-12-26 10:10 4.9K 
[ ]ggobi_2.1.6.orig.tar.gz2008-12-26 10:21 3.3M 
[TXT]ggobi_2.1.6-2ubuntu2.dsc2008-12-26 10:21 1.3K 
[ ]ggobi_2.1.6-2ubuntu2.diff.gz2008-12-26 10:21 18K 
[ ]gerris_0.6.0.orig.tar.gz2008-12-30 21:17 4.1M 
[TXT]gerris_0.6.0-3.1.dsc2008-12-30 21:17 619  
[ ]gerris_0.6.0-3.1.diff.gz2008-12-30 21:17 20K 
[ ]geg_1.0.2.orig.tar.gz2008-12-25 13:27 67K 
[TXT]geg_1.0.2-6build1.dsc2008-12-25 13:27 573  
[ ]geg_1.0.2-6build1.diff.gz2008-12-25 13:27 59K 
[ ]gbase_0.5.orig.tar.gz2008-12-26 12:34 6.3K 
[TXT]gbase_0.5-2.1ubuntu3.dsc2008-12-26 12:34 667  
[ ]gbase_0.5-2.1ubuntu3.diff.gz2008-12-26 12:34 2.7K 
[ ]gap-ctbllib_1r1p3.orig.tar.gz2008-12-29 19:15 4.4M 
[TXT]gap-ctbllib_1r1p3-5.dsc2008-12-29 19:15 632  
[ ]gap-ctbllib_1r1p3-5.diff.gz2008-12-29 19:15 4.7K 
[ ]gambit_0.2006.01.20.orig.tar.gz2008-12-29 06:14 1.3M 
[TXT]gambit_0.2006.01.20-2.dsc2008-12-29 06:14 614  
[ ]gambit_0.2006.01.20-2.diff.gz2008-12-29 06:14 21K 
[ ]freefem_3.5.8.orig.tar.gz2008-12-29 08:01 466K 
[TXT]freefem_3.5.8-4.dsc2008-12-29 08:01 1.5K 
[ ]freefem_3.5.8-4.diff.gz2008-12-29 08:01 46K 
[ ]freefem3d_1.0pre10.orig.tar.gz2008-12-26 03:15 5.0M 
[TXT]freefem3d_1.0pre10-2.dsc2008-12-26 03:15 1.5K 
[ ]freefem3d_1.0pre10-2.diff.gz2008-12-26 03:15 4.4K 
[ ]extcalc_0.9.0.orig.tar.gz2008-12-30 14:00 1.0M 
[TXT]extcalc_0.9.0-1.dsc2008-12-30 14:00 750  
[ ]extcalc_0.9.0-1.diff.gz2008-12-30 14:00 2.2K 
[ ]euler_1.61.0.orig.tar.gz2008-12-30 20:58 1.1M 
[TXT]euler_1.61.0-4.dsc2008-12-30 20:58 790  
[ ]euler_1.61.0-4.diff.gz2008-12-30 20:58 8.3K 
[ ]eukleides_1.0.3.orig.tar.gz2008-12-30 20:58 50K 
[TXT]eukleides_1.0.3-1.dsc2008-12-30 20:58 603  
[ ]eukleides_1.0.3-1.diff.gz2008-12-30 20:58 84K 
[ ]drgeo_1.1.0.orig.tar.gz2008-12-25 13:24 1.5M 
[TXT]drgeo_1.1.0-1ubuntu1.dsc2008-12-25 13:24 1.3K 
[ ]drgeo_1.1.0-1ubuntu1.diff.gz2008-12-25 13:24 25K 
[ ]drawmap_2.5.orig.tar.gz2008-12-30 13:45 243K 
[TXT]drawmap_2.5-3.dsc2008-12-30 13:45 649  
[ ]drawmap_2.5-3.diff.gz2008-12-30 13:45 9.3K 
[ ]dome_4.80.orig.tar.gz2008-12-30 20:35 54K 
[TXT]dome_4.80-4.dsc2008-12-30 20:35 546  
[ ]dome_4.80-4.diff.gz2008-12-30 20:35 4.1K 
[ ]coq_8.1.pl3+dfsg.orig.tar.gz2008-12-27 11:44 2.4M 
[TXT]coq_8.1.pl3+dfsg-1.dsc2008-12-27 11:44 1.0K 
[ ]coq_8.1.pl3+dfsg-1.diff.gz2008-12-27 11:44 15K 
[ ]circlepack_5.1.orig.tar.gz2008-12-24 18:12 607K 
[TXT]circlepack_5.1-3.dsc2008-12-24 18:12 598  
[ ]circlepack_5.1-3.diff.gz2008-12-24 18:12 3.4K 
[ ]cimg_1.2.0.1.orig.tar.gz2008-12-29 04:58 3.6M 
[TXT]cimg_1.2.0.1-2.dsc2008-12-29 04:58 1.5K 
[ ]cimg_1.2.0.1-2.diff.gz2008-12-29 04:58 9.8K 
[ ]calc_2.02f.orig.tar.gz2008-12-29 03:47 813K 
[TXT]calc_2.02f-28.dsc2008-12-29 03:47 1.2K 
[ ]calc_2.02f-28.diff.gz2008-12-29 03:47 43K 
[ ]cafix_0.2.0.orig.tar.gz2008-12-28 20:43 28K 
[TXT]cafix_0.2.0-0ubuntu3.dsc2008-12-28 20:43 722  
[ ]cafix_0.2.0-0ubuntu3.diff.gz2008-12-28 20:43 3.8K 
[ ]axiom_20050901.orig.tar.gz2008-12-27 08:03 40M 
[TXT]axiom_20050901-9ubuntu1.dsc2008-12-27 08:03 926  
[ ]axiom_20050901-9ubuntu1.diff.gz2008-12-27 08:03 1.4M 
[ ]autoclass_3.3.4.orig.tar.gz2008-12-25 07:04 610K 
[TXT]autoclass_3.3.4-6.dsc2008-12-25 07:04 577  
[ ]autoclass_3.3.4-6.diff.gz2008-12-25 07:04 58K 
[ ]arpack_2.1+parpack96.orig.tar.gz2008-12-29 04:27 2.3M 
[TXT]arpack_2.1+parpack96-5.dsc2008-12-29 04:27 1.1K 
[ ]arpack_2.1+parpack96-5.diff.gz2008-12-29 04:27 13K 
[ ]aribas_1.62.orig.tar.gz2008-12-30 17:21 285K 
[TXT]aribas_1.62-1.dsc2008-12-30 17:21 556  
[ ]aribas_1.62-1.diff.gz2008-12-30 17:21 4.3K 
[ ]apcalc_2.12.1.13-3ubuntu1.diff.gz2008-12-25 08:55 7.4K 
[ ]apcalc_2.12.1.13-3ubuntu1-build1.tar.gz2009-02-17 04:44 1.0M 
[TXT]apcalc_2.12.1.13-3ubuntu1-build1.dsc2009-02-17 04:44 726  
[ ]admesh_0.95.orig.tar.gz2008-12-30 16:56 50K 
[TXT]admesh_0.95-7.dsc2008-12-30 16:56 533  
[ ]admesh_0.95-7.diff.gz2008-12-30 16:56 2.4K 
[ ]acl2_3.3.orig.tar.gz2008-12-25 13:43 7.0M 
[TXT]acl2_3.3-1ubuntu1.dsc2008-12-25 13:43 904  
[ ]acl2_3.3-1ubuntu1.diff.gz2008-12-25 13:43 13K 
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443