Port details on branch 2022Q3 |
- abella Interactive theorem prover
- 2.0.7 math =0 2.0.7Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2019-11-29 19:40:25
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- License: GPLv3
- WWW:
- https://abella-prover.org/
- Description:
- Abella is an interactive theorem prover based on lambda-tree syntax. This means
that Abella is well-suited for reasoning about the meta-theory of programming
languages and other logical systems which manipulate objects with binding. For
example, the following applications are included in the distribution of Abella.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/abella/ && make install clean
- To add the package, run one of these commands:
- pkg install math/abella
- pkg install abella
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: abella
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1611938365
SHA256 (abella-2.0.7.tar.gz) = fde3a279b3051e0aeeaedad21cf96064edf19a6c413949b2033b305d92dddd87
SIZE (abella-2.0.7.tar.gz) = 215056
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- ocamlbuild : devel/ocaml-ocamlbuild
- ocamlfind : devel/ocaml-findlib
- gmake>=4.3 : devel/gmake
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_abella
- USES:
- gmake
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|