liquidhaskell: update devel snapshot to the latest version

This commit is contained in:
Peter Simons 2019-04-12 12:30:50 +02:00
parent 8c7d15f6d9
commit 09dbd3c8dc

View File

@ -82,8 +82,8 @@ self: super: {
src = pkgs.fetchFromGitHub { src = pkgs.fetchFromGitHub {
owner = "ucsd-progsys"; owner = "ucsd-progsys";
repo = "liquidhaskell"; repo = "liquidhaskell";
rev = "254e77da9cd36e95b72c526bfb9eec50d3447050"; rev = "46f11e8faef006e70d39572d08419283b1280b88";
sha256 = "089x41z51iw542ijz32j9ns6flcc4hsbjqx7rfznvmm7a4q78yza"; sha256 = "10z5r6g5acd43bsak762kwhy33ff262zmhs0wga545nbg29q1fyp";
}; };
version = "0.8.6.0-pre-release"; version = "0.8.6.0-pre-release";
}; };