SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-psmt2-frontend
Version : 0.4.0 Vendor : Fedora Project
Release : 3.fc36 Date : 2022-02-04 21:11:35
Group : Unspecified Source RPM : ocaml-psmt2-frontend-0.4.0-3.fc36.src.rpm
Size : 6.83 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: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/36/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-psmt2-frontend-0.4.0-3.fc36.i686.rpm
     Search for other platforms
ocaml-psmt2-frontend-0.4.0-3.fc36.sparc.rpm
ocaml-psmt2-frontend-0.4.0-3.fc36.alpha.rpm
ocaml-psmt2-frontend-0.4.0-3.fc36.ppc.rpm
ocaml-psmt2-frontend-0.4.0-3.fc36.ia64.rpm
ocaml-psmt2-frontend-0.4.0-3.fc36.s390.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-32)
ocamlx(Psmt2Frontend)
ocamlx(Psmt2Frontend__Main)
ocamlx(Psmt2Frontend__Options)
ocamlx(Psmt2Frontend__Smtlib_error)
ocamlx(Psmt2Frontend__Smtlib_lexer)
ocamlx(Psmt2Frontend__Smtlib_parser)
ocamlx(Psmt2Frontend__Smtlib_printer)
ocamlx(Psmt2Frontend__Smtlib_syntax)
ocamlx(Psmt2Frontend__Smtlib_ty)
ocamlx(Psmt2Frontend__Smtlib_typed_env)
ocamlx(Psmt2Frontend__Smtlib_typed_logic)
ocamlx(Psmt2Frontend__Smtlib_typing)
ocamlx(Psmt2Frontend__Version)

Requires :
glibc >= 2.34.9000-38.fc36
libc.so.6
libc.so.6(GLIBC_2.0)
libc.so.6(GLIBC_2.1)
libc.so.6(GLIBC_2.1.3)
libc.so.6(GLIBC_2.17)
libc.so.6(GLIBC_2.2)
libc.so.6(GLIBC_2.3)
libc.so.6(GLIBC_2.3.4)
libc.so.6(GLIBC_2.33)
libc.so.6(GLIBC_2.34)
libc.so.6(GLIBC_2.4)
libc.so.6(GLIBC_2.7)
libm.so.6
libm.so.6(GLIBC_2.0)
libm.so.6(GLIBC_2.1)
libm.so.6(GLIBC_2.29)
libm.so.6(GLIBC_2.35)
ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml(Psmt2Frontend) = eb576e27a2ee94146c01caa17d30ab0f
ocaml(Psmt2Frontend__Options) = 5842cd84bd854c14025fd39a2c3d7361
ocaml(Psmt2Frontend__Smtlib_error) = ee3a690aa77a2127ce7a290dd7ffe43c
ocaml(Psmt2Frontend__Smtlib_parser) = a6c637e5ab8f463df21fa1987c02f958
ocaml(Psmt2Frontend__Smtlib_printer) = 969bd2c2aba5b2c71720e6bdbe6cc021
ocaml(Psmt2Frontend__Smtlib_syntax) = 2f162f02770f561c075625158d0f47dc
ocaml(Psmt2Frontend__Smtlib_ty) = 171726162fafa1b5414378838d676214
ocaml(Psmt2Frontend__Smtlib_typed_env) = 7b2d44ba31a3af563c3c25feef4959a4
ocaml(Psmt2Frontend__Smtlib_typed_logic) = dda1a7f841eb39cbd347b0e371db2bc1
ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df
ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a
ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c
ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963
ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b
ocaml(Stdlib__Lexing) = 58f88856435bd604950e119384ea45a3
ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3
ocaml(Stdlib__Map) = 406d1bc59860d17292fd07fc9e6e19e0
ocaml(Stdlib__Printf) = 0e709b4af7558eb0589bebb98388ce8e
ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18
ocaml(Stdlib__Stack) = 19a2dfcd16d8615b049bb08728d442df
ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed
ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d
ocamlx(Psmt2Frontend__Options) = 78ff2445a6c8fbae84babf9e1420b1b8
ocamlx(Psmt2Frontend__Smtlib_error) = 0beaa89d6d064def17890816d876b1fd
ocamlx(Psmt2Frontend__Smtlib_printer) = ad5bc86b7856772d9a07cb6dc980461d
ocamlx(Psmt2Frontend__Smtlib_ty) = 000ab48951bfab59ecb9b4968ed3b1d3
ocamlx(Psmt2Frontend__Smtlib_typed_env) = 226c89d46432c23d9c8298d941547d9c
ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 9a366879cd059abf13e168530ff3bc56
ocamlx(Stdlib) = c82208c671ec1d456f13eda7fabd050a
ocamlx(Stdlib__Format) = d5f7c8ef0c1729a0023836c1d7e0ae74
ocamlx(Stdlib__Hashtbl) = 7228153ec2fa5bedc9b6e32589d0100f
ocamlx(Stdlib__Lexing) = 74d50cb2546a7b8dbbde456b74455513
ocamlx(Stdlib__List) = 749429e7e0fafe9c30e49691f1bd6510
ocamlx(Stdlib__Map) = b03fe642b995d3840e298820c280555f
ocamlx(Stdlib__Printf) = 0dd3dea7a8e767a4966c689c6bb23341
ocamlx(Stdlib__Stack) = 6990c9cb317dc14f3fc3698b09ded998
ocamlx(Stdlib__String) = 5279372cb3b5f2bd9540f0bd9a973c73
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/2f
/usr/lib/.build-id/2f/7c9afb900014fcee5345b1fb5bc7860b574ef9
/usr/lib/.build-id/6e
/usr/lib/.build-id/6e/164875734c929abd5f918e704bc6fd2a2304c0
/usr/lib/ocaml/psmt2-frontend
/usr/lib/ocaml/psmt2-frontend/META
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cma
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxs
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi
/usr/lib/ocaml/psmt2-frontend_bin
/usr/lib/ocaml/psmt2-frontend_bin/META
/usr/lib/ocaml/psmt2-frontend_bin/dune-package
/usr/lib/ocaml/psmt2-frontend_bin/opam
/usr/share/doc/ocaml-psmt2-frontend
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md
/usr/share/doc/ocaml-psmt2-frontend/README.md
There is 2 files more in these RPM.

  
ICM