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 /Makefile.am | |
parent | de957d959545ed25567916060222121140b8547f (diff) | |
download | guix-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 'Makefile.am')
0 files changed, 0 insertions, 0 deletions