build-support
|
gnome: rename from gnome3
|
2021-05-08 09:47:42 +02:00 |
games
|
gnuchess: 6.2.7 -> 6.2.8
|
2021-05-10 09:24:02 +01:00 |
misc
|
vimPlugins.specs-nvim: init at 2021-05-05
|
2021-05-10 22:12:39 +08:00 |
os-specific
|
Merge pull request #121901 from TredwellGit/linux
|
2021-05-10 01:06:18 +02:00 |
shells
|
Merge #121780: treewide meta.maintainers tweaks
|
2021-05-08 10:47:08 +02:00 |
test
|
Merge branch 'master' into haskell-updates
|
2021-05-07 15:03:54 +02:00 |
top-level
|
coq: default to version 8.13
|
2021-05-10 18:57:58 +02:00 |