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

../
coquelicot_3.2.0-8.debian.tar.xz                   26-Jan-2023 12:44                2372
coquelicot_3.2.0-8.dsc                             26-Jan-2023 12:44                2085
coquelicot_3.2.0.orig.tar.gz                       09-May-2022 18:11              277736
coquelicot_3.3.1-1.debian.tar.xz                   14-Jun-2023 13:57                1884
coquelicot_3.3.1-1.dsc                             14-Jun-2023 13:57                2085
coquelicot_3.3.1.orig.tar.gz                       14-Jun-2023 13:57              279767
libcoq-coquelicot_3.2.0-8+b1_amd64.deb             13-Feb-2023 07:44             3256236
libcoq-coquelicot_3.2.0-8+b1_i386.deb              13-Feb-2023 07:44             3256196
libcoq-coquelicot_3.3.1-1+b1_amd64.deb             23-Jul-2023 07:41             3277332
libcoq-coquelicot_3.3.1-1+b1_i386.deb              23-Jul-2023 07:57             3277196
libcoq-coquelicot_3.3.1-1_riscv64.deb              31-Aug-2023 05:25             3277068