Build dh-coq 0.11 on all

ID: 7edc7b04-5882-49b1-9238-f1eefbcf51e1

Created: a month ago
Assigned: a month ago
Finished: a month ago
Worker: fennel
Status: Waiting for dependency

Result

Dependency issue

Details

Repository: pureos
Suite: landing
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint[at]lists.debian.org>
Uploaders: Julien Puydt <jpuydt[at]debian.org>
Version: 0.11
Architecture: all


 View Full Log  Download Log  Download Firehose XML