|
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
|
php-5.3: Remove
|
2014-12-10 17:19:37 +01:00 |
|
libraries
|
Revert "haskell-hxt: update to 9.3.1.9"
|
2014-12-10 23:27:45 +00:00 |
|
lisp-modules
|
Add CL-SMTP package
|
2014-11-16 19:57:12 +03: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
|
jenkins: update to 1.594
|
2014-12-18 14:30:14 +08:00 |
