Port details on branch 2022Q3 |
- petanque Library that helps manipulate symbolic boolean expressions
- 1.1.0 math =0 1.1.0Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2021-09-29 05:36:08
- Last Update: 2022-09-07 21:58:51
- Commit Hash: fb16dfe
- License: BSD3CLAUSE
- WWW:
- https://github.com/quarkslab/arybo/tree/master/petanque
- Description:
- petanque is a library that helps manipulate symbolic boolean expressions.
- ¦ ¦ ¦ ¦
- 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/petanque/ && make install clean
- To add the package, run one of these commands:
- pkg install math/petanque
- pkg install petanque
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: petanque
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1632891698
SHA256 (quarkslab-arybo-release-1.1.0_GH0.tar.gz) = 96749f152e366c16803c9239e05d15cc9d3f1c156203064519c325be66a57acb
SIZE (quarkslab-arybo-release-1.1.0_GH0.tar.gz) = 940821
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:
-
- cmake : devel/cmake-core
- ninja : devel/ninja
- There are no ports dependent upon this port
Configuration Options:
- No options to configure
- Options name:
- math_petanque
- USES:
- cmake:testing compiler:c++14-lang
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|