Paquet : coq-hierarchy-builder (1.6.0-1 et autres)

[ Paquet source : 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.

Autres paquets associés à 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) [non ppc64]

• dep: ocaml [non ppc64]

  mise en oeuvre de Meta Language avec un système orienté objet basé sur les classes

• dep: ocaml-nox [ppc64]

  paquet de transition pour ocaml

Télécharger coq-hierarchy-builder

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	1.6.0-1+b2	646,8 ko	2 240,0 ko	[liste des fichiers]
arm64	1.6.0-1+b2	646,6 ko	2 240,0 ko	[liste des fichiers]
armhf	1.6.0-1+b2	646,3 ko	2 240,0 ko	[liste des fichiers]
i386	1.6.0-1+b2	646,6 ko	2 240,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.4.0-6+b3	605,1 ko	2 104,0 ko	[liste des fichiers]
ppc64el	1.6.0-1+b2	646,4 ko	2 240,0 ko	[liste des fichiers]
riscv64	1.6.0-1+b2	646,6 ko	2 240,0 ko	[liste des fichiers]
s390x	1.6.0-1+b2	646,5 ko	2 240,0 ko	[liste des fichiers]