[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Naming scheme for coq libraries


Sven Luther wrote:
> 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 ? 

Ah, right, it should be libfloat-coq then to be consistent with caml's
scheme. Any other suggestion?



Reply to: