fedora

Information for RPM ocaml-psmt2-frontend-0.4.0-22.rvre0.fc42.src.rpm

ID48609
Buildocaml-psmt2-frontend-0.4.0-22.rvre0.fc42
Nameocaml-psmt2-frontend
Version0.4.0
Release22.rvre0.fc42
Epoch
Archsrc
DraftFalse
SummaryParser and typechecker for an extension of SMT-LIB 2
DescriptionThis package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
Build Time2025-04-02 07:25:51 GMT
Size87.07 KB
2a6cdb4f5c137c696ea95448b1e359fa
LicenseApache-2.0
git:https://github.com/ACoquereau/psmt2-frontend.git
Provides
ocaml-psmt2-frontend = 0.4.0-22.rvre0.fc42
ocaml-psmt2-frontend-devel = 0.4.0-22.rvre0.fc42
ocaml-psmt2-frontend-docs = 0.4.0-22.rvre0.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
make
ocaml >= 4.04.2
ocaml-dune >= 2.6.0
ocaml-menhir >= 20180528
python3dist(sphinx)
python3dist(sphinx-rtd-theme)
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 3 of 3
Name ascending sort Size
ocaml-psmt2-frontend-sphinx6.patch1.01 KB
ocaml-psmt2-frontend.spec6.13 KB
psmt2-frontend-0.4.0.tar.gz69.14 KB
Component of No Buildroots