Re: Naming scheme for coq libraries

[Sven Luther <sven@powerlinux.fr>]

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