exe:blagda

Dependencies

• Agda lib:Agda >=0
• SHA lib:SHA >=0
• aeson lib:aeson >=0
• base lib:base >=4.7 && <5
• blagda lib:blagda >=0
• bytestring lib:bytestring >=0
• containers lib:containers >=0
• directory lib:directory >=0
• mtl lib:mtl >=0
• mustache lib:mustache >=0
• pandoc lib:pandoc >=0
• pandoc-types lib:pandoc-types >=0
• process lib:process >=0
• shake lib:shake >=0
• syb lib:syb >=0
• tagsoup lib:tagsoup >=0
• text lib:text >=0
• time lib:time >=0
• unordered-containers lib:unordered-containers >=0
• uri-encode lib:uri-encode >=0

Reverse dependencies

None.