coq-modules
|
coq-fiat: do not run tests on i686
|
2015-07-09 00:15:24 +02:00 |
eclipse
|
ecj: require jdk7 instead of jdk
|
2015-07-27 17:37:37 +02:00 |
lisp-modules
|
Fix version strings for switch from CVS
|
2015-07-15 23:52:44 +03:00 |
ocaml-modules
|
Make ocaml's mysql propagate mysql.lib
|
2015-07-23 19:50:01 +02:00 |
pharo
|
Update pharo-vm to 2015.04.30
|
2015-06-12 22:57:30 +02:00 |
qtcreator
|
qtcreator: fix hash
|
2015-07-04 03:38:53 +03:00 |
r-modules
|
rPackages.stringi: add ICU data tables
|
2015-07-28 12:33:29 +03:00 |
web
|
iojs: 2.4.0 -> 2.5.0
|
2015-07-29 14:36:21 +02:00 |