Merge pull request #32291 from andir/dino-git

dino: 2017-09-26 -> 2017-12-03
This commit is contained in:
Jörg Thalheim 2017-12-04 13:42:15 +00:00 committed by GitHub
commit bce5a8d567
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -13,13 +13,13 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "dino-unstable-2017-09-26"; name = "dino-unstable-2017-12-03";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "dino"; owner = "dino";
repo = "dino"; repo = "dino";
rev = "9d8e1e88ec61403659a8cc410d5c4414e3bd3a96"; rev = "cee39b0117c1620d852d50c14ca6f06db4e2956b";
sha256 = "1p8sda99n8zsb49qd6wzwb8hddlgrzr2hp7il5v7yqxjjm2vgqfl"; sha256 = "15cm6y2rgj6fcw8sciygd1wvcw7k9fgf69ji1abfwybzydflj7ny";
fetchSubmodules = true; fetchSubmodules = true;
}; };