applications
|
Revert "coqPackages: etc"
|
2022-05-13 06:47:14 +02:00 |
build-support
|
Revert "coqPackages: etc"
|
2022-05-13 06:47:14 +02:00 |
data
|
work-sans: 1.6 -> 2.010
|
2022-05-12 04:20:00 +00:00 |
desktops
|
Merge pull request #172429 from bobby285271/pantheon
|
2022-05-12 22:45:47 +08:00 |
development
|
php80: 8.0.18 -> 8.0.19
|
2022-05-13 09:14:35 +02:00 |
games
|
opendungeons: fix compilation
|
2022-05-12 18:06:24 -05:00 |
os-specific
|
linux-firmware: fetchgit -> fetchzip
|
2022-05-12 18:07:34 +00:00 |
pkgs-lib
|
Merge pull request #104457 from ju1m/public-inbox
|
2022-05-12 20:46:39 +02:00 |
servers
|
invidious: fix build
|
2022-05-12 17:08:36 -07:00 |
shells
|
zsh-fzf-tab: fix Darwin build
|
2022-05-12 00:17:53 -05:00 |
tools
|
Merge pull request #172354 from fabaff/zircolite
|
2022-05-13 08:45:06 +02:00 |