diff options
author | Ludovic Courtès <ludo@gnu.org> | 2018-09-07 17:57:04 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2018-09-07 17:57:04 +0200 |
commit | afdd1555c4639dbd378fddffdee702933d14a1b4 (patch) | |
tree | 6478c1fbfbccb99a6def9048e90ffac209067c41 /gnu | |
parent | 6b4f99102c4e3f57cc657c14ff196b211654f88b (diff) | |
download | patches-afdd1555c4639dbd378fddffdee702933d14a1b4.tar patches-afdd1555c4639dbd378fddffdee702933d14a1b4.tar.gz |
gnu: indent: Add version 2.2.12.
* gnu/packages/code.scm (indent-2.2.12): New variable.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/code.scm | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gnu/packages/code.scm b/gnu/packages/code.scm index be178a5f99..85ee6c2877 100644 --- a/gnu/packages/code.scm +++ b/gnu/packages/code.scm @@ -651,6 +651,19 @@ extensions over the standard utility.") (license license:gpl3+) (home-page "https://www.gnu.org/software/indent/"))) +(define-public indent-2.2.12 + (package + (inherit indent) + (version "2.2.12") + (source (origin + (method url-fetch) + (uri (string-append "mirror://gnu/indent/indent-" version + ".tar.gz")) + (sha256 + (base32 + "12xvcd16cwilzglv9h7sgh4h1qqjd1h8s48ji2dla58m4706hzg7")))) + (native-inputs `(("texinfo" ,texinfo))))) + (define-public amalgamate (let* ((commit "c91f07eea1133aa184f652b8f1398eaf03586208") (revision "0") |