applications
|
coq_8_9: 8.9+beta1 -> 8.9.0
|
2019-01-24 09:08:51 +00:00 |
desktops
|
libglade: fix on darwin
|
2019-01-22 11:33:30 -05:00 |
games
|
Merge pull request #54356 from etu/update-lsi
|
2019-01-24 00:54:14 +01:00 |
os-specific
|
Merge pull request #54516 from matthewbauer/column
|
2019-01-24 00:58:36 +01:00 |
servers
|
Merge pull request #53796 from Izorkin/ejabberd
|
2019-01-24 00:57:54 +01:00 |
shells
|
zsh: 5.6.2 -> 5.7
|
2019-01-24 21:37:54 +01:00 |
tools
|
Merge pull request #54542 from Mic92/nix-review
|
2019-01-24 17:16:09 +00:00 |
top-level
|
coq_8_9: 8.9+beta1 -> 8.9.0
|
2019-01-24 09:08:51 +00:00 |