[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2020-08-29 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2020-08-29 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2020-05-18 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2020-05-09 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2020-03-21 Thread Felix Yan via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2020-01-18 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2019-10-10 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2019-10-10 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2019-08-24 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2019-08-16 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2019-08-15 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2019-07-28 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2019-04-25 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2019-02-01 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-11-28 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-11-06 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-10-17 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-09-23 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-09-23 Thread Alexander Rødseth via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-09-19 Thread Alexander Rødseth via arch-commits
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 |

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2018-08-14 Thread Jürgen Hötzel via arch-commits
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2017-11-20 Thread Alexander Rødseth
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

[arch-commits] Commit in opam/repos/community-x86_64 (PKGBUILD PKGBUILD)

2017-10-30 Thread Alexander Rødseth
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