Index of /argostmp/pool/main/c/coqprime/

../
coqprime-tools-dbgsym_8.20.1-1_amd64.deb           02-Mar-2025 10:16               61776
coqprime-tools-dbgsym_8.20.1-1_arm64.deb           19-Feb-2025 23:49               61200
coqprime-tools-dbgsym_8.20.1-1_ppc64el.deb         23-Feb-2025 11:29               60308
coqprime-tools-dbgsym_8.20.1-1_riscv64.deb         02-Mar-2025 10:50               58860
coqprime-tools_8.20.1-1_amd64.deb                  02-Mar-2025 10:16              142736
coqprime-tools_8.20.1-1_arm64.deb                  19-Feb-2025 23:49              141732
coqprime-tools_8.20.1-1_ppc64el.deb                23-Feb-2025 11:29              143908
coqprime-tools_8.20.1-1_riscv64.deb                02-Mar-2025 10:50              143952
coqprime_8.20.1-1.debian.tar.xz                    23-Jan-2025 22:02                3468
coqprime_8.20.1-1.dsc                              23-Jan-2025 22:02                2178
coqprime_8.20.1.orig.tar.gz                        23-Jan-2025 22:02              996557
libcoq-coqprime_8.20.1-1_amd64.deb                 02-Mar-2025 10:16             1778580
libcoq-coqprime_8.20.1-1_arm64.deb                 19-Feb-2025 23:49             1779000
libcoq-coqprime_8.20.1-1_ppc64el.deb               23-Feb-2025 11:29             1778604
libcoq-coqprime_8.20.1-1_riscv64.deb               02-Mar-2025 10:50             1778132