# Revision history for proof-assistant-bot
## 0.2.2 -- 2024-02-07
- Support GHC 9.4 (see [#43](https://github.com/swamp-agr/proof-assistant-bot/pull/43)).
- Also various dependencies versions bumps:
- base-4.17
- Agda-2.6.4
- mtl-2.3.1
- rzk-0.7
- telegram-bot-simple-0.13
## 0.2.1 -- 2023-02-07
- Agda bumped to 2.6.3, telegram-bot-simple bumped to 0.9 (see [#29](https://github.com/swamp-agr/proof-assistant-bot/pull/29)).
## 0.2.0 -- 2022-12-10
- Import Agda primitives for every `/(re)load` (see [#21](https://github.com/swamp-agr/proof-assistant-bot/pull/21));
- Increase timeout for Agda to `60s` (see [#20](https://github.com/swamp-agr/proof-assistant-bot/pull/20));
- Fix replies in topics (see [#17](https://github.com/swamp-agr/proof-assistant-bot/pull/17), [#18](https://github.com/swamp-agr/proof-assistant-bot/pull/18), [#19](https://github.com/swamp-agr/proof-assistant-bot/pull/19));
- Rzk support (see [#15](https://github.com/swamp-agr/proof-assistant-bot/pull/15));
- Arend support (see [#13](https://github.com/swamp-agr/proof-assistant-bot/pull/13), [#14](https://github.com/swamp-agr/proof-assistant-bot/pull/14));
- Lean 3 support (see [#10](https://github.com/swamp-agr/proof-assistant-bot/pull/10), [#11](https://github.com/swamp-agr/proof-assistant-bot/pull/11), [#12](https://github.com/swamp-agr/proof-assistant-bot/pull/12));
- Set default timeout for CLI to `5s` (see [#9](https://github.com/swamp-agr/proof-assistant-bot/pull/9));
- Idris 2 support (see [#7](https://github.com/swamp-agr/proof-assistant-bot/pull/7), [#8]([#7](https://github.com/swamp-agr/proof-assistant-bot/pull/7)));
- Increase allocation limit for Agda (see [#3](https://github.com/swamp-agr/proof-assistant-bot/pull/3));
- Add maintenance scripts for `proof-assistant-bot` executable (see [#1](https://github.com/swamp-agr/proof-assistant-bot/pull/1));
## 0.1.0 -- 2022-12-03 (not yet released on Hackage)
- First version. Released on an unsuspecting world.