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
|
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 |
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
|
buildbot{,-slave}: update 0.8.8 -> 0.8.10
|
2014-12-09 19:14:03 +01:00 |