Paket: libcoq-hierarchy-builder (1.6.0-1 ve diğerleri)

[ Kaynak: 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.

libcoq-hierarchy-builder ile İlgili Diğer Paketler

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

  sanal paketi sağlayan libcoq-elpi

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

  sanal paketi sağlayan libcoq-elpi

• dep: libcoq-elpi-a4k78 [riscv64]

  sanal paketi sağlayan libcoq-elpi

• dep: libcoq-elpi-c8gg9 [armhf]

  sanal paketi sağlayan libcoq-elpi

• dep: libcoq-elpi-jtts4 [ppc64el]

  sanal paketi sağlayan libcoq-elpi

• dep: libcoq-elpi-u3ag1 [arm64]

  sanal paketi sağlayan libcoq-elpi

• dep: libcoq-elpi-w06c2 [amd64]

  sanal paketi sağlayan libcoq-elpi

• dep: libcoq-elpi-xzql0 [i386]

  sanal paketi sağlayan libcoq-elpi

• rec: ocaml-findlib

  management tool for OCaml libraries

libcoq-hierarchy-builder indir

Tüm mevcut mimariler için indir

Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	1.6.0-1+b2	238,3 kB	699,0 kB	[dosya listesi]
arm64	1.6.0-1+b2	238,3 kB	699,0 kB	[dosya listesi]
armhf	1.6.0-1+b2	238,4 kB	699,0 kB	[dosya listesi]
i386	1.6.0-1+b2	238,3 kB	699,0 kB	[dosya listesi]
ppc64 (resmi olmayan port)	1.4.0-6+b3	237,3 kB	697,0 kB	[dosya listesi]
ppc64el	1.6.0-1+b2	238,4 kB	699,0 kB	[dosya listesi]
riscv64	1.6.0-1+b2	238,4 kB	699,0 kB	[dosya listesi]
s390x	1.6.0-1+b2	238,4 kB	699,0 kB	[dosya listesi]