diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-15 10:16:14 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-04-15 11:00:15 +0200 |
| commit | bc03fe69fd779fb85c72fb0abb5d7dd79575a0bf (patch) | |
| tree | f28b1f5c037a35baf8fb8653037901bb61ee03a8 /gnu/packages/coq.scm | |
| parent | ec9ce5c9a0d66557ad6f3b09ccf795313e2836ce (diff) | |
| download | guix-bc03fe69fd779fb85c72fb0abb5d7dd79575a0bf.tar guix-bc03fe69fd779fb85c72fb0abb5d7dd79575a0bf.tar.gz | |
gnu: aj-snapshot: Update to 0.9.9.
* gnu/packages/music.scm (aj-snapshot): Update to 0.9.9.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions