Ubuntu
coq-hierarchy-builder package

coq-hierarchy-builder 1.2.1-4 source package in Ubuntu

Changelog

coq-hierarchy-builder (1.2.1-4) unstable; urgency=medium

  * Rework b-deps (Closes: #1009449).

 -- Julien Puydt <email address hidden>  Wed, 13 Apr 2022 14:41:15 +0200

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.2.1-4.dsc 2.2 KiB 7677a45381111caa824c5f22346592b908d5e04bc494a4ee4a6c37dd7d847968
coq-hierarchy-builder_1.2.1.orig.tar.gz 184.1 KiB a515d4fea55c30a6346877edfa6f23447a19c6875feb889ec21bed062c004060
coq-hierarchy-builder_1.2.1-4.debian.tar.xz 2.7 KiB 379cb25691a9150597a9f398a19783a46b3ecc0635ce68980460e24f3b588b48

Available diffs

No changes file available.

Binary packages built by this source

coq-hierarchy-builder: No summary available for coq-hierarchy-builder in ubuntu kinetic.

No description available for coq-hierarchy-builder in ubuntu kinetic.

libcoq-hierarchy-builder: No summary available for libcoq-hierarchy-builder in ubuntu kinetic.

No description available for libcoq-hierarchy-builder in ubuntu kinetic.