Index of /ubuntu-ports/pool/universe/c/coq-record-update/

/ubuntu-ports/pool/universe/c/coq-record-update/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-record-update_0.3.3-1build4.debian.tar.xz2.2 KiB08 Apr 2024 07:57:41 +0000
coq-record-update_0.3.3-1build4.dsc2.2 KiB08 Apr 2024 07:57:41 +0000
coq-record-update_0.3.3.orig.tar.gz13.3 KiB22 Dec 2023 17:26:56 +0000
coq-record-update_0.3.4-4build3.debian.tar.xz2.3 KiB18 Feb 2025 21:25:08 +0000
coq-record-update_0.3.4-4build3.dsc2.1 KiB18 Feb 2025 21:25:08 +0000
coq-record-update_0.3.4-4build4.debian.tar.xz2.3 KiB20 Jun 2025 13:22:26 +0000
coq-record-update_0.3.4-4build4.dsc2.1 KiB20 Jun 2025 13:22:26 +0000
coq-record-update_0.3.4-4build7.debian.tar.xz2.4 KiB03 Mar 2026 21:25:19 +0000
coq-record-update_0.3.4-4build7.dsc2.1 KiB03 Mar 2026 21:25:19 +0000
coq-record-update_0.3.4.orig.tar.gz13.3 KiB03 May 2024 01:55:07 +0000
coq-record-update_0.3.7-3build2.debian.tar.xz2.4 KiB30 Aug 2026 06:53:50 +0000
coq-record-update_0.3.7-3build2.dsc2.1 KiB30 Aug 2026 06:53:50 +0000
coq-record-update_0.3.7.orig.tar.gz18.4 KiB28 Jul 2026 17:29:44 +0000
libcoq-record-update_0.3.3-1build4_arm64.deb15.2 KiB08 Apr 2024 07:57:49 +0000
libcoq-record-update_0.3.3-1build4_armhf.deb15.2 KiB08 Apr 2024 07:57:50 +0000
libcoq-record-update_0.3.3-1build4_ppc64el.deb15.2 KiB08 Apr 2024 07:57:54 +0000
libcoq-record-update_0.3.3-1build4_riscv64.deb15.2 KiB08 Apr 2024 07:57:55 +0000
libcoq-record-update_0.3.3-1build4_s390x.deb15.2 KiB08 Apr 2024 07:57:58 +0000
libcoq-record-update_0.3.4-4build3_arm64.deb15.1 KiB18 Feb 2025 21:25:48 +0000
libcoq-record-update_0.3.4-4build3_ppc64el.deb15.1 KiB18 Feb 2025 21:26:21 +0000
libcoq-record-update_0.3.4-4build3_riscv64.deb15.1 KiB19 Feb 2025 00:23:53 +0000
libcoq-record-update_0.3.4-4build3_s390x.deb15.1 KiB19 Feb 2025 00:24:09 +0000
libcoq-record-update_0.3.4-4build4_arm64.deb15.1 KiB20 Jun 2025 13:24:42 +0000
libcoq-record-update_0.3.4-4build4_ppc64el.deb15.1 KiB20 Jun 2025 13:24:45 +0000
libcoq-record-update_0.3.4-4build4_riscv64.deb15.1 KiB20 Jun 2025 15:15:25 +0000
libcoq-record-update_0.3.4-4build4_s390x.deb15.1 KiB20 Jun 2025 13:24:47 +0000
libcoq-record-update_0.3.4-4build7_arm64.deb15.1 KiB03 Mar 2026 21:27:17 +0000
libcoq-record-update_0.3.4-4build7_ppc64el.deb15.1 KiB03 Mar 2026 21:28:03 +0000
libcoq-record-update_0.3.4-4build7_riscv64.deb15.1 KiB03 Mar 2026 23:29:27 +0000
libcoq-record-update_0.3.4-4build7_s390x.deb15.1 KiB03 Mar 2026 21:28:22 +0000
libcoq-record-update_0.3.7-3build2_arm64.deb20.3 KiB30 Aug 2026 07:14:20 +0000
libcoq-record-update_0.3.7-3build2_armhf.deb20.3 KiB30 Aug 2026 07:14:23 +0000
libcoq-record-update_0.3.7-3build2_ppc64el.deb20.3 KiB30 Aug 2026 07:14:26 +0000
libcoq-record-update_0.3.7-3build2_riscv64.deb20.3 KiB30 Aug 2026 08:49:10 +0000
libcoq-record-update_0.3.7-3build2_s390x.deb20.3 KiB30 Aug 2026 07:14:28 +0000