Name: lem	Distribution: Fedora Project
Version: 2025.03.13	Vendor: Fedora Project
Release: 5.fc44	Build date: Fri Oct 24 12:28:04 2025
Group: Unspecified	Build host: buildvm-a64-09.rdu3.fedoraproject.org
Size: 6204664	Source RPM: lem-2025.03.13-5.fc44.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

* Fri Oct 24 2025 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 2025.03.13-5
  - Fix file permissions and OCaml str library warnings
* 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/16
/usr/lib/.build-id/16/c3179fc62340d171d7d1a38500b01300a3aa36
/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, Fri Oct 31 01:15:49 2025

lem-2025.03.13-5.fc44 RPM for aarch64

From Fedora Rawhide for aarch64 / l

Provides

Requires

License

Changelog

Files