SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-psmt2-frontend-devel
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 : 7.67 MB
Packager : Fedora Project
Summary : Development files for ocaml-psmt2-frontend
Description :
The ocaml-psmt2-frontend-devel package contains libraries and signature
files for developing applications that use ocaml-psmt2-frontend.

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-devel-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-devel
ocaml-psmt2-frontend-devel(x86-64)
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 :
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
ocaml-psmt2-frontend(x86-64) = 0.4.0-11.fc39
ocamlx(CamlinternalFormat) = 58f88a5a5c64196bd9b440558fffce16
ocamlx(Psmt2Frontend__Options) = 508afbc2d7b88a1f116d24afde45ea54
ocamlx(Psmt2Frontend__Smtlib_error) = 504cd0675ba902cb4b8d83a1e0efa689
ocamlx(Psmt2Frontend__Smtlib_printer) = c9897e5a83108714426572b4626d5c60
ocamlx(Psmt2Frontend__Smtlib_ty) = 989ae94135ac7cc55ca71cec0acf4ee5
ocamlx(Psmt2Frontend__Smtlib_typed_env) = b1c8a1c1e88b12debf16cc911a04e9ea
ocamlx(Psmt2Frontend__Smtlib_typed_logic) = ba55df21113e64f99bf58539c23b786d
ocamlx(Stdlib) = c6f226e44d674edd1d531948ff863828
ocamlx(Stdlib__Bytes) = cb1095d933ce955029ed699727baead0
ocamlx(Stdlib__Domain) = d7f8796322f2cd99efcf341f8e42acf4
ocamlx(Stdlib__Format) = c94bb08665553c56dece8353dbff3b32
ocamlx(Stdlib__Hashtbl) = acdc6437bcb9e7a81c6ed8660e82b471
ocamlx(Stdlib__Lexing) = 76289d92733d00a1d4c106dfb93c8ac7
ocamlx(Stdlib__List) = b78ab95aebcef67de9b99ec053edb534
ocamlx(Stdlib__Map) = 7b1e4df07736a72638c021a5a9ffbccd
ocamlx(Stdlib__Printf) = 662e9ca31ecdf5f11c9788ed827feb11
ocamlx(Stdlib__Random) = 2617b12d0fefbf237d757668e0688155
ocamlx(Stdlib__Stack) = 018afd60df09186eaef4d0d459f62321
ocamlx(Stdlib__String) = ff814de8355985ea0e450e0986a59446
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/lib64/ocaml/psmt2-frontend/dune-package
/usr/lib64/ocaml/psmt2-frontend/main.ml
/usr/lib64/ocaml/psmt2-frontend/opam
/usr/lib64/ocaml/psmt2-frontend/options.mli
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
There is 18 files more in these RPM.

 
ICM