SGGS Mirror - coq-hierarchy-builder

Name	Size	Modified
Up
coq-hierarchy-builder_1.3.0-1.debian.tar.xz	3.3 KiB	07/30/2022 11:33:59 PM +00:00
coq-hierarchy-builder_1.3.0-1.dsc	2.2 KiB	07/30/2022 11:33:59 PM +00:00
coq-hierarchy-builder_1.3.0-1_amd64.deb	759 KiB	07/30/2022 11:34:03 PM +00:00
coq-hierarchy-builder_1.3.0-1_arm64.deb	759 KiB	07/30/2022 11:54:09 PM +00:00
coq-hierarchy-builder_1.3.0-1_armhf.deb	759 KiB	07/30/2022 11:54:12 PM +00:00
coq-hierarchy-builder_1.3.0-1_ppc64el.deb	759 KiB	07/30/2022 11:54:16 PM +00:00
coq-hierarchy-builder_1.3.0-1_riscv64.deb	759 KiB	07/31/2022 12:14:02 AM +00:00
coq-hierarchy-builder_1.3.0.orig.tar.gz	195 KiB	07/30/2022 11:33:59 PM +00:00
coq-hierarchy-builder_1.4.0-2build3.debian.tar.xz	3.2 KiB	02/16/2023 11:24:24 PM +00:00
coq-hierarchy-builder_1.4.0-2build3.dsc	2.2 KiB	02/16/2023 11:24:24 PM +00:00
coq-hierarchy-builder_1.4.0-2build3_amd64.deb	758 KiB	02/17/2023 02:34:19 AM +00:00
coq-hierarchy-builder_1.4.0-2build3_arm64.deb	758 KiB	02/17/2023 02:34:22 AM +00:00
coq-hierarchy-builder_1.4.0-2build3_ppc64el.deb	758 KiB	02/17/2023 02:34:29 AM +00:00
coq-hierarchy-builder_1.4.0-2build3_riscv64.deb	758 KiB	02/17/2023 05:09:03 AM +00:00
coq-hierarchy-builder_1.4.0-6build5.debian.tar.xz	5.6 KiB	08/28/2023 03:48:52 PM +00:00
coq-hierarchy-builder_1.4.0-6build5.dsc	2.2 KiB	08/28/2023 03:48:52 PM +00:00
coq-hierarchy-builder_1.4.0-6build5_amd64.deb	758 KiB	08/28/2023 04:39:35 PM +00:00
coq-hierarchy-builder_1.4.0-6build5_arm64.deb	758 KiB	08/28/2023 04:39:36 PM +00:00
coq-hierarchy-builder_1.4.0-6build5_ppc64el.deb	758 KiB	08/28/2023 04:39:43 PM +00:00
coq-hierarchy-builder_1.4.0-6build5_riscv64.deb	758 KiB	08/28/2023 06:34:08 PM +00:00
coq-hierarchy-builder_1.4.0.orig.tar.gz	197 KiB	11/06/2022 03:17:25 AM +00:00
coq-hierarchy-builder_1.7.0-2build7.debian.tar.xz	3.0 KiB	09/17/2024 03:51:40 PM +00:00
coq-hierarchy-builder_1.7.0-2build7.dsc	2.1 KiB	09/17/2024 03:51:40 PM +00:00
coq-hierarchy-builder_1.7.0.orig.tar.gz	202 KiB	05/02/2024 11:53:15 AM +00:00
libcoq-hierarchy-builder_1.3.0-1_amd64.deb	243 KiB	07/30/2022 11:34:03 PM +00:00
libcoq-hierarchy-builder_1.3.0-1_arm64.deb	243 KiB	07/30/2022 11:54:09 PM +00:00
libcoq-hierarchy-builder_1.3.0-1_armhf.deb	243 KiB	07/30/2022 11:54:12 PM +00:00
libcoq-hierarchy-builder_1.3.0-1_ppc64el.deb	243 KiB	07/30/2022 11:54:15 PM +00:00
libcoq-hierarchy-builder_1.3.0-1_riscv64.deb	243 KiB	07/31/2022 12:14:02 AM +00:00
libcoq-hierarchy-builder_1.4.0-2build3_amd64.deb	258 KiB	02/17/2023 02:34:19 AM +00:00
libcoq-hierarchy-builder_1.4.0-2build3_arm64.deb	258 KiB	02/17/2023 02:34:21 AM +00:00
libcoq-hierarchy-builder_1.4.0-2build3_ppc64el.deb	258 KiB	02/17/2023 02:34:29 AM +00:00
libcoq-hierarchy-builder_1.4.0-2build3_riscv64.deb	258 KiB	02/17/2023 05:09:03 AM +00:00
libcoq-hierarchy-builder_1.4.0-6build5_amd64.deb	260 KiB	08/28/2023 04:39:35 PM +00:00
libcoq-hierarchy-builder_1.4.0-6build5_arm64.deb	260 KiB	08/28/2023 04:39:36 PM +00:00
libcoq-hierarchy-builder_1.4.0-6build5_ppc64el.deb	260 KiB	08/28/2023 04:39:43 PM +00:00
libcoq-hierarchy-builder_1.4.0-6build5_riscv64.deb	260 KiB	08/28/2023 06:34:08 PM +00:00
libcoq-hierarchy-builder_1.7.0-2build7_amd64.deb	281 KiB	09/19/2024 07:15:33 PM +00:00
libcoq-hierarchy-builder_1.7.0-2build7_arm64.deb	281 KiB	09/19/2024 07:15:36 PM +00:00
libcoq-hierarchy-builder_1.7.0-2build7_ppc64el.deb	281 KiB	09/19/2024 07:15:38 PM +00:00
libcoq-hierarchy-builder_1.7.0-2build7_riscv64.deb	281 KiB	09/19/2024 08:14:46 PM +00:00
libcoq-hierarchy-builder_1.7.0-2build7_s390x.deb	281 KiB	09/19/2024 07:15:43 PM +00:00