Skip To Content

Home - Residential - Entertainment - File Download Mirror - Directory Listing

File Download Mirror

The Internode Mirror contains a wide selection of software for download by Internode customers.

File Download Mirror Directory Listing

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

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

File NameFile SizeDate
Parent directory/--
coquelicot_0.9.2-2.debian.tar.gz 2664317-Jun-2013 11:33
coquelicot_0.9.2-2.dsc 228317-Jun-2013 11:33
coquelicot_0.9.2-2_all.deb 28083217-Jun-2013 12:33
coquelicot_0.9.2.orig.tar.gz 17478117-Jun-2013 11:33
coquelicot_0.9.5-1.debian.tar.xz 3438023-Oct-2015 21:36
coquelicot_0.9.5-1.dsc 233923-Oct-2015 21:36
coquelicot_0.9.5-1_all.deb 32253624-Oct-2015 00:51
coquelicot_0.9.5.orig.tar.gz 18719423-Oct-2015 21:36
coquelicot_0.9.6-1ubuntu1.debian.tar.xz 3462002-Mar-2018 10:53
coquelicot_0.9.6-1ubuntu1.dsc 221102-Mar-2018 10:53
coquelicot_0.9.6-1ubuntu1_all.deb 29437602-Mar-2018 10:53
coquelicot_0.9.6.orig.tar.gz 19158520-Dec-2016 23:18
coquelicot_3.2.0-8build2.debian.tar.xz 245216-Feb-2023 18:50
coquelicot_3.2.0-8build2.dsc 208416-Feb-2023 18:50
coquelicot_3.2.0.orig.tar.gz 27773613-May-2022 07:20
coquelicot_3.3.1-1build1.debian.tar.xz 195224-Jul-2023 17:37
coquelicot_3.3.1-1build1.dsc 208424-Jul-2023 17:37
coquelicot_3.3.1.orig.tar.gz 27976714-Jun-2023 23:24
coquelicot_3.4.1-1build2.debian.tar.xz 218817-Feb-2024 00:37
coquelicot_3.4.1-1build2.dsc 208417-Feb-2024 00:37
coquelicot_3.4.1.orig.tar.gz 28153220-Jan-2024 23:35
libcoq-coquelicot_3.2.0-8build2_amd64.deb 374711216-Feb-2023 18:50
libcoq-coquelicot_3.3.1-1build1_amd64.deb 377123825-Jul-2023 17:19
libcoq-coquelicot_3.4.1-1build2_amd64.deb 376850817-Feb-2024 15:52