SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-why3 rpm build for : Fedora 37. For other distributions click ocaml-why3.

Name : ocaml-why3
Version : 1.5.1 Vendor : Fedora Project
Release : 1.fc37 Date : 2022-09-17 02:48:49
Group : Unspecified Source RPM : why3-1.5.1-1.fc37.src.rpm
Size : 10.68 MB
Packager : Fedora Project
Summary : Software verification library for ocaml
Description :
This package contains an ocaml library that exposes the functionality
of why3 to applications.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-why3-1.5.1-1.fc37.x86_64.rpm
     

Provides :
ocaml(Why3)
ocaml-why3
ocaml-why3(x86-64)

Requires :
ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
ocaml(MenhirLib) = 3ec00a6f1f5ba9c7faa313eb03850c8d
ocaml(Nat) = cf53074211ea56c636ac753b3faa2286
ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14
ocaml(Parsexp) = c821046c69e13731aad779de4c380aa2
ocaml(Parsexp__) = 743b6c7881609f13e5ddf064f13ccaad
ocaml(Parsexp__Automaton_stack) = bb8f7cf20f0b9df1f12bc94f0c026d6b
ocaml(Parsexp__Automaton_stack_intf) = 7e083620604635f4d8641a56c78a2c15
ocaml(Parsexp__Automaton_state) = 823554058cf3edf147483e7718a0fc05
ocaml(Parsexp__Automaton_state_intf) = baa2a7512f2ff63c2ca7e5bfb24d31c3
ocaml(Parsexp__Conv) = 73aea39cdae28481b946deb798262861
ocaml(Parsexp__Conv_error) = 15b4e9c2f299eb4e7d45247d78604531
ocaml(Parsexp__Conv_intf) = 1da34b4c630ef3200fc3912c978c9ba9
ocaml(Parsexp__Cst) = 5a86b7c96c4b7c235908e56504fdaf1c
ocaml(Parsexp__Import) = af824900aa58f54532b0b7f66fa5599a
ocaml(Parsexp__Of_sexp_error) = dbac035abeeda7b65e3fb305bb78dd7a
ocaml(Parsexp__Old_parser_cont_state) = 4e3342afb970edb9605972c7f18919a3
ocaml(Parsexp__Parse_error) = d6a41b0d84636a7d6cde2981a8fbe8ca
ocaml(Parsexp__Parse_error_intf) = 8a2deecb01b36b267a3c97ad7fc6bab9
ocaml(Parsexp__Parser) = b8d5dcaf4ee9cc40b59ea398c48c0807
ocaml(Parsexp__Parser_intf) = 5328dab0c57a5f24f4d4ec131f9ecaa7
ocaml(Parsexp__Parsexp_intf) = 4ec3fb96445b9269dd8b034a888c3e1d
ocaml(Parsexp__Positions) = aacd2afc429f09c754122a4bb3b47606
ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b
ocaml(Re) = e4567e94af098c9e43b4019b4ac760c6
ocaml(Re__) = 4d845614bcba08fee0b9ba6c58f4ae58
ocaml(Re__Automata) = 4a5ad0dda411f197f80feed3ab4992b5
ocaml(Re__Category) = 0c24c8a8e24c3e1fb949f9f2576ba43e
ocaml(Re__Core) = a74d911419b14651a8714177bcc8f1ed
ocaml(Re__Cset) = a1b6e4eac5a366680c7e8f6b9fa83d2a
ocaml(Re__Pmark) = 172947bbd8c617d65313126532870e5a
ocaml(Re__Str) = fa8d2b3a0ff24af39df207dd1ce9865f
ocaml(Seq) = 5ad88013aad9900a199ade58347da14d
ocaml(Sexplib) = c3bbdba7888ea124ad7691e3aa9b7ad3
ocaml(Sexplib0) = 2c6d2dc73e878ccd97c61ea7b3b139a7
ocaml(Sexplib0__) = c82a4bed4cf1f8a7e557dea3d219c984
ocaml(Sexplib0__Sexp) = 669077daccd8c3f02758504e1d4ff384
ocaml(Sexplib0__Sexp_conv) = 840da9f0a44f94f7889e14186f7ea219
ocaml(Sexplib0__Sexp_conv_grammar) = 902dea820ffb9d88028a6add5f58215d
ocaml(Sexplib0__Sexp_grammar) = b3d4f2eff2ce04a1bbff88b7bf11b33b
ocaml(Sexplib__Conv) = b9fbaffc0a3dcab91c2e599e19f5d88e
ocaml(Sexplib__Lexer) = 15958aeb6ae28db802ec545f06ac85ca
ocaml(Sexplib__Parser) = e63cac0f94ad6793e1cbe027e782c2d8
ocaml(Sexplib__Parser_with_layout) = be58c7a66ba3428a66bfd6838660a321
ocaml(Sexplib__Pre_sexp) = bd1ed0081478a69d3c515e659402c2c0
ocaml(Sexplib__Sexp) = 7c4d572be7fda86c18d9539931a3ac76
ocaml(Sexplib__Sexp_intf) = 40156fb9c778da83681854664b47a633
ocaml(Sexplib__Src_pos) = 440b8d43877a2c90d3ecc91bcbec1906
ocaml(Sexplib__Std) = 3eb28a2934979392e895ccd7c13994b7
ocaml(Sexplib__Type) = 2e7a2467630646dbe09e3f709e056231
ocaml(Sexplib__Type_with_layout) = 554589f188fa04e278683395f88a51cc
ocaml(Sexplib_num) = 966a1aa06b990e095c60e7f91da80a91
ocaml(Sexplib_num__Sexplib_num_conv) = a48d90cc8e309ab989cdf636cce1b773
ocaml(Sexplib_num__Std) = 0a985025ebf2f36c9dc5de51da4c800a
ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f
ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Bytes) = 3d02c33317c0108c61e7a5eefa37519a
ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Pervasives) = dc77fedcffc67c0119b789c66d5ef7bf
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Queue) = b066724fe533c7b8fc9b521e37aedad8
ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
ocaml-num(x86-64)
ocaml-zip-devel(x86-64)
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/lib/.build-id
/usr/lib/.build-id/35
/usr/lib/.build-id/35/dba420be987c596e66d7ff0f7fd075ebc82151
/usr/lib64/ocaml/why3
/usr/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cmi
/usr/lib64/ocaml/why3/why3.cmxs

  
ICM