From 3e4cf41ba7badb9057c8c27bde68bee08cd1425e Mon Sep 17 00:00:00 2001 From: Nicolas Goaziou Date: Sat, 1 Feb 2020 16:00:34 +0100 Subject: gnu: fet: Update to 5.42.3. * gnu/packages/education.scm (fet): Update to 5.42.3. --- gnu/packages/education.scm | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm index 4f8d7582c7..1470233c2a 100644 --- a/gnu/packages/education.scm +++ b/gnu/packages/education.scm @@ -590,14 +590,14 @@ (define-public omnitux (define-public fet (package (name "fet") - (version "5.42.1") - (source (origin - (method url-fetch) - (uri (string-append "https://www.lalescu.ro/liviu/fet/download/" - "fet-" version ".tar.bz2")) - (sha256 - (base32 - "1dzlbhp42dxdxbcrjwrjl4kj65cibxgjqc3ir1w78yprikihdxca")))) + (version "5.42.3") + (source + (origin + (method url-fetch) + (uri (string-append "https://www.lalescu.ro/liviu/fet/download/" + "fet-" version ".tar.bz2")) + (sha256 + (base32 "0z31i8kwd59c3hlq35qll61qhc3x63w330ss92glhp12iy0aja1y")))) (build-system gnu-build-system) (arguments `(#:phases -- cgit v1.2.3