Pakiet: coq-hierarchy-builder (1.6.0-1 i inne)

[ Pakiet źródłowy: coq-hierarchy-builder  ]

build hierarchies of algebraic structures in Coq (tool)

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

This package provides the command-line tool.

Inne pakiety związane z coq-hierarchy-builder

• dep: libcoq-hierarchy-builder (= 1.4.0-6+b3) [ppc64]

  build hierarchies of algebraic structures in Coq (runtime files)

  dep: libcoq-hierarchy-builder (= 1.6.0-1+b2) [nie ppc64]

• dep: ocaml [nie ppc64]

  ML language implementation with a class-based object system

• dep: ocaml-nox [ppc64]

  transitional package for ocaml

Pobieranie coq-hierarchy-builder

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	1.6.0-1+b2	646,8 KiB	2 240,0 KiB	[lista plików]
arm64	1.6.0-1+b2	646,6 KiB	2 240,0 KiB	[lista plików]
armhf	1.6.0-1+b2	646,3 KiB	2 240,0 KiB	[lista plików]
i386	1.6.0-1+b2	646,6 KiB	2 240,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	1.4.0-6+b3	605,1 KiB	2 104,0 KiB	[lista plików]
ppc64el	1.6.0-1+b2	646,4 KiB	2 240,0 KiB	[lista plików]
riscv64	1.6.0-1+b2	646,6 KiB	2 240,0 KiB	[lista plików]
s390x	1.6.0-1+b2	646,5 KiB	2 240,0 KiB	[lista plików]