Package Agda-executable version 2.2.6-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.6
base lib:base >=3 && <6

Reverse dependencies

None.