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/debian/pool/main/c/coq-reduction-effects/

Index of /pub/debian/pool/main/c/coq-reduction-effects/

File NameFile SizeDate
Parent directory/--
coq-reduction-effects_0.1.4-3.debian.tar.xz 157225-Jan-2023 07:47
coq-reduction-effects_0.1.4-3.dsc 221425-Jan-2023 07:47
coq-reduction-effects_0.1.4.orig.tar.gz 1029213-Aug-2022 05:08
coq-reduction-effects_0.1.5-4.debian.tar.xz 180426-Apr-2024 14:01
coq-reduction-effects_0.1.5-4.dsc 221426-Apr-2024 14:01
coq-reduction-effects_0.1.5.orig.tar.gz 1036922-Dec-2023 10:16
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb 1446013-Feb-2023 05:11
libcoq-reduction-effects_0.1.4-3+b1_arm64.deb 1460413-Feb-2023 05:11
libcoq-reduction-effects_0.1.4-3+b1_armhf.deb 1402013-Feb-2023 05:26
libcoq-reduction-effects_0.1.4-3+b1_i386.deb 1395613-Feb-2023 05:16
libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb 1476813-Feb-2023 05:27
libcoq-reduction-effects_0.1.4-3+b1_s390x.deb 1421213-Feb-2023 05:11
libcoq-reduction-effects_0.1.5-4+b1_amd64.deb 1534415-Jun-2024 10:59
libcoq-reduction-effects_0.1.5-4+b1_arm64.deb 1549615-Jun-2024 11:10
libcoq-reduction-effects_0.1.5-4+b1_i386.deb 1476015-Jun-2024 10:59
libcoq-reduction-effects_0.1.5-4+b1_ppc64el.deb 1547615-Jun-2024 10:59
libcoq-reduction-effects_0.1.5-4+b2_armhf.deb 1493615-Jun-2024 11:15
libcoq-reduction-effects_0.1.5-4+b2_riscv64.deb 1512815-Jun-2024 11:15
libcoq-reduction-effects_0.1.5-4+b2_s390x.deb 1512415-Jun-2024 20:00