ocaml-why3-0.87.3-3.mga6.x86_64.rpm


Advertisement

Description

ocaml-why3 - OCaml library for why3

Property Value
Distribution Mageia 6.1
Repository Mageia Core x86_64
Package filename ocaml-why3-0.87.3-3.mga6.x86_64.rpm
Package name ocaml-why3
Package version 0.87.3
Package release 3.mga6
Package architecture x86_64
Package type rpm
Category Development/OCaml
Homepage http://why3.lri.fr/
License LGPLv2 with exceptions
Maintainer -
Download size 3.24 MB
Installed size 12.97 MB
The why3 library is an OCaml library providing access to the why3 program prover.

Alternatives

Package Version Architecture Repository
ocaml-why3-0.87.3-3.mga6.i586.rpm 0.87.3 i586 Mageia Core
ocaml-why3 - - -

Requires

Name Value
ocaml(Arg) == 1a93c52516966fe6a58564a4c4d9e4fa
ocaml(Array) == ae800d8cf9903f1d36856950940430e6
ocaml(Big_int) == 05cfd3c522fa6f81e61795896e13f82c
ocaml(Big_int_Z) == 45560a7f100b84a205c8bc76a737b148
ocaml(Buffer) == a579f4a57e300ec755f84af883c1e51b
ocaml(CamlinternalFormatBasics) == 8b069fca1e4d9316b588e5554f38bb24
ocaml(CamlinternalLazy) == 122717041759525de93c0247d8e18b5a
ocaml(CamlinternalMod) == 38ea0fc3a256fe9392f5842b1e24120d
ocaml(Char) == 60fd98ba6ff303baf9287e7bfb886f12
ocaml(Digest) == eab54f58b34b8a6fdc763db6966614a1
ocaml(Dynlink) == 8f97ca03cbb16ea19a1161f8742a28bf
ocaml(Filename) == 3817bec1dad20c6f594d3a85b13020b8
ocaml(Format) == 61d4350242b30078d3ad96c904c9f7a1
ocaml(Gc) == b6fd17066fdc1a10189b41093e32d95d
ocaml(Gzip) == b0b4d70d0081480c3c23e8aa9f3aade3
ocaml(Hashtbl) == bb8e269d690301a1c4ff14a08e96e83e
ocaml(Int32) == f43b8a2972804b40e28b661b6fdf157a
ocaml(Int64) == 3565b288ec68024088360805650448dd
ocaml(Lazy) == 7dba0bf02f60e5ff44e9e4057263f28d
ocaml(Lexing) == 1be6a5484fb3cfb69d2c981438a7be62
ocaml(List) == 8988208489274193e4e3f69dc6ec2f75
ocaml(Map) == 770e6123e5460eeb42d3050f13c5ad53
ocaml(MenhirLib) == 28aa04a96809fbd59405f5c49a181778
ocaml(Nat) == 686f2f8952dd9baa88dd4347c14ba219
ocaml(Nativeint) == d9e04753374f7110b66feda40414e5e3
ocaml(Obj) == 8b014ec57a472d9f3922b63e5de9d1f2
ocaml(Pervasives) == 0d015a5a2136659b0de431be7f1545be
ocaml(Printexc) == fb616c60404add6295347001c01bfcaa
ocaml(Printf) == eb49a17645c5ea2dd298430a3c986186
ocaml(Queue) == 06a89c77a23c672d34cb97e6dfc5f30d
ocaml(Random) == 6d410ecc00aac669668fa399dbd6fca2
ocaml(Scanf) == 31f1631ff7e3da78eabf4b08e91d2861
ocaml(Set) == 487197ccd2fea64d52f1cd917061caf2
ocaml(Stack) == 3397768ddbaaa5d9fe72a4c82cdc6eb9
ocaml(Str) == 98bc31cc4150a0a7e1fa3ceb656e6da5
ocaml(String) == 9cb286f2c4569fd32c379b1a05c7b590
ocaml(Sys) == 0ce699458ce4430954d7e6a78874647c
ocaml(Unix) == 30a4cc8e5f4f902ea609c91caec48af7
ocaml(Weak) == 441c40816fe88175926465199a665458
ocaml(Z) == bbaaf1515a9fac3f7b1ec0e2fd0bbfe6
ocaml(runtime) == 4.02.3
ocaml-compiler -
why3 == 0.87.3-3.mga6

