ccyip / coq-opam Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq/opam
Archive for all Coq related OPAM packages organized in various repositories
Home Page: https://coq.inria.fr/opam/www/
License: GNU Lesser General Public License v2.1