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


Advertisement

Description

ocaml-why3-devel - Development files for why3

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-why3-devel-1.2.0-1.mga7.i586.rpm
Package name ocaml-why3-devel
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 1.81 MB
Installed size 9.52 MB
This package contains the development files needed to build applications
using why3.

Alternatives

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

Requires

Name Value
ocaml-why3 = 1.2.0-1.mga7

Provides

Name Value
ocaml-why3-devel = 1.2.0-1.mga7
ocaml-why3-devel(x86-32) = 1.2.0-1.mga7

Download

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

Files

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

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-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)
ocaml-zed-devel-1.6-5.mga7.i586.rpm Development files for ocaml-zed
Advertisement
Advertisement