search

math-comp / algebra-tactics

Ring, field, lra, nra, and psatz tactics for Mathematical Components
33 stars 2 forks source link

Since there is a version 1.0.0 - should it move in Coq Platform from "extened" to "full"? #66

Closed MSoegtropIMC closed 2 years ago

MSoegtropIMC commented 2 years ago

I saw that there is a version 1.0.0 now.

This opens the question if this package should be moved from the Coq Platform "extended" to the "full" level in Coq Platform 2022.09.

The main difference is that packages in the "full" level are expected to have a reasonably stable API. That is changes which would lead to major incompatibilities (frequent and/or not trivial to fix) are not expected.

pi8027 commented 2 years ago

@MSoegtropIMC Thanks for reminding me of this. I would say it should be moved to the "full" level.

MSoegtropIMC commented 2 years ago

Thanks - I moved it in the preview1 branch, so I am closing this.

See (https://github.com/MSoegtropIMC/platform/blob/3dda1f032ea6ae9081359979b0d10f25897ce851/package_picks/package-pick-8.16%7E2022.09%7Epreview1.sh#L138).