search

resource-reasoning / jscert_dev

This repository is now abandoned in favour of using
https://github.com/jscert/jscert
Other
0 stars 0 forks source link

Package for OPAM? #41

Closed IgnoredAmbience closed 7 years ago

IgnoredAmbience commented 9 years ago

OPAM for Coq is now a thing. It has a shiny website: http://coq.io/opam/

Should we start using it to package JSCert/use for our flocq dependency?

brabalan commented 9 years ago

Yes, this would be great!

brabalan commented 9 years ago

We need to bug Arthur to put TLC there first. I'll ask him.