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

Name Size Date
📁 ../ - -
📄 coq-reduction-effects_0.1.5-1build3.debian.tar.xz 1916 bytes 2024-04-08 07:57:41
📄 coq-reduction-effects_0.1.5-1build3.dsc 2292 bytes 2024-04-08 07:57:41
📄 coq-reduction-effects_0.1.5-5build7.debian.tar.xz 2120 bytes 2025-02-18 21:25:08
📄 coq-reduction-effects_0.1.5-5build7.dsc 2213 bytes 2025-02-18 21:25:08
📄 coq-reduction-effects_0.1.5-5build8.debian.tar.xz 2152 bytes 2025-06-20 13:22:26
📄 coq-reduction-effects_0.1.5-5build8.dsc 2213 bytes 2025-06-20 13:22:26
📄 coq-reduction-effects_0.1.5.orig.tar.gz 10369 bytes 2023-12-22 17:26:56
📄 libcoq-reduction-effects_0.1.5-1build3_arm64.deb 15046 bytes 2024-04-08 07:57:49
📄 libcoq-reduction-effects_0.1.5-1build3_armhf.deb 14124 bytes 2024-04-08 07:57:50
📄 libcoq-reduction-effects_0.1.5-1build3_ppc64el.deb 14818 bytes 2024-04-08 07:57:53
📄 libcoq-reduction-effects_0.1.5-1build3_riscv64.deb 14640 bytes 2024-04-08 07:57:55
📄 libcoq-reduction-effects_0.1.5-1build3_s390x.deb 14398 bytes 2024-04-08 07:57:57
📄 libcoq-reduction-effects_0.1.5-5build7_arm64.deb 15946 bytes 2025-02-18 21:25:48
📄 libcoq-reduction-effects_0.1.5-5build7_ppc64el.deb 15656 bytes 2025-02-18 21:26:20
📄 libcoq-reduction-effects_0.1.5-5build7_riscv64.deb 15550 bytes 2025-02-19 00:23:52
📄 libcoq-reduction-effects_0.1.5-5build7_s390x.deb 15646 bytes 2025-02-19 00:24:09
📄 libcoq-reduction-effects_0.1.5-5build8_arm64.deb 15962 bytes 2025-06-20 13:24:43
📄 libcoq-reduction-effects_0.1.5-5build8_ppc64el.deb 15684 bytes 2025-06-20 13:24:45
📄 libcoq-reduction-effects_0.1.5-5build8_riscv64.deb 15574 bytes 2025-06-20 15:15:26
📄 libcoq-reduction-effects_0.1.5-5build8_s390x.deb 15684 bytes 2025-06-20 13:24:48