Directory listing of http://mirror.proxhost.id/ubuntu/pool/universe/a/agda-stdlib
mirror.proxhost.id
/
ubuntu
/
pool
/
universe
/
a
/
agda-stdlib
File
Size
Last Modified
..
-
2026-03-31 07:38:47
agda-stdlib-doc_0.7-2_all.deb
1.67MB
2013-05-27 23:33:48
agda-stdlib-doc_0.11-1_all.deb
1.21MB
2016-01-05 01:20:13
agda-stdlib-doc_0.14-1_all.deb
1.02MB
2017-11-26 18:04:45
agda-stdlib-doc_1.1-1_all.deb
1.82MB
2019-09-06 15:48:27
agda-stdlib-doc_1.3-2_all.deb
2.33MB
2020-08-02 05:43:41
agda-stdlib-doc_1.7.3-1_all.deb
2.84MB
2023-11-10 23:50:08
agda-stdlib-doc_2.1-4_all.deb
3.49MB
2024-11-26 00:17:56
agda-stdlib-doc_2.3-1_all.deb
3.64MB
2026-02-19 00:05:59
agda-stdlib_0.7-2.debian.tar.gz
4.35KB
2013-05-27 23:33:44
agda-stdlib_0.7-2.dsc
2.03KB
2013-05-27 23:33:44
agda-stdlib_0.7-2_all.deb
17.30MB
2013-05-27 23:33:50
agda-stdlib_0.7.orig.tar.gz
221.09KB
2013-04-10 18:03:22
agda-stdlib_0.11-1.debian.tar.xz
4.49KB
2016-01-04 23:25:05
agda-stdlib_0.11-1.dsc
2.06KB
2016-01-04 23:25:05
agda-stdlib_0.11-1_all.deb
16.69MB
2016-01-05 01:20:12
agda-stdlib_0.11.orig.tar.gz
247.32KB
2016-01-04 23:25:05
agda-stdlib_0.14-1.debian.tar.xz
5.07KB
2017-11-26 17:08:38
agda-stdlib_0.14-1.dsc
2.05KB
2017-11-26 17:08:38
agda-stdlib_0.14-1_all.deb
17.32MB
2017-11-26 18:04:46
agda-stdlib_0.14.orig.tar.gz
278.69KB
2017-11-26 11:14:14
agda-stdlib_1.1-1.debian.tar.xz
5.40KB
2019-09-06 15:48:22
agda-stdlib_1.1-1.dsc
2.07KB
2019-09-06 15:48:22
agda-stdlib_1.1-1_all.deb
45.19MB
2019-09-06 15:48:27
agda-stdlib_1.1.orig.tar.gz
556.74KB
2019-09-04 13:38:22
agda-stdlib_1.3-2.debian.tar.xz
5.51KB
2020-08-02 05:13:38
agda-stdlib_1.3-2.dsc
2.06KB
2020-08-02 05:13:38
agda-stdlib_1.3-2_all.deb
69.83MB
2020-08-02 05:43:42
agda-stdlib_1.3.orig.tar.gz
733.80KB
2020-08-01 23:33:38
agda-stdlib_1.7.3-1.debian.tar.xz
5.60KB
2023-11-04 18:15:53
agda-stdlib_1.7.3-1.dsc
2.11KB
2023-11-04 18:15:53
agda-stdlib_1.7.3-1_all.deb
114.96MB
2023-11-10 23:50:08
agda-stdlib_1.7.3.orig.tar.gz
920.01KB
2023-11-04 18:15:53
agda-stdlib_2.1-4.debian.tar.xz
5.92KB
2024-11-26 00:17:50
agda-stdlib_2.1-4.dsc
2.17KB
2024-11-26 00:17:50
agda-stdlib_2.1-4_all.deb
140.16MB
2024-11-26 00:17:58
agda-stdlib_2.1.orig.tar.gz
1.16MB
2024-10-31 17:16:16
agda-stdlib_2.3-1.debian.tar.xz
5.95KB
2026-02-16 01:34:44
agda-stdlib_2.3-1.dsc
2.17KB
2026-02-16 01:34:44
agda-stdlib_2.3-1_all.deb
149.35MB
2026-02-19 00:06:02
agda-stdlib_2.3.orig.tar.gz
1.21MB
2026-02-16 01:34:44