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

../
coq-reduction-effects_0.1.6-4.debian.tar.xz        28-Jul-2026 09:39    2348
coq-reduction-effects_0.1.6-4.dsc                  28-Jul-2026 09:39    2223
coq-reduction-effects_0.1.6.orig.tar.gz            29-Oct-2025 08:39     10K
libcoq-reduction-effects_0.1.6-4+b1_arm64.deb      25-Aug-2026 23:03     16K
libcoq-reduction-effects_0.1.6-4+b2_amd64.deb      25-Aug-2026 23:08     16K

mirror server hosted at Truenetwork, Russian Federation.