Index of /pub/Linux/debian/pool/main/d/dose3
Name
Last modified
Size
Description
Parent Directory
-
dose3_5.0.1.orig.tar.gz
2016-09-08 23:10
290K
dose3_5.0.1-12.debian.tar.xz
2019-01-29 20:36
35K
dose3_5.0.1-12.dsc
2019-01-29 20:36
2.6K
apt-cudf_5.0.1-12_i386.deb
2019-01-29 21:26
803K
dose-builddebcheck_5.0.1-12_i386.deb
2019-01-29 21:26
788K
dose-distcheck_5.0.1-12_i386.deb
2019-01-29 21:26
810K
dose-extra_5.0.1-12_i386.deb
2019-01-29 21:26
1.8M
libdose3-ocaml-dev_5.0.1-12_i386.deb
2019-01-29 21:26
707K
libdose3-ocaml_5.0.1-12_i386.deb
2019-01-29 21:26
19K
dose-doc_5.0.1-12_all.deb
2019-01-29 21:26
92K
apt-cudf_5.0.1-12_amd64.deb
2019-01-29 21:26
901K
dose-builddebcheck_5.0.1-12_amd64.deb
2019-01-29 21:26
884K
dose-distcheck_5.0.1-12_amd64.deb
2019-01-29 21:26
908K
dose-extra_5.0.1-12_amd64.deb
2019-01-29 21:26
2.1M
libdose3-ocaml-dev_5.0.1-12_amd64.deb
2019-01-29 21:26
756K
libdose3-ocaml_5.0.1-12_amd64.deb
2019-01-29 21:26
19K
apt-cudf_5.0.1-12_arm64.deb
2019-01-29 21:26
1.0M
dose-builddebcheck_5.0.1-12_arm64.deb
2019-01-29 21:26
1.0M
dose-distcheck_5.0.1-12_arm64.deb
2019-01-29 21:26
1.0M
dose-extra_5.0.1-12_arm64.deb
2019-01-29 21:26
2.5M
libdose3-ocaml-dev_5.0.1-12_arm64.deb
2019-01-29 21:26
861K
libdose3-ocaml_5.0.1-12_arm64.deb
2019-01-29 21:26
19K
apt-cudf_5.0.1-12_armhf.deb
2019-01-29 21:41
857K
dose-builddebcheck_5.0.1-12_armhf.deb
2019-01-29 21:41
843K
dose-distcheck_5.0.1-12_armhf.deb
2019-01-29 21:41
866K
dose-extra_5.0.1-12_armhf.deb
2019-01-29 21:41
1.6M
libdose3-ocaml-dev_5.0.1-12_armhf.deb
2019-01-29 21:41
759K
libdose3-ocaml_5.0.1-12_armhf.deb
2019-01-29 21:41
18K
dose3_6.0.1.orig.tar.gz
2021-02-01 23:22
1.4M
dose3_6.0.1-2.debian.tar.xz
2021-02-02 12:15
23K
dose3_6.0.1-2.dsc
2021-02-02 12:15
2.9K
apt-cudf_6.0.1-2_i386.deb
2021-02-02 12:36
1.0M
dose-builddebcheck_6.0.1-2_i386.deb
2021-02-02 12:36
1.0M
dose-distcheck_6.0.1-2_i386.deb
2021-02-02 12:36
1.0M
dose-extra_6.0.1-2_i386.deb
2021-02-02 12:36
2.1M
libdose3-ocaml-dev_6.0.1-2_i386.deb
2021-02-02 12:36
3.1M
apt-cudf_6.0.1-2_amd64.deb
2021-02-02 12:36
1.0M
dose-builddebcheck_6.0.1-2_amd64.deb
2021-02-02 12:36
1.1M
dose-distcheck_6.0.1-2_amd64.deb
2021-02-02 12:36
1.1M
dose-extra_6.0.1-2_amd64.deb
2021-02-02 12:36
2.1M
libdose3-ocaml-dev_6.0.1-2_amd64.deb
2021-02-02 12:36
3.2M
apt-cudf_6.0.1-2_arm64.deb
2021-02-02 12:41
1.2M
dose-builddebcheck_6.0.1-2_arm64.deb
2021-02-02 12:41
1.2M
dose-distcheck_6.0.1-2_arm64.deb
2021-02-02 12:41
1.2M
dose-extra_6.0.1-2_arm64.deb
2021-02-02 12:41
2.7M
libdose3-ocaml-dev_6.0.1-2_arm64.deb
2021-02-02 12:41
3.2M
apt-cudf_6.0.1-2_armhf.deb
2021-02-02 12:56
1.0M
dose-builddebcheck_6.0.1-2_armhf.deb
2021-02-02 12:56
1.0M
dose-distcheck_6.0.1-2_armhf.deb
2021-02-02 12:56
1.1M
dose-extra_6.0.1-2_armhf.deb
2021-02-02 12:56
1.9M
libdose3-ocaml-dev_6.0.1-2_armhf.deb
2021-02-02 12:56
3.2M
apt-cudf_6.0.1-2_armel.deb
2021-02-02 13:11
294K
dose-builddebcheck_6.0.1-2_armel.deb
2021-02-02 13:11
293K
dose-distcheck_6.0.1-2_armel.deb
2021-02-02 13:11
296K
dose-extra_6.0.1-2_armel.deb
2021-02-02 13:11
358K
libdose3-ocaml-dev_6.0.1-2_armel.deb
2021-02-02 13:11
2.6M
dose-doc_6.0.1-2_all.deb
2021-02-02 13:27
323K
apt-cudf_6.0.1-2_mipsel.deb
2021-02-02 14:27
306K
dose-builddebcheck_6.0.1-2_mipsel.deb
2021-02-02 14:27
306K
dose-distcheck_6.0.1-2_mipsel.deb
2021-02-02 14:27
308K
dose-extra_6.0.1-2_mipsel.deb
2021-02-02 14:27
397K
libdose3-ocaml-dev_6.0.1-2_mipsel.deb
2021-02-02 14:27
2.6M
apt-cudf_6.0.1-2_ppc64el.deb
2021-02-02 14:27
1.1M
dose-builddebcheck_6.0.1-2_ppc64el.deb
2021-02-02 14:27
1.1M
dose-distcheck_6.0.1-2_ppc64el.deb
2021-02-02 14:27
1.1M
dose-extra_6.0.1-2_ppc64el.deb
2021-02-02 14:27
2.2M
libdose3-ocaml-dev_6.0.1-2_ppc64el.deb
2021-02-02 14:27
3.2M
apt-cudf_6.0.1-2_mips64el.deb
2021-02-02 15:43
306K
dose-builddebcheck_6.0.1-2_mips64el.deb
2021-02-02 15:43
305K
dose-distcheck_6.0.1-2_mips64el.deb
2021-02-02 15:43
308K
dose-extra_6.0.1-2_mips64el.deb
2021-02-02 15:43
394K
libdose3-ocaml-dev_6.0.1-2_mips64el.deb
2021-02-02 15:43
2.6M
apt-cudf_6.0.1-2_s390x.deb
2021-02-02 21:05
1.0M
dose-builddebcheck_6.0.1-2_s390x.deb
2021-02-02 21:05
1.1M
dose-distcheck_6.0.1-2_s390x.deb
2021-02-02 21:05
1.1M
dose-extra_6.0.1-2_s390x.deb
2021-02-02 21:05
2.0M
libdose3-ocaml-dev_6.0.1-2_s390x.deb
2021-02-02 21:05
3.1M
dose3_7.0.0-1.dsc
2022-02-14 11:57
2.6K
dose3_7.0.0.orig.tar.gz
2022-02-14 11:57
1.4M
dose3_7.0.0-1.debian.tar.xz
2022-02-14 11:57
19K
dose-doc_7.0.0-1_all.deb
2022-02-14 12:18
315K
apt-cudf_7.0.0-1+b2_armel.deb
2023-01-24 03:11
286K
dose-builddebcheck_7.0.0-1+b2_armel.deb
2023-01-24 03:11
282K
dose-distcheck_7.0.0-1+b2_armel.deb
2023-01-24 03:11
285K
dose-extra_7.0.0-1+b2_armel.deb
2023-01-24 03:11
355K
libdose3-ocaml-dev_7.0.0-1+b2_armel.deb
2023-01-24 03:11
2.6M
apt-cudf_7.0.0-1+b2_amd64.deb
2023-01-24 03:11
1.0M
dose-builddebcheck_7.0.0-1+b2_amd64.deb
2023-01-24 03:11
1.0M
dose-distcheck_7.0.0-1+b2_amd64.deb
2023-01-24 03:11
1.0M
dose-extra_7.0.0-1+b2_amd64.deb
2023-01-24 03:11
2.0M
libdose3-ocaml-dev_7.0.0-1+b2_amd64.deb
2023-01-24 03:11
3.2M
apt-cudf_7.0.0-1+b2_arm64.deb
2023-01-24 03:11
1.1M
dose-builddebcheck_7.0.0-1+b2_arm64.deb
2023-01-24 03:11
1.2M
dose-distcheck_7.0.0-1+b2_arm64.deb
2023-01-24 03:11
1.2M
dose-extra_7.0.0-1+b2_arm64.deb
2023-01-24 03:11
2.5M
libdose3-ocaml-dev_7.0.0-1+b2_arm64.deb
2023-01-24 03:11
3.2M
apt-cudf_7.0.0-1+b2_i386.deb
2023-01-24 03:26
951K
dose-builddebcheck_7.0.0-1+b2_i386.deb
2023-01-24 03:26
972K
dose-distcheck_7.0.0-1+b2_i386.deb
2023-01-24 03:26
1.0M
dose-extra_7.0.0-1+b2_i386.deb
2023-01-24 03:26
1.9M
libdose3-ocaml-dev_7.0.0-1+b2_i386.deb
2023-01-24 03:26
3.2M
apt-cudf_7.0.0-1+b2_s390x.deb
2023-01-24 03:26
1.0M
dose-builddebcheck_7.0.0-1+b2_s390x.deb
2023-01-24 03:26
1.0M
dose-distcheck_7.0.0-1+b2_s390x.deb
2023-01-24 03:26
1.0M
dose-extra_7.0.0-1+b2_s390x.deb
2023-01-24 03:26
1.9M
libdose3-ocaml-dev_7.0.0-1+b2_s390x.deb
2023-01-24 03:26
3.2M
apt-cudf_7.0.0-1+b2_mipsel.deb
2023-01-24 03:41
296K
dose-builddebcheck_7.0.0-1+b2_mipsel.deb
2023-01-24 03:41
293K
dose-distcheck_7.0.0-1+b2_mipsel.deb
2023-01-24 03:41
295K
dose-extra_7.0.0-1+b2_mipsel.deb
2023-01-24 03:41
385K
libdose3-ocaml-dev_7.0.0-1+b2_mipsel.deb
2023-01-24 03:41
2.6M
apt-cudf_7.0.0-1+b2_armhf.deb
2023-01-24 04:12
971K
dose-builddebcheck_7.0.0-1+b2_armhf.deb
2023-01-24 04:12
1.0M
dose-distcheck_7.0.0-1+b2_armhf.deb
2023-01-24 04:12
1.0M
dose-extra_7.0.0-1+b2_armhf.deb
2023-01-24 04:12
1.8M
libdose3-ocaml-dev_7.0.0-1+b2_armhf.deb
2023-01-24 04:12
3.2M
apt-cudf_7.0.0-1+b2_mips64el.deb
2023-01-24 04:12
296K
dose-builddebcheck_7.0.0-1+b2_mips64el.deb
2023-01-24 04:12
292K
dose-distcheck_7.0.0-1+b2_mips64el.deb
2023-01-24 04:12
295K
dose-extra_7.0.0-1+b2_mips64el.deb
2023-01-24 04:12
386K
libdose3-ocaml-dev_7.0.0-1+b2_mips64el.deb
2023-01-24 04:12
2.6M
apt-cudf_7.0.0-1+b2_ppc64el.deb
2023-01-24 06:14
1.0M
dose-builddebcheck_7.0.0-1+b2_ppc64el.deb
2023-01-24 06:14
1.1M
dose-distcheck_7.0.0-1+b2_ppc64el.deb
2023-01-24 06:14
1.1M
dose-extra_7.0.0-1+b2_ppc64el.deb
2023-01-24 06:14
2.1M
libdose3-ocaml-dev_7.0.0-1+b2_ppc64el.deb
2023-01-24 06:14
3.3M
dose3_7.0.0-5.debian.tar.xz
2024-06-15 07:40
20K
dose3_7.0.0-5.dsc
2024-06-15 07:40
2.6K
dose-doc_7.0.0-5_all.deb
2024-06-15 08:05
668K
apt-cudf_7.0.0-5+b5_arm64.deb
2024-09-23 15:37
1.3M
dose-builddebcheck_7.0.0-5+b5_arm64.deb
2024-09-23 15:37
1.3M
dose-distcheck_7.0.0-5+b5_arm64.deb
2024-09-23 15:37
1.3M
dose-extra_7.0.0-5+b5_arm64.deb
2024-09-23 15:37
2.9M
libdose3-ocaml-dev_7.0.0-5+b5_arm64.deb
2024-09-23 15:37
4.5M
apt-cudf_7.0.0-5+b5_i386.deb
2024-09-23 15:37
349K
dose-builddebcheck_7.0.0-5+b5_i386.deb
2024-09-23 15:37
347K
dose-distcheck_7.0.0-5+b5_i386.deb
2024-09-23 15:37
349K
dose-extra_7.0.0-5+b5_i386.deb
2024-09-23 15:37
423K
libdose3-ocaml-dev_7.0.0-5+b5_i386.deb
2024-09-23 15:37
3.8M
apt-cudf_7.0.0-5+b5_amd64.deb
2024-09-23 15:37
1.1M
dose-builddebcheck_7.0.0-5+b5_amd64.deb
2024-09-23 15:37
1.1M
dose-distcheck_7.0.0-5+b5_amd64.deb
2024-09-23 15:37
1.2M
dose-extra_7.0.0-5+b5_amd64.deb
2024-09-23 15:37
2.3M
libdose3-ocaml-dev_7.0.0-5+b5_amd64.deb
2024-09-23 15:37
4.5M
apt-cudf_7.0.0-5+b5_s390x.deb
2024-09-23 15:37
1.1M
dose-builddebcheck_7.0.0-5+b5_s390x.deb
2024-09-23 15:37
1.2M
dose-distcheck_7.0.0-5+b5_s390x.deb
2024-09-23 15:37
1.2M
dose-extra_7.0.0-5+b5_s390x.deb
2024-09-23 15:37
2.3M
libdose3-ocaml-dev_7.0.0-5+b5_s390x.deb
2024-09-23 15:37
4.5M
apt-cudf_7.0.0-5+b5_ppc64el.deb
2024-09-23 15:37
1.1M
dose-builddebcheck_7.0.0-5+b5_ppc64el.deb
2024-09-23 15:37
1.2M
dose-distcheck_7.0.0-5+b5_ppc64el.deb
2024-09-23 15:37
1.2M
dose-extra_7.0.0-5+b5_ppc64el.deb
2024-09-23 15:37
2.4M
libdose3-ocaml-dev_7.0.0-5+b5_ppc64el.deb
2024-09-23 15:37
4.6M
apt-cudf_7.0.0-5+b5_armhf.deb
2024-09-23 15:42
311K
dose-builddebcheck_7.0.0-5+b5_armhf.deb
2024-09-23 15:42
310K
dose-distcheck_7.0.0-5+b5_armhf.deb
2024-09-23 15:42
311K
dose-extra_7.0.0-5+b5_armhf.deb
2024-09-23 15:42
377K
libdose3-ocaml-dev_7.0.0-5+b5_armhf.deb
2024-09-23 15:42
3.8M
apt-cudf_7.0.0-5+b5_armel.deb
2024-09-23 15:48
312K
dose-builddebcheck_7.0.0-5+b5_armel.deb
2024-09-23 15:48
310K
dose-distcheck_7.0.0-5+b5_armel.deb
2024-09-23 15:48
312K
dose-extra_7.0.0-5+b5_armel.deb
2024-09-23 15:48
377K
libdose3-ocaml-dev_7.0.0-5+b5_armel.deb
2024-09-23 15:48
3.8M
apt-cudf_7.0.0-5+b5_riscv64.deb
2024-09-23 16:03
1.2M
dose-builddebcheck_7.0.0-5+b5_riscv64.deb
2024-09-23 16:03
1.2M
dose-distcheck_7.0.0-5+b5_riscv64.deb
2024-09-23 16:03
1.2M
dose-extra_7.0.0-5+b5_riscv64.deb
2024-09-23 16:03
2.3M
libdose3-ocaml-dev_7.0.0-5+b5_riscv64.deb
2024-09-23 16:03
4.8M
apt-cudf_7.0.0-5+b5_mips64el.deb
2024-09-23 16:13
319K
dose-builddebcheck_7.0.0-5+b5_mips64el.deb
2024-09-23 16:13
317K
dose-distcheck_7.0.0-5+b5_mips64el.deb
2024-09-23 16:13
319K
dose-extra_7.0.0-5+b5_mips64el.deb
2024-09-23 16:13
413K
libdose3-ocaml-dev_7.0.0-5+b5_mips64el.deb
2024-09-23 16:13
3.8M
Apache/2.4.62 (Debian) Server at ftp.mizar.org Port 443