Merge pull request #43779 from r-ryantm/auto-update/chibi-scheme

chibi: 0.7.3 -> 0.8
This commit is contained in:
Frederik Rietdijk 2018-07-21 10:58:25 +02:00 committed by GitHub
commit b622dcc1ed
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,6 @@
{ stdenv, fetchFromGitHub, makeWrapper }:
let
version = "0.7.3";
version = "0.8";
name = "chibi-scheme-${version}";
in
stdenv.mkDerivation {
@ -18,7 +18,7 @@ stdenv.mkDerivation {
owner = "ashinn";
repo = "chibi-scheme";
rev = version;
sha256 = "05b17flppkll1a2c2aq6lxh4iif4pjmpxmyrmiqzk0ls85gvai2x";
sha256 = "0269d5fhaz7nqjb41vh7yz63mp5s4z08fn4sspwc06z32xksigw9";
};
buildInputs = [ makeWrapper ];