lem-2025.03.13-2.fc42 RPM for s390x

From Fedora 42 testing updates for s390x / Packages / 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)
• 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

* 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/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 Jun 13 02:01:23 2025