arduino
|
Python: use PyPI mirror (#15001)
|
2016-04-26 13:38:03 +01:00 |
coq-modules
|
coq-ext-lib: 0.9.0-beta3 -> 0.9.3
|
2016-04-12 19:43:49 +02:00 |
interpreters
|
boost: Kill unnecessary 'lib' output
|
2016-04-28 00:41:28 +03:00 |
misc
|
Remove cruft
|
2016-04-26 17:31:54 +02:00 |
ocaml-modules
|
Merge branch 'master' into closure-size
|
2016-04-10 11:17:52 +02:00 |
perl-modules
|
Merge 'staging' into closure-size
|
2016-04-07 14:40:51 +02:00 |
pharo
|
pharo-no-spur: 2015.08.06 -> 2016.02.18
|
2016-04-06 08:53:53 +02:00 |
python-modules
|
Python: use PyPI mirror (#15001)
|
2016-04-26 13:38:03 +01:00 |
qtcreator
|
qtcreator: fix build
|
2016-04-22 14:36:19 +03:00 |
r-modules
|
boost: Kill unnecessary 'lib' output
|
2016-04-28 00:41:28 +03:00 |
ruby-modules
|
nix: Add a "dev" output
|
2016-04-18 21:13:18 +02:00 |
web
|
foswiki, egypt, wml: fix build
|
2016-04-25 16:22:52 +02:00 |