Ubuntu

Binary package “coq” in ubuntu intrepid

  1. Intrepid (8.10)
  2. coq

No summary available for coq in ubuntu intrepid.

No description available for coq in ubuntu intrepid.

Published versions

Not published at present.