Index of /Linux/ubuntu-ports/pool/universe/c/coq-reduction-effects/

../
coq-reduction-effects_0.1.5-1build3.debian.tar.xz  08-Apr-2024 16:57    1916
coq-reduction-effects_0.1.5-1build3.dsc            08-Apr-2024 16:57    2292
coq-reduction-effects_0.1.5-5build10.debian.tar.xz 30-Jan-2026 04:55    2184
coq-reduction-effects_0.1.5-5build10.dsc           30-Jan-2026 04:55    2217
coq-reduction-effects_0.1.5-5build7.debian.tar.xz  19-Feb-2025 06:25    2120
coq-reduction-effects_0.1.5-5build7.dsc            19-Feb-2025 06:25    2213
coq-reduction-effects_0.1.5-5build8.debian.tar.xz  20-Jun-2025 22:22    2152
coq-reduction-effects_0.1.5-5build8.dsc            20-Jun-2025 22:22    2213
coq-reduction-effects_0.1.5-5build9.debian.tar.xz  06-Jan-2026 05:02    2172
coq-reduction-effects_0.1.5-5build9.dsc            06-Jan-2026 05:02    2213
coq-reduction-effects_0.1.5.orig.tar.gz            23-Dec-2023 02:26     10K
libcoq-reduction-effects_0.1.5-1build3_arm64.deb   08-Apr-2024 16:57     15K
libcoq-reduction-effects_0.1.5-1build3_armhf.deb   08-Apr-2024 16:57     14K
libcoq-reduction-effects_0.1.5-1build3_ppc64el.deb 08-Apr-2024 16:57     14K
libcoq-reduction-effects_0.1.5-1build3_riscv64.deb 08-Apr-2024 16:57     14K
libcoq-reduction-effects_0.1.5-1build3_s390x.deb   08-Apr-2024 16:57     14K
libcoq-reduction-effects_0.1.5-5build10_arm64.deb  30-Jan-2026 05:01     15K
libcoq-reduction-effects_0.1.5-5build10_ppc64el..> 30-Jan-2026 05:01     15K
libcoq-reduction-effects_0.1.5-5build10_riscv64..> 30-Jan-2026 09:11     15K
libcoq-reduction-effects_0.1.5-5build10_s390x.deb  30-Jan-2026 05:02     15K
libcoq-reduction-effects_0.1.5-5build7_arm64.deb   19-Feb-2025 06:25     16K
libcoq-reduction-effects_0.1.5-5build7_ppc64el.deb 19-Feb-2025 06:26     15K
libcoq-reduction-effects_0.1.5-5build7_riscv64.deb 19-Feb-2025 09:23     15K
libcoq-reduction-effects_0.1.5-5build7_s390x.deb   19-Feb-2025 09:24     15K
libcoq-reduction-effects_0.1.5-5build8_arm64.deb   20-Jun-2025 22:24     16K
libcoq-reduction-effects_0.1.5-5build8_ppc64el.deb 20-Jun-2025 22:24     15K
libcoq-reduction-effects_0.1.5-5build8_riscv64.deb 21-Jun-2025 00:15     15K
libcoq-reduction-effects_0.1.5-5build8_s390x.deb   20-Jun-2025 22:24     15K
libcoq-reduction-effects_0.1.5-5build9_arm64.deb   06-Jan-2026 05:07     16K
libcoq-reduction-effects_0.1.5-5build9_ppc64el.deb 06-Jan-2026 05:08     15K
libcoq-reduction-effects_0.1.5-5build9_riscv64.deb 06-Jan-2026 05:08     15K
libcoq-reduction-effects_0.1.5-5build9_s390x.deb   06-Jan-2026 05:08     15K