antlr4: 4.7.1 -> 4.7.2

This commit is contained in:
Jonathan Ringer 2019-08-14 13:45:12 -07:00
parent f8363c2721
commit 23d3a0269a

View file

@ -2,12 +2,12 @@
, fetchFromGitHub, cmake, ninja, pkgconfig, libuuid, darwin }: , fetchFromGitHub, cmake, ninja, pkgconfig, libuuid, darwin }:
let let
version = "4.7.1"; version = "4.7.2";
source = fetchFromGitHub { source = fetchFromGitHub {
owner = "antlr"; owner = "antlr";
repo = "antlr4"; repo = "antlr4";
rev = version; rev = version;
sha256 = "1xb4d9bd4hw406v85s64gg8gwcrrsrw171vhga1gz4xj6pzfwxz7"; sha256 = "1pl0zs6c6wx9nmq30s7ccpc3dl72az55i8vfp574fw9sywmvxmlj";
}; };
runtime = { runtime = {
@ -38,9 +38,10 @@ let
antlr = stdenv.mkDerivation { antlr = stdenv.mkDerivation {
pname = "antlr"; pname = "antlr";
inherit version; inherit version;
src = fetchurl { src = fetchurl {
url ="https://www.antlr.org/download/antlr-${version}-complete.jar"; url ="https://www.antlr.org/download/antlr-${version}-complete.jar";
sha256 = "1236gwnzchama92apb2swmklnypj01m7bdwwfvwvl8ym85scw7gl"; sha256 = "1d40nfkq3ws8g4ksx4gj6l6m2l9j4b605q6sf68z5vvmg5nkhlk8";
}; };
dontUnpack = true; dontUnpack = true;