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

../
coq-reduction-effects_0.1.5-5.debian.tar.xz        04-Aug-2024 03:53                1876
coq-reduction-effects_0.1.5-5.dsc                  04-Aug-2024 03:53                1995
coq-reduction-effects_0.1.5.orig.tar.gz            22-Dec-2023 10:16               10369
libcoq-reduction-effects-dbgsym_0.1.5-5_amd64.deb  01-Feb-2025 15:12                3220
libcoq-reduction-effects-dbgsym_0.1.5-5_arm64.deb  19-Feb-2025 23:49                3364
libcoq-reduction-effects-dbgsym_0.1.5-5_ppc64el..> 23-Feb-2025 11:29                3416
libcoq-reduction-effects-dbgsym_0.1.5-5_riscv64..> 02-Mar-2025 10:50                3320
libcoq-reduction-effects_0.1.5-5_amd64.deb         01-Feb-2025 15:12               15384
libcoq-reduction-effects_0.1.5-5_arm64.deb         19-Feb-2025 23:49               15516
libcoq-reduction-effects_0.1.5-5_ppc64el.deb       23-Feb-2025 11:29               15476
libcoq-reduction-effects_0.1.5-5_riscv64.deb       02-Mar-2025 10:50               15268