coq
|
coqPackages.mkCoqDerivation: upgrade to Dune 3
|
2022-10-02 14:42:28 +02:00 |
docker
|
nixosTests.docker-tools: Add image-with-certs
|
2022-09-21 01:00:04 +01:00 |
dotnet
|
nuget-to-nix: find sources deterministically
|
2022-10-02 16:09:27 -03:00 |
src-only
|
srcOnly: remove unused binding
|
2022-09-26 22:18:55 -04:00 |
testers
|
nixos/testing: Fix release.nix tests evaluation
|
2022-09-29 10:49:09 +02:00 |