» Ubuntu » Пакеты » questing (25.10) » ocaml » dh-coq
noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Источник: dh-coq  ]

Пакет: dh-coq (0.14) [universe]

Ссылки для dh-coq

Screenshot

Ресурсы Ubuntu:

Исходный код dh-coq:

Сопровождающий:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

Подобные пакеты:

debhelper tool for Coq-related Debian packages

Другие пакеты, относящиеся к dh-coq

  • зависимости
  • рекомендации
  • предложения
  • enhances
  • rec: debhelper
    helper programs for debian/rules

Загрузка dh-coq

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
all 6,7 Кб25,0 Кб [список файлов]