public inbox for git-commits@fedoraproject.org
help / color / mirror / Atom feed
From: U2FsdGVkX1 <U2FsdGVkX1@gmail.com>
To: git-commits@fedoraproject.org
Subject: [rpms/lem] rawhide: Version 2026.05.01
Date: Mon, 29 Jun 2026 13:02:40 GMT [thread overview]
Message-ID: <178273816036.1.12269094797401516853.rpms-lem-3cdca19c0b2a@fedoraproject.org> (raw)
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
reply other threads:[~2026-06-29 13:02 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=178273816036.1.12269094797401516853.rpms-lem-3cdca19c0b2a@fedoraproject.org \
--to=u2fsdgvkx1@gmail.com \
--cc=git-commits@fedoraproject.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox