Index of /ubuntu-ports/pool/universe/c/coq-ext-lib/
../
coq-ext-lib_0.12.0-1build4.debian.tar.xz 08-Apr-2024 14:57 2492
coq-ext-lib_0.12.0-1build4.dsc 08-Apr-2024 14:57 2167
coq-ext-lib_0.12.0.orig.tar.gz 23-Dec-2023 00:26 81K
coq-ext-lib_0.12.1-2build4.debian.tar.xz 07-Sep-2024 22:43 2512
coq-ext-lib_0.12.1-2build4.dsc 07-Sep-2024 22:43 2088
coq-ext-lib_0.12.1.orig.tar.gz 02-May-2024 18:53 82K
coq-ext-lib_0.13.0-1build3.debian.tar.xz 19-Feb-2025 04:25 2540
coq-ext-lib_0.13.0-1build3.dsc 19-Feb-2025 04:25 2088
coq-ext-lib_0.13.0.orig.tar.gz 10-Jan-2025 07:33 83K
libcoq-ext-lib_0.12.0-1build4_arm64.deb 08-Apr-2024 14:57 822K
libcoq-ext-lib_0.12.0-1build4_armhf.deb 08-Apr-2024 14:57 821K
libcoq-ext-lib_0.12.0-1build4_ppc64el.deb 08-Apr-2024 14:57 822K
libcoq-ext-lib_0.12.0-1build4_riscv64.deb 08-Apr-2024 14:57 822K
libcoq-ext-lib_0.12.0-1build4_s390x.deb 08-Apr-2024 14:57 822K
libcoq-ext-lib_0.12.1-2build4_arm64.deb 07-Sep-2024 22:44 849K
libcoq-ext-lib_0.12.1-2build4_ppc64el.deb 07-Sep-2024 22:44 849K
libcoq-ext-lib_0.12.1-2build4_riscv64.deb 07-Sep-2024 23:34 849K
libcoq-ext-lib_0.12.1-2build4_s390x.deb 07-Sep-2024 22:44 849K
libcoq-ext-lib_0.13.0-1build3_arm64.deb 19-Feb-2025 04:25 834K
libcoq-ext-lib_0.13.0-1build3_ppc64el.deb 19-Feb-2025 04:26 834K
libcoq-ext-lib_0.13.0-1build3_riscv64.deb 19-Feb-2025 07:23 834K
libcoq-ext-lib_0.13.0-1build3_s390x.deb 19-Feb-2025 07:24 834K