Merge pull request #35616 from ryantm/auto-update/dmtcp-2.5.1-to-2.5.2

dmtcp: 2.5.1 -> 2.5.2
This commit is contained in:
adisbladis 2018-02-26 14:05:36 +08:00 committed by GitHub
commit 4ebe51e24f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "dmtcp-${version}";
version = "2.5.1";
version = "2.5.2";
src = fetchFromGitHub {
owner = "dmtcp";
repo = "dmtcp";
rev = version;
sha256 = "1z6cc7avs2sj8csf7rapf7nbw0giva6xpj0cshv7p9s643y8yxmi";
sha256 = "1sq38in4wk855yhfnzbs9xpnps97fhja93w08xjmx7szzm33g5a8";
};
dontDisableStatic = true;