diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2016-10-04 16:02:36 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2016-10-04 16:37:59 +0200 |
| commit | d35f8c7cb6f522bdf3d8da4d2724949b13d2147e (patch) | |
| tree | 70ad044752fdbe589f013f5313df8e4122a42115 /gnu/packages | |
| parent | a884fa2141c2bfc65467c0908bd98fd39df90a62 (diff) | |
| download | patches-d35f8c7cb6f522bdf3d8da4d2724949b13d2147e.tar patches-d35f8c7cb6f522bdf3d8da4d2724949b13d2147e.tar.gz | |
gnu: gnu-c-manual: Update to 0.2.5.
* gnu/packages/gcc.scm (gnu-c-manual): Update to 0.2.5.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/gcc.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gcc.scm b/gnu/packages/gcc.scm index 4f1deda035..3880cab52b 100644 --- a/gnu/packages/gcc.scm +++ b/gnu/packages/gcc.scm @@ -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 |