Hi, 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? Cheers, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
