mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-27 14:52:05 -05:00
gnu: mdk: Update to 1.3.0.
* gnu/packages/education.scm (mdk): Update to 1.3.0. [home-page]: Update.
This commit is contained in:
parent
97aad938bd
commit
1975baae51
1 changed files with 3 additions and 3 deletions
|
@ -956,7 +956,7 @@ (define-public tuxmath
|
||||||
(define-public mdk
|
(define-public mdk
|
||||||
(package
|
(package
|
||||||
(name "mdk")
|
(name "mdk")
|
||||||
(version "1.2.11")
|
(version "1.3.0")
|
||||||
(source
|
(source
|
||||||
(origin
|
(origin
|
||||||
(method url-fetch)
|
(method url-fetch)
|
||||||
|
@ -964,7 +964,7 @@ (define-public mdk
|
||||||
version ".tar.gz"))
|
version ".tar.gz"))
|
||||||
(sha256
|
(sha256
|
||||||
(base32
|
(base32
|
||||||
"0rrac91ynya4jrhv14j9vvn21c5z80hi1zmmdxjb0d9zz6i7kjgb"))))
|
"0bhk3c82kyp8167h71vdpbcr852h5blpnwggcswqqwvvykbms7lb"))))
|
||||||
(build-system gnu-build-system)
|
(build-system gnu-build-system)
|
||||||
(arguments
|
(arguments
|
||||||
`(#:configure-flags (list "--enable-gui=yes" "-with-readline=yes")))
|
`(#:configure-flags (list "--enable-gui=yes" "-with-readline=yes")))
|
||||||
|
@ -979,7 +979,7 @@ (define-public mdk
|
||||||
("ncurses" ,ncurses)
|
("ncurses" ,ncurses)
|
||||||
("pango" ,pango)
|
("pango" ,pango)
|
||||||
("readline" ,readline)))
|
("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")
|
(synopsis "Virtual development environment for Knuth's MIX")
|
||||||
(description
|
(description
|
||||||
"GNU MDK is the Mix Development Kit, an emulation of the pedagogical
|
"GNU MDK is the Mix Development Kit, an emulation of the pedagogical
|
||||||
|
|
Loading…
Reference in a new issue