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

Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
hol-light_3.0.0-2.dsc	2.0 kB	a670350689395cb0510fc2d267c917f65328503b432e90afd469a701f84b11d5
hol-light_3.0.0.orig.tar.xz	5.4 MB	918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f
hol-light_3.0.0-2.debian.tar.xz	10.9 kB	e882632c1fe52554fb8fa33c345373733a5f75105e13eef23bca5a89e48704b9