Index of /Linux/ubuntu-ports/pool/universe/c/coq-ext-lib/

../
coq-ext-lib_0.12.0-1build4.debian.tar.xz           08-Apr-2024 16:57    2492
coq-ext-lib_0.12.0-1build4.dsc                     08-Apr-2024 16:57    2167
coq-ext-lib_0.12.0.orig.tar.gz                     23-Dec-2023 02:26     81K
coq-ext-lib_0.13.0-1build3.debian.tar.xz           19-Feb-2025 06:25    2540
coq-ext-lib_0.13.0-1build3.dsc                     19-Feb-2025 06:25    2088
coq-ext-lib_0.13.0-1build4.debian.tar.xz           20-Jun-2025 22:22    2568
coq-ext-lib_0.13.0-1build4.dsc                     20-Jun-2025 22:22    2088
coq-ext-lib_0.13.0-1build7.debian.tar.xz           03-Mar-2026 20:45    2644
coq-ext-lib_0.13.0-1build7.dsc                     03-Mar-2026 20:45    2088
coq-ext-lib_0.13.0.orig.tar.gz                     10-Jan-2025 09:33     83K
coq-ext-lib_0.13.1-2.debian.tar.xz                 29-Jul-2026 02:29    2524
coq-ext-lib_0.13.1-2.dsc                           29-Jul-2026 02:29    2108
coq-ext-lib_0.13.1.orig.tar.gz                     29-Jul-2026 02:29     84K
libcoq-ext-lib_0.12.0-1build4_arm64.deb            08-Apr-2024 16:57    822K
libcoq-ext-lib_0.12.0-1build4_armhf.deb            08-Apr-2024 16:57    821K
libcoq-ext-lib_0.12.0-1build4_ppc64el.deb          08-Apr-2024 16:57    822K
libcoq-ext-lib_0.12.0-1build4_riscv64.deb          08-Apr-2024 16:57    822K
libcoq-ext-lib_0.12.0-1build4_s390x.deb            08-Apr-2024 16:57    822K
libcoq-ext-lib_0.13.0-1build3_arm64.deb            19-Feb-2025 06:25    834K
libcoq-ext-lib_0.13.0-1build3_ppc64el.deb          19-Feb-2025 06:26    834K
libcoq-ext-lib_0.13.0-1build3_riscv64.deb          19-Feb-2025 09:23    834K
libcoq-ext-lib_0.13.0-1build3_s390x.deb            19-Feb-2025 09:24    834K
libcoq-ext-lib_0.13.0-1build4_arm64.deb            20-Jun-2025 22:24    831K
libcoq-ext-lib_0.13.0-1build4_ppc64el.deb          20-Jun-2025 22:24    831K
libcoq-ext-lib_0.13.0-1build4_riscv64.deb          21-Jun-2025 00:15    831K
libcoq-ext-lib_0.13.0-1build4_s390x.deb            20-Jun-2025 22:24    831K
libcoq-ext-lib_0.13.0-1build7_arm64.deb            03-Mar-2026 20:45    831K
libcoq-ext-lib_0.13.0-1build7_ppc64el.deb          03-Mar-2026 20:45    831K
libcoq-ext-lib_0.13.0-1build7_riscv64.deb          04-Mar-2026 00:37    831K
libcoq-ext-lib_0.13.0-1build7_s390x.deb            03-Mar-2026 20:46    831K
libcoq-ext-lib_0.13.1-2_arm64.deb                  15-Aug-2026 07:25    845K
libcoq-ext-lib_0.13.1-2_armhf.deb                  29-Jul-2026 03:28    844K
libcoq-ext-lib_0.13.1-2_ppc64el.deb                15-Aug-2026 07:25    845K
libcoq-ext-lib_0.13.1-2_riscv64.deb                15-Aug-2026 08:23    845K
libcoq-ext-lib_0.13.1-2_s390x.deb                  15-Aug-2026 07:25    845K