fdopen/godi-repo — pull request #2 by vprevosto (2014-03-05 17:04:31+00:00)
Title: add packages for coq and alt-ergo

packaging coq and alt-ergo for windows