diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-09 00:09:54 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-15 05:11:31 +0200 |
| commit | 6aade73967c321b8c8818b63728708e20cd122bc (patch) | |
| tree | f16018537638a541751e4f8dbaa00cd107a4900c /gnu/system | |
| parent | de957d959545ed25567916060222121140b8547f (diff) | |
| download | patches-6aade73967c321b8c8818b63728708e20cd122bc.tar patches-6aade73967c321b8c8818b63728708e20cd122bc.tar.gz | |
gnu: camlp5: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp5)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Diffstat (limited to 'gnu/system')
0 files changed, 0 insertions, 0 deletions