On Sat, Dec 03, 2016 at 11:42:12AM +0100, David Craven wrote:
> * gnu/packages/ocaml.scm (coq): Update to 8.5pl2.
> [arguments]: Configure script takes single hyphen arguments.
> (source (origin
>(method url-fetch)
> - (uri (string-append "https://coq.inria.fr/d
* gnu/packages/ocaml.scm (coq): Update to 8.5pl2.
[arguments]: Configure script takes single hyphen arguments.
---
gnu/packages/ocaml.scm | 40 +---
1 file changed, 21 insertions(+), 19 deletions(-)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
