The Coq mailing list

[Keiko Nakata <keiko AT kurims.kyoto-u.ac.jp>]

Hello,

Is there a tool or extension which packs several Coq object files into a 
single file
containing the object files as sub-modules, a la Ocaml's -pack option?

> I am looking for some information or a tutorial on how (qualified)
> Coq library names are mapped to locations in a file system,
> and how this should be used to structure larger Coq projects.

I have been having the same and related problems. 
I had several files with the same name and used the file system's hierarchy
to organize the name space. Then my life became complicated; 
I miss at least the -pack option as supported in Ocaml. 
(the -pack option combines specified object files, packing them in a single 
file
containing the object files as sub-modules:
http://caml.inria.fr/pub/docs/manual-ocaml/manual022.html)

I ended up in giving distinct names to distinct files; 
my life has become easier, but I am not very happy.

With best regards,
Keiko