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 |
interpreters
|
Turn more licenses into lib.licenses style
|
2014-11-06 00:48:16 +00:00 |
libraries
|
haskell-pipes-text: update to version 0.0.0.13
|
2014-11-07 23:22:27 +01:00 |
lisp-modules
|
Update Lisp CLX
|
2014-11-03 12:12:24 +03:00 |
ocaml-modules
|
zarith: propagate build input gmp
|
2014-11-07 09:50:39 +00:00 |
pharo
|
Update pharo-vm to 2014.10.28
|
2014-10-28 14:36:17 +01:00 |
pure-modules/pure-gsl
|
Add pure-gsl package
|
2014-10-14 21:21:36 +11:00 |
python-modules
|
Add 'pycdio', a Python wrapper for libcdio.
|
2014-11-07 21:26:53 +01:00 |
qtcreator
|
qtcreator: Update from 3.2.0 to 3.2.1
|
2014-10-14 18:00:57 +02:00 |
r-modules
|
r-RcmdrPlugin.ROC: disable broken build
|
2014-11-02 17:09:54 +01:00 |
web
|
remarkjs: Update from 0.6.5 to 0.7.0
|
2014-10-28 14:44:37 +01:00 |