Index of /by-release/atomic/debian/a/agda-stdlib
Name
Last modified
Size
Description
Parent Directory
-
agda-stdlib_0.3-2.patch-basis
2010-02-27 21:45
6
agda-stdlib_0.3-2.patch.bz2
2010-02-27 21:45
2.3K
agda-stdlib_0.3-3.patch-basis
2010-03-03 17:46
6
agda-stdlib_0.3-3.patch.bz2
2010-03-03 17:46
547
agda-stdlib_0.5-1.patch-basis
2011-05-24 17:24
6
agda-stdlib_0.5-1.patch.bz2
2011-05-24 17:24
110K
agda-stdlib_0.6-1.patch-basis
2011-12-31 04:11
25
agda-stdlib_0.6-1.patch.bz2
2011-12-31 04:11
17K
agda-stdlib_0.6-2.patch-basis
2012-03-16 01:28
6
agda-stdlib_0.6-2.patch.bz2
2012-03-16 01:28
867
agda-stdlib_0.6~darcs20111129t1640-1.patch-basis
2011-11-29 23:39
6
agda-stdlib_0.6~darcs20111129t1640-1.patch.bz2
2011-11-29 23:39
64K
agda-stdlib_0.7-1.patch-basis
2013-04-17 23:27
6
agda-stdlib_0.7-1.patch.bz2
2013-04-17 23:27
35K
agda-stdlib_0.7-2.patch-basis
2013-05-27 21:35
6
agda-stdlib_0.7-2.patch.bz2
2013-05-27 21:35
322
agda-stdlib_0.8-1.patch-basis
2014-08-05 16:41
6
agda-stdlib_0.8-1.patch.bz2
2014-08-05 16:41
60K
agda-stdlib_0.8-2.patch-basis
2014-08-12 17:09
6
agda-stdlib_0.8-2.patch.bz2
2014-08-12 17:09
605
agda-stdlib_0.9-1.patch-basis
2015-05-20 16:07
6
agda-stdlib_0.9-1.patch.bz2
2015-05-20 16:07
12K
agda-stdlib_0.11-1.patch-basis
2016-01-04 17:08
6
agda-stdlib_0.11-1.patch.bz2
2016-01-04 17:08
34K
agda-stdlib_0.12-1.patch-basis
2016-06-20 17:05
7
agda-stdlib_0.12-1.patch.bz2
2016-06-20 17:05
19K
agda-stdlib_0.12-2.patch-basis
2016-06-23 23:16
7
agda-stdlib_0.12-2.patch.bz2
2016-06-23 23:16
1.1K
agda-stdlib_0.13-1.patch-basis
2017-07-06 17:09
7
agda-stdlib_0.13-1.patch.bz2
2017-07-06 17:09
25K
agda-stdlib_0.14-1.patch-basis
2017-11-26 16:09
7
agda-stdlib_0.14-1.patch.bz2
2017-11-26 16:09
81K
agda-stdlib_0.17-1.patch-basis
2018-11-24 05:05
7
agda-stdlib_0.17-1.patch.bz2
2018-11-24 05:05
319K
agda-stdlib_1.1-1.patch-basis
2019-09-04 15:36
7
agda-stdlib_1.1-1.patch.bz2
2019-09-04 15:36
391K
agda-stdlib_1.3-1.patch-basis
2020-07-31 15:05
6
agda-stdlib_1.3-1.patch.bz2
2020-07-31 15:05
294K
agda-stdlib_1.3-2.patch-basis
2020-08-01 15:05
6
agda-stdlib_1.3-2.patch.bz2
2020-08-01 15:05
702
agda-stdlib_1.7.1-1.patch-basis
2022-08-06 21:35
6
agda-stdlib_1.7.1-1.patch.bz2
2022-08-06 21:35
356K
agda-stdlib_1.7.3-1.patch-basis
2023-11-04 15:35
8
agda-stdlib_1.7.3-1.patch.bz2
2023-11-04 15:35
30K
patches.xml
2023-11-04 15:43
3.1K
Apache/2.4.29 (Ubuntu) Server at patches.ubuntu.com Port 443