SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-psmt2-frontend-devel
Version : 0.4.0 Vendor : Fedora Project
Release : 3.fc36 Date : 2022-02-04 21:11:23
Group : Unspecified Source RPM : ocaml-psmt2-frontend-0.4.0-3.fc36.src.rpm
Size : 7.17 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: /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-devel-0.4.0-3.fc36.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) = 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
ocaml-psmt2-frontend(x86-64) = 0.4.0-3.fc36
ocamlx(Psmt2Frontend__Options) = d64ecd2193cd7a4589d9ef00be77b255
ocamlx(Psmt2Frontend__Smtlib_error) = 04e4c8a0aaf56f82c0c79a2a0d42dc49
ocamlx(Psmt2Frontend__Smtlib_printer) = a3da8b6758b3a917467b8152520411ec
ocamlx(Psmt2Frontend__Smtlib_ty) = 4526c6ec9b68ce9df6680a9640f12e6f
ocamlx(Psmt2Frontend__Smtlib_typed_env) = f04693b8d64ef343b7c5188f91eb6029
ocamlx(Psmt2Frontend__Smtlib_typed_logic) = c3629aefd1b3d0a9598ea3d345ff9bef
ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe
ocamlx(Stdlib__Format) = f0b02a997e83d9117ebfeb35c9fa61c6
ocamlx(Stdlib__Hashtbl) = 04f772f8913c4d9f535a6c6c2d722fb4
ocamlx(Stdlib__Lexing) = a8853a0486f377dcf67be29041f89b58
ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4
ocamlx(Stdlib__Map) = 09312960f2079da7f07cad281186eb70
ocamlx(Stdlib__Printf) = 54da4609e17a1893e7a0c08168b8726a
ocamlx(Stdlib__Stack) = 2847dfe61eaa3801d5f6e39207191314
ocamlx(Stdlib__String) = e3d157a8c85cee272249a1c492e502f5
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/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__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
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt
There is 6 files more in these RPM.

  
ICM