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-reduction-effects/

Index of /pub/ubuntu/pool/universe/c/coq-reduction-effects/

File NameFile SizeDate
Parent directory/--
coq-reduction-effects_0.1.4-3build2.debian.tar.xz 165616-Feb-2023 18:50
coq-reduction-effects_0.1.4-3build2.dsc 221316-Feb-2023 18:50
coq-reduction-effects_0.1.4-4build1.debian.tar.xz 176826-Jul-2023 05:19
coq-reduction-effects_0.1.4-4build1.dsc 221326-Jul-2023 05:19
coq-reduction-effects_0.1.4.orig.tar.gz 1029213-Aug-2022 11:24
coq-reduction-effects_0.1.5-1.debian.tar.xz 170822-Dec-2023 17:26
coq-reduction-effects_0.1.5-1.dsc 221422-Dec-2023 17:26
coq-reduction-effects_0.1.5.orig.tar.gz 1036922-Dec-2023 17:26
libcoq-reduction-effects_0.1.4-3build2_amd64.deb 1424416-Feb-2023 18:50
libcoq-reduction-effects_0.1.4-4build1_amd64.deb 1448826-Jul-2023 06:22
libcoq-reduction-effects_0.1.5-1_amd64.deb 1573822-Dec-2023 22:01