aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Geerinckx-Rice <me@tobias.gr>2019-04-30 17:03:59 +0200
committerTobias Geerinckx-Rice <me@tobias.gr>2019-04-30 17:04:13 +0200
commit9e6cce4440d089710f719586cebbd7b002e7a0f9 (patch)
tree2c9da088694dcd0cd5d84df9f9dbb995506af78c
parent45ea12f31e3cc44f4fea0a33adf229655ff91edc (diff)
downloadguix-9e6cce4440d089710f719586cebbd7b002e7a0f9.tar.gz
guix-9e6cce4440d089710f719586cebbd7b002e7a0f9.zip
gnu: ocaml-ppx-tools: Name checkout.
* gnu/packages/ocaml.scm (ocaml-ppx-tools)[source]: Add FILE-NAME.
-rw-r--r--gnu/packages/ocaml.scm1
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)
kages/bash.scm?id=6c5b56f9fa01b7fe9034bac47b20e08a2fdb2629'>gnu: bash: Use the bootstrap Guile in 'url-fetch/reset-patch-level'....Ludovic Courtès 2017-02-22gnu: bash-completion: Update to 2.5....Marius Bakke 2017-02-20gnu: bash: Update to patch level 12....Efraim Flashner 2017-02-10gnu: bash: Remove graft for CVE-2017-5932....Ludovic Courtès 2017-02-10Merge branch 'master' into core-updatesLudovic Courtès 2017-02-10gnu: bash: Add graft for patch #7 [fixes CVE-2017-5932]....Ludovic Courtès 2017-02-10gnu: bash: Update patch URL to 4.4....Ludovic Courtès 2017-02-09gnu: bash-minimal: Assume getcwd works correctly when cross-compiling...Carlos Sánchez de La Lama 2017-02-09gnu: bash-minimal: Assume getcwd works correctly when cross-compiling...Carlos Sánchez de La Lama 2017-01-27gnu: bash: Do not retain dependency on Coreutils....Ludovic Courtès 2017-01-21gnu: bash: Update to patch level 11....Leo Famulari