search

coq / coq.github.io

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

Set current version to 8.17.0. #214

Closed Zimmi48 closed 1 year ago

Zimmi48 commented 1 year ago

Since this is only used in the opam instructions, this should be merged after the opam packages are available (cc @palmskog).