diff options
| author | Tobias Geerinckx-Rice <[email protected]> | 2018-12-23 11:06:13 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <[email protected]> | 2019-02-13 05:42:57 +0100 |
| commit | 8b9b2210dc1a7e1ac63bd85df9e8d0c39c59a3f0 (patch) | |
| tree | feb2d7acb9a8473e0d2c8774efb981cc6df21577 /gnu/packages/suckless.scm | |
| parent | 90325cf7e205b7e3fbd8df978abbde095053c1e6 (diff) | |
gnu: coq: Don't use unstable tarball.
* gnu/packages/coq.scm (coq)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add 'make-git-checkout-writable' phase.
Diffstat (limited to 'gnu/packages/suckless.scm')
0 files changed, 0 insertions, 0 deletions