dino: 2019-02-06 -> 2019-03-07

This commit is contained in:
Jörg Thalheim 2019-03-14 10:43:21 +00:00
parent 5e888d1854
commit 03050e9749
No known key found for this signature in database
GPG key ID: B3F5D81B0C6967C4

View file

@ -15,13 +15,13 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "dino-unstable-2019-02-06"; name = "dino-unstable-2019-03-07";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "dino"; owner = "dino";
repo = "dino"; repo = "dino";
rev = "864196d2acef3db047160b9da5803805067276c3"; rev = "cc7b0aa7bd5b6599159f654fdd8a2fd111e16a3e";
sha256 = "10nyq9marclzbkxisackp402gimgs7gb0llgjm922c593c5h39cq"; sha256 = "1cq62vif92fz38si2bl49qwy4ys9gxdrvzkv25av6c6nwmyih4gv";
fetchSubmodules = true; fetchSubmodules = true;
}; };