Versions in landing: 2.0.8-4
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 2.0.8-4 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-libhyps_2.0.8.orig.tar.gz	37.2 kB	e4dcdf15cffa0239b3dfbd56b7223f3ae9ac9731547d5c03ada150e5b49860a2
coq-libhyps_2.0.8-4.dsc	1.8 kB	5df2948755289081835c057478011f6b144cdfbb706d781e434323bd3d1e2e8a
coq-libhyps_2.0.8-4.debian.tar.xz	2.2 kB	337ed33419b697484c371e2ea75df9acc22694530d4389f85820623505389ee9