applications
|
discord: 0.0.11 -> 0.0.12
|
2020-09-10 13:55:40 -07:00 |
development
|
coqPackages.Verdi: enable for Coq 8.12
|
2020-09-10 22:10:02 +02:00 |
games
|
Merge pull request #66641 from 0x4A6F/master-wyvern
|
2020-09-10 22:40:02 +02:00 |
servers
|
Merge pull request #94257 from Kloenk/openbgpd
|
2020-09-10 20:11:17 +02:00 |
shells
|
oh-my-zsh: 2020-09-04 -> 2020-09-09
|
2020-09-10 10:36:17 -04:00 |
tools
|
Merge pull request #97630 from treed/zhf-rpm-darwin
|
2020-09-10 20:38:23 +01:00 |
top-level
|
Merge pull request #66641 from 0x4A6F/master-wyvern
|
2020-09-10 22:40:02 +02:00 |