SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-psmt2-frontend rpm build for : Fedora 39. For other distributions click ocaml-psmt2-frontend.

Name : ocaml-psmt2-frontend
Version : 0.4.0 Vendor : Fedora Project
Release : 11.fc39 Date : 2023-07-20 19:36:07
Group : Unspecified Source RPM : ocaml-psmt2-frontend-0.4.0-11.fc39.src.rpm
Size : 6.16 MB
Packager : Fedora Project
Summary : Parser and typechecker for an extension of SMT-LIB 2
Description :
This package contains a library to parse and typecheck a conservative
extension of the SMT-LIB 2 standard with prenex polymorphism.

RPM found in directory: /vol/rzm3/linux-fedora-buffet/fedora/linux/releases/39/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-psmt2-frontend-0.4.0-11.fc39.x86_64.rpm
     

Provides :
ocaml(Psmt2Frontend)
ocaml(Psmt2Frontend__Main)
ocaml(Psmt2Frontend__Options)
ocaml(Psmt2Frontend__Smtlib_error)
ocaml(Psmt2Frontend__Smtlib_lexer)
ocaml(Psmt2Frontend__Smtlib_parser)
ocaml(Psmt2Frontend__Smtlib_printer)
ocaml(Psmt2Frontend__Smtlib_syntax)
ocaml(Psmt2Frontend__Smtlib_ty)
ocaml(Psmt2Frontend__Smtlib_typed_env)
ocaml(Psmt2Frontend__Smtlib_typed_logic)
ocaml(Psmt2Frontend__Smtlib_typing)
ocaml(Psmt2Frontend__Version)
ocaml-psmt2-frontend
ocaml-psmt2-frontend(x86-64)
ocaml-psmt2-frontend-doc

Requires :
glibc >= 2.37.9000-17
libc.so.6()(64bit)
libc.so.6(GLIBC_2.14)(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.2.5)(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)
libc.so.6(GLIBC_2.7)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.2.5)(64bit)
libm.so.6(GLIBC_2.29)(64bit)
libm.so.6(GLIBC_2.35)(64bit)
libm.so.6(GLIBC_2.38)(64bit)
ocaml(CamlinternalFormatBasics) = cecfafd5c021473f5e358c96ac7502a0
ocaml(Psmt2Frontend) = 0ab297b4b0711d656b172837abc11452
ocaml(Psmt2Frontend__Options) = 7d7b72ebf84d4dfb4b996c96b0470e12
ocaml(Psmt2Frontend__Smtlib_error) = 6407385f4f368d53d5952fb397f6bdc9
ocaml(Psmt2Frontend__Smtlib_parser) = 619f7f44689c46a50ea4a85165254816
ocaml(Psmt2Frontend__Smtlib_printer) = 7e02e0c6fdac48d01c2b776f19230214
ocaml(Psmt2Frontend__Smtlib_syntax) = 0b284fa3ea9ca81f3b4cf1ee462140ca
ocaml(Psmt2Frontend__Smtlib_ty) = 20caf42ce0d1a3851b588ef379a1ab63
ocaml(Psmt2Frontend__Smtlib_typed_env) = b9e48d85d7b8701d0b500d9801f7e034
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 8d3adeaee5bdfe5a90a5f72d22b20543
ocaml(Stdlib) = 85f85ddb47edc0c7579657eee740302d
ocaml(Stdlib__Buffer) = 12b944b4b2913751cd65bdc638975d4d
ocaml(Stdlib__Domain) = 0d152be3cd9163970a657d842fca8ecf
ocaml(Stdlib__Either) = b3ad0f8c65f28252059edebc03f68808
ocaml(Stdlib__Format) = e7385010d0d6a0bbd4191bc7546d458a
ocaml(Stdlib__Hashtbl) = bafdecabd3fce4f5ccc09a1a5587dab4
ocaml(Stdlib__Lexing) = be62854f0fbcd8531fe531cd00e34821
ocaml(Stdlib__List) = feb7c568830f9f239501efb83f4725e4
ocaml(Stdlib__Map) = 71415964978d1cf0c1701af1137aa1ea
ocaml(Stdlib__Printf) = 8debea255efc834da5c1bc2e73f09214
ocaml(Stdlib__Seq) = cc3f899885b746f777815dc93be7ede2
ocaml(Stdlib__Stack) = 2c058a31c4619e2e1504072ca87f6bee
ocaml(Stdlib__String) = facad7e0dada5941148738b8188d844f
ocaml(Stdlib__Uchar) = 9ea864085095970c73b7b17c26c37317
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)


Content of RPM :
/usr/bin/psmt2-frontend_bin
/usr/lib/.build-id
/usr/lib/.build-id/79
/usr/lib/.build-id/79/26d82942267cd2bde07d499bde5cd0696c5d22
/usr/lib/.build-id/e2
/usr/lib/.build-id/e2/994f490f071f32ac801f81561860f1252041b9
/usr/lib64/ocaml/psmt2-frontend
/usr/lib64/ocaml/psmt2-frontend/META
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
/usr/lib64/ocaml/psmt2-frontend_bin
/usr/lib64/ocaml/psmt2-frontend_bin/META
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md
/usr/share/licenses/ocaml-psmt2-frontend
/usr/share/licenses/ocaml-psmt2-frontend/LICENSE

  
ICM