Port details on branch 2022Q2 |
- py-pytanque Petanque static python bindings
- 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:12
- Last Update: 2023-06-27 19:34:34
- Commit Hash: 3d9a815
- License: BSD3CLAUSE
- WWW:
- https://github.com/quarkslab/arybo/tree/master/petanque
- Description:
- Python binding for petanque, 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 - There is no configure plist information for this port.
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}pytanque>0:math/py-pytanque@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-pytanque/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-pytanque
- pkg install py39-pytanque
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above. NOTE: This is a Python port. Instead of py39-pytanque listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py39-pytanque
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1632892777
SHA256 (pytanque-1.1.0.tar.gz) = 9365ab2038306508b673a46bed7f5425cc096d2763810f7801395a517d524cc4
SIZE (pytanque-1.1.0.tar.gz) = 695935
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:
-
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- Test dependencies:
-
- python3.9 : lang/python39
- Runtime dependencies:
-
- py39-setuptools>=63.1.0 : devel/py-setuptools@py39
- python3.9 : lang/python39
- This port is required by:
- for Run
-
- math/py-arybo
Configuration Options:
- No options to configure
- Options name:
- math_py-pytanque
- USES:
- compiler:c++14-lang python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|