Package : ocaml-psmt2-frontend > RPM : ocaml-psmt2-frontend-0.4.0-2.mga9.src.rpm
Basic items
| Name | ocaml-psmt2-frontend |
| Version | 0.4.0 |
| Release | 2.mga9 |
| URL | https://github.com/OCamlPro-Coquera/psmt2-frontend |
| Group | Development/OCaml |
| Summary | Parser and typechecker for an extension of SMT-LIB 2 |
| Size | 75KB |
| 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 9 |
| Media name | core-release |
| Media arch | x86_64 |
Advanced items
| Source RPM | NOT IN DATABASE ?! |
| Build time | 2023-03-07 21:00:18 |
| Changelog | View in Sophie |
| Files | View in Sophie |
| Dependencies | View in Sophie |