diff options
Diffstat (limited to 'gnu/packages/education.scm')
| -rw-r--r-- | gnu/packages/education.scm | 44 |
1 files changed, 22 insertions, 22 deletions
diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm index 32807fa05f..d91c086581 100644 --- a/gnu/packages/education.scm +++ b/gnu/packages/education.scm @@ -2,7 +2,7 @@ ;;; Copyright © 2016 Danny Milosavljevic <dannym@scratchpost.org> ;;; Copyright © 2016, 2017 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2016 Hartmut Goebel <h.goebel@crazy-compilers.com> -;;; Copyright © 2017, 2018, 2019 Efraim Flashner <efraim@flashner.co.il> +;;; Copyright © 2017, 2018, 2019, 2020 Efraim Flashner <efraim@flashner.co.il> ;;; Copyright © 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2018, 2019, 2020 Nicolas Goaziou <mail@nicolasgoaziou.fr> ;;; Copyright © 2020 Robert Smith <robertsmith@posteo.net> @@ -275,7 +275,7 @@ easy.") (define-public snap (package (name "snap") - (version "6.1.4") + (version "6.2.1") (source (origin (method git-fetch) @@ -284,7 +284,7 @@ easy.") (commit (string-append "v" version)))) (file-name (git-file-name name version)) (sha256 - (base32 "0qvnm5jg2hlf32say531m8nmp3aib93mqnllw1g289s58fzk5li6")))) + (base32 "163pskgrssw0l6c73lrdx613fridnv0162lscl4xqx9sgg7hfaxh")))) (build-system trivial-build-system) (arguments `(#:modules ((guix build utils)) @@ -613,14 +613,14 @@ Portuguese, Spanish and Italian.") (define-public fet (package (name "fet") - (version "5.46.1") + (version "5.47.0") (source (origin (method url-fetch) (uri (string-append "https://www.lalescu.ro/liviu/fet/download/" "fet-" version ".tar.bz2")) (sha256 - (base32 "1sakzizjsyjn6705zl283i81zxn1gxskg2i4jv7iq75vw3nzm6kv")))) + (base32 "1a4mzzd6qy7hpb3yvmf922dbrqrzacz60ld8dsds78m018jf9gaj")))) (build-system gnu-build-system) (arguments `(#:phases @@ -956,30 +956,30 @@ floating through space.") (define-public mdk (package (name "mdk") - (version "1.2.10") + (version "1.2.11") (source - (origin - (method url-fetch) - (uri (string-append "mirror://gnu/mdk/v1.2.10/mdk-" - version ".tar.gz")) - (sha256 + (origin + (method url-fetch) + (uri (string-append "mirror://gnu/mdk/v" version "/mdk-" + version ".tar.gz")) + (sha256 (base32 - "1rwcq2b5vvv7318j92nxc5dayj27dpfhzc4rjiv4ccvsc0x35x5h")))) - (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) - ("ncurses" ,ncurses))) - (inputs - `(("readline" ,readline) - ("glib" ,glib) - ("gtk+" ,gtk+) - ("pango" ,pango) - ("libglade" ,libglade))) - (home-page "https://www.gnu.org/software/mdk/") + ("pkg-config" ,pkg-config))) + (inputs + `(("glib" ,glib) + ("gtk+" ,gtk+) + ("libglade" ,libglade) + ("ncurses" ,ncurses) + ("pango" ,pango) + ("readline" ,readline))) + (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 |