Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /pub/debian/pool/main/c/coq-hierarchy-builder/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-hierarchy-builder_1.4.0-2+b6_amd64.deb	605.1 KiB	2023-02-14 10:29:48
coq-hierarchy-builder_1.4.0-2+b6_arm64.deb	604.9 KiB	2023-02-14 10:29:50
coq-hierarchy-builder_1.4.0-2+b6_i386.deb	605.1 KiB	2023-02-14 10:24:35
coq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb	605.1 KiB	2023-02-14 12:43:10
coq-hierarchy-builder_1.4.0-2.debian.tar.xz	3.1 KiB	2022-10-26 07:06:37
coq-hierarchy-builder_1.4.0-2.dsc	2.2 KiB	2022-10-26 07:06:37
coq-hierarchy-builder_1.4.0.orig.tar.gz	196.9 KiB	2022-10-02 19:51:11
coq-hierarchy-builder_1.6.0-1+b1_amd64.deb	646.6 KiB	2024-02-16 12:38:03
coq-hierarchy-builder_1.6.0-1+b1_arm64.deb	646.7 KiB	2024-02-16 12:12:40
coq-hierarchy-builder_1.6.0-1+b1_armhf.deb	646.5 KiB	2024-02-16 12:12:37
coq-hierarchy-builder_1.6.0-1+b1_i386.deb	646.6 KiB	2024-02-16 12:38:02
coq-hierarchy-builder_1.6.0-1+b1_ppc64el.deb	646.4 KiB	2024-02-16 12:07:29
coq-hierarchy-builder_1.6.0-1+b1_s390x.deb	646.5 KiB	2024-02-16 12:07:29
coq-hierarchy-builder_1.6.0-1+b2_amd64.deb	646.8 KiB	2024-03-19 22:53:20
coq-hierarchy-builder_1.6.0-1+b2_arm64.deb	646.6 KiB	2024-03-19 22:58:24
coq-hierarchy-builder_1.6.0-1+b2_armhf.deb	646.3 KiB	2024-03-31 21:29:03
coq-hierarchy-builder_1.6.0-1+b2_i386.deb	646.6 KiB	2024-03-19 22:53:20
coq-hierarchy-builder_1.6.0-1+b2_ppc64el.deb	646.4 KiB	2024-03-19 22:53:19
coq-hierarchy-builder_1.6.0-1+b2_riscv64.deb	646.6 KiB	2024-04-11 10:42:59
coq-hierarchy-builder_1.6.0-1+b2_s390x.deb	646.5 KiB	2024-03-20 05:11:51
coq-hierarchy-builder_1.6.0-1.debian.tar.xz	3.3 KiB	2023-12-22 11:07:32
coq-hierarchy-builder_1.6.0-1.dsc	2.2 KiB	2023-12-22 11:07:32
coq-hierarchy-builder_1.6.0.orig.tar.gz	197.5 KiB	2023-12-22 11:07:32
coq-hierarchy-builder_1.7.0-1.debian.tar.xz	2.7 KiB	2024-04-26 14:01:38
coq-hierarchy-builder_1.7.0-1.dsc	2.1 KiB	2024-04-26 14:01:38
coq-hierarchy-builder_1.7.0.orig.tar.gz	201.9 KiB	2024-04-26 14:01:38
libcoq-hierarchy-builder_1.4.0-2+b6_amd64.deb	234.5 KiB	2023-02-14 10:29:48
libcoq-hierarchy-builder_1.4.0-2+b6_arm64.deb	234.5 KiB	2023-02-14 10:29:50
libcoq-hierarchy-builder_1.4.0-2+b6_i386.deb	234.5 KiB	2023-02-14 10:24:35
libcoq-hierarchy-builder_1.4.0-2+b6_ppc64el.deb	234.4 KiB	2023-02-14 12:43:10
libcoq-hierarchy-builder_1.6.0-1+b1_amd64.deb	238.4 KiB	2024-02-16 12:38:03
libcoq-hierarchy-builder_1.6.0-1+b1_arm64.deb	238.3 KiB	2024-02-16 12:12:40
libcoq-hierarchy-builder_1.6.0-1+b1_armhf.deb	238.3 KiB	2024-02-16 12:12:37
libcoq-hierarchy-builder_1.6.0-1+b1_i386.deb	238.3 KiB	2024-02-16 12:38:02
libcoq-hierarchy-builder_1.6.0-1+b1_ppc64el.deb	238.3 KiB	2024-02-16 12:07:29
libcoq-hierarchy-builder_1.6.0-1+b1_s390x.deb	238.3 KiB	2024-02-16 12:07:29
libcoq-hierarchy-builder_1.6.0-1+b2_amd64.deb	238.3 KiB	2024-03-19 22:53:20
libcoq-hierarchy-builder_1.6.0-1+b2_arm64.deb	238.3 KiB	2024-03-19 22:58:24
libcoq-hierarchy-builder_1.6.0-1+b2_armhf.deb	238.4 KiB	2024-03-31 21:29:03
libcoq-hierarchy-builder_1.6.0-1+b2_i386.deb	238.3 KiB	2024-03-19 22:53:20
libcoq-hierarchy-builder_1.6.0-1+b2_ppc64el.deb	238.4 KiB	2024-03-19 22:53:19
libcoq-hierarchy-builder_1.6.0-1+b2_riscv64.deb	238.4 KiB	2024-04-11 10:42:59
libcoq-hierarchy-builder_1.6.0-1+b2_s390x.deb	238.4 KiB	2024-03-20 05:11:51
libcoq-hierarchy-builder_1.7.0-1_amd64.deb	257.8 KiB	2024-04-28 15:11:09
libcoq-hierarchy-builder_1.7.0-1_arm64.deb	257.8 KiB	2024-04-28 15:11:13
libcoq-hierarchy-builder_1.7.0-1_i386.deb	257.8 KiB	2024-04-28 15:05:52
libcoq-hierarchy-builder_1.7.0-1_ppc64el.deb	257.8 KiB	2024-04-28 15:11:08
libcoq-hierarchy-builder_1.7.0-1_riscv64.deb	257.8 KiB	2024-04-28 15:37:19