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

../
libcoq-paramcoq_1.1.3-1+b1_amd64.deb               16-May-2022 22:58              114104
libcoq-paramcoq_1.1.3-1_i386.deb                   15-May-2022 20:44              102532
libcoq-paramcoq_1.1.3-2_amd64.deb                  17-May-2022 20:55              113940
libcoq-paramcoq_1.1.3-2_i386.deb                   17-May-2022 20:50              102096
paramcoq_1.1.3-1.debian.tar.xz                     11-May-2022 15:36                2544
paramcoq_1.1.3-1.dsc                               11-May-2022 15:36                2003
paramcoq_1.1.3-2.debian.tar.xz                     17-May-2022 20:05                2600
paramcoq_1.1.3-2.dsc                               17-May-2022 20:05                2003
paramcoq_1.1.3.orig.tar.gz                         11-May-2022 15:36               45726