Ubuntu
coq-hierarchy-builder package

coq-hierarchy-builder 1.6.0-1 source package in Ubuntu

Changelog

coq-hierarchy-builder (1.6.0-1) unstable; urgency=medium

  [ Debian Janitor ]
  * debian/copyright: use spaces rather than tabs to start continuation lines.

  [ Julien Puydt ]
  * Fix d/rules clean target (Closes: #1044275).
  * New upstream release.
  * Drop all patches.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 16:58:58 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-hierarchy-builder_1.6.0-1.dsc 2.2 KiB 1ea62dba88ebf9907e5565bf7e34862728d5db0489765b14aabac8c0dec4cd7f
coq-hierarchy-builder_1.6.0.orig.tar.gz 197.5 KiB 18904a8bcd945adbf083bfc5af3bd98afa182d950253fba8733b638913738d22
coq-hierarchy-builder_1.6.0-1.debian.tar.xz 3.3 KiB 0a0df2e54ed3f0ceff913416daa0bc3ba5f14e99b42f411301da5c7f68b4fad4

No changes file available.

Binary packages built by this 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.

libcoq-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.