gnu: texinfo: Add 6.3.

* gnu/packages/texinfo.scm (texinfo-6.3): New variable.
This commit is contained in:
Ludovic Courtès 2016-09-11 15:17:24 +02:00
parent ee6bc65f7c
commit 55fb8d7485
No known key found for this signature in database
GPG key ID: 090B11993D9AEBB5

View file

@ -62,6 +62,18 @@ (define-public texinfo
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")