Пакет libz3-devel: Информация
Бинарный пакет: libz3-devel
Версия: 4.8.8-alt1.1
Архитектура: e2kv5
Собран: 1 февраля 2024 г. 6:07
Исходный пакет: z3
Категория: Разработка/C++
Сообщить об ошибке в пакетеДомашняя страница: https://github.com/Z3Prover/z3
Лицензия: MIT
О пакете: Файлы разработки для z3
Описание:
Z3 — это высокопроизводительный доказатель теорем, разработанный Microsoft Research. Этот пакет содержит файлы разработки для z3.
Сопровождающий: Grigory Ustinov
Последнее изменение
25 января 2024 г. Grigory Ustinov 4.8.8-alt1.1
- NMU: Fixed FTBFS.
10 июля 2020 г. Aleksei Nikiforov 4.8.8-alt1
- Updated to upstream version 4.8.8.
2 апреля 2020 г. Aleksei Nikiforov 4.8.7-alt1
- Updated to upstream version 4.8.7. - Disabled bindings for python-2.