compilers
|
Merge #121780: treewide meta.maintainers tweaks
|
2021-05-08 10:47:08 +02:00 |
coq-modules
|
coqPackages.VST: 2.6 → 2.7.1
|
2021-05-07 08:35:13 +02:00 |
interpreters
|
gnuapl: Fix build
|
2021-05-07 14:44:01 -07:00 |
libraries
|
Merge #121780: treewide meta.maintainers tweaks
|
2021-05-08 10:47:08 +02:00 |
misc
|
gnome: rename from gnome3
|
2021-05-08 09:47:42 +02:00 |
tools
|
Merge #121780: treewide meta.maintainers tweaks
|
2021-05-08 10:47:08 +02:00 |
web
|
Merge #121780: treewide meta.maintainers tweaks
|
2021-05-08 10:47:08 +02:00 |