Index of /pardus/pool/main/p/paramcoq/

../
libcoq-paramcoq_1.1.3+coq8.16-3+b1_amd64.deb       28-Apr-2023 18:57    113K
libcoq-paramcoq_1.1.3+coq8.16-3+b1_arm64.deb       28-Apr-2023 17:58    121K
libcoq-paramcoq_1.1.3+coq8.16-3+b1_i386.deb        28-Apr-2023 18:22    101K
libcoq-paramcoq_1.1.3+coq8.20-1+b4_amd64.deb       13-Aug-2025 01:16    114K
libcoq-paramcoq_1.1.3+coq8.20-1+b4_arm64.deb       13-Aug-2025 00:36    121K
paramcoq_1.1.3+coq8.16-3.debian.tar.xz             10-Feb-2023 18:02    2892
paramcoq_1.1.3+coq8.16-3.dsc                       10-Feb-2023 18:02    2111
paramcoq_1.1.3+coq8.16.orig.tar.gz                 28-Nov-2022 18:36     45K
paramcoq_1.1.3+coq8.20-1.debian.tar.xz             12-Aug-2025 23:33    3184
paramcoq_1.1.3+coq8.20-1.dsc                       12-Aug-2025 23:33    2111
paramcoq_1.1.3+coq8.20.orig.tar.gz                 12-Aug-2025 23:33     45K