Index of /ubuntu-ports/pool/universe/c/coq-reduction-effects/
../
coq-reduction-effects_0.1.5-1build3.debian.tar.xz 08-Apr-2024 07:57 1916
coq-reduction-effects_0.1.5-1build3.dsc 08-Apr-2024 07:57 2292
coq-reduction-effects_0.1.5-5build3.debian.tar.xz 07-Sep-2024 15:43 2020
coq-reduction-effects_0.1.5-5build3.dsc 07-Sep-2024 15:43 2213
coq-reduction-effects_0.1.5-5build4.debian.tar.xz 20-Nov-2024 23:31 2072
coq-reduction-effects_0.1.5-5build4.dsc 20-Nov-2024 23:31 2213
coq-reduction-effects_0.1.5.orig.tar.gz 22-Dec-2023 17:26 10369
libcoq-reduction-effects_0.1.5-1build3_arm64.deb 08-Apr-2024 07:57 15046
libcoq-reduction-effects_0.1.5-1build3_armhf.deb 08-Apr-2024 07:57 14124
libcoq-reduction-effects_0.1.5-1build3_ppc64el.deb 08-Apr-2024 07:57 14818
libcoq-reduction-effects_0.1.5-1build3_riscv64.deb 08-Apr-2024 07:57 14640
libcoq-reduction-effects_0.1.5-1build3_s390x.deb 08-Apr-2024 07:57 14398
libcoq-reduction-effects_0.1.5-5build3_arm64.deb 07-Sep-2024 15:44 16256
libcoq-reduction-effects_0.1.5-5build3_ppc64el.deb 07-Sep-2024 15:44 15988
libcoq-reduction-effects_0.1.5-5build3_riscv64.deb 07-Sep-2024 15:44 15898
libcoq-reduction-effects_0.1.5-5build3_s390x.deb 07-Sep-2024 15:44 16032
libcoq-reduction-effects_0.1.5-5build4_arm64.deb 20-Nov-2024 23:31 16050
libcoq-reduction-effects_0.1.5-5build4_ppc64el.deb 20-Nov-2024 23:31 15784
libcoq-reduction-effects_0.1.5-5build4_riscv64.deb 20-Nov-2024 23:31 15660
libcoq-reduction-effects_0.1.5-5build4_s390x.deb 20-Nov-2024 23:32 15808