Merge pull request #95557 from r-ryantm/auto-update/psi-plus

psi-plus: 1.4.1407 -> 1.4.1473
This commit is contained in:
Ryan Mulligan 2020-08-16 06:32:33 -07:00 committed by GitHub
commit e4037ea873
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -6,13 +6,13 @@
stdenv.mkDerivation rec {
pname = "psi-plus";
version = "1.4.1407";
version = "1.4.1473";
src = fetchFromGitHub {
owner = "psi-plus";
repo = "psi-plus-snapshots";
rev = version;
sha256 = "0gp5rk7km2fzw109wil6s9x49x5q1qbw9mnkjs58dpzvxn74ylhw";
sha256 = "03f28zwbjn6fnsm0fqg8lmc11rpfdfvzjf7k7xydc3lzy8pxbds5";
};
cmakeFlags = [