Index of /ubuntu-ports/pool/universe/c/coq-bignums/

/ubuntu-ports/pool/universe/c/coq-bignums/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-bignums_9.0.0+coq8.18-1build3.debian.tar.xz2.2 KiB08 Apr 2024 07:57:42 +0000
coq-bignums_9.0.0+coq8.18-1build3.dsc2.2 KiB08 Apr 2024 07:57:42 +0000
coq-bignums_9.0.0+coq8.18.orig.tar.gz114.1 KiB22 Dec 2023 17:26:57 +0000
coq-bignums_9.0.0+coq8.20-1build12.debian.tar.xz2.4 KiB03 Mar 2026 15:35:59 +0000
coq-bignums_9.0.0+coq8.20-1build12.dsc2.1 KiB03 Mar 2026 15:35:59 +0000
coq-bignums_9.0.0+coq8.20-1build8.debian.tar.xz2.3 KiB18 Feb 2025 21:25:10 +0000
coq-bignums_9.0.0+coq8.20-1build8.dsc2.1 KiB18 Feb 2025 21:25:10 +0000
coq-bignums_9.0.0+coq8.20-1build9.debian.tar.xz2.3 KiB20 Jun 2025 13:22:27 +0000
coq-bignums_9.0.0+coq8.20-1build9.dsc2.1 KiB20 Jun 2025 13:22:27 +0000
coq-bignums_9.0.0+coq8.20.orig.tar.gz114.5 KiB25 Jun 2024 12:06:56 +0000
coq-bignums_9.0.0+rocq9.2-3build3.debian.tar.xz2.4 KiB30 Aug 2026 06:53:51 +0000
coq-bignums_9.0.0+rocq9.2-3build3.dsc2.1 KiB30 Aug 2026 06:53:51 +0000
coq-bignums_9.0.0+rocq9.2.orig.tar.gz114.6 KiB29 Jul 2026 00:05:59 +0000
libcoq-bignums_9.0.0+coq8.18-1build3_arm64.deb2.0 MiB08 Apr 2024 07:57:48 +0000
libcoq-bignums_9.0.0+coq8.18-1build3_armhf.deb2.0 MiB08 Apr 2024 07:57:50 +0000
libcoq-bignums_9.0.0+coq8.18-1build3_ppc64el.deb2.0 MiB08 Apr 2024 07:57:54 +0000
libcoq-bignums_9.0.0+coq8.18-1build3_riscv64.deb2.0 MiB08 Apr 2024 07:57:54 +0000
libcoq-bignums_9.0.0+coq8.18-1build3_s390x.deb2.0 MiB08 Apr 2024 07:57:58 +0000
libcoq-bignums_9.0.0+coq8.20-1build12_arm64.deb2.1 MiB03 Mar 2026 21:27:17 +0000
libcoq-bignums_9.0.0+coq8.20-1build12_ppc64el.deb2.1 MiB03 Mar 2026 17:31:50 +0000
libcoq-bignums_9.0.0+coq8.20-1build12_riscv64.deb2.1 MiB03 Mar 2026 17:31:54 +0000
libcoq-bignums_9.0.0+coq8.20-1build12_s390x.deb2.1 MiB03 Mar 2026 17:31:59 +0000
libcoq-bignums_9.0.0+coq8.20-1build8_arm64.deb2.1 MiB18 Feb 2025 21:25:50 +0000
libcoq-bignums_9.0.0+coq8.20-1build8_ppc64el.deb2.1 MiB18 Feb 2025 21:26:21 +0000
libcoq-bignums_9.0.0+coq8.20-1build8_riscv64.deb2.1 MiB19 Feb 2025 00:23:53 +0000
libcoq-bignums_9.0.0+coq8.20-1build8_s390x.deb2.1 MiB19 Feb 2025 00:24:10 +0000
libcoq-bignums_9.0.0+coq8.20-1build9_arm64.deb2.1 MiB20 Jun 2025 13:24:43 +0000
libcoq-bignums_9.0.0+coq8.20-1build9_ppc64el.deb2.1 MiB20 Jun 2025 13:24:45 +0000
libcoq-bignums_9.0.0+coq8.20-1build9_riscv64.deb2.1 MiB20 Jun 2025 15:15:26 +0000
libcoq-bignums_9.0.0+coq8.20-1build9_s390x.deb2.1 MiB20 Jun 2025 13:24:47 +0000
libcoq-bignums_9.0.0+rocq9.2-3build3_arm64.deb2.1 MiB30 Aug 2026 07:14:20 +0000
libcoq-bignums_9.0.0+rocq9.2-3build3_ppc64el.deb2.1 MiB30 Aug 2026 07:14:25 +0000
libcoq-bignums_9.0.0+rocq9.2-3build3_riscv64.deb2.1 MiB30 Aug 2026 08:13:55 +0000
libcoq-bignums_9.0.0+rocq9.2-3build3_s390x.deb2.1 MiB30 Aug 2026 07:14:28 +0000