Package : ocaml-why3 > RPM : ocaml-why3-0.87.3-3.mga6.i586.rpm
Basic items
Install| Name | ocaml-why3 |
| Version | 0.87.3 |
| Release | 3.mga6 |
| URL | http://why3.lri.fr/ |
| Group | Development/OCaml |
| Summary | OCaml library for why3 |
| Size | 14MB |
| Arch | i586 |
| License | LGPLv2 with exceptions |
Description
The why3 library is an OCaml library providing access to the why3 program prover.
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 |