coq-proba icon indicating copy to clipboard operation
coq-proba copied to clipboard

Published 20 hours ago • verified publisher icon jtassarotti

GitHub release for packaging?

Open palmskog opened this issue 5 years ago • 1 comments

Any chance of a GitHub release of this project? This would allow easy packaging in Coq's OPAM repo which leads to better exposure/visibility (and hopefully more external contributions).

palmskog avatar Nov 18 '19 15:11 palmskog

Yes, I would like to make one, after I finish and merge the typeclasses branch (hopefully soon)

jtassarotti avatar Nov 28 '19 01:11 jtassarotti