[ Источник: dh-coq ]
Пакет: dh-coq (0.14) [universe]
Ссылки для dh-coq
Ресурсы Ubuntu:
Исходный код dh-coq:
Сопровождающий:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Почтовый архив)
- Julien Puydt
It should generally not be necessary for users to contact the original maintainer.
Подобные пакеты:
debhelper tool for Coq-related Debian packages
Другие пакеты, относящиеся к dh-coq
|
|
|
|
-
- rec: debhelper
- helper programs for debian/rules
Загрузка dh-coq
| Архитектура | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|
| all | 6,7 Кб | 25,0 Кб | [список файлов] |