public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

yap: update from 6.2.2 to 6.3.3

Browse Source
This commit is contained in:
Peter Simons 2014-03-05 15:32:15 +01:00
parent 5605b256a7
commit 41c662dcf6
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/yap/default.nix
View File

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