diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-10-16 00:06:01 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-10-16 00:06:01 +0300 |
| commit | 40541eaa0657785f27e6595e4e1b7a2ba4a1afde (patch) | |
| tree | a8d1d8a5b27ab1f9c2ff16d5c30eb4ce867075a4 /gnu/packages/education.scm | |
| parent | 62a7f3b84cec377a1359aeba0be6d1bf3e3123bb (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.scm | 30 |
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 |