nixpkgs/pkgs/tools/misc/leanify
Mynacol 1a2fc30c43 leanify: Add simple check
Check that the executable is where it's expected and that it can be
executed. The command is expected to fail with `Map file error: Invalid argument`.
However, it returns with return value 0.
2024-05-31 17:34:14 +02:00
..
default.nix