Archive for all Coq related OPAM packages organized in various repositories
GNU Lesser General Public License v2.1
127
stars
166
forks
source link
[extra-dev] Rename mathcomp-altreals to mathcomp-experimental-reals #3198
Closed
proux01 closed 1 week ago
ci-skip: coq-mathcomp-classical coq-mathcomp-reals coq-mathcomp-analysis coq-mathcomp-reals-stdlib
Following remark of @palmskog in https://github.com/coq/opam/pull/3192#issuecomment-2446009348