Ubuntu
coq-elpi package

armhf build of coq-elpi 1.17.1-1build9 in ubuntu noble PROPOSED

  1. 1.17.1-1build9
  2. armhf build
created

Build status

[SUPERSEDED] Build for superseded Source on bos01-arm64-014

  • Finished (took 0.1 seconds)

Build details

Source:
coq-elpi - 1.17.1-1build9
Archive:
Primary Archive for Ubuntu
Series:
Noble
Architecture:
armhf
Pocket:
Proposed
Component:
universe