/distrib/windows/

• ../
• LICENSE_SPLASH
• coq.ico
• coq.nsi
• coq_splash.png