Merge pull request #41972 from r-ryantm/auto-update/pony-stable

pony-stable: 0.1.2 -> 0.1.3
This commit is contained in:
Jörg Thalheim 2018-06-14 10:51:11 +01:00 committed by GitHub
commit 970a10e10b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "pony-stable-${version}"; name = "pony-stable-${version}";
version = "0.1.2"; version = "0.1.3";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "ponylang"; owner = "ponylang";
repo = "pony-stable"; repo = "pony-stable";
rev = version; rev = version;
sha256 = "1g0508r66qjx857cb1cycq98b0gw7s1zn1l7bplyj1psk8mqh7kz"; sha256 = "0dnj9d35fa0iaka2lsc7cvn9d2qbasknn1c3gbxdyc9drf9vv6kf";
}; };
buildInputs = [ ponyc ]; buildInputs = [ ponyc ];