Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

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

Requires :

ocaml(Apron) = b818f75c4c7d309eca780305f83a9e21
ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea
ocaml(CamlinternalMod) = 5fa4c8f51ec224646787e304daf5f2af
ocaml(CamlinternalOO) = bf3206c1e533a97ee4e00a76bfe1dae6
ocaml(Dynlink) = 2ac2ab0a8d124e227b247c20bcab5597
ocaml(Gzip) = 5d4eeb7e44592a3c3cb50bb83eff96e8
ocaml(MenhirLib) = b1e0b61f4a3c0975b08438635c395d74
ocaml(Mlmpfr) = 9c97c97e010fe43b0273e2fc06385354
ocaml(Mpf) = 8102f86a587a1c30136d47a8d9082f96
ocaml(Mpfr) = 084acb8c95aa20ba394bbd523ef9fcfd
ocaml(Mpfrf) = 4f3c07f0b1f1bdc42257c66cddd7e168
ocaml(Mpq) = c8a02e0e9dbc061d70c28a782f2c55a2
ocaml(Mpqf) = 5b98e9a141ee8d6d8d87313be75a965f
ocaml(Mpz) = c7b21db2c698cfc965441a64c2970540
ocaml(Mpzf) = 3e571648f40e63ce15fd3444e9df2d90
ocaml(Nat) = 44a6c55a82db8f7535013654297fafeb
ocaml(Num) = 6605bc91b61f2ecf28204a3ecfa5942c
ocaml(Parsexp) = a91a9ca657bbd76169fb12e0933f63d2
ocaml(Parsexp__) = ac48ffbc65706fc3ff4c965deb6ca154
ocaml(Parsexp__Automaton_stack) = 8092f25042333776cd48c0efc1a04cac
ocaml(Parsexp__Automaton_stack_intf) = f26299519b5c957addc895ef05916e57
ocaml(Parsexp__Automaton_state) = b4f5657b0dac7b8c27941804c21cf5f3
ocaml(Parsexp__Automaton_state_intf) = 8a7b83dc66969f4fda045cbdf656b83d
ocaml(Parsexp__Conv) = 98dc275bba401d90f47ce537dfdea9fe
ocaml(Parsexp__Conv_error) = 72e961a2481d0bf523557b6e0c97c4c4
ocaml(Parsexp__Conv_intf) = 83985a81bf747300c89f30fac8297d57
ocaml(Parsexp__Cst) = b01ebbc614edf1175c82be0aadba281c
ocaml(Parsexp__Import) = fc7a8c030091e29be3771c64a1adf461
ocaml(Parsexp__Of_sexp_error) = 8e117204feaaf1e6d12189354f7db304
ocaml(Parsexp__Old_parser_cont_state) = 091d39bbb8673605aa423470073dc1b4
ocaml(Parsexp__Parse_error) = b5bca30a246852072a8d727072a7720a
ocaml(Parsexp__Parse_error_intf) = f6ed5a9b3270cac48d7276b9d46c7897
ocaml(Parsexp__Parser) = 303c4d0435fbabf61c07c7930a683a9a
ocaml(Parsexp__Parser_intf) = fc50339e18c9190c520091d53a861f42
ocaml(Parsexp__Parsexp_intf) = 43c104cc88dc12a9f68f537f5f4b83f1
ocaml(Parsexp__Positions) = 14a0519ff82e13e29a1cb2f2536b7630
ocaml(Polka) = ce20ec2fb09cca101410e8bddd75f8bd
ocaml(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe
ocaml(Re) = 14fcd73e313ee9701aa6783ca4faa1ea
ocaml(Re__) = 75d303bedcf0ffb040fcdf2c46524c78
ocaml(Re__Ast) = a0e37d71633e29cb6dd0e1136cdf72e3
ocaml(Re__Automata) = 8027526103f630e31cfa7f5eee5feee2
ocaml(Re__Category) = 6a3b0fa7a3c1c2e62cb9d1fc9f2388a2
ocaml(Re__Color_map) = 29fbf700a9b95df758c11354fa463bd2
ocaml(Re__Compile) = 3dfc0a54d19d44d6a6375385b802eb0c
ocaml(Re__Core) = 81c6d8ad6295b967b69f73bdacee751c
ocaml(Re__Cset) = 7a4024381d01c98a2a7eeffc8def4cbd
ocaml(Re__Fmt) = b17addb04fa196006e1da3620d9abe3d
ocaml(Re__Group) = 93dfbdeabc34543aacfc1cce7abff0d0
ocaml(Re__Mark_infos) = c3bdeb6c4226a41509a561777d0d001b
ocaml(Re__Pmark) = ca20ada50dc6fb9c478afbed6d6e10ee
ocaml(Re__Replace) = a12610ee8111e0143f26e1d65316f99d
ocaml(Re__Str) = c288efae8550ae5ac4f5bcaf181efb80
ocaml(Sexplib) = e1c835a8a232e91b53212cacd9be0341
ocaml(Sexplib0) = bc57abd0c46a6cee44fe4b263ba4788c
ocaml(Sexplib0__) = 4552c85480a8607eb71a37776cfd726f
ocaml(Sexplib0__Sexp) = e43a69ee1bcdbb5e76d1c36226f31279
ocaml(Sexplib0__Sexp_conv) = 69f01d957d139b12947930aac2c87adc
ocaml(Sexplib0__Sexp_conv_error) = 946617819665bcb792bf8df00d47523b
ocaml(Sexplib0__Sexp_conv_grammar) = c37c717a972f7de96bc5cbeb39afd7b5
ocaml(Sexplib0__Sexp_conv_record) = ac339747328e23748350a168a4f69543
ocaml(Sexplib0__Sexp_grammar) = 9ac7cf796c5d1321e3c1699297ef40a1
ocaml(Sexplib0__Sexpable) = 1d32ebcd3e7016f8526c6b117e7edafe
ocaml(Sexplib__Conv) = 9218bb0b61174a8ae88fa47a162caa18
ocaml(Sexplib__Lexer) = f8ffee703dc56d9ed48ff9f4b76310df
ocaml(Sexplib__Parser) = 53149d3ad97190f9a73859679c34a95f
ocaml(Sexplib__Parser_with_layout) = 010cc276b6e2fd5c6b4d4b9f9b61e5e9
ocaml(Sexplib__Pre_sexp) = 570479c4020e891e6073e5e4aaad83ae
ocaml(Sexplib__Sexp) = 27f842e633d8e15cef1e0bf59f280b56
ocaml(Sexplib__Sexp_intf) = 69d58e3dac7b442ad4e3b8b00b541fb3
ocaml(Sexplib__Src_pos) = ea707b05927fb4be4378159ebfbce331
ocaml(Sexplib__Std) = 20285d59260e891a651b94650926776e
ocaml(Sexplib__Type) = b4696f4f2ffc4ab1f8d52ebd2d2bc073
ocaml(Sexplib__Type_with_layout) = 4bb01577179d72f7a54796a65316470b
ocaml(Sexplib_num) = 29b38eec38cf9d6b2714682970178833
ocaml(Sexplib_num__Sexplib_num_conv) = 4669f468cea85e92436c5caf83bc6d57
ocaml(Sexplib_num__Std) = e5ff31c96636ee42c8a449e5ab37e455
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Arg) = 05ccbf24bdb0d5efd37f5ebb7958ae46
ocaml(Stdlib__Array) = 75e38d886ba62047f48c000ae7d8f6f4
ocaml(Stdlib__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d
ocaml(Stdlib__Char) = fb8814fde1438273056af82bd8dcb092
ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095
ocaml(Stdlib__Digest) = 53c6b4c2a619a2a05fa4912189aff5db
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Ephemeron) = 41fb7c3afa3d4ae12dc5a6820eaa3861
ocaml(Stdlib__Filename) = 64ad77d800f2e7471386e2c05efda52e
ocaml(Stdlib__Float) = a5fcb41c938c7cce0687a4055b442b15
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Fun) = 6323fac31f017ca84abfb37c4d34c8d2
ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
ocaml(Stdlib__Int32) = 9cc80815720f462a0569c994dd5f43cc
ocaml(Stdlib__Int64) = 6751ae56a4b21380bb91edc0c69964a3
ocaml(Stdlib__Lazy) = 757b1a23dec7f8ff3ce03118ba27943a
ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__ListLabels) = 782292d5cc0c445b35dbbbf716e399b9
ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e
ocaml(Stdlib__Nativeint) = f3ebb46bfb605d7ad736d6ad609aab8f
ocaml(Stdlib__Obj) = 592f14b225bd7cf0051f4b04372640d7
ocaml(Stdlib__Option) = 3be0d99b92eff9b8e5a209e054f6fee3
ocaml(Stdlib__Printexc) = 1e5e75f741ca414dd916c0c65b646827
ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a
ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131
ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016
ocaml(Stdlib__Scanf) = 47663e686e37586fc1a37b761bbdae33
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d
ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26
ocaml(Stdlib__StdLabels) = 829cb520e117a081d509b093b20ca5c2
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__StringLabels) = 644bd2fb67fd1df5fef9c6c547a6b945
ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Stdlib__Weak) = 2663c108f542800ea027c05c01b4efca
ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda
ocaml(Z) = ca2658ea343645ad5d4facceca973ce7
ocaml-menhir(x86-64)
ocaml-num-devel(x86-64)
ocaml-re-devel(x86-64)
ocaml-sexplib-devel(x86-64)
ocaml-why3(x86-64) = 1.7.2-10.fc41
ocaml-zip-devel(x86-64)
ocamlx(Apron) = 76d2544bb4c0bc6782957817c0661bec
ocamlx(Big_int) = a8aec4d991713d8a01999b6cec4ea6d6
ocamlx(CamlinternalFormat) = 97e89bad19c0bb3c5d9aac70979e92f4
ocamlx(CamlinternalFormatBasics) = 8f7a0c52558222ddb6419f859b4ae97b
ocamlx(CamlinternalLazy) = f09dc2f5577c5c93ea109e25951b09f3
ocamlx(CamlinternalMod) = f450ee845485ecaa2a5e70fe6793167b
ocamlx(CamlinternalOO) = 60b622ed132caff63707c12deca0048e
ocamlx(Dynlink) = 13d30a0c5b9c08bb3210026024c904a1
ocamlx(Dynlink_types) = 864fdc4c4ee535687a05a752a4249232
ocamlx(Gzip) = c40ffcb3041e7156a7aad1d5507de683
ocamlx(MenhirLib) = 57bafcd58a2f845cbd50a1e6b5e769ae
ocamlx(Mlmpfr) = 1c1c646f10ad84472dff2aa0ed9120ab
ocamlx(Mpq) = 9f257f449064daaa796a2dcf618e92c1
ocamlx(Mpqf) = 95a2fc7f504d0e74f40100a10e8c5ac7
ocamlx(Mpz) = 94fb1e3821848ef30970426f0beab4f6
ocamlx(Nat) = 8bbbf788ad0d57c8ed1d81c9881aaf5f
ocamlx(Polka) = eb0abcbdf22eba788553ed64e52cbfde
ocamlx(Re__Compile) = 5a851e3708fb0ef9ecd819e579c78f69
ocamlx(Re__Emacs) = bdea846bd3850234659331b45b7503e5
ocamlx(Re__Str) = a39d8cf7bd11dd9f3d653cf959d5358e
ocamlx(Sexplib) = 9a1a1f295928d3fe092e8f8ca2ce6fe5
ocamlx(Sexplib0__Sexp) = 2f754e1e7a8efe672e749fe1f99d184e
ocamlx(Sexplib0__Sexp_conv) = ad8a072935d646def0e2fd1054324d47
ocamlx(Sexplib0__Sexp_conv_error) = f0cba438e5e54224e4081a6bc8519dfd
ocamlx(Sexplib0__Sexp_conv_record) = 3e65430562b4f5c1573f7d5a4edc4579
ocamlx(Sexplib__Conv) = dd0de083cde4d1ee94726c1432dc5b0e
ocamlx(Sexplib__Pre_sexp) = 499ab5023eaab6fd005f03764bbff886
ocamlx(Sexplib__Sexp) = 547627a66f236a6caade73567a89bd63
ocamlx(Sexplib__Std) = cb7d37d416860ac9fd92bb794187d010
ocamlx(Sexplib_num) = 17208b3ef488c734585f2712b0bb8d07
ocamlx(Sexplib_num__Sexplib_num_conv) = fbf0bc43b646811134924e7da7e5599f
ocamlx(Sexplib_num__Std) = d7f8f5c546280155b2b6d51eb7247bf9
ocamlx(Stdlib) = 447646e3941e7bd0789ef2758721e0f3
ocamlx(Stdlib__Array) = b7d9da309a351bccecadde797717c151
ocamlx(Stdlib__Buffer) = f6093d09693b13a41d4b064708909f19
ocamlx(Stdlib__Bytes) = ab72faec4fd967c32f022465e0a18c69
ocamlx(Stdlib__Char) = 06a8805663dee66a214b77add5781757
ocamlx(Stdlib__Digest) = cd50d1307e629ae1b2ac7d23b6825337
ocamlx(Stdlib__Domain) = 71544e28ee9e69fa7beb65cdaf0ab5da
ocamlx(Stdlib__Ephemeron) = d9feddfcef8f8be7220de4322827c949
ocamlx(Stdlib__Filename) = a3d324f1f4d6876263688c25c67ef8aa
ocamlx(Stdlib__Float) = d9a098604b088cdd3e964e61281d531f
ocamlx(Stdlib__Format) = 3135be609e5accfbf0fbc0a026aa6c77
ocamlx(Stdlib__Fun) = f83d1303c558f312dc57e5a6f0a02ddf
ocamlx(Stdlib__Hashtbl) = 71cad0badc221c796d85471cf48d3eec
ocamlx(Stdlib__Int64) = 57f962b4f86aa6fdd47497762191be90
ocamlx(Stdlib__Lazy) = 168b47a0c3a4cf29d6b1796308fce4a7
ocamlx(Stdlib__Lexing) = 07b494939da9c2c20ec408bf5d9a9212
ocamlx(Stdlib__List) = 0c98d5e09fe7a58103f7fc0c065faf7b
ocamlx(Stdlib__Map) = cbfdde26f9e6e367647462ede44f1a83
ocamlx(Stdlib__Obj) = f840576eed6fbee4a626d3a2d613159b
ocamlx(Stdlib__Option) = 07b902da443ee78cff743d207e14cd09
ocamlx(Stdlib__Printexc) = 185f88c97251041c42dc4925b941e928
ocamlx(Stdlib__Printf) = 54c7953241aed8573e2f379e8a996fd1
ocamlx(Stdlib__Queue) = 97c81a243744f05e436501e0499b73fb
ocamlx(Stdlib__Random) = 6838acf8d0092c59da69bf08ac50c5ee
ocamlx(Stdlib__Scanf) = 365ff4b8049b7479b0a8e5468b60b71e
ocamlx(Stdlib__Set) = 7e3a014bb150429f58d611f7895f4c45
ocamlx(Stdlib__Stack) = c0437f42d4fc9aed924149fca194fbd7
ocamlx(Stdlib__String) = 004d7d68dd714c3e4be7d6067fc1f7a3
ocamlx(Stdlib__Sys) = 06d93ff2d7ab9f4e8c6eb947334653b3
ocamlx(Stdlib__Weak) = 4cb2792bcff2a70d4c47e79693d128de
ocamlx(Unix) = 6b45c751df5053825fae2fd8e3d97731
ocamlx(Z) = 7bb34a38944155ed6cbd58b20b8bc6fe
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/why3/why3.a
/usr/lib64/ocaml/why3/why3.cmt
/usr/lib64/ocaml/why3/why3.cmx
/usr/lib64/ocaml/why3/why3.cmxa