все параметры
bookworm  ] [  trixie  ] [  sid  ]
[ Источник: coq  ]

Пакет: libcoq-core-ocaml (8.16.1+dfsg-1 и другие)

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

Screenshot

Ресурсы Debian:

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

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

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

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

runtime libraries 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 runtime libraries for Coq.

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

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

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

Загрузить для всех доступных архитектур
Архитектура Версия Размер пакета В установленном виде Файлы
amd64 8.16.1+dfsg-1+b2 22 027,4 Кб81 507,0 Кб [список файлов]
arm64 8.16.1+dfsg-1+b2 22 551,8 Кб87 397,0 Кб [список файлов]
armhf 8.16.1+dfsg-1+b2 21 737,6 Кб72 665,0 Кб [список файлов]
i386 8.16.1+dfsg-1+b2 21 237,5 Кб76 428,0 Кб [список файлов]
ppc64el 8.16.1+dfsg-1+b2 22 090,2 Кб85 410,0 Кб [список файлов]
s390x 8.16.1+dfsg-1+b2 22 089,8 Кб84 126,0 Кб [список файлов]