diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-11-09 11:30:46 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-11-09 11:34:09 +0200 |
| commit | f7f92d8213961a8909f02d61fea6d135cfb449e4 (patch) | |
| tree | 2dcd7b98fbc7d317f6bc33d3510ad81d40b077d8 /gnu/packages/pem.scm | |
| parent | a9d57e1c6b7719b25614c45e6735d1e9768afc15 (diff) | |
gnu: docbook: Update source URI.
* gnu/packages/docbook.scm (docbook-xml-5)[source]: Update to new
source URI.
(docbook-xml, docbook-xml-4.4, docbook-xml-4.3, docbook-xml-4.2,
docbook-xml-4.1.2)[source]: Same.
Diffstat (limited to 'gnu/packages/pem.scm')
0 files changed, 0 insertions, 0 deletions