Index of /by-release/debian/a/agda-stdlib
Name
Last modified
Size
Description
Parent Directory
-
agda-stdlib_0.3-3.patch-basis
2010-03-14 01:41
6
agda-stdlib_0.3-3.patch.bz2
2010-03-14 01:41
2.4K
agda-stdlib_0.5-1.patch-basis
2011-05-24 18:01
6
agda-stdlib_0.5-1.patch.bz2
2011-05-24 18:01
110K
agda-stdlib_0.7-2.patch-basis
2013-05-27 21:39
6
agda-stdlib_0.7-2.patch.bz2
2013-05-27 21:39
322
agda-stdlib_0.8-1.patch-basis
2014-08-05 16:44
6
agda-stdlib_0.8-1.patch.bz2
2014-08-05 16:44
60K
agda-stdlib_0.8-2.patch-basis
2014-08-12 17:12
6
agda-stdlib_0.8-2.patch.bz2
2014-08-12 17:12
60K
agda-stdlib_0.9-1.patch-basis
2015-05-20 16:10
6
agda-stdlib_0.9-1.patch.bz2
2015-05-20 16:10
12K
agda-stdlib_0.11-1.patch-basis
2016-01-04 17:10
6
agda-stdlib_0.11-1.patch.bz2
2016-01-04 17:10
34K
agda-stdlib_0.12-1.patch-basis
2016-06-20 17:09
7
agda-stdlib_0.12-1.patch.bz2
2016-06-20 17:09
19K
agda-stdlib_0.12-2.patch-basis
2016-06-23 23:22
7
agda-stdlib_0.12-2.patch.bz2
2016-06-23 23:22
19K
agda-stdlib_0.17-1.patch-basis
2018-11-24 12:08
7
agda-stdlib_0.17-1.patch.bz2
2018-11-24 12:08
319K
agda-stdlib_1.1-1.patch-basis
2019-09-04 15:39
7
agda-stdlib_1.1-1.patch.bz2
2019-09-04 15:39
391K
agda-stdlib_1.7.1-1.patch-basis
2022-08-06 21:38
6
agda-stdlib_1.7.1-1.patch.bz2
2022-08-06 21:38
356K
agda-stdlib_1.7.3-1.patch
2023-11-04 15:36
518K
agda-stdlib_1.7.3-1.patch-basis
2023-11-04 15:36
8
patches.xml
2023-11-04 15:43
3.0K
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443