Versions in landing: 8.20-1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 

This package may currently be unbuildable on the following architectures:

• arm64
• amd64

Version 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-hott_8.20-1.dsc	2.0 kB	80bcff27d43940823f48ca747fa51301636ca47882ca417595ad55d3d7ed9d93
coq-hott_8.20.orig.tar.gz	1.1 MB	125d4417c7361dfe5ac033372f5120c0ea45db42de91250ffb570f0dd5186f5b
coq-hott_8.20-1.debian.tar.xz	3.0 kB	7d43d4e016fce182925689820cdf80f3ed588f0178b6d0d497f2b49b94729134