Ubuntu

Binary package “agda” in ubuntu raring

  1. Raring (13.04)
  2. agda

No summary available for agda in ubuntu raring.

No description available for agda in ubuntu raring.

Published versions

Not published at present.