From b8a5004eea6203e5abd3676fc52d3d2fbc2b9026 Mon Sep 17 00:00:00 2001
From: Nicolas Goaziou <mail@nicolasgoaziou.fr>
Date: Fri, 1 Nov 2019 11:44:15 +0100
Subject: [PATCH] gnu: fet: Update to 5.40.2.

* gnu/packages/education.scm (fet): Update to 5.40.2.
---
 gnu/packages/education.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/education.scm b/gnu/packages/education.scm
index 66e7e22f26..a7b644c927 100644
--- a/gnu/packages/education.scm
+++ b/gnu/packages/education.scm
@@ -487,14 +487,14 @@ (define-public childsplay
 (define-public fet
   (package
     (name "fet")
-    (version "5.39.0")
+    (version "5.40.2")
     (source (origin
               (method url-fetch)
               (uri (string-append "https://www.lalescu.ro/liviu/fet/download/"
                                   "fet-" version ".tar.bz2"))
               (sha256
                (base32
-                "100bmggkychqs2cavqxy7015lr4icw6k99qb03im0v4jasqqmyix"))))
+                "068zdvb3rys7vvkq33i2jh89c7svvdaqp0548k99jmhbd24xnhgh"))))
     (build-system gnu-build-system)
     (arguments
      `(#:phases