fedora

Information for build lem-2025.03.13-2.fc42

ID24610
Package Namelem
Version2025.03.13
Release2.fc42
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/lem.git#80cec999755dec0a51821e49f44376be3166f9de
SummaryA tool for semantic definition language
DescriptionLem 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.
Built bydavidlt
State complete
Volume DEFAULT
StartedSat, 12 Jul 2025 13:13:26 UTC
CompletedSat, 12 Jul 2025 13:59:53 UTC
Taskbuild (f42, /rpms/lem.git:80cec999755dec0a51821e49f44376be3166f9de)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/lem.git#80cec999755dec0a51821e49f44376be3166f9de'}}
Tags
f42
RPMs
src
lem-2025.03.13-2.fc42.src.rpm (info) (download)
riscv64
lem-2025.03.13-2.fc42.riscv64.rpm (info) (download)
lem-devel-2025.03.13-2.fc42.riscv64.rpm (info) (download)
Logs
riscv64
mock_config.log
hw_info.log
dnf5.log
mock_output.log
build.log
root.log
state.log
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