[  etiona  ] [  nabia  ] [  aramo  ]

[ Источник: aac-tactics  ]

Ссылки для libaac-tactics-ocaml

Ресурсы Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Сообщения об ошибках
• Changelog
• Файл авторских прав

Исходный код aac-tactics:

• [aac-tactics_8.15.0-1.dsc]
• [aac-tactics_8.15.0.orig.tar.gz]
• [aac-tactics_8.15.0-1.debian.tar.xz]

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

• Debian OCaml Maintainers (Почтовый архив)

Original Maintainers:

• Debian OCaml Maintainers (Почтовый архив)
• Stéphane Glondu

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

• Сайт [github.com]

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

• libaac-tactics-ocaml-dev
• libcoq-elpi-ocaml
• libcoq-elpi-ocaml-dev
• alt-ergo
• libssreflect-ocaml
• libfloat-coq
• libcoq-mathcomp-bigenough
• why3-coq
• libssreflect-coq
• coq
• agda-stdlib

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

зависимости

рекомендации

предложения

• dep: libcoq-core-ocaml-rt7d5

  виртуальный пакет, предоставляемый libcoq-core-ocaml

• dep: libzarith-ocaml-4dps0

  виртуальный пакет, предоставляемый libzarith-ocaml

• dep: ocaml-base-4.13.1

  виртуальный пакет, предоставляемый ocaml-base

• rec: libaac-tactics-coq

  Coq tactics for reasoning modulo AC (theories)

• enh: coq

  proof assistant for higher-order logic (toplevel and compiler)

Загрузка libaac-tactics-ocaml

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
arm64	146,6 Кб	525 Кб	[список файлов]