/

Опубликовать Форум О Flathub Войти

Приложения

В тренде Популярные Новые Обновлённые Проверенные RSS-ленты

Сообщество

Форум Чат Mastodon

Разработчикам

Портал разработчиков Опубликовать приложение Документация Значки

Flathub

Установить Переключить язык Условия и положения Политика конфиденциальности Статистика О Flathub Консультанты Статус Исходный код

Установка «TLA+ Toolbox»

Логотип TLA+ Toolbox

Открываем «TLA+ Toolbox» в вашем менеджере ПО…

Если ничего не происходит, возможно, ваша система не поддерживает URL-адреса flatpak+https.

В таком случае, попробуйте:

Загрузить файл .flatpakref
Запустить его через файловый менеджер

Инструкции по установке Flatpak