Re: Packaging issues with files section for my future coq package