- Name: ocaml-psmt2-frontend
- Version: 0.1
- Release: 5.mga7
- Epoch:
- Group: Development/OCaml
- License: ASL 2.0
- Url: https://github.com/Coquera/psmt2-frontend
- Summary: A simple parser and type-checker for polymorphic extension
- Architecture: armv7hl
- Size: 8371118
- Distribution: Mageia
- Vendor: Mageia.Org
- Packager: tmb <tmb>
Description:
A library to parse and type-check a conservative extension of the SMT-LIB 2
standard with prenex polymorphism.
- OptFlags: -O2 -g -pipe -Wformat -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -march=armv7-a -mfloat-abi=hard -mfpu=vfpv3-d16
- Cookie: localhost 1560978953
- Buildhost: localhost