Re: Naming scheme for coq libraries
On Thu, Aug 09, 2007 at 09:38:16AM +0200, Samuel Mimram wrote:
> Hi,
>
> I've had a bug report (#430878) which has asked me to package the Float
> library for coq. Since it is the first coq library to be packaged, we
> have to decide of a naming scheme for those. I would go for
> "coq-lib-float" but if anyone has a better / more standard suggestion
> for the name of the package, it's time to say it...
libcoq-float ? To be consistent with the libocaml-foo naming scheme ?
Friendly,
Sven Luther
Reply to: