flint: 3.2.1 -> 3.3.0
This commit is contained in:
parent
30d21f2857
commit
7bdbd1bda4
@ -22,11 +22,11 @@ assert
|
|||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
pname = "flint3";
|
pname = "flint3";
|
||||||
version = "3.2.1";
|
version = "3.3.0";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "https://flintlib.org/download/flint-${version}.tar.gz";
|
url = "https://flintlib.org/download/flint-${version}.tar.gz";
|
||||||
hash = "sha256-ynvkbXeXInfrb+DE92dUhDL1a7U0qhfW26LXzOFc0j8=";
|
hash = "sha256-2a4PExglNycGgnDb+jxLVRVeP0t75sqcBW5Y8oOPFbM=";
|
||||||
};
|
};
|
||||||
|
|
||||||
nativeBuildInputs = [
|
nativeBuildInputs = [
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user