From 0b65cb03b3ce04e0f0f1ad9e2eb7bfeff7f42b8e Mon Sep 17 00:00:00 2001 From: Marius Bakke Date: Sun, 26 Jun 2022 11:13:08 +0200 Subject: [PATCH] gnu: dejagnu: Update to 1.6.3. * gnu/packages/dejagnu.scm (dejagnu): Update to 1.6.3. --- gnu/packages/dejagnu.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/dejagnu.scm b/gnu/packages/dejagnu.scm index b51a2f22ad..b97df79f4d 100644 --- a/gnu/packages/dejagnu.scm +++ b/gnu/packages/dejagnu.scm @@ -28,7 +28,7 @@ (define-public dejagnu (package (name "dejagnu") - (version "1.6.2") + (version "1.6.3") (source (origin (method url-fetch) @@ -36,7 +36,7 @@ version ".tar.gz")) (sha256 (base32 - "0qfj2wd4qk1yn9yzam6g8nmyxfazcc0knjyyibycb2ainkhp21hd")))) + "1qx2cv6qkxbiqg87jh217jb62hk3s7dmcs4cz1llm2wmsynfznl7")))) (build-system gnu-build-system) (inputs (list expect)) (arguments