Versions in landing: 1.11.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 1.11.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-stdpp_1.11.0-1.dsc	2.1 kB	7f5b74c6b3b65b92ef3a1bfbf3d6ce0752505161ccc37413d6f69d3d3f6633ef
coq-stdpp_1.11.0.orig.tar.bz2	257.0 kB	05160d77c982c6786815b0322efe783b7e297f8bfaabbccd04feff7a0ddbafee
coq-stdpp_1.11.0-1.debian.tar.xz	2.8 kB	f1b2c1a7b365d70c5530df961bf3cc001ffd9dca73d1925e2b5e474bc174c2de