/pkgs/by-name/bo/boogie/

• ../
• deps.nix
• install-check-file.bpl
• package.nix