Name: lem	Distribution: Fedora Project
Version: 2025.03.13	Vendor: Fedora Project
Release: 4.fc43	Build date: Fri Jul 25 01:36:04 2025
Group: Unspecified	Build host: buildvm-s390x-10.s390.fedoraproject.org
Size: 7827336	Source RPM: lem-2025.03.13-4.fc43.src.rpm
Packager: Fedora Project
Url: https://github.com/rems-project/lem
Summary: A tool for semantic definition language

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.

Provides

Requires

License

LGPL-2.0-only

Changelog

* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2025.03.13-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Mon Jul 14 2025 Jerry James <loganjerry@gmail.com> - 2025.03.13-3
  - Generate debuginfo
  - Remove unused ocaml-rpm-macros BR
* Tue Jun 10 2025 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 2025.03.13-2
  - Exclude i686 arch as it does not have OCaml
* Tue Jun 10 2025 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 2025.03.13-1
  - Version 2025.03.13

Files

/usr/bin/lem
/usr/lib/.build-id
/usr/lib/.build-id/73
/usr/lib/.build-id/73/5b8aa4749045c0666ccad36d0b9307151398e5
/usr/share/doc/lem
/usr/share/doc/lem/README.md
/usr/share/licenses/lem
/usr/share/licenses/lem/LICENSE
/usr/share/man/man1/lem.1.gz

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Aug 21 00:18:37 2025

lem-2025.03.13-4.fc43 RPM for s390x

From Fedora Rawhide for s390x / l

Provides

Requires

License

Changelog

Files