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

2022-09-07 Thread Konstantin Gizdov via arch-commits
Date: Wednesday, September 7, 2022 @ 09:23:30 Author: kgizdov Revision: 1296039 upgpkg: coq 8.16.0-2: FS#75831 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD ===

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

2022-09-05 Thread Konstantin Gizdov via arch-commits
Date: Monday, September 5, 2022 @ 21:40:35 Author: kgizdov Revision: 1293379 upgpkg: coq 8.16.0-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD ==

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

2022-09-04 Thread Konstantin Gizdov via arch-commits
Date: Sunday, September 4, 2022 @ 16:00:56 Author: kgizdov Revision: 1292838 upgpkg: coq 8.15.2-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD

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

2022-08-09 Thread Jürgen Hötzel via arch-commits
Date: Tuesday, August 9, 2022 @ 18:50:15 Author: juergen Revision: 1264486 OCaml 4.14.0 rebuild. Disable broken PDF docs. Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 11 +++ 1 file changed, 7 insertions(+), 4 deletions(-) Modified: PKGBUILD ===

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

2022-03-08 Thread Konstantin Gizdov via arch-commits
Date: Tuesday, March 8, 2022 @ 14:31:25 Author: kgizdov Revision: 1145479 fix FTBFS Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 13 + 1 file changed, 5 insertions(+), 8 deletions(-) Modified: PKGBUILD ===

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

2022-01-21 Thread Konstantin Gizdov via arch-commits
Date: Friday, January 21, 2022 @ 08:38:59 Author: kgizdov Revision: 951 upgpkg: coq 8.15.0-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 16 +--- 1 file changed, 9 insertions(+), 7 deletions(-) Modified: PKGBUILD ===

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

2021-12-11 Thread Jürgen Hötzel via arch-commits
Date: Saturday, December 11, 2021 @ 12:30:14 Author: juergen Revision: 1068252 OCaml 4.13.1 rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2021-12-05 Thread Konstantin Gizdov via arch-commits
Date: Sunday, December 5, 2021 @ 16:31:56 Author: kgizdov Revision: 1065192 upgpkg: coq 8.14.1-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =

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

2021-10-20 Thread Konstantin Gizdov via arch-commits
Date: Wednesday, October 20, 2021 @ 20:19:20 Author: kgizdov Revision: 1031458 upgpkg: coq 8.14.0-2: fix file conflict Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) Modified: PKGBUILD ==

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

2021-10-19 Thread Konstantin Gizdov via arch-commits
Date: Tuesday, October 19, 2021 @ 21:57:41 Author: kgizdov Revision: 1031002 upgpkg: coq 8.14.0-1: upgpkg: coq 8.14.0-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 25 + 1 file changed, 17 insertions(+), 8 deletions(-) Modified: PKGBUILD ==

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

2021-07-27 Thread Jürgen Hötzel via arch-commits
Date: Tuesday, July 27, 2021 @ 15:56:07 Author: juergen Revision: 987799 ocaml-4.12.0 rebuild Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD ==

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

2021-05-28 Thread Felix Yan via arch-commits
Date: Friday, May 28, 2021 @ 15:46:06 Author: felixonmars Revision: 949957 upgpkg: coq 8.13.2-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD |4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) Modified: PKGBUILD

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

2021-03-04 Thread Konstantin Gizdov via arch-commits
Date: Thursday, March 4, 2021 @ 17:13:50 Author: kgizdov Revision: 880453 upgpkg: coq 8.13.1-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 17 ++--- 1 file changed, 10 insertions(+), 7 deletions(-) Modified: PKGBUILD ===

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

2021-01-18 Thread Konstantin Gizdov via arch-commits
Date: Monday, January 18, 2021 @ 12:08:12 Author: kgizdov Revision: 822828 upgpkg: coq 8.13.0-1 Modified: coq/trunk/PKGBUILD --+ PKGBUILD | 45 + 1 file changed, 25 insertions(+), 20 deletions(-) Modified: PKGBUILD =