ocaml-why3-1.1.0-4.mga7.x86_64.rpm


Advertisement

Description

ocaml-why3 - OCaml library for why3

Property Value
Distribution Mageia Cauldron
Repository Mageia Core x86_64
Package name ocaml-why3
Package version 1.1.0
Package release 4.mga7
Package architecture x86_64
Package type rpm
Installed size 24.58 MB
Download size 5.66 MB
Official Mirror distrib-coffee.ipsl.jussieu.fr
The why3 library is an OCaml library providing access to the why3 program prover.

Alternatives

Package Version Architecture Repository
ocaml-why3-1.1.0-4.mga7.i586.rpm 1.1.0 i586 Mageia Core
ocaml-why3 - - -

Requires

Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
ocaml(Big_int) == 1ee3561e99a0efaea38f938f38b1c150
ocaml(Big_int_Z) == ae6fc9d69998765c09ec7a9382a6ba8f
ocaml(CamlinternalFormatBasics) == e065a8b8027a7269fbe69420861f3140
ocaml(CamlinternalLazy) == 99feaf3fb1fef8a55607bf0f4e9c9c5b
ocaml(Dynlink) == 0f0da39eb1b83bda4425abcdcdb69fcf
ocaml(Gzip) == fe6c0f60a7fdcd356b471565aec679fb
ocaml(MenhirLib) == 569ea5f8d0cbded1d6fbbdd209035f06
ocaml(Nat) == 37eb0a77250b4ea1db2c7dc9de027ac3
ocaml(Stdlib) == 785bc4357cd198defc8f1d3d8a46bf31
ocaml(Stdlib__arg) == f4a0f83922134c40f8eb972794d64103
ocaml(Stdlib__array) == f10b61e53267652b8823075c289eff0e
ocaml(Stdlib__bigarray) == fc1aa91cdfe245e30930771ff67c0b05
ocaml(Stdlib__buffer) == 47741a304c36252fb0d02df4002cd45b
ocaml(Stdlib__bytes) == 32f2c8f51b984df9694b2a6922211e8c
ocaml(Stdlib__char) == 6383a30ad3a6ba875e99d104b0ac895b
ocaml(Stdlib__complex) == e9bb8037318eb026e17c232baa69f0d6
ocaml(Stdlib__digest) == ff82b06eda0f49d89a14421cfd53067e
ocaml(Stdlib__filename) == c1ab73cc861ed1e88e4d9649883de6ab
ocaml(Stdlib__format) == ded827a86373f27e1e1668a07e19a5f0
ocaml(Stdlib__gc) == 2954cd1add85ddd536ee2f1a3d48da7c
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__printexc) == 0af166e761b709f12783c17249015c2f
ocaml(Stdlib__printf) == 1e129649940609c444244e9f06f0be2e
ocaml(Stdlib__queue) == 5e6ae1f9aaef12b613b13c18e99086a9
ocaml(Stdlib__random) == 723e24b742987d757fa59507f4b45936
ocaml(Stdlib__scanf) == 1f1cf1173886fa83192456e3f901967c
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(Stdlib__weak) == 68728c2d0ffeb52c81b6af75484ff4c3
ocaml(Str) == 30f54c0be0d80a8362b6dd47773463d5
ocaml(Unix) == df164073631805bfe89500851a57dedf
ocaml(Z) == 7c52f87ff5b42b5a527b31c9ee553e77
ocaml(runtime) == 4.07.1
ocaml-compiler -
why3 == 1.1.0-4.mga7

Provides

Name Value
ocaml(Why3) == 023c660acc6409472199695db1a91126
ocaml(Why3extract) == 5eacdab601a960e8466642a000cf0b8e
ocaml-why3 == 1.1.0-4.mga7
ocaml-why3(x86-64) == 1.1.0-4.mga7

Download

Type URL
Binary Package ocaml-why3-1.1.0-4.mga7.x86_64.rpm
Source Package why3-1.1.0-4.mga7.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install ocaml-why3 rpm package:
    # urpmi ocaml-why3

Files

Path
/usr/lib/.build-id/
/usr/lib/.build-id/39/281ee6cb26fc18289f1564fb8504a017aaf62f
/usr/lib/.build-id/5e/9661fb0fc7b85d5d455afc003d4dc3765653e8
/usr/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cma
/usr/lib64/ocaml/why3/why3.cmi
/usr/lib64/ocaml/why3/why3.cmxs
/usr/lib64/ocaml/why3/why3extract.cma
/usr/lib64/ocaml/why3/why3extract.cmi
/usr/lib64/ocaml/why3/why3extract.cmxs

Changelog

See why3-1.1.0-4.mga7.x86_64.rpm changelog.

See Also

Package Description
ocaml-why3-devel-1.1.0-4.mga7.x86_64.rpm Development files for why3
ocaml-x11-4.07.1-2.mga7.x86_64.rpm X11 library for OCaml
ocaml-xen-4.11.0-9.mga7.x86_64.rpm Ocaml libraries for Xen tools
ocaml-xen-devel-4.11.0-9.mga7.x86_64.rpm Ocaml development libraries for Xen tools
ocaml-xhtml-20050620-16.mga7.x86_64.rpm OCaml module for creating valid XHTML 1.1 documents
ocaml-xhtml-devel-20050620-16.mga7.x86_64.rpm Development files for ocaml-xhtml
ocaml-xml-light-2.4-11.mga7.x86_64.rpm Minimal XML parser & printer for OCaml
ocaml-xml-light-devel-2.4-11.mga7.x86_64.rpm Development files for ocaml-xml-light
ocaml-xmlm-1.3.0-3.mga7.x86_64.rpm Streaming XML input/output for OCaml
ocaml-xmlm-devel-1.3.0-3.mga7.x86_64.rpm Development files for ocaml-xmlm
ocaml-yojson-1.4.1-5.mga7.x86_64.rpm An optimized parsing and printing library for the JSON format
ocaml-yojson-devel-1.4.1-5.mga7.x86_64.rpm Development files for ocaml-yojson
ocaml-zarith-1.7-4.mga7.x86_64.rpm Arithmetic and logical operations over arbitrary-precision integers
ocaml-zarith-devel-1.7-4.mga7.x86_64.rpm Development files for ocaml-zarith
ocaml-zed-1.6-5.mga7.x86_64.rpm Abstract engine for text edition in OCaml (development tools)
Advertisement
Advertisement