Index of /packages/linux-ubuntu/pool/universe/d/dose3

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]apt-cudf_7.0.0-5build8_amd64.deb2024-09-25 02:09 1.2M 
[   ]dose-builddebcheck_7.0.0-5build8_amd64.deb2024-09-25 02:09 1.3M 
[   ]dose-distcheck_7.0.0-5build8_amd64.deb2024-09-25 02:09 1.3M 
[   ]dose-doc_7.0.0-5build8_all.deb2024-09-25 02:09 661K 
[   ]dose-extra_7.0.0-5build8_amd64.deb2024-09-25 02:09 2.7M 
[   ]libdose3-ocaml-dev_7.0.0-5build8_amd64.deb2024-09-25 02:09 4.6M 
[TXT]dose3_7.0.0-5build8.dsc2024-09-25 00:29 2.8K 
[   ]dose3_7.0.0-5build8.debian.tar.xz2024-09-25 00:29 20K 
[   ]apt-cudf_7.0.0-4build3_amd64.deb2024-04-10 11:33 1.1M 
[   ]dose-builddebcheck_7.0.0-4build3_amd64.deb2024-04-10 11:33 1.2M 
[   ]dose-distcheck_7.0.0-4build3_amd64.deb2024-04-10 11:33 1.2M 
[   ]dose-doc_7.0.0-4build3_all.deb2024-04-10 11:33 661K 
[   ]dose-extra_7.0.0-4build3_amd64.deb2024-04-10 11:33 2.4M 
[   ]libdose3-ocaml-dev_7.0.0-4build3_amd64.deb2024-04-10 11:33 3.8M 
[TXT]dose3_7.0.0-4build3.dsc2024-04-10 11:32 2.8K 
[   ]dose3_7.0.0-4build3.debian.tar.xz2024-04-10 11:32 20K 
[   ]dose-builddebcheck_7.0.0-1build2_amd64.deb2023-01-27 08:14 1.1M 
[   ]dose-distcheck_7.0.0-1build2_amd64.deb2023-01-27 08:14 1.1M 
[   ]apt-cudf_7.0.0-1build2_amd64.deb2023-01-27 08:14 1.1M 
[   ]dose-extra_7.0.0-1build2_amd64.deb2023-01-27 08:14 2.3M 
[   ]dose-doc_7.0.0-1build2_all.deb2023-01-27 08:14 310K 
[   ]libdose3-ocaml-dev_7.0.0-1build2_amd64.deb2023-01-27 08:14 3.7M 
[TXT]dose3_7.0.0-1build2.dsc2023-01-27 08:14 2.8K 
[   ]dose3_7.0.0-1build2.debian.tar.xz2023-01-27 08:14 19K 
[   ]libdose3-ocaml-dev_7.0.0-1build1_amd64.deb2022-02-25 18:03 3.7M 
[   ]apt-cudf_7.0.0-1build1_amd64.deb2022-02-25 18:03 1.1M 
[   ]dose-distcheck_7.0.0-1build1_amd64.deb2022-02-25 18:03 1.2M 
[   ]dose-builddebcheck_7.0.0-1build1_amd64.deb2022-02-25 18:03 1.1M 
[   ]dose-extra_7.0.0-1build1_amd64.deb2022-02-25 18:03 2.4M 
[   ]dose-doc_7.0.0-1build1_all.deb2022-02-25 18:03 311K 
[TXT]dose3_7.0.0-1build1.dsc2022-02-25 17:43 2.8K 
[   ]dose3_7.0.0-1build1.debian.tar.xz2022-02-25 17:43 19K 
[   ]dose3_7.0.0.orig.tar.gz2022-02-14 18:38 1.4M 
[   ]libdose3-ocaml_5.0.1-14build2_amd64.deb2020-02-21 10:33 7.3K 
[   ]libdose3-ocaml-dev_5.0.1-14build2_amd64.deb2020-02-21 10:33 752K 
[   ]dose-extra_5.0.1-14build2_amd64.deb2020-02-21 10:33 2.7M 
[   ]dose-doc_5.0.1-14build2_all.deb2020-02-21 10:33 82K 
[   ]dose-builddebcheck_5.0.1-14build2_amd64.deb2020-02-21 10:33 1.0M 
[   ]apt-cudf_5.0.1-14build2_amd64.deb2020-02-21 10:33 1.1M 
[   ]dose-distcheck_5.0.1-14build2_amd64.deb2020-02-21 10:33 1.1M 
[TXT]dose3_5.0.1-14build2.dsc2020-02-21 08:23 2.8K 
[   ]dose3_5.0.1-14build2.debian.tar.xz2020-02-21 08:23 35K 
[   ]dose-builddebcheck_5.0.1-9build3_i386.deb2017-11-12 16:09 773K 
[   ]libdose3-ocaml_5.0.1-9build3_i386.deb2017-11-12 16:09 7.6K 
[   ]libdose3-ocaml-dev_5.0.1-9build3_i386.deb2017-11-12 16:09 711K 
[   ]dose-extra_5.0.1-9build3_i386.deb2017-11-12 16:09 1.8M 
[   ]dose-distcheck_5.0.1-9build3_i386.deb2017-11-12 16:09 795K 
[   ]apt-cudf_5.0.1-9build3_i386.deb2017-11-12 16:09 789K 
[   ]libdose3-ocaml_5.0.1-9build3_amd64.deb2017-11-12 16:09 7.4K 
[   ]libdose3-ocaml-dev_5.0.1-9build3_amd64.deb2017-11-12 16:09 744K 
[   ]dose-extra_5.0.1-9build3_amd64.deb2017-11-12 16:09 2.1M 
[   ]dose-doc_5.0.1-9build3_all.deb2017-11-12 16:09 81K 
[   ]dose-distcheck_5.0.1-9build3_amd64.deb2017-11-12 16:09 892K 
[   ]dose-builddebcheck_5.0.1-9build3_amd64.deb2017-11-12 16:09 868K 
[   ]apt-cudf_5.0.1-9build3_amd64.deb2017-11-12 16:09 884K 
[TXT]dose3_5.0.1-9build3.dsc2017-11-12 16:08 2.7K 
[   ]dose3_5.0.1-9build3.debian.tar.xz2017-11-12 16:08 32K 
[   ]dose3_5.0.1.orig.tar.gz2016-10-26 09:39 290K 
[   ]libdose3-ocaml-dev_4.0.2-4_amd64.deb2016-01-04 00:34 643K 
[   ]dose-distcheck_4.0.2-4_amd64.deb2016-01-04 00:34 624K 
[   ]apt-cudf_4.0.2-4_amd64.deb2016-01-04 00:34 614K 
[   ]libdose3-ocaml_4.0.2-4_amd64.deb2016-01-04 00:34 7.4K 
[   ]dose-extra_4.0.2-4_amd64.deb2016-01-04 00:34 1.1M 
[   ]dose-builddebcheck_4.0.2-4_amd64.deb2016-01-04 00:34 593K 
[   ]libdose3-ocaml_4.0.2-4_i386.deb2016-01-04 00:19 7.6K 
[   ]dose-extra_4.0.2-4_i386.deb2016-01-04 00:19 1.1M 
[   ]dose-builddebcheck_4.0.2-4_i386.deb2016-01-04 00:19 558K 
[   ]libdose3-ocaml-dev_4.0.2-4_i386.deb2016-01-04 00:19 618K 
[   ]apt-cudf_4.0.2-4_i386.deb2016-01-04 00:19 578K 
[   ]dose-distcheck_4.0.2-4_i386.deb2016-01-04 00:19 588K 
[TXT]dose3_4.0.2-4.dsc2016-01-04 00:19 2.5K 
[   ]dose3_4.0.2-4.debian.tar.xz2016-01-04 00:19 18K 
[   ]dose3_4.0.2.orig.tar.gz2015-10-03 17:48 249K 
[   ]dose-extra_3.1.3-7ubuntu0.1_i386.deb2015-01-07 16:08 787K 
[   ]dose-distcheck_3.1.3-7ubuntu0.1_i386.deb2015-01-07 16:08 500K 
[   ]apt-cudf_3.1.3-7ubuntu0.1_i386.deb2015-01-07 16:08 489K 
[   ]libdose3-ocaml_3.1.3-7ubuntu0.1_i386.deb2015-01-07 16:08 7.1K 
[   ]dose-builddebcheck_3.1.3-7ubuntu0.1_i386.deb2015-01-07 16:08 474K 
[   ]libdose3-ocaml-dev_3.1.3-7ubuntu0.1_i386.deb2015-01-07 16:08 525K 
[   ]dose-builddebcheck_3.1.3-7ubuntu0.1_amd64.deb2015-01-07 16:08 518K 
[   ]libdose3-ocaml-dev_3.1.3-7ubuntu0.1_amd64.deb2015-01-07 16:08 563K 
[   ]dose-extra_3.1.3-7ubuntu0.1_amd64.deb2015-01-07 16:08 850K 
[   ]libdose3-ocaml_3.1.3-7ubuntu0.1_amd64.deb2015-01-07 16:08 7.4K 
[   ]apt-cudf_3.1.3-7ubuntu0.1_amd64.deb2015-01-07 16:08 533K 
[   ]dose-distcheck_3.1.3-7ubuntu0.1_amd64.deb2015-01-07 16:08 545K 
[   ]dose3_3.1.3-7ubuntu0.1.debian.tar.xz2015-01-07 16:08 15K 
[TXT]dose3_3.1.3-7ubuntu0.1.dsc2015-01-07 16:08 2.5K 
[   ]libdose3-ocaml_3.1.3-7build1_i386.deb2013-12-23 23:58 7.3K 
[   ]libdose3-ocaml-dev_3.1.3-7build1_i386.deb2013-12-23 23:58 526K 
[   ]dose-extra_3.1.3-7build1_i386.deb2013-12-23 23:58 784K 
[   ]dose-distcheck_3.1.3-7build1_i386.deb2013-12-23 23:58 500K 
[   ]dose-builddebcheck_3.1.3-7build1_i386.deb2013-12-23 23:58 474K 
[   ]apt-cudf_3.1.3-7build1_i386.deb2013-12-23 23:58 490K 
[   ]libdose3-ocaml_3.1.3-7build1_amd64.deb2013-12-23 23:58 7.5K 
[   ]libdose3-ocaml-dev_3.1.3-7build1_amd64.deb2013-12-23 23:58 558K 
[   ]dose-extra_3.1.3-7build1_amd64.deb2013-12-23 23:58 857K 
[   ]dose-distcheck_3.1.3-7build1_amd64.deb2013-12-23 23:58 544K 
[   ]dose-builddebcheck_3.1.3-7build1_amd64.deb2013-12-23 23:58 517K 
[   ]apt-cudf_3.1.3-7build1_amd64.deb2013-12-23 23:58 534K 
[TXT]dose3_3.1.3-7build1.dsc2013-12-23 23:58 1.8K 
[   ]dose3_3.1.3-7build1.debian.tar.gz2013-12-23 23:58 16K 
[   ]dose3_3.1.3.orig.tar.gz2013-05-08 01:33 248K 

Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443