/ports/minisat-master-keying/

• ../
• portfile.cmake
• vcpkg.json