Index of /ubuntu/pool/universe/c/coquelicot/

../
coquelicot_3.4.1-1build5.debian.tar.xz             08-Apr-2024 12:57    2324
coquelicot_3.4.1-1build5.dsc                       08-Apr-2024 12:57    2163
coquelicot_3.4.1-3build6.debian.tar.xz             17-Sep-2024 20:51    2340
coquelicot_3.4.1-3build6.dsc                       17-Sep-2024 20:51    2084
coquelicot_3.4.1.orig.tar.gz                       21-Jan-2024 04:35    275K
coquelicot_3.4.3-1build1.debian.tar.xz             19-Feb-2025 12:52    2356
coquelicot_3.4.3-1build1.dsc                       19-Feb-2025 12:52    2087
coquelicot_3.4.3-1build3.debian.tar.xz             28-May-2025 13:21    2428
coquelicot_3.4.3-1build3.dsc                       28-May-2025 13:21    2087
coquelicot_3.4.3-1build4.debian.tar.xz             19-Jun-2025 22:20    2440
coquelicot_3.4.3-1build4.dsc                       19-Jun-2025 22:20    2087
coquelicot_3.4.3.orig.tar.bz2                      18-Feb-2025 06:39    225K
libcoq-coquelicot_3.4.1-1build5_amd64.deb          08-Apr-2024 19:36      4M
libcoq-coquelicot_3.4.1-3build6_amd64.deb          20-Sep-2024 04:39      4M
libcoq-coquelicot_3.4.3-1build1_amd64.deb          20-Feb-2025 09:20      4M
libcoq-coquelicot_3.4.3-1build3_amd64.deb          28-May-2025 19:51      4M
libcoq-coquelicot_3.4.3-1build4_amd64.deb          20-Jun-2025 18:23      4M