diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-11-01 09:45:37 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-11-01 09:45:37 +0200 |
| commit | 1975baae515ee62e195abf55f9cea339c85fbbf8 (patch) | |
| tree | 0d4cc8b4d060b39f941192ec2dfd7017ac7263e0 /gnu/packages/education.scm | |
| parent | 97aad938bdf456d0870666d1728cbf959c421ccc (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.scm | 6 |
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 |