build-support
|
Revert "coqPackages: etc"
|
2022-05-13 06:47:14 +02:00 |
data
|
Merge pull request #172795 from marsam/update-public-sans
|
2022-05-13 17:30:42 +02:00 |
desktops
|
Merge pull request #172429 from bobby285271/pantheon
|
2022-05-12 22:45:47 +08:00 |
games
|
opendungeons: fix compilation
|
2022-05-12 18:06:24 -05:00 |
misc
|
cliscord: fix build on Darwin
|
2022-05-11 16:51:17 -05:00 |
pkgs-lib
|
Merge pull request #104457 from ju1m/public-inbox
|
2022-05-12 20:46:39 +02:00 |
servers
|
home-assistant: 2022.5.3 -> 2022.5.4
|
2022-05-13 13:33:19 +02:00 |
shells
|
zsh-fzf-tab: fix Darwin build
|
2022-05-12 00:17:53 -05:00 |
tools
|
Merge pull request #170951 from cab404/qFlipper102
|
2022-05-13 17:37:56 +01:00 |
top-level
|
Merge pull request #172885 from armeenm/fix-aspino
|
2022-05-13 18:39:20 +02:00 |