From 7d5a3a193316abb9ce4d8e10dde8cd0aa591e872 Mon Sep 17 00:00:00 2001
From: Rob Vermaas <rob.vermaas@gmail.com>
Date: Fri, 3 Jul 2009 05:01:04 +0000
Subject: [PATCH]  * strategoxt-0.17

svn path=/nixpkgs/trunk/; revision=16154
---
 pkgs/development/compilers/strategoxt/0.17.nix | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/pkgs/development/compilers/strategoxt/0.17.nix b/pkgs/development/compilers/strategoxt/0.17.nix
index b10b1aca2251..3bce7b8ae76c 100644
--- a/pkgs/development/compilers/strategoxt/0.17.nix
+++ b/pkgs/development/compilers/strategoxt/0.17.nix
@@ -6,10 +6,10 @@ rec {
 
   
   sdf = stdenv.mkDerivation rec {
-    name = "sdf2-bundle-2.4pre212034";
+    name = "sdf2-bundle-2.4";
 
     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";
     };
 
@@ -28,11 +28,11 @@ rec {
 
   
   strategoxt = stdenv.mkDerivation rec {
-    name = "strategoxt-0.17pre18583";
+    name = "strategoxt-0.17";
 
     src = fetchurl {
-      url = "http://releases.strategoxt.org/strategoxt/strategoxt-0.17pre18583-i573smdl/strategoxt-0.17pre18583.tar.gz";
-      sha256 = "4769d82a62d1c53fc3f4631ddef489e638ff2361a2eceb1226f2b56ab45b7784";
+      url = "ftp://ftp.strategoxt.org/pub/stratego/StrategoXT/strategoxt-0.17/strategoxt-0.17.tar.gz";
+      sha256 = "70355576c3ce3c5a8a26435705a49cf7d13e91eada974a654534d63e0d34acdb";
     };
 
     buildInputs = [pkgconfig aterm sdf getopt];