diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-09-11 15:17:24 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-09-11 23:44:24 +0200 |
| commit | 55fb8d748559120be8ed669e09edc8b7f7923f0d (patch) | |
| tree | ba628e90bae34c8aff09044690862e9afae2853d /gnu | |
| parent | ee6bc65f7c55b50f772531cf392388b602291870 (diff) | |
| download | patches-55fb8d748559120be8ed669e09edc8b7f7923f0d.tar patches-55fb8d748559120be8ed669e09edc8b7f7923f0d.tar.gz | |
gnu: texinfo: Add 6.3.
* gnu/packages/texinfo.scm (texinfo-6.3): New variable.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/texinfo.scm | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gnu/packages/texinfo.scm b/gnu/packages/texinfo.scm index d645ef4bc1..5b22e84fb8 100644 --- a/gnu/packages/texinfo.scm +++ b/gnu/packages/texinfo.scm @@ -62,6 +62,18 @@ their source and the command-line Info reader. The emphasis of the language is on expressing the content semantically, avoiding physical markup commands.") (license gpl3+))) +(define-public texinfo-6.3 + (package + (inherit texinfo) + (version "6.3") + (source (origin + (method url-fetch) + (uri (string-append "mirror://gnu/texinfo/texinfo-" + version ".tar.xz")) + (sha256 + (base32 + "0fpr9kdjjl6nj2pc50k2zr7134hvqz8bi8pfqa7131a9lpzz6v14")))))) + (define-public texinfo-5 (package (inherit texinfo) (version "5.2") |