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