ocaml-why3-1.2.0-1.mga7.i586.rpm


Advertisement

Description

ocaml-why3 - OCaml library for why3

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-why3-1.2.0-1.mga7.i586.rpm
Package name ocaml-why3
Package version 1.2.0
Package release 1.mga7
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage http://why3.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 5.48 MB
Installed size 22.97 MB
The why3 library is an OCaml library providing access to the why3 program prover.

Alternatives

Package Version Architecture Repository
ocaml-why3-1.2.0-1.mga7.x86_64.rpm 1.2.0 x86_64 Mageia Core
ocaml-why3 - - -

Requires

Name Value
libc.so.6(GLIBC_2.1.3) -
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.2.0-1.mga7

Provides

Name Value
ocaml(Why3) = 6c26555557dc42d5291f4e521d36a3bb
ocaml(Why3extract) = 5eacdab601a960e8466642a000cf0b8e
ocaml-why3 = 1.2.0-1.mga7
ocaml-why3(x86-32) = 1.2.0-1.mga7

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-why3-1.2.0-1.mga7.i586.rpm
Source Package why3-1.2.0-1.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-why3 rpm package:
    # dnf install ocaml-why3

Files

Path
/usr/lib/.build-id/
/usr/lib/.build-id/88/4d764a4365f6747438f0bf4aff332283901757
/usr/lib/.build-id/de/831027fd238638668bddbc7bc06fa70a06fb73
/usr/lib/ocaml/why3/META
/usr/lib/ocaml/why3/why3.cma
/usr/lib/ocaml/why3/why3.cmi
/usr/lib/ocaml/why3/why3.cmxs
/usr/lib/ocaml/why3/why3extract.cma
/usr/lib/ocaml/why3/why3extract.cmi
/usr/lib/ocaml/why3/why3extract.cmxs

Changelog

2019-03-06 - daviddavid <daviddavid> 1.2.0-1.mga7
+ Revision: 1371993
- new version: 1.2.0
2019-01-02 - daviddavid <daviddavid> 1.1.1-1.mga7
+ Revision: 1348727
- new version: 1.1.1
2018-11-16 - daviddavid <daviddavid> 1.1.0-4.mga7
+ Revision: 1330090
- rebuild for new menhir 20181113
2018-10-25 - tv <tv> 1.1.0-3.mga7
+ Revision: 1325282
- rebuild with ocaml-4.07.1
2018-10-25 - daviddavid <daviddavid> 1.1.0-2.mga7
+ Revision: 1325224
- rebuild for new ocaml 4.07.1
2018-10-21 - daviddavid <daviddavid> 1.1.0-1.mga7
+ Revision: 1323261
- new version: 1.1.0
2018-09-30 - daviddavid <daviddavid> 1.0.0-3.mga7
+ Revision: 1312657
- rebuild for new menhir 20180905
2018-08-24 - daviddavid <daviddavid> 1.0.0-1.mga7
+ Revision: 1253664
- new version: 1.0.0
- define bcond frama-c if a bootstrap build is needed
2018-03-25 - daviddavid <daviddavid> 0.88.3-2.mga7
+ Revision: 1212407
- rebuild for new ocaml-zarith 1.7
2018-02-10 - daviddavid <daviddavid> 0.88.3-1.mga7
+ Revision: 1200031
- new version: 0.88.3

See Also

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