SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-psmt2-frontend-devel
Version : 0.4.0 Vendor : Fedora Project
Release : 7.fc38 Date : 2023-01-24 20:22:38
Group : Unspecified Source RPM : ocaml-psmt2-frontend-0.4.0-7.fc38.src.rpm
Size : 7.35 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/38/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-psmt2-frontend-devel-0.4.0-7.fc38.i686.rpm
     Search for other platforms
ocaml-psmt2-frontend-devel-0.4.0-7.fc38.sparc.rpm
ocaml-psmt2-frontend-devel-0.4.0-7.fc38.alpha.rpm
ocaml-psmt2-frontend-devel-0.4.0-7.fc38.ppc.rpm
ocaml-psmt2-frontend-devel-0.4.0-7.fc38.ia64.rpm
ocaml-psmt2-frontend-devel-0.4.0-7.fc38.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-devel
ocaml-psmt2-frontend-devel(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 :
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(Psmt2Frontend) = 3acb5fff4139ae05e0a9decb7f14b441
ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e
ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2
ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e
ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463
ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a
ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd
ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml-psmt2-frontend(x86-32) = 0.4.0-7.fc38
ocamlx(Psmt2Frontend__Options) = 1428663393ccba8fcffb53b38b3ef215
ocamlx(Psmt2Frontend__Smtlib_error) = c1fc596fb1fca7c4607e5473c4e20be7
ocamlx(Psmt2Frontend__Smtlib_printer) = c712362e5f3c89c920cf20092646e4ac
ocamlx(Psmt2Frontend__Smtlib_ty) = f08bfdf1b0fb9d551ff203efe212770a
ocamlx(Psmt2Frontend__Smtlib_typed_env) = 8288bce61665add6db2086a5625be4d3
ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 3571e4f38e2d8990638b32155f1f8260
ocamlx(Stdlib) = d9420a8d349fb4faae7bbb0f24f981c2
ocamlx(Stdlib__Format) = 426057f2f823ed2a86f6daef13797355
ocamlx(Stdlib__Hashtbl) = bc901c50382d9f3bea80ef2257b1fe9c
ocamlx(Stdlib__Lexing) = 6bbab8d80c49516e13845c6e758a6839
ocamlx(Stdlib__List) = 11e0d0a33c36aa9ba2c13287add7aeb7
ocamlx(Stdlib__Map) = cb8600ae626acc037a3ab5381a87572d
ocamlx(Stdlib__Printf) = 4d8b1ae1a3532f9df72c88135a65a1d0
ocamlx(Stdlib__Stack) = 9c1a8b4100f85f86d9caa82634c64b68
ocamlx(Stdlib__String) = 367075d3651ec6435d3f4d7c085a294e
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/lib/ocaml/psmt2-frontend/dune-package
/usr/lib/ocaml/psmt2-frontend/main.ml
/usr/lib/ocaml/psmt2-frontend/opam
/usr/lib/ocaml/psmt2-frontend/options.mli
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.a
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.cmxa
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend.ml
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx
/usr/lib/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt
There is 18 files more in these RPM.

  
ICM