summaryrefslogtreecommitdiff
path: root/gnu/packages/education.scm
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2020-11-01 09:45:37 +0200
committerEfraim Flashner <efraim@flashner.co.il>2020-11-01 09:45:37 +0200
commit1975baae515ee62e195abf55f9cea339c85fbbf8 (patch)
tree0d4cc8b4d060b39f941192ec2dfd7017ac7263e0 /gnu/packages/education.scm
parent97aad938bdf456d0870666d1728cbf959c421ccc (diff)
gnu: mdk: Update to 1.3.0.
* gnu/packages/education.scm (mdk): Update to 1.3.0. [home-page]: Update.
Diffstat (limited to 'gnu/packages/education.scm')
-rw-r--r--gnu/packages/education.scm6
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index d91c086581..fa96d0eba7 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