From dfdad66f5a8b36c261d58b3c645adb9118ccd2d7 Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas@enge.fr>
Date: Wed, 15 May 2024 20:52:17 +0200
Subject: [PATCH] Revert "gnu: chuffed: Update to 0.13.2."

This reverts commit bc6742e168f4af9d6479e00f482998b03653787a.

This makes it possible to apply the v3 patch series of issue #70087
and to properly credit its author.
---
 gnu/packages/maths.scm | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 69e47f955c..9a37b681e9 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -310,16 +310,15 @@ programmatic functions.")
 (define-public chuffed
   (package
     (name "chuffed")
-    (version "0.13.2")
+    (version "0.13.1")
     (source
      (origin
        (method git-fetch)
        (uri (git-reference
              (url "https://github.com/chuffed/chuffed")
              (commit version)))
-       (file-name (git-file-name name version))
        (sha256
-        (base32 "164brmwn71p9gb2441kh7b1gzmy2sg7bjv5z00wjs9nw41qc908g"))))
+        (base32 "1c28q166qh84q4i5wz77fqvw7kld3fmhd245sgdvyxcbjpi2wr0m"))))
     (build-system cmake-build-system)
     (synopsis "Lazy clause generation solver")
     (arguments