Index of /argostmp/pool/main/p/paramcoq/

../
libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1_amd64.deb   30-Mar-2025 16:58               14816
libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1_arm64.deb   27-Feb-2025 03:08               17332
libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1_ppc64el.deb 02-Mar-2025 13:24               15940
libcoq-paramcoq-dbgsym_1.1.3+coq8.20-1_riscv64.deb 10-Mar-2025 03:19               14760
libcoq-paramcoq_1.1.3+coq8.20-1_amd64.deb          30-Mar-2025 16:58              115792
libcoq-paramcoq_1.1.3+coq8.20-1_arm64.deb          27-Feb-2025 03:08              123224
libcoq-paramcoq_1.1.3+coq8.20-1_ppc64el.deb        02-Mar-2025 13:24              117624
libcoq-paramcoq_1.1.3+coq8.20-1_riscv64.deb        10-Mar-2025 03:19              117108
paramcoq_1.1.3+coq8.20-1.debian.tar.xz             20-Nov-2024 10:02                3184
paramcoq_1.1.3+coq8.20-1.dsc                       20-Nov-2024 10:02                2111
paramcoq_1.1.3+coq8.20.orig.tar.gz                 20-Nov-2024 10:02               45816