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

../
coq-reduction-effects_0.1.4-3.debian.tar.xz        08-May-2024 13:36                1572
coq-reduction-effects_0.1.4-3.dsc                  08-May-2024 13:36                2214
coq-reduction-effects_0.1.4-3_riscv64.buildinfo    01-Jul-2026 22:01                6349
coq-reduction-effects_0.1.4.orig.tar.gz            08-May-2024 13:36               10292
libcoq-reduction-effects-dbgsym_0.1.4-3+b1_risc..> 25-May-2024 11:13                2908
libcoq-reduction-effects-dbgsym_0.1.4-3_riscv64..> 01-Jul-2026 22:01                2904
libcoq-reduction-effects_0.1.4-3+b1_riscv64.deb    25-May-2024 11:13               14144
libcoq-reduction-effects_0.1.4-3_riscv64.deb       01-Jul-2026 22:01               13848