Summary
psmt2-frontend is an OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
Versions
v0.4.0 :: 0/0.4.0 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- amd64 ~x86
- USE flags
- ocamlopt test
v0.2 :: 0 :: gentoo
- Modified
- License
- Apache-2.0
- Keywords
- amd64 ~x86
- USE flags
- ocamlopt
USE flags
General
Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / dune : A composable build system for OCaml
dev-ml / findlib : OCaml tool to find/use non-standard packages
dev-ml / menhir : LR(1) parser generator for the OCaml language
Runtime Dependencies
dev-lang / ocaml : Programming language supporting functional, imperative & object-oriented styles
dev-ml / dune : A composable build system for OCaml
dev-ml / menhir : LR(1) parser generator for the OCaml language
Depending packages
sci-mathematics / alt-ergo : Automatic theorem prover
Change logs
- Repository mirror & CI · gentoo
Merge updates from master - Agostino Sarubbo · gentoo
sci-mathematics/psmt2-frontend: amd64 stable wrt bug #834375
Package-Manager: Portage-3.0.30, Repoman-3.0.3 RepoMan-Options: --include-arches="amd64" Signed-off-by: Agostino Sarubbo <ago@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Maciej Barć · gentoo
sci-mathematics/psmt2-frontend: bump to 0.4.0
Package-Manager: Portage-3.0.28, Repoman-3.0.3 Signed-off-by: Maciej Barć <xgqt@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Alfredo Tupone · gentoo
sci-mathematics/psmt2-frontend: ignore CFLAGS warning
Closes: https://bugs.gentoo.org/725556 Package-Manager: Portage-2.3.99, Repoman-2.3.22 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
sci-mathematics/psmt2-frontend: fix make install
Closes: https://bugs.gentoo.org/698858 Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
sci-mathematics/psmt2-frontend: rename configure.in to ac
Package-Manager: Portage-2.3.76, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
sci-mathematics/psmt2-frontend: Stable version
Package-Manager: Portage-2.3.69, Repoman-2.3.16 Signed-off-by: Alfredo Tupone <tupone@gentoo.org> - Repository mirror & CI · gentoo
Merge updates from master - Tupone Alfredo · gentoo
sci-mathematics/psmt2-frontend: add psmt2-frontend
Signed-off-by: Alfredo Tupone <tupone@gentoo.org> Package-Manager: Portage-2.3.66, Repoman-2.3.11