applications
|
lean: 2016-12-30 -> 2017-01-06
|
2017-01-06 11:57:40 +01:00 |
data
|
nerdfonts: 0.8.0 -> 1.0.0
|
2016-12-29 11:21:57 +01:00 |
development
|
ghc-head: bump
|
2017-01-06 08:39:12 -05:00 |
games
|
sgtpuzzles: 20160429.b31155b -> 20161228.7cae89f
|
2017-01-02 20:18:49 +01:00 |
misc
|
pipes: 1.1.0 -> 1.2.0
|
2017-01-04 16:29:30 +01:00 |
os-specific
|
Merge pull request #21578 from Mic92/zfs
|
2017-01-05 12:52:56 +01:00 |
servers
|
mpd: 0.9.19 -> 0.20
|
2017-01-06 11:39:35 +01:00 |
shells
|
zsh: 5.3 -> 5.3.1
|
2016-12-21 21:21:59 +01:00 |
tools
|
fzf: install manpage
|
2017-01-06 04:27:35 -05:00 |