Versions in landing: 1.5.5-2
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 1.5.5-2 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.5.5.orig.tar.bz2	73.6 kB	01776ba5ad1cb509e88f0cb28c13c4930b92f38cd9e5b36775864468bbc1fd49
coq-gappa_1.5.5-2.dsc	1.9 kB	7915fc7735bfbd8e8258b5e81e463b5ffd1b6f5fcf597aea2ec0f4e2bb3c2b3a
coq-gappa_1.5.5-2.debian.tar.xz	2.4 kB	66a1e584a1a94f108db1f6673c6b16dca27c69f4651fb9eda2a292ea7815b5e8