ppc64el build of coq-dpdgraph 1.0+8.18-1build3 in ubuntu noble RELEASE
created
Build status
Successfully built on bos02-ppc64el-016
- Started
- Finished (took 8 minutes, 36.7 seconds)
- buildlog (29.1 KiB)
- coq-dpdgraph_1.0+8.18-1build3_ppc64el.changes (1.7 KiB)
- coq-dpdgraph_1.0+8.18-1build3_ppc64el.buildinfo (7.5 KiB)
Build details
- Source:
- coq-dpdgraph - 1.0+8.18-1build3
- Series:
- Noble
- Architecture:
- ppc64el
- Pocket:
- Release
- Component:
- universe
Binary packages
Binary packages awaiting publication:
- coq-dpdgraph-tools-1.0+8.18-1build3
- libcoq-dpdgraph-1.0+8.18-1build3
Built files
Files resulting from this build: