aboutsummaryrefslogtreecommitdiff
path: root/math/py-logical-unification
Commit message (Expand)AuthorAgeFilesLines
* python: bump all USE_PYTHON=distutils consumers after RUN_DEPENDS removalCharlie Li2025-03-081-0/+1
* math/py-logical-unification: Clean up USES=pythonPo-Chuan Hsieh2023-06-301-1/+1
* math/py-logical-unification: New port: Logical unification in PythonYuri Victorovich2023-06-213-0/+35