Message ID | 20181220110103.4219-4-julien@lepiller.eu |
---|---|
State | Accepted |
Commit | 8737666a99f15a65776f866f4cc9d097e947bc0e |
Headers | show |
Series | [bug#33811,1/5] gnu: Move coq packages from ocaml to coq. | expand |
Context | Check | Description |
---|---|---|
cbaines/applying patch | fail | Apply failed |
cbaines/applying patch | fail | Apply failed |
cbaines/applying patch | fail | Apply failed |
cbaines/applying patch | fail | Apply failed |
cbaines/applying patch | fail | Apply failed |
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 503e42297..a0d2eac95 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4134,6 +4134,7 @@ and 4 (random based) according to RFC 4122.") (setenv "CONFIG_SHELL" (string-append (assoc-ref inputs "bash") "/bin/sh"))))))) (inputs `(("lablgtk" ,lablgtk))) + (properties `((upstream-name . "ocamlgraph"))) (home-page "http://ocamlgraph.lri.fr/") (synopsis "Graph library for OCaml") (description "OCamlgraph is a generic graph library for OCaml.")