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

Version 4.3.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-iris_4.3.0-1.dsc	2.2 kB	b5935e0b54076fd73d390885236541d26b09c058e3d6b2756a6f40e7416bc9bf
coq-iris_4.3.0.orig.tar.bz2	622.6 kB	c0592b5619de687ac31b5e598a40ed3cd527a9bec31414701ea7ff3fbc060e51
coq-iris_4.3.0-1.debian.tar.xz	12.7 kB	1d0186ed197afa183ca3d114d450f264f6a97e78b23af1a416d221f6b1a07b61