aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2018-03-13 21:22:48 +0200
committerEfraim Flashner <efraim@flashner.co.il>2018-03-13 21:48:25 +0200
commit232557c1592718455977ab35e946085eeaf6cced (patch)
tree0270d69fdc7d3cc01d33dc7efd5f6ba503342a1d
parentb965c1ca62043495b531e3ec3d5eaa33be062334 (diff)
downloadpatches-232557c1592718455977ab35e946085eeaf6cced.tar
patches-232557c1592718455977ab35e946085eeaf6cced.tar.gz
gnu: ocaml-result: Declare a source file-name.
* gnu/packages/ocaml.scm (ocaml-result)[source]: Declare a source 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 2fccb12a2e..ccf27610a7 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -1309,6 +1309,7 @@ powerful.")
(method url-fetch)
(uri (string-append "https://github.com/janestreet/result"
"/archive/" version ".tar.gz"))
+ (file-name (string-append name "-" version ".tar.gz"))
(sha256
(base32
"1pgpfsgvhxnh0i37fkvp9j8nadns9hz9iqgabj4dr519j2gr1xvw"))))