Index of /pureos/pool/main/p/paramcoq/


../
libcoq-paramcoq_1.1.3+coq8.16-3+b1_amd64.deb       14-Jun-2023 21:36    113K
libcoq-paramcoq_1.1.3+coq8.16-3+b1_arm64.deb       14-Jun-2023 21:36    121K
libcoq-paramcoq_1.1.3+coq8.19-1+b1_amd64.deb       24-Jun-2024 14:23    107K
libcoq-paramcoq_1.1.3+coq8.19-1+b1_arm64.deb       24-Jun-2024 14:23    115K
libcoq-paramcoq_1.1.3+coq8.20-1+b1_amd64.deb       07-Feb-2025 18:18    113K
libcoq-paramcoq_1.1.3+coq8.20-1+b1_arm64.deb       07-Feb-2025 18:18    121K
libcoq-paramcoq_1.1.3+coq8.20-1+b3_amd64.deb       26-Feb-2025 06:33    114K
libcoq-paramcoq_1.1.3+coq8.20-1+b3_arm64.deb       26-Feb-2025 06:33    121K
libcoq-paramcoq_1.1.3+coq8.20-1_amd64.deb          29-Nov-2024 05:13    113K
libcoq-paramcoq_1.1.3+coq8.20-1_arm64.deb          29-Nov-2024 05:13    120K
paramcoq_1.1.3+coq8.16-3.debian.tar.xz             14-Jun-2023 14:19    2892
paramcoq_1.1.3+coq8.16-3.dsc                       14-Jun-2023 14:19    2111
paramcoq_1.1.3+coq8.16.orig.tar.gz                 14-Jun-2023 14:19     45K
paramcoq_1.1.3+coq8.19-1.debian.tar.xz             24-Jun-2024 14:13    3096
paramcoq_1.1.3+coq8.19-1.dsc                       24-Jun-2024 14:13    2111
paramcoq_1.1.3+coq8.19.orig.tar.gz                 24-Jun-2024 14:13     45K
paramcoq_1.1.3+coq8.20-1.debian.tar.xz             29-Nov-2024 04:51    3184
paramcoq_1.1.3+coq8.20-1.dsc                       29-Nov-2024 04:51    2111
paramcoq_1.1.3+coq8.20.orig.tar.gz                 29-Nov-2024 04:51     45K