Ubuntu

Binary package “agda” in ubuntu artful

  1. Artful (17.10)
  2. agda

No summary available for agda in ubuntu artful.

No description available for agda in ubuntu artful.

Published versions

Not published at present.