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

directories: 0, files: 26

NameLast modifiedSize
../
libcoq-coquelicot_3.4.3-1build2_amd64.deb2025-05-08 17:28:343.67 MiB
libcoq-coquelicot_3.4.3-1build1_amd64.deb2025-02-20 05:20:113.68 MiB
libcoq-coquelicot_3.4.1-3build6_amd64.deb2024-09-20 01:39:493.68 MiB
libcoq-coquelicot_3.4.1-1build5_amd64.deb2024-04-08 16:36:303.59 MiB
coquelicot_3.4.3.orig.tar.bz22025-02-18 02:39:13224.93 KiB
coquelicot_3.4.3-1build2.dsc2025-05-08 13:58:462.04 KiB
coquelicot_3.4.3-1build2.debian.tar.xz2025-05-08 13:58:462.36 KiB
coquelicot_3.4.3-1build1.dsc2025-02-19 08:52:192.04 KiB
coquelicot_3.4.3-1build1.debian.tar.xz2025-02-19 08:52:192.30 KiB
coquelicot_3.4.1.orig.tar.gz2024-01-21 00:35:33274.93 KiB
coquelicot_3.4.1-3build6.dsc2024-09-17 17:51:422.04 KiB
coquelicot_3.4.1-3build6.debian.tar.xz2024-09-17 17:51:422.29 KiB
coquelicot_3.4.1-1build5.dsc2024-04-08 09:57:402.11 KiB
coquelicot_3.4.1-1build5.debian.tar.xz2024-04-08 09:57:402.27 KiB
coquelicot_0.9.6.orig.tar.gz2016-12-21 00:18:27187.09 KiB
coquelicot_0.9.6-1ubuntu1_all.deb2018-03-02 11:53:34287.48 KiB
coquelicot_0.9.6-1ubuntu1.dsc2018-03-02 11:53:332.16 KiB
coquelicot_0.9.6-1ubuntu1.debian.tar.xz2018-03-02 11:53:3333.81 KiB
coquelicot_0.9.5.orig.tar.gz2015-10-23 23:36:35182.81 KiB
coquelicot_0.9.5-1_all.deb2015-10-24 02:51:27314.98 KiB
coquelicot_0.9.5-1.dsc2015-10-23 23:36:352.28 KiB
coquelicot_0.9.5-1.debian.tar.xz2015-10-23 23:36:3533.57 KiB
coquelicot_0.9.2.orig.tar.gz2013-06-17 13:33:39170.68 KiB
coquelicot_0.9.2-2_all.deb2013-06-17 14:33:39274.25 KiB
coquelicot_0.9.2-2.dsc2013-06-17 13:33:392.23 KiB
coquelicot_0.9.2-2.debian.tar.gz2013-06-17 13:33:3926.02 KiB