diff options
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r-- | gnu/packages/ocaml.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 4b5ac617d5..5d489532f7 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -633,8 +633,7 @@ to the other.") (sha256 (base32 "02abg1lsnwvjg3igdyb8qjgr5kv1nbwl4gaf8mdinzfii5p82721")) - (patches - (list (search-patch "ocaml-findlib-make-install.patch"))))) + (patches (search-patches "ocaml-findlib-make-install.patch")))) (build-system gnu-build-system) (native-inputs `(("camlp4" ,camlp4) |