diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-01-26 15:58:55 +0100 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2018-01-26 17:21:30 +0100 |
| commit | a5c71d158d1e407d61c668861bb9bc8142e6752e (patch) | |
| tree | 459503c97eb9c35906890d0fcf4ed2c4b21bb082 /gnu | |
| parent | b1eaede03b443e3e87f688d032ed99049f3463f9 (diff) | |
| download | patches-a5c71d158d1e407d61c668861bb9bc8142e6752e.tar patches-a5c71d158d1e407d61c668861bb9bc8142e6752e.tar.gz | |
gnu: html-xml-utils: Update to 7.5.
* gnu/packages/xml.scm (html-xml-utils): Update to 7.5.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/xml.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/xml.scm b/gnu/packages/xml.scm index 78ead8827c..b34e7d5721 100644 --- a/gnu/packages/xml.scm +++ b/gnu/packages/xml.scm @@ -1131,7 +1131,7 @@ XSLT and EXSLT.") (define-public html-xml-utils (package (name "html-xml-utils") - (version "7.4") + (version "7.5") (source (origin (method url-fetch) @@ -1140,7 +1140,7 @@ XSLT and EXSLT.") version ".tar.gz")) (sha256 (base32 - "04pgrahsfawnzd9pilvirs05pfdgsd7qwvw4dvkb42rgybhw6h95")))) + "0cbmqa9c4bc4ikk7vmgd65ixh2pl9mr336c4his3m8l7rgsjnh8n")))) (build-system gnu-build-system) (home-page "https://www.w3.org/Tools/HTML-XML-utils/") (synopsis "Command line utilities to manipulate HTML and XML files") |