compilers
|
* Clang/LLVM updated to 2.8.
|
2011-02-05 15:45:02 +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
|
GNU Guile 1.9.15.
|
2011-02-03 16:42:16 +00:00 |
libraries
|
Version bump for convertible.
|
2011-02-05 23:40:34 +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 Autoconf: Disable tests on Solaris.
|
2011-01-22 22:20:52 +00:00 |