Ubuntu
coq-reglang package

armhf build of coq-reglang 1.2.1-3build3 in ubuntu oracular PROPOSED

  1. 1.2.1-3build3
  2. armhf build
created

Build status

[SUPERSEDED] Build for superseded Source on bos02-arm64-050

  • Finished (took 0.1 seconds)

Build details

Source:
coq-reglang - 1.2.1-3build3
Archive:
Primary Archive for Ubuntu
Series:
Oracular
Architecture:
armhf
Pocket:
Proposed
Component:
universe