exe:agda-mode

Dependencies

• base lib:base (>=4.1 && <4.2) && >=4.2 && <4.4
• directory lib:directory >=1.0 && <1.2
• filepath lib:filepath >=1.1 && <2
• process lib:process >=1.0.1.0 && <2
• utf8-string lib:utf8-string >=0.3 && <0.4

Reverse dependencies

None.