proof-assistant-bot-0.2.1: dependencies

Dependencies for proof-assistant-bot-0.2.1

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