proof-assistant-bot-0.2.2: dependencies

Dependencies for proof-assistant-bot-0.2.2

library	Agda (>=2.6.4) async base (<4.18) bytestring dhall directory filepath mtl (>=2.3.1) process rzk stm telegram-bot-api telegram-bot-simple (==0.13) text unix unordered-containers
proof-assistant-bot	base (<4.18) proof-assistant-bot