search

tezos / tezoscoq

working with coq and tezos
28 stars 9 forks source link

Publish on Coq OPAM repository? #5

Open jeromesimeon opened 6 years ago

jeromesimeon commented 6 years ago

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