dino: 2019-03-07 -> 2019-09-12 [security update] (#68618)

dino: 2019-03-07 -> 2019-09-12 [security update]
This commit is contained in:
Jörg Thalheim 2019-09-12 22:38:18 +01:00 committed by GitHub
commit 2a3aa4d18b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -15,13 +15,13 @@
}:
stdenv.mkDerivation {
name = "dino-unstable-2019-03-07";
name = "dino-unstable-2019-09-12";
src = fetchFromGitHub {
owner = "dino";
repo = "dino";
rev = "ff6caf241c4d57d3ef124a8b7c3144a09f320ea0";
sha256 = "1gjxfnywlypi3slvxb91b2mycrsqjinmafnkkngahyikr7gmqgnf";
rev = "c8f2b80978706c4c53deb7ddfb8188c751bcb291";
sha256 = "17lc6xiarb174g1hgjfh1yjrr0l2nzc3kba8xp5niwakbx7qicqr";
fetchSubmodules = true;
};