Frederik Rietdijk 959842a9c7 Python: add pname attributes to libraries ... so that we can use the update script.		2017-05-27 11:30:21 +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	haskell-servant-client: fix evaluation	2017-05-27 10:33:37 +02:00
idris-modules
interpreters	maude: disable CVC4 support to fix the build	2017-05-26 20:37:36 +02:00
java-modules
libraries	libopus: 1.1.4 -> 1.1.5	2017-05-27 02:59:16 +02:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	Python: add pname attributes to libraries	2017-05-27 11:30:21 +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