|
arduino
|
ino: Use picocom rather than minicom
|
2014-11-29 17:55:41 +00:00 |
|
compilers
|
haskell-Agda: update to 2.4.2.2
|
2014-12-10 09:48:11 +00:00 |
|
coq-modules
|
Adds coq-interval
|
2014-12-08 09:15:13 +01: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
|
Merge branch 'master' into staging
|
2014-12-07 14:02:48 +01:00 |
|
libraries
|
haskell-gtk3: update to 0.13.3
|
2014-12-10 09:49:15 +00:00 |
|
lisp-modules
|
Add CL-SMTP package
|
2014-11-16 19:57:12 +03:00 |
|
lua-modules
|
lua: Fixed luasql.patch
|
2014-10-01 06:00:06 +01:00 |
|
mobile
|
add android build tools to $PATH
|
2014-11-24 00:47:57 -08:00 |
|
ocaml-modules
|
Adds ocaml-fieldslib
|
2014-12-09 19:37:48 +01:00 |
|
perl-modules
|
fix a bunch of perl modules
|
2014-12-10 01:38:00 +01:00 |
|
pharo
|
Update pharo vm
|
2014-12-04 16:41:20 +01:00 |
|
pure-modules/pure-gsl
|
Add pure-gsl package
|
2014-10-14 21:21:36 +11:00 |
|
python-modules
|
PyQt: fix build
|
2014-12-09 13:23:13 +01:00 |
|
qtcreator
|
qtcreator: Update from 3.2.0 to 3.2.1
|
2014-10-14 18:00:57 +02:00 |
|
r-modules
|
Mark R packages h2o, jvmr, and qtbase as broken.
|
2014-12-04 15:00:54 +01:00 |
|
tools
|
buildbot{,-slave}: update 0.8.8 -> 0.8.10
|
2014-12-09 19:14:03 +01:00 |
