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


Advertisement

Description

ocaml-why3-devel - Development files for why3

Property Value
Distribution Mageia Cauldron
Repository Mageia Core x86_64
Package name ocaml-why3-devel
Package version 1.1.0
Package release 4.mga7
Package architecture x86_64
Package type rpm
Installed size 13.75 MB
Download size 1.81 MB
Official Mirror distrib-coffee.ipsl.jussieu.fr
This package contains the development files needed to build applications
using why3.

Alternatives

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

Requires

Name Value
ocaml-why3 == 1.1.0-4.mga7

Provides

Name Value
ocaml-why3-devel == 1.1.0-4.mga7
ocaml-why3-devel(x86-64) == 1.1.0-4.mga7

Download

Type URL
Binary Package ocaml-why3-devel-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-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

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

See Also

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