Ubuntu
coq-hierarchy-builder package

coq-hierarchy-builder source package in Kinetic

coq-hierarchy-builder: build hierarchies of algebraic structures in Coq (tool)
libcoq-hierarchy-builder: build hierarchies of algebraic structures in Coq (runtime files)

Versions published

Release

The package versions that were published when the distribution release was made.

coq-hierarchy-builder information

Current version:
1.3.0-1
Uploaded:
Urgency:
Medium Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?


Binary packages

Download files from current release (1.3.0-1)

File Size SHA-256 Checksum
coq-hierarchy-builder_1.3.0-1.dsc 2.2 KiB 4683f36c36f30bcde1d0afeaee2b2dd70af46b78c60ed6959213c19631294d25
coq-hierarchy-builder_1.3.0.orig.tar.gz 195.4 KiB 8d4ca09a08793be19501ea2d9e82da1cd413feb9a15e5a6e0c183404b8145c76
coq-hierarchy-builder_1.3.0-1.debian.tar.xz 3.3 KiB a1eb2fa42297555e4215fcee73d1e6a808d851c7fce31e5a38dbdbe78aeb217c

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies