Package Agda-executable version 2.2.0-0 component exe:agda :: Monadoc

The latest version of Agda-executable is 2.3.0.1-0.

exe:agda

Dependencies

Agda lib:Agda ==2.2.0
base lib:base >=0

Reverse dependencies

None.