Пакет: libcoq-reduction-effects (0.1.5-1 и другие)

[ Источник: coq-reduction-effects  ]

reduction effects for Coq

This plugin adds reduction side effects to some of the Coq reduction strategies.

Coq is a proof assistant for higher-order logic.

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

• dep: libcoq-stdlib-84f80 [amd64]

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

• dep: libcoq-stdlib-8u5j8 [armhf]

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

• dep: libcoq-stdlib-97v84 [arm64]

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

• dep: libcoq-stdlib-l2kk4 [riscv64]

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

• dep: libcoq-stdlib-n0k10 [ppc64]

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

• dep: libcoq-stdlib-nhhu6 [ppc64el]

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

• dep: libcoq-stdlib-tp8b6 [i386]

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

• dep: libcoq-stdlib-wsmp7 [s390x]

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

Загрузка libcoq-reduction-effects

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

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	0.1.5-1+b1	14,3 Кб	100,0 Кб	[список файлов]
arm64	0.1.5-1+b1	14,5 Кб	196,0 Кб	[список файлов]
armhf	0.1.5-1+b1	13,9 Кб	90,0 Кб	[список файлов]
i386	0.1.5-1+b1	13,8 Кб	98,0 Кб	[список файлов]
ppc64 (неофициальный перенос)	0.1.4-4+b2	14,7 Кб	196,0 Кб	[список файлов]
ppc64el	0.1.5-1+b1	14,5 Кб	196,0 Кб	[список файлов]
riscv64	0.1.5-1+b2	14,2 Кб	92,0 Кб	[список файлов]
s390x	0.1.5-1+b1	14,0 Кб	100,0 Кб	[список файлов]