The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Thu, May 14, 2015 at 09:45:31PM +0000, Nico wrote:
> Following some source I found on the internet I tried the following
> structure

Hello, the structure is fine, as well as the input for coq_makefile.
Is your code somewhere on github? I think the problem may be the
contents of the .mllib file.

Best,
-- 
Enrico Tassi