diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-11-12 15:03:59 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-11-12 15:12:29 +0100 |
| commit | 543f7ad14b12736e883868778aee33e1d8757b94 (patch) | |
| tree | c29478ca2606028c64f8b6ba303e923005480ccd /gnu/packages/coq.scm | |
| parent | c44db46f12914215cf78886f529f9ac4fb9d564b (diff) | |
| download | patches-543f7ad14b12736e883868778aee33e1d8757b94.tar patches-543f7ad14b12736e883868778aee33e1d8757b94.tar.gz | |
gnu: faudio: Use GIT-FILE-NAME.
* gnu/packages/audio.scm (faudio)[source]: Use GIT-FILE-NAME.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions