Package : ocaml-psmt2-frontend > RPM : ocaml-psmt2-frontend-0.1-9.mga8.src.rpm
Basic items
| Name | ocaml-psmt2-frontend |
| Version | 0.1 |
| Release | 9.mga8 |
| 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 8 |
| Media name | core-release |
| Media arch | armv7hl |
Advanced items
| Source RPM | NOT IN DATABASE ?! |
| Build time | 2020-08-22 10:03:21 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |