Versions in landing: 0.1.5-5
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint [꩜] lists.debian.org>
Uploaders: Format: 3.0 (quilt)
Standards Version: 4.6.2
Architectures: any 
 

Version 0.1.5-5 fails to migrate to dawn (from landing). Check why.

Homepage Build Jobs VCS Browser

Owned Binaries

Build Dependencies

Files

Filename	Size	Checksum (SHA256)
coq-reduction-effects_0.1.5.orig.tar.gz	10.4 kB	1cd1e6e54dcfff60600a26faf72d46d9287c2ef7c2a56356e832e4f55d748352
coq-reduction-effects_0.1.5-5.dsc	2.0 kB	dd1ead64929e391817602238ffdcab3af8b435186d140fed3fdd33101835469b
coq-reduction-effects_0.1.5-5.debian.tar.xz	1.9 kB	93411757f46e1eba0c8ccdfed8f83b6607d23b4de5155c4f0c23b266fa1275f7