summaryrefslogtreecommitdiff
path: root/gnu/packages/education.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2020-10-16 00:06:01 +0300
committerEfraim Flashner <efraim@flashner.co.il>2020-10-16 00:06:01 +0300
commit40541eaa0657785f27e6595e4e1b7a2ba4a1afde (patch)
treea8d1d8a5b27ab1f9c2ff16d5c30eb4ce867075a4 /gnu/packages/education.scm
parent62a7f3b84cec377a1359aeba0be6d1bf3e3123bb (diff)
gnu: mdk: Fix indentation.
* gnu/packages/education.scm (mdk): Fix package indentation.
Diffstat (limited to 'gnu/packages/education.scm')
-rw-r--r--gnu/packages/education.scm30
1 files changed, 15 insertions, 15 deletions
diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index 5f5057223e..81816ce7f0 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