agda
|
agda-iowa-stdlib: mark as broken
|
2014-11-17 17:13:01 +00:00 |
boehm-gc
|
boehm-gc: fixes URLs in meta
|
2014-11-18 00:48:18 +00:00 |
db
|
Attach a bunch of meta.branch info for the monitor
|
2014-11-17 18:04:59 +00:00 |
haskell
|
Merge pull request #4999 from drvirgilio/hayland
|
2014-11-17 22:19:17 +01:00 |
webkitgtk
|
webkitgtk: fix build
|
2014-11-17 23:40:54 +01:00 |