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
|
mackerel-agent: 0.77.0 -> 0.77.1
|
2023-07-17 07:14:04 +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
|
Merge pull request #243617 from Eliot00/v2raya-update
|
2023-07-16 22:17:53 -06:00 |
top-level
|
coqPackages.compcert: enable for Coq 8.17
|
2023-07-17 07:47:50 +02:00 |