search

coq / coq.github.io

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

Read package data from JSON #112

Closed maximedenes closed 5 years ago

maximedenes commented 5 years ago

CI setup still to be tested.

maximedenes commented 5 years ago

Not ready yet, do not merge.