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

../
coq-reduction-effects_0.1.4-3.debian.tar.xz        29-Apr-2023 17:39    1572
coq-reduction-effects_0.1.4-3.dsc                  29-Apr-2023 17:39    2214
coq-reduction-effects_0.1.4.orig.tar.gz            29-Apr-2023 17:39     10K
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb      30-Apr-2023 07:30     14K
libcoq-reduction-effects_0.1.4-3+b1_arm64.deb      30-Apr-2023 07:30     14K