Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/by-name/bo/boogie/

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