Versions in landing: 1.6-8.20-1
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.6-8.20-1 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-unicoq_1.6-8.20-1.dsc	2.1 kB	7e3e08952802a4419f3c38aaee19817ba9e94188b90c6431966b9f9b3af728ca
coq-unicoq_1.6-8.20.orig.tar.gz	593.7 kB	df81479e2292a44a0f300e38c49239d92d9a9df32f825aa0abf213f490bd5a7d
coq-unicoq_1.6-8.20-1.debian.tar.xz	2.7 kB	c58299af6e9dfaead46567d4b1bbb65d3c464a9a28afcfc1d4c73e89da8d0e5e