Paket: libcoq-hierarchy-builder (1.6.0-1 och andra)

[ Källkod: coq-hierarchy-builder  ]

build hierarchies of algebraic structures in Coq (runtime files)

This software provides high-level commands to build hierarchies of algebraic structures in the Coq system.

This package provides the runtime files.

Andra paket besläktade med libcoq-hierarchy-builder

• dep: libcoq-elpi-6vxh9 [s390x]

  virtuellt paket som tillhandahålls av libcoq-elpi

• dep: libcoq-elpi-7k9x0 [ppc64]

  virtuellt paket som tillhandahålls av libcoq-elpi

• dep: libcoq-elpi-a4k78 [riscv64]

  virtuellt paket som tillhandahålls av libcoq-elpi

• dep: libcoq-elpi-c8gg9 [armhf]

  virtuellt paket som tillhandahålls av libcoq-elpi

• dep: libcoq-elpi-jtts4 [ppc64el]

  virtuellt paket som tillhandahålls av libcoq-elpi

• dep: libcoq-elpi-u3ag1 [arm64]

  virtuellt paket som tillhandahålls av libcoq-elpi

• dep: libcoq-elpi-w06c2 [amd64]

  virtuellt paket som tillhandahålls av libcoq-elpi

• dep: libcoq-elpi-xzql0 [i386]

  virtuellt paket som tillhandahålls av libcoq-elpi

• rec: ocaml-findlib

  management tool for OCaml libraries

Hämta libcoq-hierarchy-builder

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Version	Paketstorlek	Installerad storlek	Filer
amd64	1.6.0-1+b2	238,3 kbyte	699,0 kbyte	[filförteckning]
arm64	1.6.0-1+b2	238,3 kbyte	699,0 kbyte	[filförteckning]
armhf	1.6.0-1+b2	238,4 kbyte	699,0 kbyte	[filförteckning]
i386	1.6.0-1+b2	238,3 kbyte	699,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	1.4.0-6+b3	237,3 kbyte	697,0 kbyte	[filförteckning]
ppc64el	1.6.0-1+b2	238,4 kbyte	699,0 kbyte	[filförteckning]
riscv64	1.6.0-1+b2	238,4 kbyte	699,0 kbyte	[filförteckning]
s390x	1.6.0-1+b2	238,4 kbyte	699,0 kbyte	[filförteckning]