diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-09 00:13:41 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-11 05:42:36 +0200 |
| commit | 554d98db7767ad5749ff5f1f010201e417ae6ad5 (patch) | |
| tree | 836ef69796fdf86ab733595d7538c9296daaebcd /COPYING | |
| parent | e4bb29ddfab558dc9fdc28a4ac2b80bd1d65e5b5 (diff) | |
gnu: optcomp: Don't use unstable tarball.
* gnu/packages/ocaml.scm (optcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions