Ubuntu

Binary package “coqide” in ubuntu oneiric

  1. Oneiric (11.10)
  2. coqide

No summary available for coqide in ubuntu oneiric.

No description available for coqide in ubuntu oneiric.

Published versions

Not published at present.