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/raspbian/raspbian/pool/main/a/agda/
Index of /pub/raspbian/raspbian/pool/main/a/agda/
File Name
File Size
Date
Parent directory/
-
-
agda-mode_2.5.4.1-3_all.deb
117680
20-Oct-2018 21:57
agda_2.5.4.1-3.debian.tar.xz
9928
20-Oct-2018 20:41
agda_2.5.4.1-3.dsc
3870
20-Oct-2018 20:41
agda_2.5.4.1-3_all.deb
118104
20-Oct-2018 21:57
agda_2.5.4.1.orig.tar.gz
1989201
30-Sep-2018 10:54
agda_2.6.1-1.debian.tar.xz
10060
29-Jul-2020 15:40
agda_2.6.1-1.dsc
4186
29-Jul-2020 15:40
agda_2.6.1-1_all.deb
28736
29-Jul-2020 16:40
agda_2.6.1.orig.tar.gz
2646289
29-Jul-2020 15:40
agda_2.6.2.2-1.1.debian.tar.xz
10496
06-Dec-2022 16:40
agda_2.6.2.2-1.1.dsc
4426
06-Dec-2022 16:40
agda_2.6.2.2-1.1_all.deb
12304
06-Dec-2022 17:41
agda_2.6.2.2.orig.tar.gz
1690635
06-Aug-2022 17:04
agda_2.6.3-1.debian.tar.xz
11604
13-Oct-2023 15:34
agda_2.6.3-1.dsc
4944
13-Oct-2023 15:34
agda_2.6.3-1_all.deb
20128
13-Oct-2023 16:30
agda_2.6.3.orig.tar.gz
1794269
13-Oct-2023 15:34
elpa-agda2-mode_2.5.4.1-3_all.deb
155444
20-Oct-2018 21:57
elpa-agda2-mode_2.6.1-1_all.deb
66816
29-Jul-2020 16:40
elpa-agda2-mode_2.6.2.2-1.1_all.deb
50944
06-Dec-2022 17:41
elpa-agda2-mode_2.6.3-1_all.deb
59256
13-Oct-2023 16:30
libghc-agda-doc_2.5.4.1-3_all.deb
3790832
20-Oct-2018 21:57
libghc-agda-doc_2.6.1-1_all.deb
5799636
29-Jul-2020 16:40
libghc-agda-doc_2.6.2.2-1.1_all.deb
6599972
06-Dec-2022 17:41
libghc-agda-doc_2.6.3-1_all.deb
6957572
13-Oct-2023 16:30