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

../
coq-reduction-effects_0.1.5-1build3.debian.tar.xz  11-Apr-2024 04:30                1916
coq-reduction-effects_0.1.5-1build3.dsc            11-Apr-2024 04:30                2292
coq-reduction-effects_0.1.5-5build11.debian.tar.xz 10-Apr-2026 04:59                2228
coq-reduction-effects_0.1.5-5build11.dsc           10-Apr-2026 04:59                2217
coq-reduction-effects_0.1.5.orig.tar.gz            08-Mar-2024 09:51               10369
libcoq-reduction-effects_0.1.5-1build3_amd64.deb   11-Apr-2024 04:30               14522
libcoq-reduction-effects_0.1.5-5build11_amd64.deb  10-Apr-2026 04:59               15476