Information for RPM lem-2025.03.13-2.fc42.src.rpm

ID118718
Buildlem-2025.03.13-2.fc42
Namelem
Version2025.03.13
Release2.fc42
Epoch
Archsrc
DraftFalse
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.
Build Time2025-07-12 13:55:11 GMT
Size3.12 MB
f9c2a671bc83d5da5c3826b1b517159d
LicenseLGPL-2.0-only
Buildrootf42-build-193-50
Provides
lem = 2025.03.13-2.fc42
lem-devel = 2025.03.13-2.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
help2man
ocaml >= 4.08.1
ocaml-findlib
ocaml-num-devel
ocaml-ocamlbuild
ocaml-rpm-macros
ocaml-zarith-devel
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 2 of 2
Name ascending sort Size
lem-2025-03-13.tar.gz3.12 MB
lem.spec2.68 KB
Component of No Buildroots