Versions in landing: 8.20.0+0.20.0-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 8.20.0+0.20.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-serapi_8.20.0+0.20.0-1.dsc	2.5 kB	1bb0cb555c10a7d1dd7fffc6f0fe08ab644249194c80b6773d8a3565478f7a1b
coq-serapi_8.20.0+0.20.0.orig.tar.gz	182.5 kB	0cb0c19663abfe2ddf849834c7632b48bd48f715c0a912a12f0945b544ef07b6
coq-serapi_8.20.0+0.20.0-1.debian.tar.xz	9.1 kB	c3b1ef7693733375f5a4e8e1b7188cc024e1677642514ba4097249d341c467d4