[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 ocaml408_compat.patch)

2019-08-15 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 changed