[ buster ]
Пакет исходного кода: p9m4 (0.5.dfsg-3)
Ссылки для p9m4
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Сопровождающий:
Внешние ресурсы:
- Сайт [www.cs.unm.edu]
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- prover9-mace4
- GUI for Prover9 and Mace4
Другие пакеты, относящиеся к p9m4
|
|
-
- adep: cdbs
- common build system for Debian packages
-
- adep: debhelper (>= 9)
- вспомогательные программы для debian/rules
-
- adep: python
- интерактивный объектно-ориентированный язык высокого уровня (ветка 2.x)
-
- adep: dh-python
- вспомогательные инструменты для создания Debian-пакетов для библиотек и приложений на Python
Download p9m4
| Файл | Размер (в Кб) | Контрольная сумма MD5 |
|---|---|---|
| p9m4_0.5.dfsg-3.dsc | 1,7 Кб | 57622870c89be51e690e1d3ba7b619b6 |
| p9m4_0.5.dfsg.orig.tar.gz | 86,6 Кб | 04afdf4e290e8a9100ac69893a561e53 |
| p9m4_0.5.dfsg-3.debian.tar.xz | 8,6 Кб | a36c50463727eb5eea0af31579a99947 |