gnu: gnu-c-manual: Update to 0.2.5.

* gnu/packages/gcc.scm (gnu-c-manual): Update to 0.2.5.
master
Ludovic Courtès 2016-10-04 16:02:36 +02:00
parent a884fa2141
commit d35f8c7cb6
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 2 additions and 2 deletions

View File

@ -775,14 +775,14 @@ effective code.")
(define-public gnu-c-manual
(package
(name "gnu-c-manual")
(version "0.2.4")
(version "0.2.5")
(source (origin
(method url-fetch)
(uri (string-append "mirror://gnu/gnu-c-manual/gnu-c-manual-"
version ".tar.gz"))
(sha256
(base32
"0cf4503shr7hxkbrjfi9dky6q2lqk95bgbgbjmvj2s2x312kakd9"))))
"1sfsj9256w18qzylgag2h5h377aq8in8929svblfnj9svfriqcys"))))
(build-system gnu-build-system)
(native-inputs `(("texinfo" ,texinfo)))
(arguments