search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Update instructions to create packages for Opam 2.0 #119

Closed Lysxia closed 5 years ago

Lysxia commented 5 years ago

Fixes #115

Lysxia commented 5 years ago

I haven't touched it yet, but in the Rules of thumb section, the first two items seem redundant with the information provided by the opam file. Any thoughts?

  1. Maintained by the Coq team or by an external author (contact email address in the author: field in Opam metadata)
  2. Released with a version number and a tar ball (that is mirrored on the Coq Opam archive website)