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

../
coq-reduction-effects_0.1.4-1.debian.tar.xz        13-Aug-2022 05:08                1472
coq-reduction-effects_0.1.4-1.dsc                  13-Aug-2022 05:08                2199
coq-reduction-effects_0.1.4.orig.tar.gz            13-Aug-2022 05:08               10292
libcoq-reduction-effects_0.1.4-1_armhf.deb         15-Aug-2022 10:08               13628