coq-modules
|
coqPackages.unimath: new expression
|
2014-11-12 14:37:25 -06:00 |
eclipse
|
Turn more licenses into lib.licenses style
|
2014-11-06 00:48:16 +00:00 |
interpreters
|
Merge branch 'master' into staging
|
2014-11-14 14:28:23 +01:00 |
libraries
|
pocketsphinx: update from 0.7 to 0.8
|
2014-11-14 19:20:16 +01:00 |
lisp-modules
|
Merge branch 'master' into staging
|
2014-11-14 14:28:23 +01:00 |
r-modules
|
r-RcmdrPlugin.ROC: disable broken build
|
2014-11-02 17:09:54 +01:00 |
tools
|
Merge branch 'staging'
|
2014-11-14 16:00:23 +01:00 |