Date: Tuesday, November 10, 2020 @ 18:25:47
Author: felixonmars
Revision: 749717
upgpkg: agda-stdlib 1.4-2: rebuild with Agda 2.6.1.2
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |8
1 file changed, 4 insertions(+), 4 deletions(-)
Modified: PKGBUILD
==
Date: Wednesday, September 23, 2020 @ 23:00:03
Author: felixonmars
Revision: 711642
upgpkg: agda-stdlib 1.4-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
Modified: PKGBUILD
Date: Tuesday, September 8, 2020 @ 22:14:45
Author: felixonmars
Revision: 701384
upgpkg: agda-stdlib 1.3-3: rebuild for Agda 2.6.1.1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
Date: Thursday, March 19, 2020 @ 11:06:23
Author: felixonmars
Revision: 600817
upgpkg: agda-stdlib 1.3-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
===
Date: Saturday, December 21, 2019 @ 22:23:31
Author: felixonmars
Revision: 538744
upgpkg: agda-stdlib 1.2-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Sunday, July 28, 2019 @ 01:42:15
Author: felixonmars
Revision: 493340
upgpkg: agda-stdlib 1.1-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
==
Date: Friday, May 31, 2019 @ 09:31:23
Author: felixonmars
Revision: 475899
upgpkg: agda-stdlib 1.0.1-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
=
Date: Tuesday, December 4, 2018 @ 17:20:29
Author: felixonmars
Revision: 411186
upgpkg: agda-stdlib 0.17-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
=
Date: Sunday, September 9, 2018 @ 09:00:30
Author: felixonmars
Revision: 378875
upgpkg: agda-stdlib 0.16.1-1
Added:
agda-stdlib/trunk/standard-library.agda-lib
Modified:
agda-stdlib/trunk/PKGBUILD
---+
PKGBUILD | 16 ++--
standard
Date: Sunday, March 18, 2018 @ 18:58:55
Author: felixonmars
Revision: 309082
upgpkg: agda-stdlib 0.15-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
Modified: PKGBUILD
Date: Sunday, October 15, 2017 @ 09:21:41
Author: felixonmars
Revision: 262896
upgpkg: agda-stdlib 0.14-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD | 24
1 file changed, 12 insertions(+), 12 deletions(-)
Modified: PKGBUILD
Date: Tuesday, January 24, 2017 @ 16:30:27
Author: felixonmars
Revision: 208910
upgpkg: agda-stdlib 0.13-1
Modified:
agda-stdlib/trunk/PKGBUILD
--+
PKGBUILD |2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
Modified: PKGBUILD
=
Date: Monday, April 18, 2016 @ 05:40:44
Author: fyan
Revision: 171284
upgpkg: agda-stdlib 0.12-1
Modified:
agda-stdlib/trunk/PKGBUILD
Deleted:
agda-stdlib/trunk/agda-stdlib.install
-+
PKGBUILD| 27 ---
agda-stdlib.install | 1
13 matches
Mail list logo