dino: 2018-09-05 -> 2018-09-21

This commit is contained in:
Jörg Thalheim 2018-10-04 23:26:45 +01:00
parent 35bccdecc1
commit 3dec3de2d3
No known key found for this signature in database
GPG Key ID: CA4106B8D7CC79FA

View File

@ -13,13 +13,13 @@
}: }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "dino-unstable-2018-09-05"; name = "dino-unstable-2018-09-21";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "dino"; owner = "dino";
repo = "dino"; repo = "dino";
rev = "79e0aee5fdb90830fad748fdfae717cb5fbf91f9"; rev = "6b7ef800f54e781a618425236ba8d4ed2f2fef9c";
sha256 = "1sfh729fg6c5ds3rcma13paqnvv58jln34s93j74jnca19wgn7k5"; sha256 = "1si815b6y06lridj88hws0dgq54w9jfam9sqbrq3cfcvmhc38ysk";
fetchSubmodules = true; fetchSubmodules = true;
}; };