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