coq
|
coqPackages.mkCoqDerivation: upgrade to Dune 3
|
2022-10-02 14:42:28 +02:00 |
dotnet
|
nuget-to-nix: find sources deterministically
|
2022-10-02 16:09:27 -03:00 |
fetchurl
|
fixup! fetchurl: add pname+version support
|
2022-10-05 15:54:57 +02:00 |
fetchzip
|
fetchzip: add pname+version support
|
2022-10-04 18:57:46 +02: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 |
writers
|
writers.writeJS: pass arguments to script
|
2022-10-11 20:16:37 +02:00 |