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 |
haskell-modules
|
Merge branch 'master' into staging
|
2015-05-11 10:05:23 +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 |
r-modules
|
r-modules: regenerate 2015-05-11T14:48:00+0100
|
2015-05-12 07:47:41 +02:00 |
tools
|
Merge branch 'master' into staging
|
2015-05-11 10:05:23 +02:00 |
web
|
Choosing a different nodejs for armv5tel.
|
2015-05-03 18:02:55 +02:00 |