Add a date to name

This commit is contained in:
Michael Raskin 2018-02-06 21:30:36 +00:00 committed by GitHub
parent 9cfe7e74e0
commit 4b481684b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,7 @@
{ stdenv, fetchFromGitHub, python3 }: { stdenv, fetchFromGitHub, python3 }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "subdl"; name = "subdl-0.0pre.2017.11.06";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "alexanderwink"; owner = "alexanderwink";