exe:agda2train

Dependencies

• Agda lib:Agda >=2.6.3 && <2.6.4
• aeson lib:aeson >=2.0 && <2.3
• aeson-pretty lib:aeson-pretty ==0.8.10
• agda2train lib:agda2train-lib >=0
• async lib:async >=2.2 && <2.3
• base lib:base >=4.12.0.0 && <4.20
• bytestring lib:bytestring >=0.10.8.1 && <0.13
• containers lib:containers >=0.5.11.0 && <0.8
• deepseq lib:deepseq >=1.4.2.0 && <1.6
• directory lib:directory >=1.2.6.2 && <1.4
• file-embed lib:file-embed ==0.0.15.0
• filepath lib:filepath >=1.4.1.0 && <1.5
• mtl lib:mtl >=2.2.1 && <2.4
• pretty lib:pretty >=1.1.3.3 && <1.2
• unordered-containers lib:unordered-containers >=0.2.9.0 && <0.3

Reverse dependencies

None.