Folks - Before I try to Coq mailing lists, I am wondering if anyone here has had success building Coq under Cygwin. I've tried the dune and the make approaches, and both fail, in different ways, but seemingly because some components can't deal with the uniquenesses of Cygwin - though they seem to try to provide for it. Regards - Eliot