Sat, 14 Dec 2024 05:37:18 UTC | login

Information for RPM ocaml-psmt2-frontend-0.4.0-20.fc41.src.rpm

ID1425864
Nameocaml-psmt2-frontend
Version0.4.0
Release20.fc41
Epoch
Archsrc
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 Time2024-08-11 16:02:00 GMT
Size86.63 KB
a93e6680e96a54e3bd7e34db4de36102
LicenseApache-2.0
git:https://github.com/ACoquereau/psmt2-frontend.git
Buildrootf41-build-838415-159693
Provides
ocaml-psmt2-frontend = 0.4.0-20.fc41
ocaml-psmt2-frontend-devel = 0.4.0-20.fc41
ocaml-psmt2-frontend-docs = 0.4.0-20.fc41
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.spec5.76 KB
psmt2-frontend-0.4.0.tar.gz69.14 KB
Component of No Buildroots