search

coq / opam

Archive for all Coq related OPAM packages organized in various repositories
https://coq.inria.fr/opam/www/
GNU Lesser General Public License v2.1
121 stars 162 forks source link

Package coq-ssprove.0.2.1 #3105

Closed 4ever2 closed 1 month ago

4ever2 commented 1 month ago

@palmskog This release contains the logpath changes that you requested. Would you prefer that I remove the old release or is there some way to mark it as "removed"?

palmskog commented 1 month ago

@4ever2 I think the best option for the Coq ecosystem would be if we removed the old coq-ssprove.0.2.0 package. Then there is no risk of clashing files, since nobody else will use the SSProve prefix.