coq-hammer - 1.3.2+8.19-1 main

Versions in dawn: 1.3.2+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.7.0
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-hammer_1.3.2+8.19-1.dsc 2.1 kB ef8cbef469a558e875977da1bd66da9f0e03232e1cdbb4e4c366ba9cd5203172
coq-hammer_1.3.2+8.19.orig.tar.gz 148.9 kB 9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902
coq-hammer_1.3.2+8.19-1.debian.tar.xz 2.6 kB 4c438b0bbb3623f4ddc4cd52216bfbff994c4f92e321275a735d6e1858b7afab