BSD Portsdevel/py-miniKanren 1.0.3_1 DragonFly
Logic/relational programming in Python
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- BSD3CLAUSE
- Categories
- devel, python
- Package size
- 45.6 KiB, 248.8 KiB installed
Description
miniKanren is an extensible, lightweight relational/logic programming DSL written in pure Python.
In the other systems
The newest version among them is 1.0.5, as upstream numbers it.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| DragonFly | devel/py-miniKanren | 1.0.3_1 | none known | - | [email protected] | - |
| FreeBSD | devel/py-miniKanren | 1.0.5_1 newest | none known | - | [email protected] | 2026-07-10 |
| HardenedBSD | devel/py-miniKanren | 1.0.5_1 newest | no data | - | [email protected] | - |
| GhostBSD | devel/py-miniKanren | 1.0.5_1 newest | no data | - | [email protected] | - |
Install
Binary package:
pkg install py311-miniKanrenFrom DPorts:
cd /usr/dports/devel/py-miniKanren && make install cleanDependency graph
Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.