diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-12-23 11:09:22 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-08 23:51:12 +0100 |
| commit | 9c2b56a3772ec8b06de16c6be04ae3454ac4593e (patch) | |
| tree | a00829e5fd2e1a603cc8df409412bc1cf8723efa /gnu/packages/coq.scm | |
| parent | 782b1224ecb6808a524b9f9702ae5f324f4a5562 (diff) | |
| download | patches-9c2b56a3772ec8b06de16c6be04ae3454ac4593e.tar patches-9c2b56a3772ec8b06de16c6be04ae3454ac4593e.tar.gz | |
gnu: compton: Don't use unstable tarball.
* gnu/packages/compton.scm (compton)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions