applications
|
coq2html: New expression
|
2017-08-01 09:30:20 -07:00 |
build-support
|
dockerTools: fix permissions on base image
|
2017-07-31 13:52:35 +02:00 |
data
|
cacert: fix unicode names in blacklist
|
2017-07-31 12:26:23 +02:00 |
development
|
ghc-events_0_6_0 no longer exists
|
2017-08-01 09:34:50 -07:00 |
games
|
zeroad: 0.0.21 -> 0.0.22
|
2017-08-01 10:35:01 +02:00 |
misc
|
dolphinEmuMaster: 20170705 -> 20170730
|
2017-07-31 11:59:46 -07:00 |
os-specific
|
ipsecTools: add patch to fix CVE-2016-10396
|
2017-08-01 10:26:19 +02:00 |
servers
|
unifi: 5.5.19 -> 5.5.20
|
2017-08-01 12:20:08 +02:00 |
shells
|
zsh-completions: 0.25.0 -> 0.26.0
|
2017-08-01 08:36:34 +02:00 |
tools
|
Revert "otfcc: init at 0.8.6"
|
2017-08-01 06:23:57 -05:00 |
top-level
|
coq2html: New expression
|
2017-08-01 09:30:20 -07:00 |