Peter Simons 8a11612d50 maude: disable CVC4 support to fix the build		2017-05-26 20:37:36 +02:00
..
arduino
beam-modules
bower-modules/generic
compilers	Merge older staging	2017-05-26 15:45:43 +02:00
coq-modules
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules	Merge pull request #25103 from Hodapp87/google_cloud_print	2017-05-20 18:23:12 +01:00
guile-modules
haskell-modules	stutter: init at 0.1.0.1	2017-05-26 09:15:55 +01:00
idris-modules
interpreters	maude: disable CVC4 support to fix the build	2017-05-26 20:37:36 +02:00
java-modules
libraries	Merge older staging	2017-05-26 15:45:43 +02:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	Merge pull request #26078 from mt-caret/3to2-fetchpypi	2017-05-25 19:24:27 +02:00
qtcreator
r-modules
ruby-modules	mikutter: init at 3.5.7	2017-05-21 12:13:34 +01:00
tools	Merge older staging	2017-05-26 15:45:43 +02:00
web	nodejs-7_x: 7.9.0 -> 7.10.0	2017-05-24 21:11:05 +02:00