Port details |
- py-logical-unification Logical unification in Python
- 0.4.6_1 math
=2 0.4.6Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
 - Port Added: 2023-06-21 01:36:03
- Last Update: 2025-03-08 04:05:21
- Commit Hash: 06a08e6
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py311-PyOpenGL, p5-Sane
- Also Listed In: python
- License: BSD3CLAUSE
- WWW:
- https://github.com/pythological/unification/
- Description:
- Logical unification in Python, extensible via dispatch.
In logic and computer science, unification is an algorithmic process of solving
equations between symbolic 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}logical-unification>0:math/py-logical-unification@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-logical-unification/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-logical-unification
- pkg install py311-logical-unification
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 py311-logical-unification listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py311-logical-unification
- Package flavors (<flavor>: <package>)
- py311: py311-logical-unification
- distinfo:
- TIMESTAMP = 1687308754
SHA256 (pythological-unification-v0.4.6_GH0.tar.gz) = db8a44a38d2c459b796fd0d8163505ce198c1e98bced1ed7df2d0b3125efe655
SIZE (pythological-unification-v0.4.6_GH0.tar.gz) = 47171
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:
-
- py311-versioneer>0 : devel/py-versioneer@py311
- py311-setuptools>=63.1.0 : devel/py-setuptools@py311
- python3.11 : lang/python311
- Test dependencies:
-
- py311-pytest>=7,1 : devel/py-pytest@py311
- python3.11 : lang/python311
- Runtime dependencies:
-
- py311-multipledispatch>0 : devel/py-multipledispatch@py311
- py311-toolz>0 : devel/py-toolz@py311
- python3.11 : lang/python311
- This port is required by:
- for Run
-
- devel/py-cons
- devel/py-miniKanren
- math/py-pytensor
Configuration Options:
- No options to configure
- Options name:
- math_py-logical-unification
- USES:
- python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 3
Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
Commit | Credits | Log message |
0.4.6_1 08 Mar 2025 04:05:21
    |
Charlie Li (vishwin)  |
python: bump all USE_PYTHON=distutils consumers after RUN_DEPENDS removal
Any missed ports, feel free to bump.
Any ports that need setuptools at runtime can have the devel/py-setuptools
manually added back to RUN_DEPENDS, but understand that this practice
is deprecated; see CHANGES for details. |
0.4.6 30 Jun 2023 07:08:38
    |
Po-Chuan Hsieh (sunpoet)  |
math/py-logical-unification: Clean up USES=python
Approved by: portmgr (blanket)
With hat: python |
0.4.6 21 Jun 2023 01:34:32
    |
Yuri Victorovich (yuri)  |
math/py-logical-unification: New port: Logical unification in Python |
Number of commits found: 3
|