diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-03 20:22:00 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-01-04 01:04:21 +0100 |
| commit | bafafa805b7ec44bec69514a768f49d529cc705f (patch) | |
| tree | 5310e29929c686d63b18fd1770a4488a54f43abb /gnu/packages/coq.scm | |
| parent | 16fcca6451277c74b47cc580fed07434d41470a4 (diff) | |
| download | patches-bafafa805b7ec44bec69514a768f49d529cc705f.tar patches-bafafa805b7ec44bec69514a768f49d529cc705f.tar.gz | |
gnu: html-xml-utils: Update to 7.8.
* gnu/packages/xml.scm (html-xml-utils): Update to 7.8.
Diffstat (limited to 'gnu/packages/coq.scm')
0 files changed, 0 insertions, 0 deletions