SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : ocaml-why3
Version : 1.4.1 Vendor : Fedora Project
Release : 3.fc36 Date : 2022-06-22 18:48:17
Group : Unspecified Source RPM : why3-1.4.1-3.fc36.src.rpm
Size : 10.87 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/updates/36/Everything/x86_64/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-why3-1.4.1-3.fc36.x86_64.rpm
     

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

Requires :
ocaml(Big_int) = 2810cdef87811739c860656c04d2809e
ocaml(CamlinternalFormatBasics) = c4b583a727ec28f5bc9ba36adc64cfc7
ocaml(CamlinternalLazy) = 82103148a05e285950684f44991b3567
ocaml(CamlinternalMod) = 92273e2dfce7fcf989bac3ceb0683002
ocaml(CamlinternalOO) = 0dc72c26aced072728a8a6a5770ef533
ocaml(Dynlink) = e73f7e7dfd9263a9c556dc8e487d3600
ocaml(Gzip) = e6fd061939d64bf4a09cc0e4696097c2
ocaml(MenhirLib) = 5ed1364cee0c0d2105f4b5f9bb659638
ocaml(Nat) = 5ad24d0d42d0dcd20a52c964d4de3960
ocaml(Num) = 037d7da085e0d6a42060acb85fd52337
ocaml(Parsexp) = 6431b960b38129925fd06702f84672bb
ocaml(Parsexp__) = 2aea6c1bcf2268a757f891438e239a10
ocaml(Parsexp__Automaton_stack) = e925b9f68d25a8589a43853e3d3eb4e7
ocaml(Parsexp__Automaton_stack_intf) = 29e66e609ea1fb15fc864e3b24edd791
ocaml(Parsexp__Automaton_state) = 4bbf3aefef73959f9f2d379e60fde4c8
ocaml(Parsexp__Automaton_state_intf) = 36163e32813629c03be7b12752b85e56
ocaml(Parsexp__Conv) = 2505de5e634b8bb271c4a0ce850a9c13
ocaml(Parsexp__Conv_error) = aede4cab764babafbc2c73b6843a2d25
ocaml(Parsexp__Conv_intf) = d3990267e3a325f4af33db92a0084f84
ocaml(Parsexp__Cst) = f629bc2f378c4cfc0f4ad9ef3a7942c5
ocaml(Parsexp__Import) = 9eecde96d0126b8b900980e052eb0049
ocaml(Parsexp__Of_sexp_error) = 8fdc093d8a11356a653e0841d4b54347
ocaml(Parsexp__Old_parser_cont_state) = ce077b23639aeb7649e224c7ac5fb031
ocaml(Parsexp__Parse_error) = 4838b60c28fc69a142d1db12293eb417
ocaml(Parsexp__Parse_error_intf) = 0f45928487c08f60080d0e9ec12ef30d
ocaml(Parsexp__Parser) = 4bb419b00e8afbffa09bae95f428cb6d
ocaml(Parsexp__Parser_intf) = 30fe645a0bd1e701bb88a6587dd8ddab
ocaml(Parsexp__Parsexp_intf) = f82bd0fe94d9ec001270672d23496717
ocaml(Parsexp__Positions) = ab45019c5e5992e724335c06d486a3e1
ocaml(Ratio) = 504e9a082e1f9348f705163d40246bbd
ocaml(Re) = 5044deb7dcb851a0fea615c5933795a7
ocaml(Re__) = 0de57feb7ec22ee2e743389c1da1ff13
ocaml(Re__Automata) = 4cec526dc7a420a59679b0d6935cd792
ocaml(Re__Category) = e20ca89f34108bd7d43c8d2a33676919
ocaml(Re__Core) = ab749528b145358c9de0a2e329be2432
ocaml(Re__Cset) = 1bc8636de5e0bc4ac9d1eeb3e07f1f9a
ocaml(Re__Pmark) = edd1673a970e0c3fa6f6bb5f657c5479
ocaml(Re__Str) = 402de534e52b7844d3c0e772ad8d6b53
ocaml(Seq) = f5af16a45a811fff04c088fda58a1ba2
ocaml(Sexplib) = eda61b5314dc428580dc7a87b6505882
ocaml(Sexplib0) = 8452a50dbbe37666dc6597ba4325e320
ocaml(Sexplib0__) = 46d4d45ac8d16381b223d3911264ae49
ocaml(Sexplib0__Sexp) = 80fd28081f1b9b3113a8974fc72f7e84
ocaml(Sexplib0__Sexp_conv) = c7a14300d7dc494fbea8c8f0d66020db
ocaml(Sexplib0__Sexp_conv_grammar) = ee3de2b53274eb58b75ec0247529a030
ocaml(Sexplib0__Sexp_grammar) = 319bb0024fb94f49cbb6c23b58e6dc2c
ocaml(Sexplib__Conv) = 791e79e883680cdc21258c82247bdf03
ocaml(Sexplib__Lexer) = bdd1724e8446d8fcbcc638710fcd02bd
ocaml(Sexplib__Parser) = 9ddd15ebf5af142083129ccf40b5a6af
ocaml(Sexplib__Parser_with_layout) = 1a82dac82ca1df42db3a8705cd960aa5
ocaml(Sexplib__Pre_sexp) = 8fae7026bea521eaa5ed7b61b78d9d61
ocaml(Sexplib__Sexp) = 007e6810d1e2476d1299db263e3af980
ocaml(Sexplib__Sexp_intf) = 6019d6b2d94232a7edb64c075a0e129f
ocaml(Sexplib__Src_pos) = d03e4f46e49f4de1e51b01a3c7883407
ocaml(Sexplib__Std) = a0fea42a78ceb00614e2d3f746f3245d
ocaml(Sexplib__Type) = 36c1b970ffe189e19406feecac6f502f
ocaml(Sexplib__Type_with_layout) = 147bdd1125d4a56ea52842556bd628a7
ocaml(Sexplib_num) = 54d6c5f97bdf80f6828a8ccc6eb85b9e
ocaml(Sexplib_num__Sexplib_num_conv) = c83eb6c8e9370781c35b0a38e38a577d
ocaml(Sexplib_num__Std) = 369ad347340e8fc0907da7fa2810f423
ocaml(Stdlib) = 2d082666be7fc2ba916e7233397491df
ocaml(Stdlib__Arg) = 9340cb29cc363a0d5ad324eb8d6f342a
ocaml(Stdlib__Array) = 581e55eba14aacb7d3a90da809c6bf38
ocaml(Stdlib__Bigarray) = 0658efab07b830634f1823572d2cce61
ocaml(Stdlib__Buffer) = ae6f92ba6bb2f608ab1494d80d56dc6a
ocaml(Stdlib__Bytes) = cbde478960c3a756d3d7c559b25871ed
ocaml(Stdlib__Char) = 61e527e7ba78bf9450c29456437722da
ocaml(Stdlib__Complex) = dc5b34d1ccde5a5d3b060f66f0bf3ab0
ocaml(Stdlib__Digest) = 4288c5825ba53509e91a8d913ee7d5b7
ocaml(Stdlib__Either) = 24a5d315a7028b5fabcaa9f6b3def93c
ocaml(Stdlib__Ephemeron) = e281e6bf083df73d79752e7e0859c84b
ocaml(Stdlib__Filename) = 4815d5ca896991372fe7e52d879cef8b
ocaml(Stdlib__Format) = 7ec40152121873f806ea6f674af87963
ocaml(Stdlib__Hashtbl) = f8a1618a0afdf7b51a7efc58d3ada50b
ocaml(Stdlib__Int32) = d70207015a28d6f8cb16cbf3df490417
ocaml(Stdlib__Int64) = 55e959e4ff2aaf232f465daffa26c424
ocaml(Stdlib__Lazy) = dee386391ddbe73d02c1439b3b21df37
ocaml(Stdlib__Lexing) = 58f88856435bd604950e119384ea45a3
ocaml(Stdlib__List) = a655ec23bee4d972dcda1182a3264cf3
ocaml(Stdlib__Map) = 406d1bc59860d17292fd07fc9e6e19e0
ocaml(Stdlib__Nativeint) = 20906fc1420fb50992a02881ddf59b04
ocaml(Stdlib__Obj) = f013b5ab5f624540d41df4b458d374b4
ocaml(Stdlib__Pervasives) = 972f7c198e72b06bf255eb0a8e40b5da
ocaml(Stdlib__Printexc) = 265cf863b6cc4d76f93e66b2a3ed4ef1
ocaml(Stdlib__Printf) = 0e709b4af7558eb0589bebb98388ce8e
ocaml(Stdlib__Queue) = 6b9f21315cc0db0a21b7aa6bd2b95b7e
ocaml(Stdlib__Random) = 81afc926de6c043b75047c5a3e297b5d
ocaml(Stdlib__Scanf) = 05cc8c67fd4a24a59bf713a6b97deed3
ocaml(Stdlib__Seq) = 4a64380180d45f6d850ce24ab1076b18
ocaml(Stdlib__Set) = 62a5b2299175dac791c30d62e1518738
ocaml(Stdlib__Stack) = 19a2dfcd16d8615b049bb08728d442df
ocaml(Stdlib__String) = 2e8342c86495af4a502e4634e35933ed
ocaml(Stdlib__Sys) = 77e29567f2d5143158a3c6ae227ebb37
ocaml(Stdlib__Uchar) = 6f39f075b573943ab932cfc8fc5bfd5d
ocaml(Stdlib__Weak) = 7471767d4854a5be3a87fb957210a23a
ocaml(Unix) = 49c6c492a189deeaed5bf77a6793e7fa
ocaml-num(x86-64)
ocaml-zip-devel(x86-64)
ocamlx(Big_int) = cff7b9a9eadbdc3a8c9d1cc3a2ffa239
ocamlx(CamlinternalLazy) = 996253023a701ed9829a1b68222ea67d
ocamlx(CamlinternalMod) = 4380b30d1cd2228059adef903b6d5475
ocamlx(CamlinternalOO) = b6cfbb6352de6609ba606db001629dfd
ocamlx(Dynlink) = 11b47fcf109a05bb95439005b49fb630
ocamlx(Gzip) = bd90382ee99472d6d6f59c9ea75eb44f
ocamlx(MenhirLib) = fa075af9910f881d811376a1900fdb87
ocamlx(Re__Str) = b35d76482751685e886af61cb78f6bf2
ocamlx(Sexplib) = a5efa4d8aa4f3bb08e7bde84d1af9ab5
ocamlx(Sexplib__Std) = 7d6ad72c3f612db5fca94cd6b3e6518d
ocamlx(Sexplib_num) = 1773b355856974b25c352cf17beabfa1
ocamlx(Sexplib_num__Std) = 4009fe362ff5bf0ce6a7f511d0ca4ecf
ocamlx(Stdlib) = f8b8b4ee0b917ebd74ad56082a6500fe
ocamlx(Stdlib__Array) = aab10518c3f1158148fe7713d20dc740
ocamlx(Stdlib__Buffer) = 43d30e9472f560e84d2d0f69ae890ba5
ocamlx(Stdlib__Bytes) = 33e3746ac47aa01c0ae846774479f668
ocamlx(Stdlib__Char) = 64ea034a825e47025f1dc8bfe9ae8e10
ocamlx(Stdlib__Digest) = db20b3c13925617b0d6ee0cee73dee3a
ocamlx(Stdlib__Ephemeron) = 4788db7d0103fdede7ab80d57a1dd328
ocamlx(Stdlib__Filename) = 7175ef90d26fb9c64e236ea285539b0d
ocamlx(Stdlib__Format) = f0b02a997e83d9117ebfeb35c9fa61c6
ocamlx(Stdlib__Hashtbl) = 04f772f8913c4d9f535a6c6c2d722fb4
ocamlx(Stdlib__Int64) = d21b229672d4931bbd116e693bba46e1
ocamlx(Stdlib__Lexing) = a8853a0486f377dcf67be29041f89b58
ocamlx(Stdlib__List) = 21b8c13f8a244aae814f6acdfce31ac4
ocamlx(Stdlib__Pervasives) = f15e6b9f6b163d72b32658dc146ed556
ocamlx(Stdlib__Printexc) = 4957d2c96493f27670dfd2ef88bb93dc
ocamlx(Stdlib__Printf) = 54da4609e17a1893e7a0c08168b8726a
ocamlx(Stdlib__Queue) = ebb8d10d2e926dc0b88d90f741be854b
ocamlx(Stdlib__Scanf) = c54b75ea31549ddb66f3824024a0b609
ocamlx(Stdlib__Set) = efe49a5ad96e68a687d220f58858ab41
ocamlx(Stdlib__Stack) = 2847dfe61eaa3801d5f6e39207191314
ocamlx(Stdlib__String) = e3d157a8c85cee272249a1c492e502f5
ocamlx(Stdlib__Sys) = 3aa3655700ec2d80629d3a9555109f96
ocamlx(Stdlib__Weak) = 1a51f14f52d59ceb8e60a9f6f11a82a9
ocamlx(Unix) = 45eeead1ec6814accfdb44f1a2c4ce1e
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/81
/usr/lib/.build-id/81/e6a67511105c8fd0997ac44e6b26ad1ad9178e
/usr/lib64/ocaml/why3
/usr/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cmi
/usr/lib64/ocaml/why3/why3.cmxs

  
ICM