Versions in landing: 1.0+8.20-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 

This package may currently be unbuildable on the following architectures:

• arm64
• amd64

Version 1.0+8.20-1 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-dpdgraph_1.0+8.20-1.dsc	2.2 kB	924db33981e0603dd368abce7dcc258f222f7a064ed7161b425b82f04e842a1d
coq-dpdgraph_1.0+8.20.orig.tar.gz	66.3 kB	d2b8cb0ae226cae84355c20fdeac6b7e77f393e70d9c6c03b1bd0fe02cc90726
coq-dpdgraph_1.0+8.20-1.debian.tar.xz	3.2 kB	bf2fc6d42acf2d406e1c3c1659b3e672b64a6e86ae95e750dc74667562cb9fbe