John Wiegley 38ab111dd7 coqPackages.unimath: new expression		2014-11-12 14:37:25 -06:00
..
arduino
compilers	Fixed many descriptions	2014-11-11 14:36:34 +01:00
coq-modules	coqPackages.unimath: new expression	2014-11-12 14:37:25 -06:00
eclipse
guile-modules
interpreters	remove unused pythonLinkmeWrapper	2014-11-08 20:19:55 +01:00
libraries	add labeled-tree	2014-11-12 13:51:53 +01:00
lisp-modules	Add some lisp packages, including clx-truetype	2014-11-12 16:58:22 +03:00
lua-modules
misc
mobile
ocaml-modules	ocaml-sqlite3: update from 2.0.4 to 2.0.7	2014-11-11 20:08:37 +00:00
perl-modules
pharo
pure-modules/pure-gsl
python-modules
qtcreator
r-modules
ruby-modules
tools	pydb: set meta.platforms	2014-11-12 16:03:00 +01:00
web	Fixed many descriptions	2014-11-11 14:36:34 +01:00