Package : ocaml-psmt2-frontend > RPM : ocaml-psmt2-frontend-0.1-5.mga7.src.rpm
Basic items
| Name | ocaml-psmt2-frontend |
| Version | 0.1 |
| Release | 5.mga7 |
| URL | https://github.com/Coquera/psmt2-frontend |
| Group | Development/OCaml |
| Summary | A simple parser and type-checker for polymorphic extension |
| Size | 26KB |
| Arch | aarch64 |
| License | ASL 2.0 |
Description
A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.
standard with prenex polymorphism.
Media information
| Distribution release | Mageia 7 |
| Media name | core-release |
| Media arch | i586 |
Advanced items
| Source RPM | NOT IN DATABASE ?! |
| Build time | 2019-06-19 23:11:41 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |