[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Naming scheme for coq libraries


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...



Reply to: