tezoscoq icon indicating copy to clipboard operation
tezoscoq copied to clipboard

Published 20 hours ago • verified publisher icon tezos

Publish on Coq OPAM repository?

Open jeromesimeon opened this issue 6 years ago • 0 comments

It might be nice to have tezoscoq published in the nice Coq OPAM repository for projects which depend on it. http://coq.io/opam/

jeromesimeon avatar Apr 20 '18 12:04 jeromesimeon