Provides

Name Value
ocaml(Why3) == b1ee4bf820c247dd66a3ceec8ffec889
ocaml(Why3extract) == 5f21651dfd38b8ca37c92f7a36cedcb3
ocaml-why3 == 0.87.3-3.mga6
ocaml-why3(x86-64) == 0.87.3-3.mga6

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-why3-0.87.3-3.mga6.x86_64.rpm
Source Package why3-0.87.3-3.mga6.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/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cma
/usr/lib64/ocaml/why3/why3.cmi
/usr/lib64/ocaml/why3/why3extract.cma
/usr/lib64/ocaml/why3/why3extract.cmi

Changelog

2017-05-27 - neoclust <neoclust> 0.87.3-3.mga6
+ Revision: 1105082
- Rebuild for ARM
2017-01-21 - daviddavid <daviddavid> 0.87.3-2.mga6
+ Revision: 1082701
- move the vim file to the right place
- package the LaTeX style file
- sync the compiler flags with fedora's one
- enable verbose make
- use emacs macros
2017-01-21 - daviddavid <daviddavid> 0.87.3-1.mga6
+ Revision: 1082667
- new version: 0.87.3
2016-09-26 - pterjan <pterjan> 0.87.2-2.mga6
+ Revision: 1056527
- Rebuild for fix in ocaml
2016-09-18 - daviddavid <daviddavid> 0.87.2-1.mga6
+ Revision: 1053745
- new version: 0.87.2
2016-03-26 - daviddavid <daviddavid> 0.87.0-1.mga6
+ Revision: 995574
- new version: 0.87.0
2016-02-17 - daviddavid <daviddavid> 0.86.3-1.mga6
+ Revision: 963749
- new version: 0.86.3
- update Source URL
- add BR on menhir
- update files list
+ umeabot <umeabot>
- Mageia 6 Mass Rebuild
2014-10-15 - umeabot <umeabot> 0.84-3.mga5
+ Revision: 749339
- Second Mageia 5 Mass Rebuild
2014-09-16 - umeabot <umeabot> 0.84-2.mga5
+ Revision: 690308
- Mageia 5 Mass Rebuild
2014-09-09 - malo <malo> 0.84-1.mga5
+ Revision: 673886
- adding missing BR
- fix install files
- dropped upstreamed patches
- update to 0.84

See Also

Package Description
ocaml-why3-devel-0.87.3-3.mga6.x86_64.rpm Development files for why3
ocaml-x11-4.02.3-6.mga6.x86_64.rpm X11 library for OCaml
ocaml-xen-4.6.5-2.mga6.x86_64.rpm Ocaml bindings for Xen
ocaml-xen-devel-4.6.5-2.mga6.x86_64.rpm Static libraries and header files for Ocaml bindings for Xen
ocaml-xhtml-20050620-11.mga6.x86_64.rpm OCaml module for creating valid XHTML 1.1 documents
ocaml-xhtml-devel-20050620-11.mga6.x86_64.rpm Development files for ocaml-xhtml
ocaml-xml-light-2.4-6.mga6.x86_64.rpm Minimal XML parser & printer for OCaml
ocaml-xml-light-devel-2.4-6.mga6.x86_64.rpm Development files for ocaml-xml-light
ocaml-xmlm-1.2.0-8.mga6.x86_64.rpm Streaming XML input/output for OCaml
ocaml-xmlm-devel-1.2.0-8.mga6.x86_64.rpm Development files for ocaml-xmlm
ocaml-xstr-0.2.1-9.mga6.x86_64.rpm Thread-safe implementation of string searching/matching/splitting
ocaml-xstr-devel-0.2.1-9.mga6.x86_64.rpm Development files for ocaml-xstr
ocaml-xtmpl-0.9-4.mga6.x86_64.rpm A small XML templating library for OCaml
ocaml-xtmpl-devel-0.9-4.mga6.x86_64.rpm Development files for ocaml-xtmpl
ocaml-yojson-1.1.8-1.mga6.x86_64.rpm An optimized parsing and printing library for the JSON format
Advertisement
Advertisement