Tue, 14 Jan 2025 12:29:48 UTC | login

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

ID1489682
Nameocaml-why3-devel
Version1.8.0
Release1.fc42
Epoch
Archriscv64
SummaryDevelopment files for using the ocaml-why3 library
DescriptionThis package contains development files needed to build applications that use the ocaml-why3 library.
Build Time2025-01-12 21:09:35 GMT
Size13.04 MB
b171d53c65a0a08809598cfc6d778b73
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-devel = 1.8.0-1.fc42
ocaml-why3-devel(riscv-64) = 1.8.0-1.fc42
ocamlx(Why3) = 7e893eaef0a5604fd89200c43ae2fb82
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Apron) = 625132dea239a2e2bbf87d00b65e3c63
ocaml(Big_int_Z) = f7619514b131a39933cc9ce06f741304
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(CamlinternalLazy) = e6f402abe3d0b60a19bf6c6c6c6f0848
ocaml(CamlinternalMod) = 2841d459081b0d0dfe3bde24f9787af1
ocaml(CamlinternalOO) = e79775f1d870ceba2a88f0340a0810e8
ocaml(Dynlink) = fecb619bede234b520106e08984c0058
ocaml(Gzip) = 372221fdb10461cb916ad0c53a4a9aa5
ocaml(MenhirLib) = 9a5c2a39e3601013dcb5073bf9979b09
ocaml(Mlmpfr) = d6f6e515be80b5d64d839cb993131879
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(Polka) = 12048dbb3b7904de8530c10ae06d2593
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__Array) = 9d976b3b47c2c5800331b7449565b98c
ocaml(Stdlib__Bigarray) = 48d809166755e49b65071aace2089c7d
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Bytes) = ad0e607bc378f814f5d4913a8a7b8bc5
ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2
ocaml(Stdlib__Complex) = eea5b6e1b092aae36e0428633d5272d9
ocaml(Stdlib__Digest) = 79b5d577ed7cbf094b2a76c06479bd89
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Ephemeron) = 2c709fbfd59ad1519b2219df1c3a6d63
ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f
ocaml(Stdlib__Float) = cc43cf248699c71c187a6295617194b3
ocaml(Stdlib__Format) = 0ebac7e879592236ff0000cd94267ec7
ocaml(Stdlib__Fun) = ef4eeed65dc55c6a6c0429c8daf42a1c
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__Option) = 1f125c281d6cce512ab4ed7b9a269937
ocaml(Stdlib__Printexc) = a8ffdc3139410f2a727c983fc6b29d5e
ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
ocaml(Stdlib__Queue) = b8e767cc53f52dafa1719c723bf4b181
ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f
ocaml(Stdlib__Scanf) = f1fb8faa0240204ffa3944fe78ada705
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7
ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc
ocaml(Stdlib__StdLabels) = 9489f47570748c065cda68828e47e65f
ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
ocaml(Stdlib__StringLabels) = d951881c5470b7996c3d2bd916aa2b93
ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620
ocaml(Unix) = 868346220c1cf1283db920a0b40698e5
ocaml(Z) = 344fdf1f860a9d8e1bb477fff2df886f
ocaml-menhir(riscv-64)
ocaml-num-devel(riscv-64)
ocaml-re-devel(riscv-64)
ocaml-sexplib-devel(riscv-64)
ocaml-why3(riscv-64) = 1.8.0-1.fc42
ocaml-zip-devel(riscv-64)
ocamlx(Apron) = f49941c427e2b67f11f1a3b631a74da8
ocamlx(Big_int_Z) = b6fcc4c97c406233b4195fba1798f76e
ocamlx(CamlinternalFormat) = f1ab66cb30c6feb059ed4e4305b99ad2
ocamlx(CamlinternalFormatBasics) = 9a4b29f13d1e7f737f80587da2a10cdf
ocamlx(CamlinternalLazy) = e09503f1928c92c5b9d62c3a764fa02c
ocamlx(CamlinternalMod) = e135e1f1a48662d611cb95cdb87e889a
ocamlx(CamlinternalOO) = 4e613462c5209cda820b4c04f98c5b04
ocamlx(Dynlink) = 736c47147ea3ab1b3c7ec80857a7a6ef
ocamlx(Dynlink_types) = 1512d403e7201f0412450870cd69350a
ocamlx(Gzip) = a8b2cd57ece191f8b79e66e1ada6cf93
ocamlx(MenhirLib) = 23f616f0d5cbd29fc6103a39a258e6cb
ocamlx(Mlmpfr) = fdfe4254705ad0717166ab8f66644f31
ocamlx(Mpq) = b5536834422798cc98c2013c152e1731
ocamlx(Mpqf) = 68374f2ab9774ae9be7b3dac2621222a
ocamlx(Mpz) = 6a8486073a056db80946f608c1f4c75a
ocamlx(Polka) = 42e7b9f2b2de1dafe4f81bf075b4aa9f
ocamlx(Re__Compile) = eb7858b9350b6abde55084d939230010
ocamlx(Re__Emacs) = 716486a1227be208b0ec3061ec1464bf
ocamlx(Re__Str) = c1501cf6064e0e5dc600346b8e84de21
ocamlx(Sexplib) = 5f9e6dbb144c018fcda594a1a5d1caf2
ocamlx(Sexplib0__Sexp) = 35208f72bc95878c3b2d60d7a1d2129d
ocamlx(Sexplib0__Sexp_conv) = d671920d9433c71eba21610a50405249
ocamlx(Sexplib0__Sexp_conv_error) = 5522a0f764d9b9c66cf47879c5b87eeb
ocamlx(Sexplib0__Sexp_conv_record) = 26cbba0b5f5435c916a77fd019b39842
ocamlx(Sexplib__Conv) = 2e61c01f5acc065f4600f29090e0bb36
ocamlx(Sexplib__Pre_sexp) = 00c783f461df5ec437e9dd605511d1d1
ocamlx(Sexplib__Sexp) = 03556ca59782322bee43c1e58a448faa
ocamlx(Sexplib__Std) = 74fa4dbace256f9bb6a3d5ec3510afaa
ocamlx(Stdlib) = 44f50b82ac66695b142925b5ca8bcc91
ocamlx(Stdlib__Array) = 6404162ec33be9da742187b2e7daa6dd
ocamlx(Stdlib__Buffer) = 8bfec1bb8025d5663957b5cb3fb43d7a
ocamlx(Stdlib__Bytes) = ac33bbc94d1715627aedd97c0d71dbe5
ocamlx(Stdlib__Char) = 97160a7c0c91803185a52780c7c16987
ocamlx(Stdlib__Digest) = 609226fec6ce4e57e91a426bdf2659da
ocamlx(Stdlib__Domain) = 03a029c7c0bd3ab3d998e402bfe1e4dc
ocamlx(Stdlib__Ephemeron) = 24e0f8ab1405b59855ab9354f971de2e
ocamlx(Stdlib__Filename) = 5ddda9b554b28b82c669e84ba477e330
ocamlx(Stdlib__Float) = 4572024cdfba7a71da2aec384a5ce786
ocamlx(Stdlib__Format) = 3f89da41a87017ba4e3a9b2ead68b563
ocamlx(Stdlib__Fun) = 4ea7e801ef611cd3692d78f6dba54df4
ocamlx(Stdlib__Hashtbl) = 1aee99c15b532bac42321d046d148b7d
ocamlx(Stdlib__Int64) = e1e2832c9d72b66741e3ea1bbbe2e8a6
ocamlx(Stdlib__Lazy) = 15bdc1bcec0b983198bc8601391e7bd6
ocamlx(Stdlib__Lexing) = f4f1110b97c9a35dc4f53f94a8a43d45
ocamlx(Stdlib__List) = c54a9fe3c1be8da9d52b0c5dfccb8304
ocamlx(Stdlib__Map) = 38bf69fbc5d75df3afdb0d36ac5f0a95
ocamlx(Stdlib__Obj) = 3668baaae085ca728922d23e58364cd7
ocamlx(Stdlib__Option) = bf8c73059b9314703fa115bddabe3d6b
ocamlx(Stdlib__Printexc) = a174c13db58c48faaa078074443704e3
ocamlx(Stdlib__Printf) = d684bd439c5cd6675e8dbdb2407652fa
ocamlx(Stdlib__Queue) = d508be67e8cd7f93d169a2e4b7430bf6
ocamlx(Stdlib__Random) = 4b4d0e60f5d1223ff8e1fd34ae84ade0
ocamlx(Stdlib__Scanf) = 78edb0fef5dd418389f8cfad4669d6d8
ocamlx(Stdlib__Seq) = 2b3abf2e702d66fc34c3f1eadbe3367b
ocamlx(Stdlib__Set) = 7765aba929bac551d4330863158b8946
ocamlx(Stdlib__Stack) = 83d074c9545c749fa9663a06220b6263
ocamlx(Stdlib__String) = 343b4a10f6af2b7002ce3db416b04c17
ocamlx(Stdlib__Sys) = c6216d8af6ac7a00ae387d19a36a9d19
ocamlx(Stdlib__Weak) = b4c11cb5bf6b836faf697b7f1b9cd331
ocamlx(Unix) = 7621c47aed888a2cd96032e4a0ff730a
ocamlx(Z) = a650e1172a1f035e92162a3b49258c0b
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 4 of 4
Name ascending sort Size
/usr/lib64/ocaml/why3/why3.a40.91 MB
/usr/lib64/ocaml/why3/why3.cmt473.25 KB
/usr/lib64/ocaml/why3/why3.cmx17.58 MB
/usr/lib64/ocaml/why3/why3.cmxa8.86 KB
Component of No Buildroots