Package : ocaml-why3-devel > RPM : ocaml-why3-devel-0.87.3-3.mga6.i586.rpm

Basic items

Install
Name ocaml-why3-devel
Version 0.87.3
Release 3.mga6
URL http://why3.lri.fr/
Group Development/OCaml
Summary Development files for why3
Size 7,255KB
Arch i586
License LGPLv2 with exceptions

Description

This package contains the development files needed to build applications
using why3.

Media information

Distribution release Mageia 6
Media name core-release
Media arch i586

Advanced items

Source RPM why3-0.87.3-3.mga6.src.rpm
Build time 2017-05-27 00:54:53
Changelog View in Sophie
Files View in Sophie
Dependencies View in Sophie