Index of /debian/pool/main/c/coquelicot/

../
coquelicot_0.9.2-4.debian.tar.gz                   01-Sep-2014 16:24               27648
coquelicot_0.9.2-4.dsc                             01-Sep-2014 16:24                2209
coquelicot_0.9.2-4_all.deb                         01-Sep-2014 16:24              272288
coquelicot_0.9.2.orig.tar.gz                       21-Apr-2013 18:03              174781
coquelicot_0.9.6-1.debian.tar.xz                   20-Dec-2016 14:48               34480
coquelicot_0.9.6-1.dsc                             20-Dec-2016 14:48                2454
coquelicot_0.9.6-1_all.deb                         20-Dec-2016 14:48              296474
coquelicot_0.9.6.orig.tar.gz                       20-Dec-2016 14:48              191585
coquelicot_3.2.0-7.debian.tar.xz                   05-Jul-2022 13:32                2320
coquelicot_3.2.0-7.dsc                             05-Jul-2022 13:32                2080
coquelicot_3.2.0.orig.tar.gz                       09-May-2022 18:11              277736
libcoq-coquelicot_3.2.0-7+b2_amd64.deb             30-Nov-2022 04:27             3256928
libcoq-coquelicot_3.2.0-7+b2_arm64.deb             30-Nov-2022 04:42             3256124
libcoq-coquelicot_3.2.0-7+b2_armhf.deb             30-Nov-2022 03:57             3256220
libcoq-coquelicot_3.2.0-7+b2_i386.deb              30-Nov-2022 01:46             3255980
libcoq-coquelicot_3.2.0-7+b2_ppc64el.deb           30-Nov-2022 03:57             3256300
libcoq-coquelicot_3.2.0-7+b2_s390x.deb             30-Nov-2022 04:43             3255996