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

../
coq-reduction-effects_0.1.4-3.debian.tar.xz        10-Feb-2023 17:35    1572
coq-reduction-effects_0.1.4-3.dsc                  10-Feb-2023 17:35    2214
coq-reduction-effects_0.1.4.orig.tar.gz            28-Nov-2022 14:45     10K
coq-reduction-effects_0.1.5-5.debian.tar.xz        13-Aug-2025 00:48    1876
coq-reduction-effects_0.1.5-5.dsc                  13-Aug-2025 00:48    1995
coq-reduction-effects_0.1.5.orig.tar.gz            13-Aug-2025 00:48     10K
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb      28-Apr-2023 17:51     14K
libcoq-reduction-effects_0.1.4-3+b1_arm64.deb      28-Apr-2023 17:52     14K
libcoq-reduction-effects_0.1.4-3+b1_i386.deb       28-Apr-2023 18:19     14K
libcoq-reduction-effects_0.1.5-5+b7_arm64.deb      13-Aug-2025 03:37     15K
libcoq-reduction-effects_0.1.5-5+b8_amd64.deb      13-Aug-2025 03:12     15K