| Port details |
- py-miniKanren Logic/relational programming in Python
- 1.0.5_1 devel
 =0      1.0.5_1Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2023-06-21 03:48:08
- Last Update: 2026-07-10 18:11:33
- Commit Hash: 1aa967f
- Also Listed In: python
- License: BSD3CLAUSE
- WWW:
- https://github.com/pythological/kanren
- Description:
- miniKanren is an extensible, lightweight relational/logic programming DSL
written in pure Python.
  ¦  ¦  ¦  ¦ 
- 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.
- USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}miniKanren>0:devel/py-miniKanren@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/devel/py-miniKanren/ && make install clean
- To add the package, run one of these commands:
- pkg install devel/py-miniKanren
- pkg install py312-miniKanren
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 py312-miniKanren listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py312-miniKanren
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1781208222
SHA256 (pythological-kanren-v1.0.5_GH0.tar.gz) = ff496e43b169c9808d4cb9c33c595a2d31803c809a0675fa6379bdc62d7d6793
SIZE (pythological-kanren-v1.0.5_GH0.tar.gz) = 51391
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:
-
- py312-setuptools>0 : devel/py-setuptools@py312
- py312-setuptools-scm>0 : devel/py-setuptools-scm@py312
- py312-wheel>0 : devel/py-wheel@py312
- python3.12 : lang/python312
- py312-build>=0 : devel/py-build@py312
- py312-installer>=0 : devel/py-installer@py312
- Test dependencies:
-
- py312-sympy>0 : math/py-sympy@py312
- py312-pytest>=7,1 : devel/py-pytest@py312
- python3.12 : lang/python312
- Runtime dependencies:
-
- py312-cons>0.4.0 : devel/py-cons@py312
- py312-etuples>=0.3.1 : devel/py-etuples@py312
- py312-logical-unification>=0.4.1 : math/py-logical-unification@py312
- py312-multipledispatch>0 : devel/py-multipledispatch@py312
- py312-toolz>0 : devel/py-toolz@py312
- py312-typing-extensions>0 : devel/py-typing-extensions@py312
- python3.12 : lang/python312
- This port is required by:
- for Run
-
- math/py-pytensor
Configuration Options:- No options to configure
- Options name:
- devel_py-miniKanren
- USES:
- python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 7
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
1.0.5_1
10 Jul 2026 18:11:33
 |
Yuri Victorovich (yuri) |
devel/py-miniKanren: Unbreak by patching pyproject.toml for older setuptools
Reported by: fallout |
1.0.5_1
07 Jul 2026 21:49:16
|
Yuri Victorovich (yuri) |
devel/py-miniKanren: Fix build by adding patch in pyproject.toml |
1.0.5_1
22 Jun 2026 01:40:58
|
Yuri Victorovich (yuri) |
devel/py-miniKanren: Fix build, rename python module to camelcase
Reported by: fallout |
1.0.5
11 Jun 2026 20:56:56
|
Yuri Victorovich (yuri) |
devel/py-miniKanren: update 1.0.3 → 1.0.5 |
1.0.3_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. |
1.0.3
30 Jun 2023 07:08:28
|
Po-Chuan Hsieh (sunpoet) |
devel/py-miniKanren: Clean up USES=python
Approved by: portmgr (blanket)
With hat: python |
1.0.3
21 Jun 2023 03:47:43
|
Yuri Victorovich (yuri) |
devel/py-miniKanren: New port: Logic/relational programming in Python |
Number of commits found: 7
|
As an Amazon Associate I earn from qualifying purchases.