Directory listing of http://mirror.biznetgio.com/ubuntu/pool/universe/a/agda-stdlib
mirror.biznetgio.com
/
ubuntu
/
pool
/
universe
/
a
/
agda-stdlib
File
Size
Last Modified
..
-
2024-02-24 06:33:07
agda-stdlib-doc_0.7-2_all.deb
1.67MB
2013-05-28 06:33:48
agda-stdlib-doc_0.11-1_all.deb
1.21MB
2016-01-05 08:20:13
agda-stdlib-doc_0.14-1_all.deb
1.02MB
2017-11-27 01:04:45
agda-stdlib-doc_1.1-1_all.deb
1.82MB
2019-09-06 22:48:27
agda-stdlib-doc_1.3-2_all.deb
2.33MB
2020-08-02 12:43:41
agda-stdlib-doc_1.7.1-1_all.deb
2.84MB
2022-08-27 02:09:39
agda-stdlib-doc_1.7.3-1_all.deb
2.84MB
2023-11-11 06:50:08
agda-stdlib_0.7-2.debian.tar.gz
4.35KB
2013-05-28 06:33:44
agda-stdlib_0.7-2.dsc
2.03KB
2013-05-28 06:33:44
agda-stdlib_0.7-2_all.deb
17.30MB
2013-05-28 06:33:50
agda-stdlib_0.7.orig.tar.gz
221.09KB
2013-04-11 01:03:22
agda-stdlib_0.11-1.debian.tar.xz
4.49KB
2016-01-05 06:25:05
agda-stdlib_0.11-1.dsc
2.06KB
2016-01-05 06:25:05
agda-stdlib_0.11-1_all.deb
16.69MB
2016-01-05 08:20:12
agda-stdlib_0.11.orig.tar.gz
247.32KB
2016-01-05 06:25:05
agda-stdlib_0.14-1.debian.tar.xz
5.07KB
2017-11-27 00:08:38
agda-stdlib_0.14-1.dsc
2.05KB
2017-11-27 00:08:38
agda-stdlib_0.14-1_all.deb
17.32MB
2017-11-27 01:04:46
agda-stdlib_0.14.orig.tar.gz
278.69KB
2017-11-26 18:14:14
agda-stdlib_1.1-1.debian.tar.xz
5.40KB
2019-09-06 22:48:22
agda-stdlib_1.1-1.dsc
2.07KB
2019-09-06 22:48:22
agda-stdlib_1.1-1_all.deb
45.19MB
2019-09-06 22:48:27
agda-stdlib_1.1.orig.tar.gz
556.74KB
2019-09-04 20:38:22
agda-stdlib_1.3-2.debian.tar.xz
5.51KB
2020-08-02 12:13:38
agda-stdlib_1.3-2.dsc
2.06KB
2020-08-02 12:13:38
agda-stdlib_1.3-2_all.deb
69.83MB
2020-08-02 12:43:42
agda-stdlib_1.3.orig.tar.gz
733.80KB
2020-08-02 06:33:38
agda-stdlib_1.7.1-1.debian.tar.xz
5.53KB
2022-08-07 06:19:17
agda-stdlib_1.7.1-1.dsc
2.11KB
2022-08-07 06:19:17
agda-stdlib_1.7.1-1_all.deb
97.96MB
2022-08-27 02:09:39
agda-stdlib_1.7.1.orig.tar.gz
918.10KB
2022-08-07 06:19:17
agda-stdlib_1.7.3-1.debian.tar.xz
5.60KB
2023-11-05 01:15:53
agda-stdlib_1.7.3-1.dsc
2.11KB
2023-11-05 01:15:53
agda-stdlib_1.7.3-1_all.deb
114.96MB
2023-11-11 06:50:08
agda-stdlib_1.7.3.orig.tar.gz
920.01KB
2023-11-05 01:15:53