diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-30 17:03:59 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-30 17:04:13 +0200 |
commit | 9e6cce4440d089710f719586cebbd7b002e7a0f9 (patch) | |
tree | 2c9da088694dcd0cd5d84df9f9dbb995506af78c /gnu/packages/ocaml.scm | |
parent | 45ea12f31e3cc44f4fea0a33adf229655ff91edc (diff) |
gnu: ocaml-ppx-tools: Name checkout.
* gnu/packages/ocaml.scm (ocaml-ppx-tools)[source]: Add FILE-NAME.
Diffstat (limited to 'gnu/packages/ocaml.scm')
-rw-r--r-- | gnu/packages/ocaml.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 108907ca70..93c6d36c28 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -1743,6 +1743,7 @@ simple (yet expressive) query language to select the tests to run.") (uri (git-reference (url "https://github.com/alainfrisch/ppx_tools.git") (commit version))) + (file-name (git-file-name name version)) (sha256 (base32 "1ww4cspdpgjjsgiv71s0im5yjkr3544x96wsq1vpdacq7dr7zwiw")))) (build-system ocaml-build-system) |