Date: Saturday, August 29, 2020 @ 13:15:16
Author: juergen
Revision: 692201
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 692200, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 66
Date: Saturday, August 29, 2020 @ 13:13:52
Author: juergen
Revision: 692200
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 692199, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 66
Date: Monday, May 18, 2020 @ 17:45:09
Author: juergen
Revision: 629589
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 629588, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 66
Date: Saturday, May 9, 2020 @ 16:59:46
Author: arodseth
Revision: 626016
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 626015, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 65
Date: Saturday, March 21, 2020 @ 18:34:10
Author: felixonmars
Revision: 602980
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 602979, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 64
Date: Saturday, January 18, 2020 @ 11:33:25
Author: arodseth
Revision: 552974
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 552973, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 68
Date: Thursday, October 10, 2019 @ 12:02:27
Author: juergen
Revision: 514449
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 514448, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 72
Date: Thursday, October 10, 2019 @ 09:48:12
Author: juergen
Revision: 514435
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 514434, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 72
Date: Saturday, August 24, 2019 @ 12:45:34
Author: juergen
Revision: 501488
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 501487, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 72
Date: Friday, August 16, 2019 @ 09:19:13
Author: arodseth
Revision: 499828
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 499827, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 72
Date: Friday, August 16, 2019 @ 05:52:09
Author: juergen
Revision: 499709
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 499708, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 72
Date: Sunday, July 28, 2019 @ 17:36:24
Author: arodseth
Revision: 493869
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 493868, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 72
Date: Thursday, April 25, 2019 @ 16:58:21
Author: arodseth
Revision: 453984
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 453983, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 72
Date: Friday, February 1, 2019 @ 20:06:34
Author: arodseth
Revision: 429125
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 429124, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 73
Date: Thursday, November 29, 2018 @ 07:18:30
Author: juergen
Revision: 410521
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 410520, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 74
Date: Tuesday, November 6, 2018 @ 21:43:50
Author: arodseth
Revision: 402255
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 402254, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 68
Date: Wednesday, October 17, 2018 @ 07:43:34
Author: arodseth
Revision: 395014
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 395013, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 61
Date: Sunday, September 23, 2018 @ 10:15:08
Author: arodseth
Revision: 384194
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 384193, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 60
Date: Sunday, September 23, 2018 @ 10:12:59
Author: arodseth
Revision: 384193
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 384192, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 60
Date: Wednesday, September 19, 2018 @ 09:00:01
Author: arodseth
Revision: 383345
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 383344, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD |
Date: Tuesday, August 14, 2018 @ 15:33:47
Author: juergen
Revision: 371527
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 371526, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 62
Date: Monday, November 20, 2017 @ 14:18:23
Author: arodseth
Revision: 267591
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 267590, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 62
Date: Monday, October 30, 2017 @ 11:37:19
Author: arodseth
Revision: 264751
archrelease: copy trunk to community-x86_64
Added:
opam/repos/community-x86_64/PKGBUILD
(from rev 264750, opam/trunk/PKGBUILD)
Deleted:
opam/repos/community-x86_64/PKGBUILD
--+
PKGBUILD | 61
23 matches
Mail list logo