Index of /debian/pool/main/p/paramcoq/


../
libcoq-paramcoq_1.1.3+coq8.16-3+b1_amd64.deb       13-Feb-2023 05:27              115748
libcoq-paramcoq_1.1.3+coq8.16-3+b1_arm64.deb       13-Feb-2023 05:26              123628
libcoq-paramcoq_1.1.3+coq8.16-3+b1_i386.deb        13-Feb-2023 05:27              103656
libcoq-paramcoq_1.1.3+coq8.16-3+b1_ppc64el.deb     13-Feb-2023 05:42              117536
libcoq-paramcoq_1.1.3+coq8.20-1+b3_amd64.deb       18-Feb-2025 00:20              116300
libcoq-paramcoq_1.1.3+coq8.20-1+b3_arm64.deb       18-Feb-2025 00:41              123744
libcoq-paramcoq_1.1.3+coq8.20-1+b3_ppc64el.deb     18-Feb-2025 00:20              117864
libcoq-paramcoq_1.1.3+coq8.20-1+b3_riscv64.deb     18-Feb-2025 05:54              117604