Unverified Commit 9d579087 authored by Weijia Wang's avatar Weijia Wang Committed by GitHub
Browse files

Merge pull request #287718 from trofi/mcrl2-update

mcrl2: 202206 -> 202307
parents 7c66bc81 d952b588
Loading
Loading
Loading
Loading
+2 −2
Original line number Diff line number Diff line
{lib, stdenv, fetchurl, cmake, libGLU, libGL, qt5, boost}:

stdenv.mkDerivation rec {
  version = "202206";
  version = "202307";
  build_nr = "1";
  pname = "mcrl2";

  src = fetchurl {
    url = "https://www.mcrl2.org/download/release/mcrl2-${version}.${build_nr}.tar.gz";
    sha256 = "KoLt8IU/vCdYqzJukNuaZfl8bWiOKB0UxWHEdQj3buU=";
    hash = "sha256-zCHCO8tGyOxqUc0x3t/N3dUh4eG7slemlgK/QZsA4JA=";
  };

  nativeBuildInputs = [ cmake ];