coq
|
Revert "coqPackages: etc"
|
2022-05-13 06:47:14 +02:00 |
dotnet
|
nuget-to-nix: include required dependencies
|
2022-04-30 18:24:48 -07: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 |