[rpms/lem] rawhide: Version 2026.05.01

[rpms/lem] rawhide: Version 2026.05.01

[U2FsdGVkX1]

A new commit has been pushed.

Repo   : rpms/lem
Branch : rawhide
Commit : 3cdca19c0b2a4ed949de779dc8ea2e3bc1f8eca5
Author : U2FsdGVkX1 <U2FsdGVkX1@gmail.com>
Date   : 2026-06-29T21:01:29+08:00
Stats  : +13/-12 in 3 file(s)
URL    : https://src.fedoraproject.org/rpms/lem/c/3cdca19c0b2a4ed949de779dc8ea2e3bc1f8eca5?branch=rawhide

Log:
Version 2026.05.01

---
diff --git a/.gitignore b/.gitignore
index 3a7bde3..aaf6972 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,2 @@
 /lem-2025-03-13.tar.gz
+/lem-2026-05-01.tar.gz

diff --git a/lem.spec b/lem.spec
index a0316ba..ec40778 100644
--- a/lem.spec
+++ b/lem.spec
@@ -1,11 +1,11 @@
 Name:           lem
-Version:        2025.03.13
+Version:        2026.05.01
 Release:        %autorelease
 Summary:        A tool for semantic definition language
 
 License:        LGPL-2.0-only
 URL:            https://github.com/rems-project/%{name}
-Source0:        https://github.com/rems-project/%{name}/archive/2025-03-13/%{name}-2025-03-13.tar.gz
+Source0:        https://github.com/rems-project/%{name}/archive/2026-05-01/%{name}-2026-05-01.tar.gz
 
 # Fix file permissions: lem generates files with 0o600 permissions due to
 # Filename.open_temp_file defaulting to restrictive permissions. This patch
@@ -30,31 +30,31 @@ BuildRequires:  ocaml-zarith-devel
 BuildRequires:  ocaml-num-devel
 
 %description
-Lem is a tool for lightweight executable mathematics, 
-for writing, managing, and publishing large-scale 
-portable semantic definitions. It exports to LaTeX, 
-OCaml code, and theorem proves (Coq, HOL4, Isabelle/HOL). 
-Generated Coq code may not be idiomatic. It acts as 
-an intermediate language for domain-specific tools 
+Lem is a tool for lightweight executable mathematics,
+for writing, managing, and publishing large-scale
+portable semantic definitions. It exports to LaTeX,
+OCaml code, and theorem proves (Coq, HOL4, Isabelle/HOL).
+Generated Coq code may not be idiomatic. It acts as
+an intermediate language for domain-specific tools
 and for porting definitions between theorem proves.
 
 %package        devel
 Summary:        Development files for %{name}
 Requires:       %{name}%{?_isa} = %{version}-%{release}
- 
+
 %description    devel
 The %{name}-devel package contains libraries and signature files for
 developing applications that use %{name}.
 
 %prep
-%autosetup -n lem-2025-03-13 -p1
+%autosetup -n lem-2026-05-01 -p1
 
 %build
 make
 
 %install
 # INSTALL_DIR variable is in Makefile
-# but INSTALLDIR is in ocaml-lib/ocamlbuild.mk 
+# but INSTALLDIR is in ocaml-lib/ocamlbuild.mk
 mkdir -p %{buildroot}%{ocamldir}
 make install INSTALLDIR=%{buildroot}%{ocamldir} INSTALL_DIR=%{buildroot}/usr
 

diff --git a/sources b/sources
index eff30b3..70f5c52 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (lem-2025-03-13.tar.gz) = 3e11d546b1357ff12138a301d4c74bc280ec87b459f86cc951fcaf92f089f8d2c68255e4559f56d95024e50d23274708e8308f98f51b5b5caad875269847aba8
+SHA512 (lem-2026-05-01.tar.gz) = 5372418b2451ad44a91e8324926661b19fb402b7a33981977bc680be9d33f9c2ccaa2d2bf146c573fcfc5eb4d660cf06c6ac8278313ec52c560ee86b3fc5cfc6