proof-assistant-bot-0.2.0: dependencies

Dependencies for proof-assistant-bot-0.2.0

library	Agda async base (<4.17) bytestring dhall directory filepath mtl process rzk stm telegram-bot-simple (>=0.5.2) text unix unordered-containers
proof-assistant-bot	base (>=4.14.3.0 && <4.15) proof-assistant-bot