[rpms/gappa] rawhide: Version 1.8.1

[rpms/gappa] rawhide: Version 1.8.1

[Jerry James]

            A new commit has been pushed.

            Repo   : rpms/gappa
            Branch : rawhide
            Commit : 265ff9718bedf9e37898d951287c3045cd531353
            Author : Jerry James <loganjerry@gmail.com>
            Date   : 2026-06-26T10:27:33-06:00
            Stats  : +5/-2 in 2 file(s)
            URL    : https://src.fedoraproject.org/rpms/gappa/c/265ff9718bedf9e37898d951287c3045cd531353?branch=rawhide

            Log:
            Version 1.8.1

- Regenerate lex & yacc files

---
diff --git a/gappa.spec b/gappa.spec
index 78fb2ad..f959fd8 100644
--- a/gappa.spec
+++ b/gappa.spec
@@ -1,7 +1,7 @@
 %global _docdir_fmt %{name}
 
 Name:		gappa
-Version:	1.8.0
+Version:	1.8.1
 Release:	%autorelease
 Summary:	Prove programs with floating-point or fixed-point arithmetic
 
@@ -64,6 +64,9 @@ Documentation for gappa.
 # Increase the test timeout for ARM
 sed -i 's/timeout 5/&0/' Remakefile.in
 
+# Force the lex & yacc sources to be regenerated
+rm src/parser/lexer.cpp src/parser/parser.{c,h}pp
+
 %build
 %configure
 # Use the system remake

diff --git a/sources b/sources
index 0bc7378..bb34d9f 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (gappa-1.8.0.tar.gz) = f90193a78545b1dd4e59ac9a2c92a3dbab9f748a020d80e5842f8816aec58d4449a699079afad7f3aa54a364c2a4469f8d089bd9ebb00d19a7eb451eaad5395d
+SHA512 (gappa-1.8.1.tar.gz) = 0daeb89018b610103842406e3183f052c6fc4c261cbd2cc256c23102cfb2fba52c960d21336db5af96e68aa8e14542a1f068627350961c8170dbb3cfbd56ca97