coq-modules
|
coq-ext-lib: 0.9.0-beta3 -> 0.9.3
|
2016-04-12 19:43:49 +02:00 |
libraries
|
exiv2: multiple outputs
|
2016-04-25 19:04:24 -05:00 |
lisp-modules
|
quicklisp (lispPackages.quicklisp): init
|
2016-03-25 17:58:05 +01: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
|
graph-tool: 2.12 -> 2.16 (#14848)
|
2016-04-25 12:37:18 +02:00 |
qtcreator
|
qtcreator: fix build
|
2016-04-22 14:36:19 +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 |