nix: tokei why3 patch

This commit is contained in:
Primrose 2024-07-08 21:13:49 +02:00
parent eba61e3a39
commit ceea00edde
Signed by: primrose
GPG key ID: 4E887A4CA9714ADA
2 changed files with 31 additions and 0 deletions

View file

@ -28,6 +28,7 @@ rustPlatform.buildRustPackage {
patches = [
./hledger.patch
./skel.patch
./why3.patch
];
buildInputs = lib.optionals stdenv.isDarwin [