Re: Naming scheme for coq libraries
Sven Luther wrote:
> On Thu, Aug 09, 2007 at 09:38:16AM +0200, Samuel Mimram wrote:
>> 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 ?
Ah, right, it should be libfloat-coq then to be consistent with caml's
scheme. Any other suggestion?