dino: 2017-04-20 -> 2017-04-24

This commit is contained in:
Jörg Thalheim 2017-04-24 09:36:37 +02:00
parent 80828429d7
commit 71c7ca7064
No known key found for this signature in database
GPG key ID: CA4106B8D7CC79FA

View file

@ -13,13 +13,13 @@
}:
stdenv.mkDerivation rec {
name = "dino-unstable-2017-04-20";
name = "dino-unstable-2017-04-24";
src = fetchFromGitHub {
owner = "dino";
repo = "dino";
rev = "5c8275ed4efdc7a3a0bc2a9c3a3f46d0383ddcf4";
sha256 = "12k3s8k8wmjyg5m0f4f2vp83bp0m9swmrsms81yd1722z3ragxsf";
rev = "3eb9aa0fa79ea9fcebb5f702f81c2e54aafdc8cc";
sha256 = "0z9ql419q53f20bw4pfwsafxl4qqnz0ip91qibsf9jn5d56kcdwv";
fetchSubmodules = true;
};