Merge pull request #46887 from mamciek/myrepos-1.20170129

mr: 1.20170129 -> 1.20180726
This commit is contained in:
Jörg Thalheim 2018-09-19 15:01:03 +01:00 committed by GitHub
commit c73b9cf6ab
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,7 @@
{ stdenv, fetchgit, perl }:
stdenv.mkDerivation rec {
version = "1.20170129";
version = "1.20180726";
name = "mr-${version}";
src = fetchgit {