Mateusz Kowalczyk 997b4bff29 agda-pretty: mark as broken ... Broken by updating the stdlib to 0.9. For now I let the author know.		2014-11-20 09:04:54 +00:00
..
arduino
compilers	scala: lib.licenses instead of a string	2014-11-19 18:54:58 +00:00
coq-modules	coqPackages.unimath: new expression	2014-11-12 14:37:25 -06:00
eclipse
guile-modules
interpreters	php: update from 5.4.34 to 5.4.35 (fixes CVE-2014-3710)	2014-11-19 08:47:41 +01:00
libraries	agda-pretty: mark as broken	2014-11-20 09:04:54 +00:00
lisp-modules	Add CL-SMTP package	2014-11-16 19:57:12 +03:00
lua-modules
misc
mobile
ocaml-modules	ocaml-cmdliner: update from 0.9.5 to 0.9.6	2014-11-18 14:34:08 +00:00
perl-modules	slic3r: Bump to 1.2.1	2014-11-15 19:22:59 +01:00
pharo
pure-modules/pure-gsl
python-modules	properly package pyopenssl	2014-11-19 19:41:44 +01:00
qtcreator
r-modules
ruby-modules
tools	Add meta.branch to a bunch of packages	2014-11-19 18:54:58 +00:00
web