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 |
interpreters
|
php-5.3: Remove
|
2014-12-10 17:19:37 +01:00 |
libraries
|
libyaml: fix CVE-2014-9130 by upstream patch
|
2014-12-10 19:26:09 +01: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 |
python-modules
|
PyQt: fix build
|
2014-12-09 13:23:13 +01:00 |
r-modules
|
Mark R packages h2o, jvmr, and qtbase as broken.
|
2014-12-04 15:00:54 +01:00 |
tools
|
Update c2hs to 0.20.1
|
2014-12-10 16:01:37 -05:00 |