/dev/build/windows/

• ../
• CAVEATS.txt
• MakeCoq_MinGW.bat
• MakeCoq_SetRootPath.bat
• MakeCoq_explicitcachefolders_installer.bat
• MakeCoq_local_installer.bat
• MakeCoq_master_installer.bat
• MakeCoq_regtest_noproxy.bat
• MakeCoq_regtests.bat
• ReadMe.txt
• configure_profile.sh
• difftar-folder.sh
• makecoq_mingw.sh
• patches_coq