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/coq-quickchick/

Index of /pub/ubuntu/pool/universe/c/coq-quickchick/

File NameFile SizeDate
Parent directory/--
coq-quickchick_1.6.4-3build3.debian.tar.xz 281217-Feb-2023 07:29
coq-quickchick_1.6.4-3build3.dsc 226017-Feb-2023 07:29
coq-quickchick_1.6.4.orig.tar.gz 38846115-Aug-2022 11:39
coq-quickchick_2.0-2build1.debian.tar.xz 296424-Jul-2023 17:37
coq-quickchick_2.0-2build1.dsc 226024-Jul-2023 17:37
coq-quickchick_2.0.2-1build2.debian.tar.xz 315617-Feb-2024 00:37
coq-quickchick_2.0.2-1build2.dsc 227417-Feb-2024 00:37
coq-quickchick_2.0.2.orig.tar.gz 41561920-Jan-2024 23:35
coq-quickchick_2.0.orig.tar.gz 40978514-Jun-2023 23:24
libcoq-quickchick_1.6.4-3build3_amd64.deb 182248817-Feb-2023 07:29
libcoq-quickchick_2.0-2build1_amd64.deb 209668626-Jul-2023 09:58
libcoq-quickchick_2.0.2-1build2_amd64.deb 195051217-Feb-2024 15:52
quickchick_1.6.4-3build3_amd64.deb 6341817-Feb-2023 07:29
quickchick_2.0-2build1_amd64.deb 6379026-Jul-2023 09:58
quickchick_2.0.2-1build2_amd64.deb 6631017-Feb-2024 15:52