nixpkgs/pkgs/tools/security/scilla
..
default.nix