diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-12-23 11:06:13 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-13 05:42:57 +0100 |
| commit | 8b9b2210dc1a7e1ac63bd85df9e8d0c39c59a3f0 (patch) | |
| tree | feb2d7acb9a8473e0d2c8774efb981cc6df21577 /d3.v3.js | |
| parent | 90325cf7e205b7e3fbd8df978abbde095053c1e6 (diff) | |
| download | guix-8b9b2210dc1a7e1ac63bd85df9e8d0c39c59a3f0.tar guix-8b9b2210dc1a7e1ac63bd85df9e8d0c39c59a3f0.tar.gz | |
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 'd3.v3.js')
0 files changed, 0 insertions, 0 deletions