[arch-commits] Commit in coq/trunk (PKGBUILD)

2020-08-29 Thread Jürgen Hötzel via arch-commits
Date: Saturday, August 29, 2020 @ 13:17:27 Author: juergen Revision: 692208 OCaml 4.11.0 rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2020-05-25 Thread Felix Yan via arch-commits
Date: Monday, May 25, 2020 @ 19:03:51 Author: felixonmars Revision: 634917 upgpkg: coq 8.11.2-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2020-01-28 Thread Baptiste Jonglez via arch-commits
Date: Tuesday, January 28, 2020 @ 23:04:59 Author: zorun Revision: 558367 upgpkg: coq 8.11.0-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2019-12-25 Thread Felix Yan via arch-commits
Date: Thursday, December 26, 2019 @ 00:10:43 Author: felixonmars Revision: 541536 upgpkg: coq 8.10.2-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD ocaml408_compat.patch)

2019-11-01 Thread Baptiste Jonglez via arch-commits
Date: Friday, November 1, 2019 @ 17:40:15 Author: zorun Revision: 522065 upgpkg: coq 8.10.1-1 Modified: coq/trunk/PKGBUILD Deleted: coq/trunk/ocaml408_compat.patch ---+ PKGBUILD | 19 --- ocaml408_compat.patch | 13 - 2

[arch-commits] Commit in coq/trunk (PKGBUILD)

2019-10-10 Thread Jürgen Hötzel via arch-commits
Date: Thursday, October 10, 2019 @ 09:42:06 Author: juergen Revision: 514432 OCaml 4.09 rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2019-08-24 Thread Jürgen Hötzel via arch-commits
Date: Saturday, August 24, 2019 @ 12:40:02 Author: juergen Revision: 501485 OCaml 4.08.1 rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD ocaml408_compat.patch)

2019-08-16 Thread Jürgen Hötzel via arch-commits
Date: Friday, August 16, 2019 @ 06:20:44 Author: juergen Revision: 499730 OCaml 4.08 rebuild Added: coq/trunk/ocaml408_compat.patch Modified: coq/trunk/PKGBUILD ---+ PKGBUILD |9 ++--- ocaml408_compat.patch | 13 + 2 files

[arch-commits] Commit in coq/trunk (PKGBUILD)

2019-05-31 Thread Baptiste Jonglez via arch-commits
Date: Friday, May 31, 2019 @ 16:26:22 Author: zorun Revision: 475993 upgpkg: coq 8.9.1-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2019-01-23 Thread Baptiste Jonglez via arch-commits
Date: Wednesday, January 23, 2019 @ 21:16:11 Author: zorun Revision: 427402 upgpkg: coq 8.9.0-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |7 --- 1 file changed, 4 insertions(+), 3 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-11-28 Thread Jürgen Hötzel via arch-commits
Date: Thursday, November 29, 2018 @ 07:12:38 Author: juergen Revision: 410504 OCaml 4.07.1 rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-09-30 Thread Baptiste Jonglez via arch-commits
Date: Monday, October 1, 2018 @ 00:52:22 Author: zorun Revision: 388718 upgpkg: coq 8.8.2-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-08-14 Thread Jürgen Hötzel via arch-commits
Date: Tuesday, August 14, 2018 @ 16:02:00 Author: juergen Revision: 371598 OCaml 4.07.0 rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-07-05 Thread Baptiste Jonglez via arch-commits
Date: Thursday, July 5, 2018 @ 07:43:27 Author: zorun Revision: 352457 upgpkg: coq 8.8.1-2 camlp5 4.06 rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-06-29 Thread Baptiste Jonglez via arch-commits
Date: Friday, June 29, 2018 @ 20:50:46 Author: zorun Revision: 347779 upgpkg: coq 8.8.1-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-05-03 Thread Baptiste Jonglez via arch-commits
Date: Thursday, May 3, 2018 @ 07:20:08 Author: zorun Revision: 318811 upgpkg: coq 8.8.0-2 Fix FS#58203 and FS#57905 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |8 ++-- 1 file changed, 6 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-04-19 Thread Baptiste Jonglez via arch-commits
Date: Thursday, April 19, 2018 @ 21:08:55 Author: zorun Revision: 317072 coq: switch back to parallel build Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-04-18 Thread Baptiste Jonglez via arch-commits
Date: Wednesday, April 18, 2018 @ 14:51:30 Author: zorun Revision: 316880 upgpkg: coq 8.8.0-1 Also fix FS#58203 Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 12 +++- 1 file changed, 7 insertions(+), 5 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2018-02-16 Thread Baptiste Jonglez via arch-commits
Date: Friday, February 16, 2018 @ 09:00:00 Author: zorun Revision: 294969 upgpkg: coq 8.7.2-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 15 --- 1 file changed, 4 insertions(+), 11 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2017-12-16 Thread Baptiste Jonglez via arch-commits
Date: Saturday, December 16, 2017 @ 22:53:55 Author: zorun Revision: 274620 upgpkg: coq 8.7.1-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2017-10-24 Thread Baptiste Jonglez
Date: Tuesday, October 24, 2017 @ 06:05:09 Author: zorun Revision: 264085 coq: Fix source URL Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2017-10-18 Thread Baptiste Jonglez
Date: Wednesday, October 18, 2017 @ 10:04:23 Author: zorun Revision: 263227 upgpkg: coq 8.7.0-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 17 + 1 file changed, 9 insertions(+), 8 deletions(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2017-07-15 Thread Baptiste Jonglez
Date: Saturday, July 15, 2017 @ 08:40:02 Author: zorun Revision: 245180 upgpkg: coq 8.6-8 Rebuild for ocaml 4.05.0 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2017-07-12 Thread Jelle van der Waa
Date: Wednesday, July 12, 2017 @ 18:33:55 Author: jelle Revision: 244824 upgpkg: coq 8.6-7 PIE rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2017-07-07 Thread Baptiste Jonglez
Date: Friday, July 7, 2017 @ 22:32:01 Author: zorun Revision: 243105 upgpkg: coq 8.6-6 Rebuild against ocaml 4.04.1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |2 +- 1 file changed, 1 insertion(+), 1 deletion(-) Modified: PKGBUILD

[arch-commits] Commit in coq/trunk (PKGBUILD)

2017-02-22 Thread Johannes Löthberg
Date: Wednesday, February 22, 2017 @ 19:37:19 Author: demize Revision: 213545 upgpkg: coq 8.6-5 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |1 - 1 file changed, 1 deletion(-) Modified: PKGBUILD === --- PKGBUILD