compilers
|
ats-extsolve: bump
|
2015-05-11 06:41:53 -04:00 |
coq-modules
|
coqPackages.QuickChick: New expression
|
2015-05-10 13:45:59 +02:00 |
interpreters
|
Update Regina/REXX
|
2015-05-10 13:46:30 +02:00 |
libraries
|
Merge branch 'master' into staging
|
2015-05-11 10:05:23 +02:00 |
lisp-modules
|
meta.description fixups
|
2015-04-30 18:17:42 +02:00 |
ocaml-modules
|
meta.description fixups
|
2015-04-30 18:17:42 +02:00 |
pharo
|
Pharo launcher 0.2.4 -> 0.2.7
|
2015-05-05 15:15:31 +02:00 |
tools
|
ctags: 804 -> 816
|
2015-05-11 05:27:53 -04:00 |
web
|
Choosing a different nodejs for armv5tel.
|
2015-05-03 18:02:55 +02:00 |