dh-coq - 0.14 main

Versions in landing: 0.14
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.14.dsc 1.7 kB 58f2a5bedb398d3ba5d26bd6c13bde07584b32b7fce65ea658fbb5286025d58e
dh-coq_0.14.tar.xz 10.6 kB 2cc0f29ab29af74a0cc985bf9c3598343b0ccc1051ae72b30e7978ea5e67eb3b