Commit Graph

10 Commits

Author SHA1 Message Date
J Phani Mahesh
c4a746af68 mozart: switch sf downloads to mirror://
This allows fallback to all configured mirrors for sourceforge
to download, instead of relying on just downloads.sourceforge.net
2016-08-20 19:14:30 +05:30
Joachim Fasting
ba0f9cfa49
Revert "Merge pull request #16980 from phanimahesh/sf-use-mirrors"
This reverts commit 217594fd1d, reversing
changes made to 8e8a89d8a8.

Turns out it wasn't ready afterall ...
2016-08-20 15:14:23 +02:00
J Phani Mahesh
bf5d09fda9 mozart: switch sf downloads to mirror:// 2016-08-20 17:30:07 +05:30
Henry Till
7670739d21 mozart: fix tcl/tk issues and clean up 2015-10-03 17:26:10 -04:00
Eric Seidel
f3c6827373 rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc 2015-01-14 20:27:55 -08:00
Shea Levy
05edd656f6 Missed gcc refs 2014-12-26 12:28:15 -05:00
Mateusz Kowalczyk
12379b27c8 mozart: use longDescription field 2014-11-13 13:50:49 +00:00
Michael Raskin
6c39bbde6d Set correct current platform support for Mozart binary 2014-11-11 13:57:00 +03:00
Domen Kožar
eba10b008f fix tarball eval 2014-11-11 07:21:43 +01:00
Michael Raskin
b6203b804b Mark binary distribution of Mozart/Oz 2.0 as such 2014-11-09 19:26:55 +03:00