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