Index of /pardus/pool/main/c/coqprime/

../
coqprime-tools_8.15-2+b1_amd64.deb                 28-Apr-2023 18:24    132K
coqprime-tools_8.15-2+b1_arm64.deb                 28-Apr-2023 19:07    131K
coqprime-tools_8.15-2+b1_i386.deb                  28-Apr-2023 18:59    134K
coqprime-tools_8.20.1-1+b4_amd64.deb               13-Aug-2025 01:10    140K
coqprime-tools_8.20.1-1+b4_arm64.deb               12-Aug-2025 23:48    139K
coqprime_8.15-2.debian.tar.xz                      10-Feb-2023 16:41    3576
coqprime_8.15-2.dsc                                10-Feb-2023 16:41    2149
coqprime_8.15.orig.tar.gz                          28-Nov-2022 18:15    964K
coqprime_8.20.1-1.debian.tar.xz                    13-Aug-2025 01:37    3468
coqprime_8.20.1-1.dsc                              13-Aug-2025 01:37    2178
coqprime_8.20.1.orig.tar.gz                        13-Aug-2025 01:37    973K
libcoq-coqprime_8.15-2+b1_amd64.deb                28-Apr-2023 17:52      2M
libcoq-coqprime_8.15-2+b1_arm64.deb                28-Apr-2023 17:56      2M
libcoq-coqprime_8.15-2+b1_i386.deb                 28-Apr-2023 19:04      2M
libcoq-coqprime_8.20.1-1+b4_amd64.deb              12-Aug-2025 23:59      2M
libcoq-coqprime_8.20.1-1+b4_arm64.deb              13-Aug-2025 05:13      2M