Ubuntu
coq-dpdgraph package

coq-dpdgraph 1.0+8.19-1 source package in Ubuntu

Changelog

coq-dpdgraph (1.0+8.19-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Sat, 30 Mar 2024 09:33:52 +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
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
coq-dpdgraph_1.0+8.19-1.dsc 2.2 KiB 6af1b9c4ec4f1c15323e307520b11b6564d274f1c6bd1db3029e8f4f61ddc1a1
coq-dpdgraph_1.0+8.19.orig.tar.gz 64.6 KiB 6f86d5e634f5635512c4a56a605ff150c245315faf7640cf8dda529411fbadfe
coq-dpdgraph_1.0+8.19-1.debian.tar.xz 3.0 KiB 267567012793b5dd8faf6a6acd9b52d8a15f10c592dd39b8b92ed1ace8fa1445

No changes file available.

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