Binary package “coq” in ubuntu lucid
No summary available for coq in ubuntu lucid.
No description available for coq in ubuntu lucid.
Published versions
Not published at present.
No description available for coq in ubuntu lucid.
Not published at present.