Merge pull request #237859 from r-ryantm/auto-update/python310Packages.logical-unification

python310Packages.logical-unification: 0.4.5 -> 0.4.6
This commit is contained in:
Nick Cao 2023-06-15 01:33:13 -06:00 committed by GitHub
commit 27f16866d0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -11,13 +11,13 @@
buildPythonPackage rec {
pname = "logical-unification";
version = "0.4.5";
version = "0.4.6";
src = fetchFromGitHub {
owner = "pythological";
repo = "unification";
rev = "707cf4a39e27a4a8bf06b7e7dce7223085574e65";
hash = "sha256-3wqO0pWWFRQeoGNvbSDdLNYFyjNnv+O++F7+vTBUJoI=";
rev = "refs/tags/v${version}";
hash = "sha256-uznmlkREFONU1YoI/+mcfb+Yg30NinWvsMxTfHCXzOU=";
};
propagatedBuildInputs = [