Пакет исходного кода: prover9-manual (0.0.200902a-2)
Ссылки для prover9-manual
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Репозиторий исходного кода Debian (Git)
- Отслеживание заплат Debian
Сопровождающий:
Внешние ресурсы:
- Сайт [www.cs.unm.edu]
Из этого пакета исходного кода собираются следующие двоичные пакеты:
- prover9-doc
- documentation for Prover9 and associated programs
Другие пакеты, относящиеся к prover9-manual
|
|
-
- adep: debhelper (>= 9)
- вспомогательные программы для debian/rules
-
- idep: htmldoc
- обработчик HTML генерирующий индексированые HTML, PS и PDF
Download prover9-manual
| Файл | Размер (в Кб) | Контрольная сумма MD5 |
|---|---|---|
| prover9-manual_0.0.200902a-2.dsc | 1,9 Кб | aa38b341a8b9ef4f59d4104206a0fdeb |
| prover9-manual_0.0.200902a.orig.tar.gz | 1 010,2 Кб | 00b6779d2d3edbd4434a24eebb79b2a8 |
| prover9-manual_0.0.200902a-2.debian.tar.gz | 4,6 Кб | fdf84b690036f33061734981d66e13a7 |
- Репозиторий пакетов исходного кода Debian (VCS: Git)
- git://git.debian.org/git/collab-maint/prover9-manual.git
- Репозиторий пакетов исходного кода Debian (доступен просмотр)
- http://git.debian.org/?p=collab-maint/prover9-manual.git