applications
|
x16-emulator: mark as broken on ARM
|
2023-07-17 01:58:05 -03:00 |
desktops
|
xfce.xfce4-verve-plugin: 2.0.1 -> 2.0.3
|
2023-07-16 16:33:09 +08:00 |
development
|
coqPackages.compcert: enable for Coq 8.17
|
2023-07-17 07:47:50 +02:00 |
os-specific
|
linuxPackages.trelay: init at 22.03.5
|
2023-07-16 21:13:31 +02:00 |
servers
|
prometheus-smokeping-prober: 0.6.1 -> 0.7.1
|
2023-07-17 02:51:29 +00:00 |
shells
|
Merge pull request #242678 from Artturin/zshen1
|
2023-07-14 03:42:05 +03:00 |
stdenv
|
freshBootstrapTools: fix build on darwin
|
2023-07-15 19:54:50 +02:00 |
tools
|
scaleway-cli: 2.17.0 -> 2.18.0
|
2023-07-17 10:57:09 +00:00 |
top-level
|
coqPackages.compcert: enable for Coq 8.17
|
2023-07-17 07:47:50 +02:00 |