coq-hammer - 1.3.2+8.16-2 main

Versions in crimson: 1.3.2+8.16-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders:
  • Julien Puydt <jpuydt [꩜] debian.org>
Format: 3.0 (quilt)
Standards Version: 4.6.1
Architectures: any 
 
Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename Size Checksum (SHA256)
coq-hammer_1.3.2+8.16-2.dsc 2.1 kB d3c279a1075082df4d69c99fd99ed13e0bdb4e4f26ee5737a0e5cfe11aba1cc9
coq-hammer_1.3.2+8.16.orig.tar.gz 148.7 kB 4993b914028006fc11f58eb3e993709f50057b9d91d67abb8347cc0ffe82c6f6
coq-hammer_1.3.2+8.16-2.debian.tar.xz 2.3 kB 7290c70a5f181c3ed90461654c49b65332697ec790056b9ab97514670b485c26