dh-coq - 0.13 main

Versions in dawn: 0.13
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (native)
Standards Version: 4.6.2
Architectures: all 
 
Build Jobs VCS Browser

Owned Binaries

Build Dependencies

  • debhelper-compat (= 13)

Files

Filename Size Checksum (SHA256)
dh-coq_0.13.dsc 1.7 kB 616fc251d3d426660a0c0dd3ad1c4b00eedfbb82cd46282a5998eec490af5d6c
dh-coq_0.13.tar.xz 10.4 kB 288c4e2fc4867e9c27b9d51d604bf4a8a070de2160b78e5aa9ecaffff2fdb1d9