Ubuntu
coq-dpdgraph package

coq-dpdgraph 1.0+8.18-1build3 source package in Ubuntu

Changelog

coq-dpdgraph (1.0+8.18-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

 -- Gianfranco Costamagna <email address hidden>  Mon, 08 Apr 2024 09:13:45 +0200

Upload details

Uploaded by:
Gianfranco Costamagna
Uploaded to:
Noble
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Noble release universe misc

Downloads

File Size SHA-256 Checksum
coq-dpdgraph_1.0+8.18.orig.tar.gz 64.5 KiB c5735aa0d04f182e815c6beb8fbc4c46ffbb9ca15c7b0d2cc40ef0827ba61f07
coq-dpdgraph_1.0+8.18-1build3.debian.tar.xz 3.2 KiB ef59149aeb5cf549f98cf48723347c99d57e49c67e9a5fda2735fb5bf3efe0b9
coq-dpdgraph_1.0+8.18-1build3.dsc 2.2 KiB 2f794d8f73596c5af4f760956ba014483d8630a2715faab29091ac5c8029d1eb

View changes file

Binary packages built by this source

coq-dpdgraph-tools: Coq plugin to extract dependencies between Coq objects (tools)

 This package provides a plugin for Coq to extract dependencies
 between Coq objects and produce files with dependency information.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides the tools associated to this plugin.

libcoq-dpdgraph: Coq plugin to extract dependencies between Coq objects

 This package provides a plugin for Coq to extract dependencies
 between Coq objects and produce files with dependency information.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides the Coq plugin itself.

libcoq-dpdgraph-dbgsym: debug symbols for libcoq-dpdgraph