diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-10-05 19:30:13 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-10-05 22:23:42 +0200 |
| commit | 07c1a10ef6cd24a0a02aefb281931fdd6fa3895e (patch) | |
| tree | ea2767f1d750ccbe2278171e801985077203f972 /gnu/packages/ocaml.scm | |
| parent | d2fd037fd04623d626132501eb97bb73d74d0ef4 (diff) | |
| download | guix-07c1a10ef6cd24a0a02aefb281931fdd6fa3895e.tar guix-07c1a10ef6cd24a0a02aefb281931fdd6fa3895e.tar.gz | |
gnu: axoloti-runtime: Don't use unstable tarball.
* gnu/packages/axoloti.scm (axoloti-runtime)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
(axoloti-patcher)[arguments]: Add ‘make-git-checkout-writable’ phase.
Diffstat (limited to 'gnu/packages/ocaml.scm')
0 files changed, 0 insertions, 0 deletions