Merge pull request #32693 from yegortimoshenko/paperkey/1.5

paperkey: 1.4 -> 1.5
This commit is contained in:
Jörg Thalheim 2017-12-15 09:44:34 -08:00 committed by GitHub
commit e9782a194a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "paperkey-${version}"; name = "paperkey-${version}";
version = "1.4"; version = "1.5";
src = fetchurl { src = fetchurl {
url = "http://www.jabberwocky.com/software/paperkey/${name}.tar.gz"; url = "http://www.jabberwocky.com/software/paperkey/${name}.tar.gz";
sha256 = "0vrkryxqbsjcmqalsnxvc3pahg6vvyrn139aj8md29sihgnb0az1"; sha256 = "1prd2jaf4zjad3xhv160hmi5n408ssljfg7iz90jxs9w111pjwy4";
}; };
enableParallelBuilding = true; enableParallelBuilding = true;