Peter Simons c31c9c9cbb Merge pull request #122 from maggesi/isabelle2012 ... Isabelle2012		2012-09-06 06:50:35 -07:00
..
compilers	Upgrade PolyML to version 5.4.1	2012-09-04 12:02:18 +02:00
eclipse	update ecj to 3.7.2	2012-08-25 19:39:19 +02:00
guile-modules	Drop 'gnomevfs = gnome_vfs;' alias	2011-10-08 12:06:03 +00:00
interpreters	guile: fix Solaris builds	2012-08-11 21:53:43 +02:00
libraries	haskell-split: drop obsolete version 0.1.4.3	2012-09-06 15:47:03 +02:00
misc	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	2012-01-18 20:16:00 +00:00
ocaml-modules	compatibility fix of ocaml-extlib for ocaml 4.00.0.	2012-07-31 14:10:11 +02:00
perl-modules	DBD::SQLite: Don't install a copy of the SQLite sources	2012-08-17 18:11:53 -04:00
python-modules	pyqt: Adding a new url; the old does not work anymore.	2012-07-02 21:00:09 +02:00
ruby-modules	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless	2012-01-18 20:16:00 +00:00
tools	valgrind: update to 3.8.0	2012-09-04 15:50:47 +02:00
web	nodejs: Bump and backport fix to support ESPIPE	2012-08-22 18:54:47 -04:00