mcrl2: 201707 -> 202206
This commit is contained in:
parent
41400115e0
commit
a39c8ddb1f
|
@ -1,13 +1,13 @@
|
|||
{lib, stdenv, fetchurl, cmake, libGLU, libGL, qt5, boost}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
version = "201707";
|
||||
version = "202206";
|
||||
build_nr = "1";
|
||||
pname = "mcrl2";
|
||||
|
||||
src = fetchurl {
|
||||
url = "https://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz";
|
||||
sha256 = "1c8h94ja7271ph61zrcgnjgblxppld6v22f7f900prjgzbcfy14m";
|
||||
sha256 = "KoLt8IU/vCdYqzJukNuaZfl8bWiOKB0UxWHEdQj3buU=";
|
||||
};
|
||||
|
||||
nativeBuildInputs = [ cmake ];
|
||||
|
|
Loading…
Reference in a new issue