Index of /repos/pool/main/c/coq-reduction-effects/

../
coq-reduction-effects_0.1.4-3.debian.tar.xz        27-Sep-2025 09:45    1572
coq-reduction-effects_0.1.4-3.dsc                  27-Sep-2025 09:45    2214
coq-reduction-effects_0.1.4.orig.tar.gz            27-Sep-2025 09:45     10K
coq-reduction-effects_0.1.5-5.debian.tar.xz        26-Sep-2025 20:19    1876
coq-reduction-effects_0.1.5-5.dsc                  26-Sep-2025 20:19    1995
coq-reduction-effects_0.1.5.orig.tar.gz            26-Sep-2025 20:19     10K
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb      27-Sep-2025 11:36     14K
libcoq-reduction-effects_0.1.4-3+b1_i386.deb       27-Sep-2025 11:36     14K
libcoq-reduction-effects_0.1.5-5+b8_amd64.deb      26-Sep-2025 23:42     15K