|
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
|
Add libkate
|
2011-02-09 21:10:55 +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
|
cmake-2.8.3
|
2011-02-09 21:08:53 +00:00 |
