uk-mirror.onlyservers.com
Sync healthy Servers, Bandwidth and storage provided by OnlyServers UK Browse

Index of /ubuntu/pool/universe/a/agda-stdlib/

Hide dotfiles
Name
Last modified
Size
../
-
-
../
28-Feb-2026 10:58
-
agda-stdlib-doc_0.11-1_all.deb
05-Jan-2016 01:20
1.21 MB
agda-stdlib-doc_0.14-1_all.deb
26-Nov-2017 18:04
1.02 MB
agda-stdlib-doc_0.7-2_all.deb
27-May-2013 23:33
1.67 MB
agda-stdlib-doc_1.1-1_all.deb
06-Sep-2019 15:48
1.82 MB
agda-stdlib-doc_1.3-2_all.deb
02-Aug-2020 05:43
2.33 MB
agda-stdlib-doc_1.7.3-1_all.deb
10-Nov-2023 23:50
2.84 MB
agda-stdlib-doc_2.1-4_all.deb
26-Nov-2024 00:17
3.49 MB
agda-stdlib-doc_2.1-4build1_all.deb
01-Nov-2025 18:57
3.49 MB
agda-stdlib-doc_2.3-1_all.deb
19-Feb-2026 00:05
3.64 MB
agda-stdlib_0.11-1.debian.tar.xz
04-Jan-2016 23:25
4.49 KB
agda-stdlib_0.11-1.dsc
04-Jan-2016 23:25
2.06 KB
agda-stdlib_0.11-1_all.deb
05-Jan-2016 01:20
16.69 MB
agda-stdlib_0.11.orig.tar.gz
04-Jan-2016 23:25
247.32 KB
agda-stdlib_0.14-1.debian.tar.xz
26-Nov-2017 17:08
5.07 KB
agda-stdlib_0.14-1.dsc
26-Nov-2017 17:08
2.05 KB
agda-stdlib_0.14-1_all.deb
26-Nov-2017 18:04
17.32 MB
agda-stdlib_0.14.orig.tar.gz
26-Nov-2017 11:14
278.69 KB
agda-stdlib_0.7-2.debian.tar.gz
27-May-2013 23:33
4.35 KB
agda-stdlib_0.7-2.dsc
27-May-2013 23:33
2.03 KB
agda-stdlib_0.7-2_all.deb
27-May-2013 23:33
17.3 MB
agda-stdlib_0.7.orig.tar.gz
10-Apr-2013 18:03
221.09 KB
agda-stdlib_1.1-1.debian.tar.xz
06-Sep-2019 15:48
5.4 KB
agda-stdlib_1.1-1.dsc
06-Sep-2019 15:48
2.07 KB
agda-stdlib_1.1-1_all.deb
06-Sep-2019 15:48
45.19 MB
agda-stdlib_1.1.orig.tar.gz
04-Sep-2019 13:38
556.74 KB
agda-stdlib_1.3-2.debian.tar.xz
02-Aug-2020 05:13
5.51 KB
agda-stdlib_1.3-2.dsc
02-Aug-2020 05:13
2.06 KB
agda-stdlib_1.3-2_all.deb
02-Aug-2020 05:43
69.83 MB
agda-stdlib_1.3.orig.tar.gz
01-Aug-2020 23:33
733.8 KB
agda-stdlib_1.7.3-1.debian.tar.xz
04-Nov-2023 18:15
5.6 KB
agda-stdlib_1.7.3-1.dsc
04-Nov-2023 18:15
2.11 KB
agda-stdlib_1.7.3-1_all.deb
10-Nov-2023 23:50
114.96 MB
agda-stdlib_1.7.3.orig.tar.gz
04-Nov-2023 18:15
920.01 KB
agda-stdlib_2.1-4.debian.tar.xz
26-Nov-2024 00:17
5.92 KB
agda-stdlib_2.1-4.dsc
26-Nov-2024 00:17
2.17 KB
agda-stdlib_2.1-4_all.deb
26-Nov-2024 00:17
140.16 MB
agda-stdlib_2.1-4build1.debian.tar.xz
01-Nov-2025 08:04
5.96 KB
agda-stdlib_2.1-4build1.dsc
01-Nov-2025 08:04
2.17 KB
agda-stdlib_2.1-4build1_all.deb
01-Nov-2025 18:57
140.16 MB
agda-stdlib_2.1.orig.tar.gz
31-Oct-2024 17:16
1.16 MB
agda-stdlib_2.3-1.debian.tar.xz
16-Feb-2026 01:34
5.95 KB
agda-stdlib_2.3-1.dsc
16-Feb-2026 01:34
2.17 KB
agda-stdlib_2.3-1_all.deb
19-Feb-2026 00:06
149.35 MB
agda-stdlib_2.3.orig.tar.gz
16-Feb-2026 01:34
1.21 MB