Versions in landing: 0.13.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 0.13.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-ext-lib_0.13.0-1.dsc	2.1 kB	d5aa9d2c7720c6b5c0ad8ff01ce3fd0a2647e7bdae6ea0d2bef2d088e937131a
coq-ext-lib_0.13.0.orig.tar.gz	85.3 kB	e9c66479fd1d003cb166f02e6df4f0a8c0b92b96c5e60462aa7cd947a5b1103e
coq-ext-lib_0.13.0-1.debian.tar.xz	2.4 kB	f337ec3e4af389333da7464cfe4af2b3d2c2a5fa6b3c1ec127699cff754ba777