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-reglang/
Index of /pub/debian/pool/main/c/coq-reglang/
File Name
File Size
Date
Parent directory/
-
-
coq-reglang_1.1.3-2.debian.tar.xz
8392
26-Jan-2023 12:44
coq-reglang_1.1.3-2.dsc
2111
26-Jan-2023 12:44
coq-reglang_1.1.3.orig.tar.gz
67023
15-Jul-2022 21:06
coq-reglang_1.2.1-1.debian.tar.xz
8508
20-Jan-2024 20:13
coq-reglang_1.2.1-1.dsc
2117
20-Jan-2024 20:13
coq-reglang_1.2.1.orig.tar.gz
69424
20-Jan-2024 20:13
libcoq-reglang_1.1.3-2+b1_amd64.deb
724528
13-Feb-2023 07:28
libcoq-reglang_1.1.3-2+b1_arm64.deb
724460
13-Feb-2023 07:28
libcoq-reglang_1.1.3-2+b1_armhf.deb
724376
13-Feb-2023 07:28
libcoq-reglang_1.1.3-2+b1_i386.deb
724248
13-Feb-2023 07:39
libcoq-reglang_1.1.3-2+b1_ppc64el.deb
724424
13-Feb-2023 23:55
libcoq-reglang_1.1.3-2+b1_s390x.deb
724468
13-Feb-2023 10:20
libcoq-reglang_1.2.1-1+b1_amd64.deb
724316
16-Feb-2024 15:04
libcoq-reglang_1.2.1-1+b1_arm64.deb
724132
16-Feb-2024 17:36
libcoq-reglang_1.2.1-1+b1_armhf.deb
723608
16-Feb-2024 14:09
libcoq-reglang_1.2.1-1+b1_i386.deb
723824
16-Feb-2024 14:59
libcoq-reglang_1.2.1-1+b1_ppc64el.deb
724060
16-Feb-2024 15:20
libcoq-reglang_1.2.1-1+b1_riscv64.deb
724148
18-Feb-2024 01:49
libcoq-reglang_1.2.1-1+b1_s390x.deb
724192
16-Feb-2024 14:59