coq-modules
|
coq-ext-lib: 0.9.0-beta3 -> 0.9.3
|
2016-04-12 19:43:49 +02:00 |
haskell-modules
|
ghcjs: update sources to latest
|
2016-04-16 01:55:56 -04:00 |
interpreters
|
Make rigsofrods build the latest code.
|
2016-04-18 12:30:47 +02:00 |
libraries
|
cairo: build cairo-xlib even on Darwin
|
2016-04-19 18:06:53 +02:00 |
python-modules
|
pygobject: fix some warnings
|
2016-04-16 00:23:57 -03:00 |
ruby-modules
|
nix: Add a "dev" output
|
2016-04-18 21:13:18 +02:00 |
tools
|
Merge pull request #14625 from utdemir/master
|
2016-04-19 13:48:06 +02:00 |