[  etiona  ] [  nabia  ] [  aramo  ]

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

Връзки за libaac-tactics-coq

Ресурси за 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
• alt-ergo
• libcoq-elpi-ocaml
• libcoq-elpi-ocaml-dev
• libcoq-mathcomp-bigenough
• libcoq-mathcomp-solvable
• libssreflect-coq
• libcoq-mathcomp-ssreflect
• libfloat-coq
• libssreflect-ocaml
• libcoq-mathcomp-field

Други пакети, свързани с libaac-tactics-coq

зависимости

препоръчани

предложени

• dep: coq-8.15.0+4.13.1

  виртуален пакет, предлаган от coq

• dep: libaac-tactics-ocaml (>= 8.15.0-1)

  Coq tactics for reasoning modulo AC (plugin)

Изтегляне на libaac-tactics-coq

Изтегляне за всички налични архитектури

Архитектура	Големина на пакета	Големина след инсталиране	Файлове
all	282,3 кБ	1988 кБ	[списък на файловете]