Index of /rockos/trixie/rockos-base/pool/main/c/coq-reduction-effects/

../
coq-reduction-effects_0.1.5-5.debian.tar.xz        26-Aug-2024 11:54    1876
coq-reduction-effects_0.1.5-5.dsc                  26-Aug-2024 11:54    1995
coq-reduction-effects_0.1.5.orig.tar.gz            15-May-2024 11:55     10K
libcoq-reduction-effects-dbgsym_0.1.5-5+b7_risc..> 21-Jun-2025 16:50    3324
libcoq-reduction-effects-dbgsym_0.1.5-5+b8_amd6..> 21-Jun-2025 16:51    3208
libcoq-reduction-effects_0.1.5-5+b7_riscv64.deb    21-Jun-2025 16:38     15K
libcoq-reduction-effects_0.1.5-5+b8_amd64.deb      21-Jun-2025 16:35     15K