coq-dpdgraph - 1.0+8.16-2 main

Versions in crimson: 1.0+8.16-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.6.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-dpdgraph_1.0+8.16-2.dsc 2.2 kB 495c4c3349b8dae37a0f50c9f94f40b9d6189aa4d914e91c6411067ea826a6ee
coq-dpdgraph_1.0+8.16.orig.tar.gz 66.1 kB eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6
coq-dpdgraph_1.0+8.16-2.debian.tar.xz 2.7 kB b83bb6e32a0aa4b76cca6bd459432b27d5cc4c9ff231915c5007956a602f394d