diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-09 00:09:59 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-11 05:32:52 +0200 |
| commit | 34f615a2c167660075d81c09621dd030122393b9 (patch) | |
| tree | 5fc04e6dd4c3242e40bca9391ad465158610e06f /gnu/local.mk | |
| parent | d5dee1de7c8c330ccdcb2538f9d2a22ae5d64d6b (diff) | |
gnu: ocaml-num: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-num)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions