diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 21:22:48 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2018-03-13 21:48:25 +0200 |
commit | 232557c1592718455977ab35e946085eeaf6cced (patch) | |
tree | 0270d69fdc7d3cc01d33dc7efd5f6ba503342a1d /gnu/packages | |
parent | b965c1ca62043495b531e3ec3d5eaa33be062334 (diff) |
gnu: ocaml-result: Declare a source file-name.
* gnu/packages/ocaml.scm (ocaml-result)[source]: Declare a source
file-name.
Diffstat (limited to 'gnu/packages')
-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 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")))) |