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

2020-08-29 Thread Jürgen Hötzel via arch-commits
Date: Saturday, August 29, 2020 @ 13:17:33 Author: juergen Revision: 692209 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 692208, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 192

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

2020-01-28 Thread Baptiste Jonglez via arch-commits
Date: Tuesday, January 28, 2020 @ 23:05:09 Author: zorun Revision: 558368 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 558367, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 194

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

2019-12-25 Thread Felix Yan via arch-commits
Date: Thursday, December 26, 2019 @ 00:11:02 Author: felixonmars Revision: 541537 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 541536, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 194

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

2019-05-31 Thread Baptiste Jonglez via arch-commits
Date: Friday, May 31, 2019 @ 16:26:31 Author: zorun Revision: 475994 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 475993, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 193

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

2019-01-23 Thread Baptiste Jonglez via arch-commits
Date: Wednesday, January 23, 2019 @ 21:16:28 Author: zorun Revision: 427403 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 427402, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 191

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

2018-11-28 Thread Jürgen Hötzel via arch-commits
Date: Thursday, November 29, 2018 @ 07:12:48 Author: juergen Revision: 410505 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 410504, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 190

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

2018-09-30 Thread Baptiste Jonglez via arch-commits
Date: Monday, October 1, 2018 @ 00:52:43 Author: zorun Revision: 388719 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 388718, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 190

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

2018-08-14 Thread Jürgen Hötzel via arch-commits
Date: Tuesday, August 14, 2018 @ 16:03:13 Author: juergen Revision: 371599 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 371598, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 190

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

2018-07-05 Thread Baptiste Jonglez via arch-commits
Date: Thursday, July 5, 2018 @ 07:43:40 Author: zorun Revision: 352458 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 352457, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 190

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

2018-06-29 Thread Baptiste Jonglez via arch-commits
Date: Friday, June 29, 2018 @ 20:51:08 Author: zorun Revision: 347780 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 347779, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 190

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

2018-05-03 Thread Baptiste Jonglez via arch-commits
Date: Thursday, May 3, 2018 @ 07:20:27 Author: zorun Revision: 318812 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 318811, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 186

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

2018-04-18 Thread Baptiste Jonglez via arch-commits
Date: Wednesday, April 18, 2018 @ 14:51:48 Author: zorun Revision: 316881 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 316880, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 180

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

2017-12-16 Thread Baptiste Jonglez via arch-commits
Date: Saturday, December 16, 2017 @ 22:54:23 Author: zorun Revision: 274621 archrelease: copy trunk to community-x86_64 Added: coq/repos/community-x86_64/PKGBUILD (from rev 274620, coq/trunk/PKGBUILD) Deleted: coq/repos/community-x86_64/PKGBUILD --+ PKGBUILD | 176