Tue, 14 Jan 2025 12:47:43 UTC | login

Information for RPM ocaml-why3-1.8.0-1.fc42.riscv64.rpm

ID1489686
Nameocaml-why3
Version1.8.0
Release1.fc42
Epoch
Archriscv64
SummarySoftware verification library for ocaml
DescriptionThis package contains an ocaml library that exposes the functionality of why3 to applications.
Build Time2025-01-12 21:09:35 GMT
Size4.38 MB
7ace5272d9c3fb2af2e6b7320362601d
LicenseLGPL-2.1-only WITH OCaml-LGPL-linking-exception
git:https://gitlab.inria.fr/why3/why3.git
Buildrootf42-build-866045-173661
Provides
ocaml(Why3) = edbca27166255745d1fe396583290798
ocaml-why3 = 1.8.0-1.fc42
ocaml-why3(riscv-64) = 1.8.0-1.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Apron) = 625132dea239a2e2bbf87d00b65e3c63
ocaml(Big_int_Z) = f7619514b131a39933cc9ce06f741304
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848
ocaml(MenhirLib) = 9a5c2a39e3601013dcb5073bf9979b09
ocaml(Mpf) = a0a3bb70b7f20754ca17dac516db0b21
ocaml(Mpfr) = 3986f19b0b34ab89059bc7efe37926b4
ocaml(Mpfrf) = 342031cfb42ee7cc16c55654f3afe352
ocaml(Mpq) = 452c18653d1d4565db57a084b09eeb68
ocaml(Mpqf) = b281353479c9b5c5891fa52ba1868bfc
ocaml(Mpz) = a3e5638c502e05ed65b11cbac6ec6ebd
ocaml(Mpzf) = d22e50f7cbbf67e5d84451e276321844
ocaml(Parsexp) = 49717a9adf17ceef564066fd67f91b7a
ocaml(Parsexp__) = ce7e8bcced9d54a2ce281195da05da49
ocaml(Parsexp__Automaton_stack) = 8e5ba0d85ad9017c842fba2a810a1d51
ocaml(Parsexp__Automaton_stack_intf) = ad069c128f0289f77a7625e1c70e1f16
ocaml(Parsexp__Automaton_state) = 05fdf46d0f533fd04dafe884b8d6042e
ocaml(Parsexp__Automaton_state_intf) = 9363fc678345bb0ad89729eddb4c34ec
ocaml(Parsexp__Conv) = c309ff4efa31a7df0f5db010bc090bfd
ocaml(Parsexp__Conv_error) = 7cec6fde41958fc7599f6e15f89feb49
ocaml(Parsexp__Conv_intf) = 74eb3cdb6b31f44165dd7a16e468208d
ocaml(Parsexp__Cst) = 913b7539f4e928839b41a29884998eff
ocaml(Parsexp__Import) = b0088da00fc5f858d6fa8f3760172af1
ocaml(Parsexp__Of_sexp_error) = 15687df5182251d43d4fa3586fb909c9
ocaml(Parsexp__Old_parser_cont_state) = 64359c17eab7290ca3e15e85aa5174cd
ocaml(Parsexp__Parse_error) = 9ec699ed4691a0dc7da338cfef0f0b29
ocaml(Parsexp__Parse_error_intf) = 8183c112e66e0dd5e32f3e806cf6d335
ocaml(Parsexp__Parser) = 579bf74c0d59e1e2f84e16647598e349
ocaml(Parsexp__Parser_intf) = 7a1f83900118a10c01603e9e67306916
ocaml(Parsexp__Parsexp_intf) = 5454f574a12ae7bcae28405517376f61
ocaml(Parsexp__Positions) = 4b7555123d9ba967520f07fd60a6f280
ocaml(Re) = 94063f8780394293664e78b9a1c3b870
ocaml(Re__) = ecb3863b886df299af3a2e12bb1c2380
ocaml(Re__Ast) = 3ef6861ca78e99a3a7e3caec50ffde73
ocaml(Re__Automata) = 527422858a46734901a621b29ad24a05
ocaml(Re__Category) = 31d5cadc13df53119b05a7a85ca205dd
ocaml(Re__Color_map) = b5d4c7473ed8d5a1ef8e38ffb7fc8add
ocaml(Re__Compile) = 38f7f832c8f3c0e4df6f927fedae8014
ocaml(Re__Core) = b2115de78a75a33428688637c246c594
ocaml(Re__Cset) = dcbb1647bfedd5727c76374a54814ddc
ocaml(Re__Fmt) = 1ce25e0f63d6500d435c74277aee406d
ocaml(Re__Group) = 8a54138d4dafd5ef15a917dda12a3582
ocaml(Re__Mark_infos) = 55883bd67665f05d542afff217c78f59
ocaml(Re__Pmark) = c0c1a0ccfb28321dd52061415d8401f9
ocaml(Re__Replace) = 53427fcef59ba09593a2f31a0f30a9e4
ocaml(Re__Str) = 8e15c849f5a934da9eeb707656a4dee8
ocaml(Sexplib) = b82a55a891898dce0e60f76568c4a5bd
ocaml(Sexplib0) = bc68dbd2e76339ec5638da9d4c338f13
ocaml(Sexplib0__) = feb269136f42dd22b4e94da8028d5208
ocaml(Sexplib0__Sexp) = daf559cf5a6289d9a29acc235f0116fe
ocaml(Sexplib0__Sexp_conv) = cb103b194b288fe4bbcac4c04cd5f15a
ocaml(Sexplib0__Sexp_conv_error) = 8ea39320244fca57917ca8659cf3c6cf
ocaml(Sexplib0__Sexp_conv_grammar) = b08d94ca27b3da663c99442a27621ea6
ocaml(Sexplib0__Sexp_conv_record) = 017827ead8ca51bcfa9a29afb34036c0
ocaml(Sexplib0__Sexp_grammar) = bd6d71eee88627da787e2aa62c859f13
ocaml(Sexplib0__Sexpable) = 03ca70cb2474523dfafbff8b0ca7463c
ocaml(Sexplib__Conv) = 0c6da661849c35bfc3806105072fa3e2
ocaml(Sexplib__Lexer) = 55581d9b0aada10d203178749c05e70e
ocaml(Sexplib__Parser) = 20c469110fa5b1eac71d19490810eba1
ocaml(Sexplib__Parser_with_layout) = 5f94ab5c4a94809368978010da0e592b
ocaml(Sexplib__Pre_sexp) = 37e057c6318444d9a01fdb243020d3b8
ocaml(Sexplib__Sexp) = 15dd24523d5c16fb6609c3098dbbd522
ocaml(Sexplib__Sexp_intf) = a0eeb9c9258f0d190676188cfc0b50b9
ocaml(Sexplib__Src_pos) = 4e13ec0eff7fa196f72b2916e233c306
ocaml(Sexplib__Std) = 1f94b406af48428e38a3ef380bed5c66
ocaml(Sexplib__Type) = 66be30507c6e7b40e157cdb03232e58e
ocaml(Sexplib__Type_with_layout) = beaf3278860bf9255e5c612ad0942d64
ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7
ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38
ocaml(Stdlib__Bigarray) = 48d809166755e49b65071aace2089c7d
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5
ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7
ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705
ocaml(Stdlib__Lazy) = 1d6be45458ac0f04df24caf4c6b0825f
ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
ocaml(Stdlib__ListLabels) = 9d8c7a36d981cc0636f00d3d90085f3e
ocaml(Stdlib__Map) = 47e4764001c77d7f7f16e12956f2a212
ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3
ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181
ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7
ocaml(Stdlib__StdLabels) = 9489f47570748c065cda68828e47e65f
ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
ocaml(Stdlib__StringLabels) = d951881c5470b7996c3d2bd916aa2b93
ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
ocaml(Unix) = 868346220c1cf1283db920a0b40698e5
ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f
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 6 of 6
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/c8/212c854584fe2d1707fbad648c9579803521e242.00 B
/usr/lib64/ocaml/why30.00 B
/usr/lib64/ocaml/why3/META252.00 B
/usr/lib64/ocaml/why3/why3.cmi465.35 KB
/usr/lib64/ocaml/why3/why3.cmxs16.50 MB
Component of No Buildroots