Dependencies
Provides
- ocaml(Dimacs) = 17481e1150022e57bd492b42df86f691
- ocaml(Genequlin) = 5ea4f58cb3548b4741498bca5969178d
- ocaml(Hypothesis_selection) = 8f23c109e434b8530e6309e8c1e6211e
- ocaml(Python) = ab59b16b8de726bb03353f513a7a76bc
- ocaml(Tptp) = 9a3b44a2975fb889728dd0b03e005e26
- why3 = 1.2.0-1.mga7
- why3(armv7hl-32) = 1.2.0-1.mga7
Requires
- alt-ergo
- coq
- libc.so.6
- libc.so.6(GLIBC_2.10)
- libc.so.6(GLIBC_2.11)
- libc.so.6(GLIBC_2.16)
- libc.so.6(GLIBC_2.17)
- libc.so.6(GLIBC_2.28)
- libc.so.6(GLIBC_2.4)
- libc.so.6(GLIBC_2.7)
- libc.so.6(GLIBC_2.9)
- libdl.so.2
- libdl.so.2(GLIBC_2.4)
- libgdk-x11-2.0.so.0
- libgdk_pixbuf-2.0.so.0
- libglib-2.0.so.0
- libgobject-2.0.so.0
- libgtk-x11-2.0.so.0
- libgtksourceview-2.0.so.0
- libm.so.6
- libm.so.6(GLIBC_2.29)
- libm.so.6(GLIBC_2.4)
- libpango-1.0.so.0
- libpthread.so.0
- libpthread.so.0(GLIBC_2.4)
- libz.so.1
- ocaml(CamlinternalFormatBasics) = e065a8b8027a7269fbe69420861f3140
- ocaml(CamlinternalLazy) = 99feaf3fb1fef8a55607bf0f4e9c9c5b
- ocaml(CamlinternalMod) = 7dcb9bcfb682107f145a641fd7ec59e8
- ocaml(MenhirLib) = 569ea5f8d0cbded1d6fbbdd209035f06
- ocaml(Stdlib) = 785bc4357cd198defc8f1d3d8a46bf31
- ocaml(Stdlib__arg) = f4a0f83922134c40f8eb972794d64103
- ocaml(Stdlib__array) = f10b61e53267652b8823075c289eff0e
- ocaml(Stdlib__bigarray) = fc1aa91cdfe245e30930771ff67c0b05
- ocaml(Stdlib__buffer) = 47741a304c36252fb0d02df4002cd45b
- ocaml(Stdlib__char) = 6383a30ad3a6ba875e99d104b0ac895b
- ocaml(Stdlib__complex) = e9bb8037318eb026e17c232baa69f0d6
- ocaml(Stdlib__filename) = c1ab73cc861ed1e88e4d9649883de6ab
- ocaml(Stdlib__format) = ded827a86373f27e1e1668a07e19a5f0
- ocaml(Stdlib__hashtbl) = 604c8339f788853d04a57b7015e3ab28
- ocaml(Stdlib__int32) = 9face80aef14e72b91da5c1a7ef42376
- ocaml(Stdlib__int64) = 678dd94a831e040b9d89ed6046dca2a3
- ocaml(Stdlib__lazy) = d20dd5c9a3c7cfe4ff673ca9f4d1db5f
- ocaml(Stdlib__lexing) = 5dab01a8724e0e13df2d86054a5b4940
- ocaml(Stdlib__list) = 6ac77ba2b0170f6297044c5028e5a32c
- ocaml(Stdlib__map) = 2b51a8a34feedf31a635a8ddcfde859d
- ocaml(Stdlib__nativeint) = 9ed286c714ad64f5aea2904e599e0416
- ocaml(Stdlib__obj) = dee2aaa1e4d02f8d2c44fe83f8df0aaf
- ocaml(Stdlib__parsing) = e3e7b6283651c61b64d020218afd2444
- ocaml(Stdlib__printf) = 1e129649940609c444244e9f06f0be2e
- ocaml(Stdlib__queue) = 5e6ae1f9aaef12b613b13c18e99086a9
- ocaml(Stdlib__random) = 723e24b742987d757fa59507f4b45936
- ocaml(Stdlib__seq) = 5714d5da4a2ed04debb615c21e61bad9
- ocaml(Stdlib__set) = a52672326ca391bcc902a00841479c39
- ocaml(Stdlib__stack) = a0ebd14997dbcd7f356888e0e1146de5
- ocaml(Stdlib__string) = cf3a35a636b40f4dfa3c7f93ef2f2d33
- ocaml(Stdlib__sys) = 083703b1bc3524a4912f1c97b4d508f4
- ocaml(Stdlib__uchar) = 6d473d0370eac1a310ce126c25d7883a
- ocaml(Str) = 30f54c0be0d80a8362b6dd47773463d5
- ocaml(Unix) = df164073631805bfe89500851a57dedf
- ocaml(Why3) = 6c26555557dc42d5291f4e521d36a3bb
- ocaml(runtime) = 4.07.1
- rpmlib(CompressedFileNames) <= 3.0.4-1
- rpmlib(FileDigests) <= 4.6.0-1
- rpmlib(PayloadFilesHavePrefix) <= 4.0-1
- rpmlib(PayloadIsXz) <= 5.2-1
- vim-minimal
