branch master updated: gnu: mdk: Update to 1.3.0.

[guix-commits]

This is an automated email from the git hooks/post-receive script.

efraim pushed a commit to branch master
in repository guix.

The following commit(s) were added to refs/heads/master by this push:
     new 1975baa  gnu: mdk: Update to 1.3.0.
1975baa is described below

commit 1975baae515ee62e195abf55f9cea339c85fbbf8
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Sun Nov 1 09:45:37 2020 +0200

    gnu: mdk: Update to 1.3.0.
    
    * gnu/packages/education.scm (mdk): Update to 1.3.0.
    [home-page]: Update.
---
 gnu/packages/education.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index d91c086..fa96d0e 100644
--- a/gnu/packages/education.scm
+++ b/gnu/packages/education.scm
@@ -956,7 +956,7 @@ floating through space.")
 (define-public mdk
   (package
     (name "mdk")
-    (version "1.2.11")
+    (version "1.3.0")
     (source
      (origin
        (method url-fetch)
@@ -964,7 +964,7 @@ floating through space.")
                            version ".tar.gz"))
        (sha256
         (base32
-         "0rrac91ynya4jrhv14j9vvn21c5z80hi1zmmdxjb0d9zz6i7kjgb"))))
+         "0bhk3c82kyp8167h71vdpbcr852h5blpnwggcswqqwvvykbms7lb"))))
     (build-system gnu-build-system)
     (arguments
      `(#:configure-flags (list "--enable-gui=yes" "-with-readline=yes")))
@@ -979,7 +979,7 @@ floating through space.")
        ("ncurses" ,ncurses)
        ("pango" ,pango)
        ("readline" ,readline)))
-    (home-page "https://www.gnu.org/software/mdk/";)
+    (home-page "https://www.gnu.org/software/mdk/manual/";)
     (synopsis "Virtual development environment for Knuth's MIX")
     (description
      "GNU MDK is the Mix Development Kit, an emulation of the pedagogical