notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine

Newsfeed changes

The news feed page[s] were not laid out well. Two pages, disjointed information, hard to figure out how to use the optional parameters...

Thankfully, someone told me.

The new page is ready for your review. Please compare these two:

You may also be interested in the Github issue.
Port details
py-logical-unification Logical unification in Python
0.4.6_1 math on this many watch lists=2 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 0.4.6Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

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):
py39-logical-unification
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest--------
FreeBSD:13:quarterly--0.4.6--0.4.60.4.60.4.6
FreeBSD:14:latest--------
FreeBSD:14:quarterly-----0.4.60.4.60.4.6
FreeBSD:15:latest--n/a-n/a0.4.60.4.60.4.6
 

py311-logical-unification
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest0.4.6_10.4.6_1-0.4.6_10.4.6_1---
FreeBSD:13:quarterly0.4.60.4.6-0.4.60.4.6---
FreeBSD:14:latest0.4.6_10.4.6_1-0.4.6_10.4.6_1---
FreeBSD:14:quarterly0.4.60.4.6-0.4.60.4.6---
FreeBSD:15:latest0.4.6_10.4.6_1n/a0.4.6_1n/a---
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. py311-versioneer>0 : devel/py-versioneer@py311
  2. py311-setuptools>=63.1.0 : devel/py-setuptools@py311
  3. python3.11 : lang/python311
Test dependencies:
  1. py311-pytest>=7,1 : devel/py-pytest@py311
  2. python3.11 : lang/python311
Runtime dependencies:
  1. py311-multipledispatch>0 : devel/py-multipledispatch@py311
  2. py311-toolz>0 : devel/py-toolz@py311
  3. python3.11 : lang/python311
This port is required by:
for Run
  1. devel/py-cons
  2. devel/py-miniKanren
  3. 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:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/pythological/unification/tar.gz/v0.4.6?dummy=/
Collapse this list.

Number of commits found: 3

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
0.4.6_1
08 Mar 2025 04:05:21
commit hash: 06a08e69f3acb846ad8252945f53c3a2d211e303commit hash: 06a08e69f3acb846ad8252945f53c3a2d211e303commit hash: 06a08e69f3acb846ad8252945f53c3a2d211e303commit hash: 06a08e69f3acb846ad8252945f53c3a2d211e303 files touched by this commit
Charlie Li (vishwin) search for other commits by this committer
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
commit hash: 893f4c2299a42bfd8e64aeb1ad03e4f8361d77a7commit hash: 893f4c2299a42bfd8e64aeb1ad03e4f8361d77a7commit hash: 893f4c2299a42bfd8e64aeb1ad03e4f8361d77a7commit hash: 893f4c2299a42bfd8e64aeb1ad03e4f8361d77a7 files touched by this commit
Po-Chuan Hsieh (sunpoet) search for other commits by this committer
math/py-logical-unification: Clean up USES=python

Approved by:	portmgr (blanket)
With hat:	python
0.4.6
21 Jun 2023 01:34:32
commit hash: cf957f22a8e8653fbf7d1b8beb4915de3afaa076commit hash: cf957f22a8e8653fbf7d1b8beb4915de3afaa076commit hash: cf957f22a8e8653fbf7d1b8beb4915de3afaa076commit hash: cf957f22a8e8653fbf7d1b8beb4915de3afaa076 files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
math/py-logical-unification: New port: Logical unification in Python

Number of commits found: 3