coq-dpdgraph - 1.0+8.19-1 main

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

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-dpdgraph_1.0+8.19-1.dsc 2.2 kB 6af1b9c4ec4f1c15323e307520b11b6564d274f1c6bd1db3029e8f4f61ddc1a1
coq-dpdgraph_1.0+8.19.orig.tar.gz 66.2 kB 6f86d5e634f5635512c4a56a605ff150c245315faf7640cf8dda529411fbadfe
coq-dpdgraph_1.0+8.19-1.debian.tar.xz 3.1 kB 267567012793b5dd8faf6a6acd9b52d8a15f10c592dd39b8b92ed1ace8fa1445