diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-09 00:08:53 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-11 05:32:51 +0200 |
| commit | d5dee1de7c8c330ccdcb2538f9d2a22ae5d64d6b (patch) | |
| tree | ab51aacd2c8f6309684f26b355e447b67e4142dd /gnu/system | |
| parent | 93b3dc523ef79215f9ac0a26c968770db689f5f0 (diff) | |
gnu: camlp4@4.02+6: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp4-4.02)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions