[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/03: gnu: mdk: Fix indentation.
From: |
guix-commits |
Subject: |
02/03: gnu: mdk: Fix indentation. |
Date: |
Thu, 15 Oct 2020 17:10:45 -0400 (EDT) |
efraim pushed a commit to branch master
in repository guix.
commit 40541eaa0657785f27e6595e4e1b7a2ba4a1afde
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Fri Oct 16 00:06:01 2020 +0300
gnu: mdk: Fix indentation.
* gnu/packages/education.scm (mdk): Fix package indentation.
---
gnu/packages/education.scm | 30 +++++++++++++++---------------
1 file changed, 15 insertions(+), 15 deletions(-)
diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index 5f50572..81816ce 100644
--- a/gnu/packages/education.scm
+++ b/gnu/packages/education.scm
@@ -958,28 +958,28 @@ floating through space.")
(name "mdk")
(version "1.2.11")
(source
- (origin
- (method url-fetch)
- (uri (string-append "mirror://gnu/mdk/v" version "/mdk-"
- version ".tar.gz"))
- (sha256
+ (origin
+ (method url-fetch)
+ (uri (string-append "mirror://gnu/mdk/v" version "/mdk-"
+ version ".tar.gz"))
+ (sha256
(base32
- "0rrac91ynya4jrhv14j9vvn21c5z80hi1zmmdxjb0d9zz6i7kjgb"))))
- (build-system gnu-build-system)
+ "0rrac91ynya4jrhv14j9vvn21c5z80hi1zmmdxjb0d9zz6i7kjgb"))))
+ (build-system gnu-build-system)
(arguments
`(#:configure-flags (list "--enable-gui=yes" "-with-readline=yes")))
(native-inputs
`(("flex" ,flex)
("pkg-config" ,pkg-config)
("intltool" ,intltool)))
- (inputs
- `(("readline" ,readline)
- ("glib" ,glib)
- ("gtk+" ,gtk+)
- ("ncurses" ,ncurses)
- ("pango" ,pango)
- ("libglade" ,libglade)))
- (home-page "https://www.gnu.org/software/mdk/")
+ (inputs
+ `(("readline" ,readline)
+ ("glib" ,glib)
+ ("gtk+" ,gtk+)
+ ("ncurses" ,ncurses)
+ ("pango" ,pango)
+ ("libglade" ,libglade)))
+ (home-page "https://www.gnu.org/software/mdk/")
(synopsis "Virtual development environment for Knuth's MIX")
(description
"GNU MDK is the Mix Development Kit, an emulation of the pedagogical