coq
|
Revert "coqPackages: etc"
|
2022-05-13 06:47:14 +02:00 |
dotnet
|
buildDotnetModule: fix args
|
2022-05-10 11:40:59 -04:00 |
kernel
|
nixos/udev: compress all firmware if supported
|
2022-05-13 14:36:34 +00:00 |
setup-hooks
|
makeBinaryWrapper: really unset NIX_CFLAGS
|
2022-05-06 17:03:52 +02:00 |