* strategoxt-0.17

svn path=/nixpkgs/trunk/; revision=16154
This commit is contained in:
Rob Vermaas 2009-07-03 05:01:04 +00:00
parent 51f3a05ab5
commit 7d5a3a1933

View File

@ -6,10 +6,10 @@ rec {
sdf = stdenv.mkDerivation rec { sdf = stdenv.mkDerivation rec {
name = "sdf2-bundle-2.4pre212034"; name = "sdf2-bundle-2.4";
src = fetchurl { src = fetchurl {
url = "http://releases.strategoxt.org/strategoxt-0.17/sdf2-bundle/${name}-37nm9z7p/sdf2-bundle-2.4.tar.gz"; url = "ftp://ftp.strategoxt.org/pub/stratego/StrategoXT/strategoxt-0.17/sdf2-bundle-2.4.tar.gz";
sha256 = "2ec83151173378f48a3326e905d11049d094bf9f0c7cff781bc2fce0f3afbc11"; sha256 = "2ec83151173378f48a3326e905d11049d094bf9f0c7cff781bc2fce0f3afbc11";
}; };
@ -28,11 +28,11 @@ rec {
strategoxt = stdenv.mkDerivation rec { strategoxt = stdenv.mkDerivation rec {
name = "strategoxt-0.17pre18583"; name = "strategoxt-0.17";
src = fetchurl { src = fetchurl {
url = "http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18583-i573smdl/strategoxt-0.17pre18583.tar.gz"; url = "ftp://ftp.strategoxt.org/pub/stratego/StrategoXT/strategoxt-0.17/strategoxt-0.17.tar.gz";
sha256 = "4769d82a62d1c53fc3f4631ddef489e638ff2361a2eceb1226f2b56ab45b7784"; sha256 = "70355576c3ce3c5a8a26435705a49cf7d13e91eada974a654534d63e0d34acdb";
}; };
buildInputs = [pkgconfig aterm sdf getopt]; buildInputs = [pkgconfig aterm sdf getopt];