Packages from the vendor miri

miri/telegram-bot-client