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

Version 9.0-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_9.0-1.dsc	2.0 kB	b16a9ac3d560b19c94dab39b192e5f117242d788e0967a46b525a382e617ff89
coq-hott_9.0.orig.tar.gz	1.1 MB	d4b6361c58c41f8d0bf75bebe2267a6afe01f6e971ad2db1c3986de5cc13fdb3
coq-hott_9.0-1.debian.tar.xz	3.0 kB	792c2c35f643fc0a78ded73e2307033bfb6f6cdd8aff5517ef57ea7251958a8a