Package : ocaml-psmt2-frontend > RPM : ocaml-psmt2-frontend-0.1-14.mga9.i586.rpm
Basic items
Install| Name | ocaml-psmt2-frontend |
| Version | 0.1 |
| Release | 14.mga9 |
| URL | https://github.com/OCamlPro-Coquera/psmt2-frontend |
| Group | Development/OCaml |
| Summary | Parser and typechecker for an extension of SMT-LIB 2 |
| Size | 3,264KB |
| Arch | i586 |
| License | ASL 2.0 |
Description
This package contains a library to parse and typecheck a conservative
extension of the SMT-LIB 2 standard with prenex polymorphism.
extension of the SMT-LIB 2 standard with prenex polymorphism.
Media information
| Distribution release | Mageia cauldron |
| Media name | core-release |
| Media arch | i586 |
Advanced items
| Source RPM | NOT IN DATABASE ?! |
| Build time | 2022-05-19 13:38:51 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |