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
This referral link gives you 10% off a account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
py-miniKanren Logic/relational programming in Python
1.0.3 devel on this many watch lists=0 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 1.0.3Version of this port present on the latest quarterly branch.
Maintainer: search for ports maintained by this maintainer
Port Added: 2023-06-21 03:48:08
Last Update: 2023-06-30 07:08:28
Commit Hash: c570222
Also Listed In: python
miniKanren is an extensible, lightweight relational/logic programming DSL written in pure Python.
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}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 py39-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 py39-miniKanren listed in the above command, you can pick from the names under the Packages section.
PKGNAME: py39-miniKanren
Package flavors (<flavor>: <package>)
  • py39: py39-miniKanren
TIMESTAMP = 1687312051 SHA256 (pythological-kanren-v1.0.3_GH0.tar.gz) = 0cc6d507e6e45f48db73fc1fd47718aaefb82d419ddd7654f806261ab135f0ad SIZE (pythological-kanren-v1.0.3_GH0.tar.gz) = 72998

Packages (timestamps in pop-ups are UTC):
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. py39-setuptools>=63.1.0 : devel/py-setuptools@py39
  2. python3.9 : lang/python39
Test dependencies:
  1. py39-sympy>0 : math/py-sympy@py39
  2. py39-pytest>=7,1 : devel/py-pytest@py39
  3. python3.9 : lang/python39
Runtime dependencies:
  1. py39-cons>=0.4.0 : devel/py-cons@py39
  2. py39-etuples>=0.3.1 : devel/py-etuples@py39
  3. py39-logical-unification>=0.4.1 : math/py-logical-unification@py39
  4. py39-multipledispatch>0 : devel/py-multipledispatch@py39
  5. py39-toolz>0 : devel/py-toolz@py39
  6. py39-typing-extensions>0 : devel/py-typing-extensions@py39
  7. py39-setuptools>=63.1.0 : devel/py-setuptools@py39
  8. python3.9 : lang/python39
This port is required by:
for Build
  1. math/py-pytensor
for Run
  1. math/py-pytensor

Configuration Options:
No options to configure
Options name:
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
Collapse this list.

Number of commits found: 2

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
30 Jun 2023 07:08:28
commit hash: c570222ea51591010fdce4960e5a787ca5ec2655commit hash: c570222ea51591010fdce4960e5a787ca5ec2655commit hash: c570222ea51591010fdce4960e5a787ca5ec2655commit hash: c570222ea51591010fdce4960e5a787ca5ec2655 files touched by this commit
Po-Chuan Hsieh (sunpoet) search for other commits by this committer
devel/py-miniKanren: Clean up USES=python

Approved by:	portmgr (blanket)
With hat:	python
21 Jun 2023 03:47:43
commit hash: b9245821167d9128b634aa50c854487ba073c3fbcommit hash: b9245821167d9128b634aa50c854487ba073c3fbcommit hash: b9245821167d9128b634aa50c854487ba073c3fbcommit hash: b9245821167d9128b634aa50c854487ba073c3fb files touched by this commit
Yuri Victorovich (yuri) search for other commits by this committer
devel/py-miniKanren: New port: Logic/relational programming in Python

Number of commits found: 2