exe:agda-mode

Dependencies

• base lib:base >=4.12.0.0 && <4.21
• directory lib:directory >=1.3.3.0 && <1.4
• filepath lib:filepath >=1.4.2.1 && <1.6
• process lib:process >=1.6.3.0 && <1.7

Reverse dependencies

None.