|
applications
|
lean: 2017-01-14 -> 3.0.0
|
2017-01-20 10:59:54 +01:00 |
|
build-support
|
debian: 8.6 -> 8.7
|
2017-01-17 10:55:05 +01:00 |
|
data
|
man-pages: 4.08 -> 4.09
|
2017-01-12 19:16:54 +01:00 |
|
desktops
|
gnome3.nemiver: fix build
|
2017-01-20 02:38:50 +01:00 |
|
development
|
php70: 7.0.14 -> 7.0.15
|
2017-01-20 11:54:34 +01:00 |
|
games
|
eduke32: fix build
|
2017-01-19 16:52:40 +01:00 |
|
misc
|
Merge pull request #21995 from abbradar/opencl
|
2017-01-20 12:09:17 +03:00 |
|
os-specific
|
Merge pull request #21995 from abbradar/opencl
|
2017-01-20 12:09:17 +03:00 |
|
servers
|
elasticsearch2: Minor cleanup
|
2017-01-20 09:52:07 +01:00 |
|
shells
|
oh-my-zsh: 2016-12-16 -> 2017-01-15
|
2017-01-17 17:55:40 -05:00 |
|
tools
|
Merge pull request #21995 from abbradar/opencl
|
2017-01-20 12:09:17 +03:00 |
|
top-level
|
Merge pull request #21997 from peterhoeg/f/diag
|
2017-01-20 09:34:18 +00:00 |
