Versions in landing: 1.7.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 1.7.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-gappa_1.7.0-1.dsc	2.1 kB	5936df692cecc4e03efb593f1919ce0dc8c23c05eb71f12ef789c7438fe00593
coq-gappa_1.7.0.orig.tar.bz2	76.4 kB	a3c3ade574d20e08cd975377ebc31e1b498847f6b06e9f165b4329f1f1b292b6
coq-gappa_1.7.0-1.debian.tar.xz	2.2 kB	9c908d2147d4e05ecac160d1c8d91fb14db3d3afa6fedb57b12547cc28201ab1