Index of /debian/pool/main/c/coqprime

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 coqprime-tools_8.15-2+b1_amd64.deb      13-Feb-2023 08:44  132K  
 coqprime-tools_8.15-2+b1_arm64.deb      13-Feb-2023 08:44  131K  
 coqprime-tools_8.15-2+b1_armhf.deb      13-Feb-2023 08:44  129K  
 coqprime-tools_8.15-2+b1_i386.deb       13-Feb-2023 08:44  134K  
 coqprime-tools_8.15-2+b1_ppc64el.deb    14-Feb-2023 12:27  133K  
 coqprime-tools_8.15-2+b1_s390x.deb      13-Feb-2023 08:39  130K  
 coqprime-tools_8.20.1-1+b1_amd64.deb    30-Jan-2025 08:37  140K  
 coqprime-tools_8.20.1-1+b1_arm64.deb    30-Jan-2025 08:37  139K  
 coqprime-tools_8.20.1-1+b1_ppc64el.deb  30-Jan-2025 08:37  141K  
 coqprime-tools_8.20.1-1+b1_riscv64.deb  31-Jan-2025 01:26  143K  
 coqprime-tools_8.20.1-1+b1_s390x.deb    30-Jan-2025 09:02  138K  
 coqprime-tools_8.20.1-1_amd64.deb       24-Jan-2025 00:05  139K  
 coqprime-tools_8.20.1-1_arm64.deb       24-Jan-2025 00:05  138K  
 coqprime-tools_8.20.1-1_ppc64el.deb     24-Jan-2025 00:05  140K  
 coqprime-tools_8.20.1-1_riscv64.deb     24-Jan-2025 00:31  140K  
 coqprime-tools_8.20.1-1_s390x.deb       24-Jan-2025 00:56  138K  
 coqprime_8.15-2.debian.tar.xz           26-Jan-2023 13:44  3.5K  
 coqprime_8.15-2.dsc                     26-Jan-2023 13:44  2.1K  
 coqprime_8.15.orig.tar.gz               15-Jul-2022 10:46  964K  
 coqprime_8.20.1-1.debian.tar.xz         23-Jan-2025 23:02  3.4K  
 coqprime_8.20.1-1.dsc                   23-Jan-2025 23:02  2.1K  
 coqprime_8.20.1.orig.tar.gz             23-Jan-2025 23:02  1.0M  
 libcoq-coqprime_8.15-2+b1_amd64.deb     13-Feb-2023 08:44  1.6M  
 libcoq-coqprime_8.15-2+b1_arm64.deb     13-Feb-2023 08:44  1.6M  
 libcoq-coqprime_8.15-2+b1_armhf.deb     13-Feb-2023 08:44  1.6M  
 libcoq-coqprime_8.15-2+b1_i386.deb      13-Feb-2023 08:44  1.6M  
 libcoq-coqprime_8.15-2+b1_ppc64el.deb   14-Feb-2023 12:27  1.6M  
 libcoq-coqprime_8.15-2+b1_s390x.deb     13-Feb-2023 08:39  1.6M  
 libcoq-coqprime_8.20.1-1+b1_amd64.deb   30-Jan-2025 08:37  1.7M  
 libcoq-coqprime_8.20.1-1+b1_arm64.deb   30-Jan-2025 08:37  1.7M  
 libcoq-coqprime_8.20.1-1+b1_ppc64el.deb 30-Jan-2025 08:37  1.7M  
 libcoq-coqprime_8.20.1-1+b1_riscv64.deb 31-Jan-2025 01:26  1.7M  
 libcoq-coqprime_8.20.1-1+b1_s390x.deb   30-Jan-2025 09:02  1.7M  
 libcoq-coqprime_8.20.1-1_amd64.deb      24-Jan-2025 00:05  1.7M  
 libcoq-coqprime_8.20.1-1_arm64.deb      24-Jan-2025 00:05  1.7M  
 libcoq-coqprime_8.20.1-1_ppc64el.deb    24-Jan-2025 00:05  1.7M  
 libcoq-coqprime_8.20.1-1_riscv64.deb    24-Jan-2025 00:31  1.7M  
 libcoq-coqprime_8.20.1-1_s390x.deb      24-Jan-2025 00:56  1.7M