compilers
Merge branch master into staging
2015-04-06 18:58:08 -07:00
coq-modules
coq-contribs: fix various packages
2015-03-01 17:53:51 +01:00
haskell-modules
Merge branch master into staging
2015-04-06 18:58:08 -07:00
interpreters
Merge branch master into staging
2015-04-06 18:58:08 -07:00
lisp-modules
More mysql migrations
2015-04-01 16:50:47 -07:00
misc
avr-gcc-with-avr-libc: remove unused gcc-4.6 patch
2015-02-22 12:41:14 +01:00
mobile
Pulled androidndk_r8e into a separate file.
2015-03-03 15:31:49 +00:00
perl-modules
DBD-mysql: 4.023 -> 4.031
2015-04-01 16:41:19 -07:00
pharo
Pharo launcher 0.2.1 --> 0.2.4
2015-02-13 12:48:32 +01:00
python-modules
graph-tool: add joelmo to maintainers
2015-04-01 18:16:15 +02:00
r-modules
One more mysql fix
2015-04-01 16:52:38 -07:00
tools
fix fallout from merge of master
2015-04-06 19:48:44 -07:00