yap: update from 6.2.2 to 6.3.3

This commit is contained in:
Peter Simons 2015-01-27 13:35:07 +01:00
parent cd487d6489
commit e1c72b6bd3

View file

@ -1,12 +1,12 @@
{ stdenv, fetchurl, readline, gmp, zlib }:
stdenv.mkDerivation rec {
version = "6.2.2";
version = "6.3.3";
name = "yap-${version}";
src = fetchurl {
url = "http://www.dcc.fc.up.pt/~vsc/Yap/${name}.tar.gz";
sha256 = "0l6p0vy667wws64cvwf74ssl6h9gypjzrsl3b2d32hs422186pzi";
sha256 = "0y7sjwimadqsvgx9daz28c9mxcx9n1znxklih9xg16k6n54v9qxf";
};
buildInputs = [ readline gmp zlib ];