coq-modules
|
coqPackages.unimath: new expression
|
2014-11-12 14:37:25 -06:00 |
interpreters
|
Merge branch 'master' into staging
|
2014-11-26 21:48:26 +01:00 |
libraries
|
stlport: mark as broken (it's unused anyway)
|
2014-11-27 00:00:39 +01:00 |
lisp-modules
|
Add CL-SMTP package
|
2014-11-16 19:57:12 +03:00 |
mobile
|
add android build tools to $PATH
|
2014-11-24 00:47:57 -08:00 |
ocaml-modules
|
ocaml-cil: update from 1.3.2 to 1.7.3
|
2014-11-22 22:51:04 +00:00 |
perl-modules
|
slic3r: Bump to 1.2.1
|
2014-11-15 19:22:59 +01:00 |
python-modules
|
properly package pyopenssl
|
2014-11-19 19:41:44 +01:00 |