BSD Portsdevel/py-miniKanren 1.0.5_1 FreeBSD
Logic/relational programming in Python
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
1aa967ff73- License
- BSD3CLAUSE
- Categories
- devel, python
- Package size
- 50.1 KiB, 230.9 KiB installed
Description
miniKanren is an extensible, lightweight relational/logic programming DSL written in pure Python.
In the other systems
| System | Port | Version |
|---|---|---|
| FreeBSD | devel/py-miniKanren | 1.0.5_1 |
| DragonFly | devel/py-miniKanren | 1.0.3_1 |
| HardenedBSD | devel/py-miniKanren | 1.0.5_1 |
| GhostBSD | devel/py-miniKanren | 1.0.5_1 |
Install
Binary package:
pkg install py312-miniKanrenFrom the ports tree:
cd /usr/ports/devel/py-miniKanren/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= py312-miniKanren>0:devel/py-miniKanrenPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 1.0.5_1 | 1.0.5_1 | - | 1.0.3_1 | 1.0.5_1 |
| FreeBSD:14:quarterly | 1.0.5_1 | 1.0.5_1 | n/a | 1.0.3_1 | 1.0.5_1 |
| FreeBSD:15:latest | 1.0.5_1 | 1.0.5_1 | n/a | 1.0.3_1 | 1.0.3_1 |
| FreeBSD:15:quarterly | 1.0.5_1 | 1.0.5_1 | n/a | n/a | n/a |
| FreeBSD:16:latest | 1.0.5_1 | 1.0.5_1 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Build 3
${PYTHON_PKGNAMEPREFIX}setuptools>0: devel/py-setuptools${PYTHON_PKGNAMEPREFIX}setuptools-scm>0: devel/py-setuptools-scm${PYTHON_PKGNAMEPREFIX}wheel>0: devel/py-wheel
Runtime 6
${PYTHON_PKGNAMEPREFIX}cons>0.4.0: devel/py-cons${PYTHON_PKGNAMEPREFIX}etuples>=0.3.1: devel/py-etuples${PYTHON_PKGNAMEPREFIX}logical-unification>=0.4.1: math/py-logical-unification${PYTHON_PKGNAMEPREFIX}multipledispatch>0: devel/py-multipledispatch${PYTHON_PKGNAMEPREFIX}toolz>0: devel/py-toolz${PYTHON_PKGNAMEPREFIX}typing-extensions>0: devel/py-typing-extensions
Test 1
${PYTHON_PKGNAMEPREFIX}sympy>0: math/py-sympy
The full lists below include those, and their dependencies in turn.
Build dependencies 17
Run dependencies 13
Required by 1
Configuration
No options to configure.
- USES
- python
- Service scripts
- none
Files
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| pythological-kanren-v1.0.5_GH0.tar.gz | 51391 | ff496e43b169c9808d4cb9c33c595a2d31803c809a0675fa6379bdc62d7d6793 |