Skip To Content
Sales & Support:
13 66 33
Search for:
Site:
Internode
The Web
Search
Search
Home
About
Contact
Support
Products
Business
Residential
Residential
Broadband
Phone and VoIP
Mobile
Hardware
Entertainment
Fetch TV
Streaming Radio
File Downloads
Unmetered Content
Moving?
Signup Online
Entertainment
Related Items
Sign up with Internode
View our NBN plans
Home
Residential
Entertainment
File Download Mirror
Directory Listing
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 Name
File Size
Date
Parent directory/
-
-
coq-reduction-effects_0.1.4-3.debian.tar.xz
1572
25-Jan-2023 07:47
coq-reduction-effects_0.1.4-3.dsc
2214
25-Jan-2023 07:47
coq-reduction-effects_0.1.4.orig.tar.gz
10292
13-Aug-2022 05:08
coq-reduction-effects_0.1.5-1.debian.tar.xz
1708
22-Dec-2023 10:16
coq-reduction-effects_0.1.5-1.dsc
2214
22-Dec-2023 10:16
coq-reduction-effects_0.1.5.orig.tar.gz
10369
22-Dec-2023 10:16
libcoq-reduction-effects_0.1.4-3+b1_amd64.deb
14460
13-Feb-2023 05:11
libcoq-reduction-effects_0.1.4-3+b1_arm64.deb
14604
13-Feb-2023 05:11
libcoq-reduction-effects_0.1.4-3+b1_armhf.deb
14020
13-Feb-2023 05:26
libcoq-reduction-effects_0.1.4-3+b1_i386.deb
13956
13-Feb-2023 05:16
libcoq-reduction-effects_0.1.4-3+b1_ppc64el.deb
14768
13-Feb-2023 05:27
libcoq-reduction-effects_0.1.4-3+b1_s390x.deb
14212
13-Feb-2023 05:11
libcoq-reduction-effects_0.1.5-1+b1_riscv64.deb
14580
30-Dec-2023 17:22
libcoq-reduction-effects_0.1.5-1_amd64.deb
14344
22-Dec-2023 11:07
libcoq-reduction-effects_0.1.5-1_arm64.deb
14560
22-Dec-2023 10:57
libcoq-reduction-effects_0.1.5-1_armhf.deb
13920
22-Dec-2023 10:57
libcoq-reduction-effects_0.1.5-1_i386.deb
13804
22-Dec-2023 11:07
libcoq-reduction-effects_0.1.5-1_ppc64el.deb
14568
22-Dec-2023 10:57
libcoq-reduction-effects_0.1.5-1_s390x.deb
14048
22-Dec-2023 10:57