Wed, 18 Sep 2024 23:59:28 UTC | login

Information for RPM ocaml-why3-1.7.2-7.fc41.riscv64.rpm

ID1363291
Nameocaml-why3
Version1.7.2
Release7.fc41
Epoch
Archriscv64
SummarySoftware verification library for ocaml
DescriptionThis package contains an ocaml library that exposes the functionality of why3 to applications.
Build Time2024-07-25 11:15:38 GMT
Size4.22 MB
e9373983f8d5fcb54970eb58e85ced3b
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
git:https://gitlab.inria.fr/why3/why3.git
Buildrootf41-build-821301-152509
Provides
ocaml(Why3) = f6fad8fce053e6cb9e071f58135d9edf
ocaml-why3 = 1.7.2-7.fc41
ocaml-why3(riscv-64) = 1.7.2-7.fc41
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Apron) = b818f75c4c7d309eca780305f83a9e21
ocaml(Big_int) = 05dfc47106cd6aca9cf13aaa96fdab94
ocaml(CamlinternalFormatBasics) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(CamlinternalLazy) = 28173492bf873b63b1060c5b0431a0ea
ocaml(MenhirLib) = 49db20f5c1f9f55544f043eecdf995e3
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(Ratio) = 8b2065b1c07bbec80eb3ece6142edffe
ocaml(Re) = 6af76a7e0d89517c94fa83f8826f7eec
ocaml(Re__) = fe8218f136de4aba163b2624a990b7ba
ocaml(Re__Automata) = f6853de4d06969a82994aa120476c110
ocaml(Re__Category) = f884e36d09694beee5f3c85c0ae15b58
ocaml(Re__Core) = ce128d16ad4ff28f8c836bbf35ff19dc
ocaml(Re__Cset) = 6425582742cfe2145508a7ed4ce5bb67
ocaml(Re__Pmark) = 28e13f44fa157f417d552cff666b706c
ocaml(Re__Str) = a57d81748eb8023c2fafc4ec3d24d06c
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__Bigarray) = 8317b42277334e4ae5794d3cbabcaf4f
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Bytes) = d5a54ebfd096c4af2a47315dda118f2d
ocaml(Stdlib__Complex) = 052959c6d02e4e692e7944dd137c4095
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
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__Printf) = 9472a4e324507b23e36ef7898eaf654a
ocaml(Stdlib__Queue) = 529a380570e16ab90ecaadac1e8da131
ocaml(Stdlib__Random) = 26bd5f3c4583754e9849d2687c862016
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Set) = e9b5fe6ac716b65c5e3c97f68818280d
ocaml(Stdlib__StdLabels) = 829cb520e117a081d509b093b20ca5c2
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__StringLabels) = 644bd2fb67fd1df5fef9c6c547a6b945
ocaml(Stdlib__Sys) = 2e2014075d059884968a977ade23ac1f
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
ocaml(Unix) = 59e61ff7441dfacaa24d4eed6d45eeda
ocaml(Z) = ca2658ea343645ad5d4facceca973ce7
ocaml-zip-devel(riscv-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)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 7 of 7
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/920.00 B
/usr/lib/.build-id/92/5bf43a47fd52880b1f7ac9de293d8843d177b442.00 B
/usr/lib64/ocaml/why30.00 B
/usr/lib64/ocaml/why3/META261.00 B
/usr/lib64/ocaml/why3/why3.cmi450.98 KB
/usr/lib64/ocaml/why3/why3.cmxs16.00 MB
Component of
1 through 1 of 1
Buildroot descending sort Created State
f41-build-821775-152618 2024-07-25 13:10:56 expired