diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-30 17:43:34 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-30 21:07:11 +0200 |
commit | fbd08d42a6ce7d7fb868abe73f7675bcfd8b35ed (patch) | |
tree | 37fa0b3b5b336ffc50a3e7194f53aa13771cc52d | |
parent | 5924f621bbf3774ad0b71b1d0b27c2430792fa7d (diff) | |
download | patches-fbd08d42a6ce7d7fb868abe73f7675bcfd8b35ed.tar patches-fbd08d42a6ce7d7fb868abe73f7675bcfd8b35ed.tar.gz |
gnu: ocaml-core: Name checkout.
* gnu/packages/ocaml.scm (ocaml-core)[source]: Add FILE-NAME.
-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 93c6d36c28..ab67d62c51 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -4882,6 +4882,7 @@ thousands of times faster than fork. (uri (git-reference (url "https://github.com/janestreet/core.git") (commit (string-append "v" version)))) + (file-name (git-file-name name version)) (sha256 (base32 "0pzl8n09z4f3i7z2wq4cjxfqrr8mj6xcdp7rbg0nxap2zdhjgvrq")))) |