dh-coq - 0.11 main

Versions in landing: 0.11
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.11.dsc 1.7 kB 2970225c00a49f6959e5f1ba685690df53cb6916ac3ea7acf93ce0dc39d723d5
dh-coq_0.11.tar.xz 8.6 kB 5679d5539b44195cf46482beb1c6bffe31a66e06e725ce0f153d6ef52ec4b5fb