diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-12-23 11:11:33 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-02-13 05:42:58 +0100 |
| commit | aaa2add87111051b01159aa2e46dd7f55b28edb6 (patch) | |
| tree | 8a21ce3863fa8cda0611ea14d007b7f4a64206f2 /TODO | |
| parent | 8b9b2210dc1a7e1ac63bd85df9e8d0c39c59a3f0 (diff) | |
| download | patches-aaa2add87111051b01159aa2e46dd7f55b28edb6.tar patches-aaa2add87111051b01159aa2e46dd7f55b28edb6.tar.gz | |
gnu: coq-mathcomp: Don't use unstable tarball.
* gnu/packages/coq.scm (coq-mathcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions