sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 17:59:20 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/py-logical-unification: New port: Logical unification in Python

Browse source
This commit is contained in:
Yuri Victorovich 2023-06-20 18:06:48 -07:00
parent 3cfed27697
commit cf957f22a8
4 changed files with 36 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
math/Makefile
View file

@ -955,6 +955,7 @@
SUBDIR += py-libpoly
SUBDIR += py-linearmodels
SUBDIR += py-lmfit
SUBDIR += py-logical-unification
SUBDIR += py-lrcalc
SUBDIR += py-luminol
SUBDIR += py-mapbox-earcut

28
math/py-logical-unification/Makefile Normal file
View file

@ -0,0 +1,28 @@
PORTNAME= logical-unification
DISTVERSIONPREFIX= v
DISTVERSION= 0.4.6
CATEGORIES= math python
#MASTER_SITES= PYPI # no tests
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
MAINTAINER= yuri@FreeBSD.org
COMMENT= Logical unification in Python
WWW= https://github.com/pythological/unification/
LICENSE= BSD3CLAUSE
LICENSE_FILE= ${WRKSRC}/LICENSE.txt
BUILD_DEPENDS= ${PYTHON_PKGNAMEPREFIX}versioneer>0:devel/py-versioneer@${PY_FLAVOR}
RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}multipledispatch>0:devel/py-multipledispatch@${PY_FLAVOR} \
${PYTHON_PKGNAMEPREFIX}toolz>0:devel/py-toolz@${PY_FLAVOR}
USES= python:3.7+
USE_PYTHON= distutils autoplist pytest
USE_GITHUB= yes
GH_ACCOUNT= pythological
GH_PROJECT= unification
NO_ARCH= yes
.include <bsd.port.mk>

3
math/py-logical-unification/distinfo Normal file
View file

@ -0,0 +1,3 @@
TIMESTAMP = 1687308754
SHA256 (pythological-unification-v0.4.6_GH0.tar.gz) = db8a44a38d2c459b796fd0d8163505ce198c1e98bced1ed7df2d0b3125efe655
SIZE (pythological-unification-v0.4.6_GH0.tar.gz) = 47171

4
math/py-logical-unification/pkg-descr Normal file
View file

@ -0,0 +1,4 @@
Logical unification in Python, extensible via dispatch.
In logic and computer science, unification is an algorithmic process of solving
equations between symbolic expressions.