On Thu, Aug 09, 2007 at 10:36:27AM +0200, Samuel Mimram wrote: > 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?
I prefer the lib(coq|ocaml)-float kind of names myself, but well, ocaml is saddled with the historical choice we did back then. Friendly, Sven Luther -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
