compilers
|
Updated ghc HEAD expression to 7.0.2-rc2.
|
2011-03-01 11:56:41 +00:00 |
eclipse
|
update ecj version
|
2010-11-22 14:50:52 +00:00 |
guile-modules
|
GNU Guile-Ncurses 1.3.
|
2011-02-04 08:40:33 +00:00 |
interpreters
|
Fix missing semicolon
|
2011-02-16 15:11:58 +00:00 |
libraries
|
Updating ODE.
|
2011-03-02 17:18:24 +00:00 |
misc
|
* More cleanup.
|
2010-07-28 18:01:17 +00:00 |
ocaml-modules
|
Matita and its dependencies.
|
2010-12-31 17:48:55 +00:00 |
python-modules
|
PyQt-4.8.1
|
2010-11-24 10:48:25 +00:00 |
ruby-modules
|
Rake: Fix build. Patch by Ilya Cassina.
|
2010-10-26 01:15:42 +00:00 |
tools
|
GNU AutoGen 5.11.6.
|
2011-02-22 13:40:01 +00:00 |