Ubuntu

Binary package “agda” in ubuntu zesty

  1. Zesty (17.04)
  2. agda

No summary available for agda in ubuntu zesty.

No description available for agda in ubuntu zesty.

Published versions

Not published at present.