Index of /ubuntu-ports/pool/universe/c/coq-hierarchy-builder/

/ubuntu-ports/pool/universe/c/coq-hierarchy-builder/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-hierarchy-builder_1.10.3-3build1.debian.tar.xz3.1 KiB31 Aug 2026 08:08:17 +0000
coq-hierarchy-builder_1.10.3-3build1.dsc2.1 KiB31 Aug 2026 08:08:17 +0000
coq-hierarchy-builder_1.10.3.orig.tar.gz609.2 KiB29 Jul 2026 00:05:58 +0000
coq-hierarchy-builder_1.2.1-2.debian.tar.xz2.7 KiB14 Feb 2022 05:33:59 +0000
coq-hierarchy-builder_1.2.1-2.dsc2.2 KiB14 Feb 2022 05:33:58 +0000
coq-hierarchy-builder_1.2.1-2_arm64.deb760.0 KiB14 Feb 2022 08:54:30 +0000
coq-hierarchy-builder_1.2.1-2_armhf.deb760.0 KiB14 Feb 2022 08:54:31 +0000
coq-hierarchy-builder_1.2.1-2_ppc64el.deb760.0 KiB14 Feb 2022 08:54:34 +0000
coq-hierarchy-builder_1.2.1-2_riscv64.deb760.0 KiB14 Feb 2022 08:54:36 +0000
coq-hierarchy-builder_1.2.1.orig.tar.gz184.1 KiB17 Jan 2022 23:14:18 +0000
coq-hierarchy-builder_1.6.0-1build5.debian.tar.xz3.6 KiB08 Apr 2024 07:57:39 +0000
coq-hierarchy-builder_1.6.0-1build5.dsc2.2 KiB08 Apr 2024 07:57:39 +0000
coq-hierarchy-builder_1.6.0-1build5_arm64.deb812.0 KiB08 Apr 2024 09:28:01 +0000
coq-hierarchy-builder_1.6.0-1build5_armhf.deb812.0 KiB08 Apr 2024 09:28:05 +0000
coq-hierarchy-builder_1.6.0-1build5_ppc64el.deb812.0 KiB08 Apr 2024 09:28:08 +0000
coq-hierarchy-builder_1.6.0-1build5_riscv64.deb812.0 KiB08 Apr 2024 09:28:08 +0000
coq-hierarchy-builder_1.6.0-1build5_s390x.deb812.0 KiB08 Apr 2024 09:28:16 +0000
coq-hierarchy-builder_1.6.0.orig.tar.gz197.5 KiB23 Dec 2023 17:16:59 +0000
coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz3.1 KiB04 Mar 2026 17:33:30 +0000
coq-hierarchy-builder_1.8.1-1build14.dsc2.1 KiB04 Mar 2026 17:33:30 +0000
coq-hierarchy-builder_1.8.1-1build2.debian.tar.xz2.9 KiB19 Feb 2025 07:52:14 +0000
coq-hierarchy-builder_1.8.1-1build2.dsc2.1 KiB19 Feb 2025 07:52:14 +0000
coq-hierarchy-builder_1.8.1-1build6.debian.tar.xz3.0 KiB31 Aug 2025 19:42:10 +0000
coq-hierarchy-builder_1.8.1-1build6.dsc2.1 KiB31 Aug 2025 19:42:10 +0000
coq-hierarchy-builder_1.8.1.orig.tar.gz210.1 KiB18 Feb 2025 01:39:13 +0000
libcoq-hierarchy-builder_1.10.3-3build1_arm64.deb994.2 KiB31 Aug 2026 08:28:11 +0000
libcoq-hierarchy-builder_1.10.3-3build1_ppc64el.deb994.2 KiB31 Aug 2026 08:48:00 +0000
libcoq-hierarchy-builder_1.10.3-3build1_riscv64.deb994.5 KiB31 Aug 2026 12:47:42 +0000
libcoq-hierarchy-builder_1.10.3-3build1_s390x.deb994.0 KiB31 Aug 2026 08:48:04 +0000
libcoq-hierarchy-builder_1.2.1-2_arm64.deb240.8 KiB14 Feb 2022 08:54:30 +0000
libcoq-hierarchy-builder_1.2.1-2_armhf.deb240.8 KiB14 Feb 2022 08:54:31 +0000
libcoq-hierarchy-builder_1.2.1-2_ppc64el.deb240.9 KiB14 Feb 2022 08:54:34 +0000
libcoq-hierarchy-builder_1.2.1-2_riscv64.deb240.8 KiB14 Feb 2022 08:54:36 +0000
libcoq-hierarchy-builder_1.6.0-1build5_arm64.deb261.5 KiB08 Apr 2024 09:28:01 +0000
libcoq-hierarchy-builder_1.6.0-1build5_armhf.deb261.6 KiB08 Apr 2024 09:28:05 +0000
libcoq-hierarchy-builder_1.6.0-1build5_ppc64el.deb261.6 KiB08 Apr 2024 09:28:08 +0000
libcoq-hierarchy-builder_1.6.0-1build5_riscv64.deb261.5 KiB08 Apr 2024 09:28:08 +0000
libcoq-hierarchy-builder_1.6.0-1build5_s390x.deb261.5 KiB08 Apr 2024 09:28:16 +0000
libcoq-hierarchy-builder_1.8.1-1build14_arm64.deb673.7 KiB04 Mar 2026 17:34:51 +0000
libcoq-hierarchy-builder_1.8.1-1build14_ppc64el.deb673.7 KiB04 Mar 2026 17:34:59 +0000
libcoq-hierarchy-builder_1.8.1-1build14_riscv64.deb673.4 KiB04 Mar 2026 17:35:05 +0000
libcoq-hierarchy-builder_1.8.1-1build14_s390x.deb673.9 KiB04 Mar 2026 17:35:09 +0000
libcoq-hierarchy-builder_1.8.1-1build2_arm64.deb673.9 KiB19 Feb 2025 11:16:49 +0000
libcoq-hierarchy-builder_1.8.1-1build2_ppc64el.deb673.9 KiB19 Feb 2025 13:44:53 +0000
libcoq-hierarchy-builder_1.8.1-1build2_riscv64.deb673.8 KiB19 Feb 2025 13:45:18 +0000
libcoq-hierarchy-builder_1.8.1-1build2_s390x.deb673.8 KiB19 Feb 2025 11:18:47 +0000
libcoq-hierarchy-builder_1.8.1-1build6_arm64.deb673.9 KiB01 Sep 2025 07:27:49 +0000
libcoq-hierarchy-builder_1.8.1-1build6_ppc64el.deb673.8 KiB01 Sep 2025 07:27:53 +0000
libcoq-hierarchy-builder_1.8.1-1build6_riscv64.deb673.6 KiB01 Sep 2025 12:41:04 +0000
libcoq-hierarchy-builder_1.8.1-1build6_s390x.deb674.0 KiB01 Sep 2025 07:27:55 +0000