Ubuntu

Binary package “coq” in ubuntu hirsute

  1. Hirsute (21.04)
  2. coq

No summary available for coq in ubuntu hirsute.

No description available for coq in ubuntu hirsute.

Published versions

Not published at present.