applications
|
Merge pull request #32250 from vbgl/coq-clean
|
2017-12-11 18:13:24 +01:00 |
data
|
zeal: 0.4.0 -> 0.5.0
|
2017-12-11 08:06:01 +08:00 |
desktops
|
Merge older staging
|
2017-12-11 09:49:56 +01:00 |
development
|
Merge pull request #32250 from vbgl/coq-clean
|
2017-12-11 18:13:24 +01:00 |
games
|
Merge older staging
|
2017-12-11 09:49:56 +01:00 |
misc
|
U-Boot: Adds Orange Pi PC build
|
2017-12-11 19:05:15 +02:00 |
os-specific
|
linux-testing: 4.15-rc2 -> 4.15-rc3
|
2017-12-11 10:36:51 +01:00 |
servers
|
powerdns: 4.0.4 -> 4.0.5 for CVE-2017-15091
|
2017-12-11 14:52:11 +01:00 |
shells
|
nix-bash-completions: lazy load aware install
|
2017-12-10 14:07:13 +00:00 |
tools
|
pinentry: clean up
|
2017-12-16 03:52:37 +01:00 |