Index of /pool/universe/c/coq-reduction-effects/
../
coq-reduction-effects_0.1.4-1.debian.tar.xz 13-Aug-2022 11:24 1472
coq-reduction-effects_0.1.4-1.dsc 13-Aug-2022 11:24 2199
coq-reduction-effects_0.1.4-3build2.debian.tar.xz 16-Feb-2023 18:50 1656
coq-reduction-effects_0.1.4-3build2.dsc 16-Feb-2023 18:50 2213
coq-reduction-effects_0.1.4-4.debian.tar.xz 13-Jun-2023 05:30 1696
coq-reduction-effects_0.1.4-4.dsc 13-Jun-2023 05:30 2214
coq-reduction-effects_0.1.4.orig.tar.gz 13-Aug-2022 11:24 10292
libcoq-reduction-effects_0.1.4-1_amd64.deb 13-Aug-2022 11:24 13818
libcoq-reduction-effects_0.1.4-3build2_amd64.deb 16-Feb-2023 18:50 14244
libcoq-reduction-effects_0.1.4-4_amd64.deb 13-Jun-2023 05:30 14338