lem-2026.05.01-1.fc45 RPM for ppc64le

From Fedora Rawhide for ppc64le / l

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

• lem
• lem(ppc-64)

Requires

• glibc >= 2.43.9000-20
• ld64.so.2()(64bit)
• ld64.so.2(GLIBC_2.22)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.32)(64bit)
• libc.so.6(GLIBC_2.33)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.17)(64bit)
• libm.so.6(GLIBC_2.29)(64bit)
• libm.so.6(GLIBC_2.35)(64bit)
• libm.so.6(GLIBC_2.38)(64bit)
• libm.so.6(GLIBC_2.44)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

LGPL-2.0-only

Changelog

* Mon Jun 29 2026 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 2026.05.01-1
  - Version 2026.05.01
* Thu Mar 12 2026 U2FsdGVkX1 <U2FsdGVkX1@gmail.com> - 2025.03.13-7
  - Rebuild for Fedora 45 (rhbz#2443533)
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2025.03.13-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* 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/34
/usr/lib/.build-id/34/c474a62fc90779e581035d085e5a70feba5510
/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, Sat Jul 11 00:14:16 2026