Ubuntu
coq-hierarchy-builder package

s390x build of coq-hierarchy-builder 1.7.0-1build1 in ubuntu oracular PROPOSED

  1. 1.7.0-1build1
  2. s390x build
created

Build status

[SUPERSEDED] Build for superseded Source on bos02-s390x-018

  • Finished (took 0.1 seconds)

Build details

Source:
coq-hierarchy-builder - 1.7.0-1build1
Archive:
Primary Archive for Ubuntu
Series:
Oracular
Architecture:
s390x
Pocket:
Proposed
Component:
universe