Ubuntu

Binary package “coq” in ubuntu hardy

  1. Hardy (8.04)
  2. coq

No summary available for coq in ubuntu hardy.

No description available for coq in ubuntu hardy.

Published versions

Not published at present.