Versions in landing: 1.3.2+8.19-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: any 
 

This package may currently be unbuildable on the following architectures:

• arm64
• amd64

Version 1.3.2+8.19-2 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-hammer_1.3.2+8.19.orig.tar.gz	148.9 kB	9d3257e52cd8bce53c080823c0627995b695d7b6b9830245e81a26d8e6349902
coq-hammer_1.3.2+8.19-2.dsc	1.9 kB	1fba669ef6e50b4dd6ca9c1b6a818ae6e750d91336f363a0ee136fc6c09bd11a
coq-hammer_1.3.2+8.19-2.debian.tar.xz	2.7 kB	97bab3b7b69718563c7cf8d4ce72ddc500ddcb4724fb8735fa0263c3d55d6dac