search

coq / coq.github.io

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

Stop using yamlpp as a script #108

Closed maximedenes closed 5 years ago

maximedenes commented 5 years ago

This was sometimes hiding problems (permissions, etc), and other components (Coq Package Index) were reyling on the yamlpp executable to be built.