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

../
coq-reduction-effects_0.1.5-1build3.debian.tar.xz  04-Mar-2026 09:33    1916
coq-reduction-effects_0.1.5-1build3.dsc            04-Mar-2026 09:33    2292
coq-reduction-effects_0.1.5-5build11.debian.tar.xz 22-Jul-2026 18:38    2228
coq-reduction-effects_0.1.5-5build11.dsc           22-Jul-2026 18:38    2217
coq-reduction-effects_0.1.5.orig.tar.gz            04-Mar-2026 09:33     10K
libcoq-reduction-effects_0.1.5-1build3_amd64.deb   04-Mar-2026 09:33     14K
libcoq-reduction-effects_0.1.5-5build11_amd64.deb  22-Jul-2026 18:38     15K