Merge pull request #261794 from r-ryantm/auto-update/fplll

fplll: 5.4.4 -> 5.4.5
This commit is contained in:
Nick Cao 2023-10-18 10:43:51 -04:00 committed by GitHub
commit 215a5edad5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,13 +9,13 @@
stdenv.mkDerivation rec {
pname = "fplll";
version = "5.4.4";
version = "5.4.5";
src = fetchFromGitHub {
owner = "fplll";
repo = "fplll";
rev = version;
sha256 = "sha256-+1EdNdmEk5tQDd1DXklPbEKC/Dr2yV2gwbtwBtZxpNM=";
sha256 = "sha256-taSS7jpVyjVfNe6kSuUDXMD2PgKmtG64V5MjZyQzorI=";
};
nativeBuildInputs = [