1 search result for "author:"Coq team <coqdev@inria.fr>""

Showing 1 - 1
  1. coq-shell
    Documentation
    Simplified OPAM shell for Coq
    Coq team <coqdev@inria.fr>
    1
    LGPL-2.1-only
    Used by 0 other packages
    19 Nov 2015