lem-2026.05.01-4.fc46 RPM for s390x

From Fedora Rawhide for s390x / 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(s390-64)

Requires

• ld64.so.1()(64bit)
• ld64.so.1(GLIBC_2.3)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.17)(64bit)
• libc.so.6(GLIBC_2.2)(64bit)
• libc.so.6(GLIBC_2.25)(64bit)
• libc.so.6(GLIBC_2.3)(64bit)
• libc.so.6(GLIBC_2.3.2)(64bit)
• libc.so.6(GLIBC_2.3.4)(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_2.4)(64bit)
• libc.so.6(GLIBC_2.6)(64bit)
• libgmp.so.10()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.2)(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

* Wed Sep 23 2026 Jerry James <loganjerry@gmail.com> - 2026.05.01-4
  - OCaml 5.5.1 rebuild
* Thu Jul 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 2026.05.01-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 2026.05.01-2
  - OCaml 5.5.0 rebuild
* 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/7f
/usr/lib/.build-id/7f/b89b9f44e8c3e2b51525bb1bdc51d85268f466
/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, Wed Sep 30 00:51:29 2026