apery icon indicating copy to clipboard operation
apery copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

Missing opam package

Open amahboubi opened this issue 3 years ago • 1 comments

amahboubi avatar Jan 12 '22 12:01 amahboubi

We now have a released package: https://github.com/coq/opam-coq-archive/blob/master/released/packages/coq-mathcomp-apery/coq-mathcomp-apery.1.0.1/opam

Do we want a dev (Git-based) opam package registered in the archive as well?

palmskog avatar Feb 04 '22 13:02 palmskog