dh-coq - 0.5 main

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

Owned Binaries

Build Dependencies

  • debhelper-compat (= 13)

Files

Filename Size Checksum (SHA256)
dh-coq_0.5.dsc 1.7 kB 15fc6e957ca840fe78a161bd125fa12f56a104a5e447ef93f59a256b72766024
dh-coq_0.5.tar.xz 7.5 kB c1299f565a91f17c2bbfbc372ac88424b7d309fbae94de966da1dce989ebcf88