Index of /ubuntu/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-5build10.debian.tar.xz 29-Jan-2026 19:55                2184
coq-reduction-effects_0.1.5-5build10.dsc           29-Jan-2026 19:55                2217
coq-reduction-effects_0.1.5-5build7.debian.tar.xz  18-Feb-2025 21:25                2120
coq-reduction-effects_0.1.5-5build7.dsc            18-Feb-2025 21:25                2213
coq-reduction-effects_0.1.5-5build8.debian.tar.xz  20-Jun-2025 13:22                2152
coq-reduction-effects_0.1.5-5build8.dsc            20-Jun-2025 13:22                2213
coq-reduction-effects_0.1.5-5build9.debian.tar.xz  05-Jan-2026 20:02                2172
coq-reduction-effects_0.1.5-5build9.dsc            05-Jan-2026 20:02                2213
coq-reduction-effects_0.1.5.orig.tar.gz            22-Dec-2023 17:26               10369
libcoq-reduction-effects_0.1.5-1build3_amd64.deb   08-Apr-2024 07:57               14522
libcoq-reduction-effects_0.1.5-5build10_amd64.deb  29-Jan-2026 20:01               15422
libcoq-reduction-effects_0.1.5-5build10_amd64v3..> 29-Jan-2026 20:01               15456
libcoq-reduction-effects_0.1.5-5build7_amd64.deb   18-Feb-2025 21:25               15468
libcoq-reduction-effects_0.1.5-5build8_amd64.deb   20-Jun-2025 13:23               15492
libcoq-reduction-effects_0.1.5-5build9_amd64.deb   05-Jan-2026 20:07               15496
libcoq-reduction-effects_0.1.5-5build9_amd64v3.deb 05-Jan-2026 20:07               15518