3
0
Fork 0
forked from mirrors/nixpkgs

Merge pull request #174576 from r-ryantm/auto-update/flint

flint: 2.8.4 -> 2.8.5
This commit is contained in:
Timo Kaufmann 2022-05-26 21:10:15 +02:00 committed by GitHub
commit 7e356e2cdd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,11 +13,11 @@ assert withBlas -> openblas != null && blas.implementation == "openblas" && lapa
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "flint"; pname = "flint";
version = "2.8.4"; version = "2.8.5";
src = fetchurl { src = fetchurl {
url = "https://www.flintlib.org/flint-${version}.tar.gz"; url = "https://www.flintlib.org/flint-${version}.tar.gz";
sha256 = "sha256-Yd+S6oyOncaS1Gxx1/UKqgmjPUugjQKheEcwpEXl5L4="; sha256 = "sha256-WRH+3/kREA8VeB8146T6k0/mDkrqAqjBDMiRgQHB7tg=";
}; };
buildInputs = [ buildInputs = [