Ubuntu

Binary package “agda” in ubuntu saucy

  1. Saucy (13.10)
  2. agda

No summary available for agda in ubuntu saucy.

No description available for agda in ubuntu saucy.

Published versions

Not published at present.