Source package coq-hammer/1.3.2+8.20-1 in landing @ pureos - PureOS Software

coq-hammer - 1.3.2+8.20-1 main

Versions in landing: 1.3.2+8.20-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

Version 1.3.2+8.20-1 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

libcoq-hammer amd64 amd64 amd64 arm64 arm64 arm64

Build Dependencies

coq (>= 8.17)
debhelper-compat (= 13)
dh-coq
dh-ocaml
libcoq-core-ocaml-dev
libcoq-stdlib

Files

Filename	Size	Checksum (SHA256)
coq-hammer_1.3.2+8.20-1.dsc	2.1 kB	`abd259225b173be297c05117a63f6e3560ae6899a63e33b14b311e740aa76545`
coq-hammer_1.3.2+8.20.orig.tar.gz	148.9 kB	`758be180ee54268638cf4747e691d3b6494439b0893f2175d9f21ffc9aecc22f`
coq-hammer_1.3.2+8.20-1.debian.tar.xz	2.7 kB	`944c67f34268d28cf2b8948fff186a887b0575f0b0dc2a4f6bb83207f4438dcd`