diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2016-05-02 17:53:40 +0200 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2016-05-02 17:53:40 +0200 |
| commit | c3052d6bcd2193b258fb92b99291a4918931fe36 (patch) | |
| tree | 0e0cbbc019e68f4f1c865b4d2f5e341eb45d96ee /gnu/packages/ocaml.scm | |
| parent | 0bfb9b439953b755a510974e51e651f79526a5a4 (diff) | |
| parent | b74f64a960542b0679ab13de0dd28adc496cf084 (diff) | |
| download | patches-c3052d6bcd2193b258fb92b99291a4918931fe36.tar patches-c3052d6bcd2193b258fb92b99291a4918931fe36.tar.gz | |
Merge branch 'master' into core-updates
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) |