compilers
|
Merge pull request #2521 from jwiegley/agda
|
2014-05-22 14:22:31 -05:00 |
interpreters
|
python: 3.4.0 -> 3.4.1
|
2014-05-22 09:05:38 +02:00 |
mobile
|
androidsdk: upgrade 22.3 -> 22.6.2
|
2014-05-08 00:49:19 +02:00 |
python-modules
|
pygobject3: update 3.10.2 -> 3.12.1
|
2014-05-20 13:37:09 +02:00 |
r-modules
|
R-MASS: update to version 7.3-33
|
2014-05-16 17:52:42 +02:00 |
tools
|
haskell-hobbes: add version 0.2.2
|
2014-05-23 17:39:16 +02:00 |
web
|
Revert "typescript: add package. Closes #2712"
|
2014-05-21 15:57:34 +02:00 |