search

coq / opam

Archive for all Coq related OPAM packages organized in various repositories
https://coq.inria.fr/opam/www/
GNU Lesser General Public License v2.1
127 stars 166 forks source link

coq-yalla v2.0.5 & v2.0.6 #3157

Closed olaure01 closed 2 months ago

olaure01 commented 2 months ago

updated versions for coq 8.19 and 8.20