Index of /ubuntu/pool/universe/a/agda-stdlib/
name
size
date
agda-stdlib_2.1-4build1_all.deb
140.16M
2025-11-01 18:57:27
agda-stdlib-doc_2.1-4build1_all.deb
3.49M
2025-11-01 18:57:26
agda-stdlib_2.1-4build1.debian.tar.xz
6.0K
2025-11-01 08:04:42
agda-stdlib_2.1-4build1.dsc
2.2K
2025-11-01 08:04:42
agda-stdlib_2.1-4_all.deb
140.16M
2024-11-26 00:17:58
agda-stdlib-doc_2.1-4_all.deb
3.49M
2024-11-26 00:17:56
agda-stdlib_2.1-4.debian.tar.xz
5.9K
2024-11-26 00:17:50
agda-stdlib_2.1-4.dsc
2.2K
2024-11-26 00:17:50
agda-stdlib_2.1.orig.tar.gz
1.16M
2024-10-31 17:16:16
agda-stdlib-doc_1.7.3-1_all.deb
2.84M
2023-11-10 23:50:08
agda-stdlib_1.7.3-1_all.deb
114.96M
2023-11-10 23:50:08
agda-stdlib_1.7.3-1.debian.tar.xz
5.6K
2023-11-04 18:15:53
agda-stdlib_1.7.3-1.dsc
2.1K
2023-11-04 18:15:53
agda-stdlib_1.7.3.orig.tar.gz
0.90M
2023-11-04 18:15:53
agda-stdlib_1.3-2_all.deb
69.83M
2020-08-02 05:43:42
agda-stdlib-doc_1.3-2_all.deb
2.33M
2020-08-02 05:43:41
agda-stdlib_1.3-2.debian.tar.xz
5.5K
2020-08-02 05:13:38
agda-stdlib_1.3-2.dsc
2.1K
2020-08-02 05:13:38
agda-stdlib_1.3.orig.tar.gz
0.72M
2020-08-01 23:33:38
agda-stdlib-doc_1.1-1_all.deb
1.82M
2019-09-06 15:48:27
agda-stdlib_1.1-1_all.deb
45.19M
2019-09-06 15:48:27
agda-stdlib_1.1-1.debian.tar.xz
5.4K
2019-09-06 15:48:22
agda-stdlib_1.1-1.dsc
2.1K
2019-09-06 15:48:22
agda-stdlib_1.1.orig.tar.gz
0.54M
2019-09-04 13:38:22
agda-stdlib_0.14-1_all.deb
17.32M
2017-11-26 18:04:46
agda-stdlib-doc_0.14-1_all.deb
1.02M
2017-11-26 18:04:45
agda-stdlib_0.14-1.debian.tar.xz
5.1K
2017-11-26 17:08:38
agda-stdlib_0.14-1.dsc
2.1K
2017-11-26 17:08:38
agda-stdlib_0.14.orig.tar.gz
278.7K
2017-11-26 11:14:14
agda-stdlib-doc_0.11-1_all.deb
1.21M
2016-01-05 01:20:13
agda-stdlib_0.11-1_all.deb
16.69M
2016-01-05 01:20:12
agda-stdlib_0.11-1.debian.tar.xz
4.5K
2016-01-04 23:25:05
agda-stdlib_0.11-1.dsc
2.1K
2016-01-04 23:25:05
agda-stdlib_0.11.orig.tar.gz
247.3K
2016-01-04 23:25:05
agda-stdlib_0.7-2_all.deb
17.30M
2013-05-27 23:33:50
agda-stdlib-doc_0.7-2_all.deb
1.67M
2013-05-27 23:33:48
agda-stdlib_0.7-2.debian.tar.gz
4.4K
2013-05-27 23:33:44
agda-stdlib_0.7-2.dsc
2.0K
2013-05-27 23:33:44
agda-stdlib_0.7.orig.tar.gz
221.1K
2013-04-10 18:03:22