coq-modules
|
coqPackages.flocq: new expression
|
2014-10-21 00:23:36 -05:00 |
eclipse
|
Turn more licenses into lib.licenses style
|
2014-11-06 00:48:16 +00:00 |
guile-modules
|
guile-sdl: new package
|
2014-10-31 23:50:54 +08:00 |
libraries
|
webkitgtk: disable parallel building
|
2014-11-08 15:55:53 +01:00 |
lisp-modules
|
Merge recent master into staging
|
2014-11-05 15:00:44 +01:00 |
perl-modules
|
Turn more licenses into lib.licenses style
|
2014-11-06 00:48:16 +00:00 |
pharo
|
Update pharo-vm to 2014.10.28
|
2014-10-28 14:36:17 +01:00 |
r-modules
|
r-RcmdrPlugin.ROC: disable broken build
|
2014-11-02 17:09:54 +01:00 |