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


Advertisement

Description

ocaml-why3-devel - Development files for why3

Property Value
Distribution Mageia 6.1
Repository Mageia Core x86_64
Package filename ocaml-why3-devel-0.87.3-3.mga6.x86_64.rpm
Package name ocaml-why3-devel
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 1.22 MB
Installed size 9.98 MB
This package contains the development files needed to build applications
using why3.

Alternatives

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

Requires

Name Value
ocaml-why3 == 0.87.3-3.mga6

Provides

Name Value
ocaml-why3-devel == 0.87.3-3.mga6
ocaml-why3-devel(x86-64) == 0.87.3-3.mga6

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-why3-devel-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-devel rpm package:
    # urpmi ocaml-why3-devel

Files

Path
/usr/lib64/ocaml/why3/why3.a
/usr/lib64/ocaml/why3/why3.cmx
/usr/lib64/ocaml/why3/why3.cmxa
/usr/lib64/ocaml/why3/why3.ml
/usr/lib64/ocaml/why3/why3extract.a
/usr/lib64/ocaml/why3/why3extract.cmx
/usr/lib64/ocaml/why3/why3extract.cmxa

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-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
ocaml-yojson-devel-1.1.8-1.mga6.x86_64.rpm Development files for ocaml-yojson
Advertisement
Advertisement