Merge pull request #67583 from jollheef/dino-unstable-2019-08-27

dino: 2019-02-06 -> 2019-08-27
This commit is contained in:
Aaron Andersen 2019-08-30 21:00:00 -04:00 committed by GitHub
commit 37c6e329d9
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -15,13 +15,13 @@
}:
stdenv.mkDerivation rec {
name = "dino-unstable-2019-03-07";
name = "dino-unstable-2019-08-27";
src = fetchFromGitHub {
owner = "dino";
repo = "dino";
rev = "cc7b0aa7bd5b6599159f654fdd8a2fd111e16a3e";
sha256 = "1cq62vif92fz38si2bl49qwy4ys9gxdrvzkv25av6c6nwmyih4gv";
rev = "ff6caf241c4d57d3ef124a8b7c3144a09f320ea0";
sha256 = "1gjxfnywlypi3slvxb91b2mycrsqjinmafnkkngahyikr7gmqgnf";
fetchSubmodules = true;
};