change coq-mathcomp-word.2.2 to use stable archive #2843
Merged
The logs for this run have expired and are no longer available.
Loading