все параметры
squeeze  ] [  squeeze-backports  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Источник: coq  ]

Пакет: libcoq-ocaml-dev (8.2.pl2+dfsg-1)

Ссылки для libcoq-ocaml-dev

Screenshot

Ресурсы Debian:

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

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

Внешние ресурсы:

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

development libraries and tools for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq.

Теги: Разработка программного обеспечения: Библиотеки, Роль: Библиотека разработчика

Другие пакеты, относящиеся к libcoq-ocaml-dev

  • зависимости
  • рекомендации
  • предложения
  • enhances

Загрузка libcoq-ocaml-dev

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 5 943,1 Кб28 180,0 Кб [список файлов]