lcy02-amd64-017
lcy02-amd64-017 builds amd64 and i386 binaries and is owned by Canonical Launchpad Engineering.
View full history Current status
41294127 Building amd64 build of coq 8.master~git~202406030748+24957-0~daily398-9e16bf8e51~ubuntu14.04.1 in ubuntu trusty RELEASE [~jgross-h/ubuntu/coq-master-daily]
Started 12 minutes, 30.5 seconds ago.
Buildlog
rning: File::FcntlLock not available; using flock which is not NFS-safe
dpkg-gencontrol: warning: package libcoq-
dpkg-gencontrol: warning: package libcoq-
dh_gencontrol debug symbol wrapper: all non-arch-all packages for this build platform amd64: coq libcoq-stdlib libcoq-core-ocaml libcoq-
dh_gencontrol debug symbol wrapper: packages to act on: coq libcoq-stdlib libcoq-core-ocaml libcoq-
dh_gencontrol debug symbol wrapper: ignored packages:
dh_gencontrol debug symbol wrapper: no debian/coq-dbgsym, skipping package coq
dh_gencontrol debug symbol wrapper: no debian/
dh_gencontrol debug symbol wrapper: no debian/
dh_gencontrol debug symbol wrapper: no debian/
make[1]: Leaving directory `/<<PKGBUILDDIR>>'
dh_md5sums -a
dh_builddeb -a
INFO: pkgstriptransla
INFO: Disabling pkgstriptransla
INFO: Disabling pkgmaintainerma
INFO: Disabling pkgstripfiles for PPA build
dpkg-deb: building package `coq' in `../coq_
INFO: pkgstriptransla
INFO: Disabling pkgstriptransla
INFO: Disabling pkgmaintainerma
INFO: Disabling pkgstripfiles for PPA build
dpkg-deb: building package `libcoq-stdlib' in `../libcoq-
INFO: pkgstriptransla
INFO: Disabling pkgstriptransla
INFO: Disabling pkgmaintainerma
INFO: Disabling pkgstripfiles for PPA build
dpkg-deb: building package `libcoq-core-ocaml' in `../libcoq-
Builder information
- Architectures:
- amd64 i386 (virtual)
- Location:
- http://lcy02-amd64-017.vbuilder.lcy02.scalingstack:8221
- Owner:
- Canonical Launchpad Engineering
- Mode:
- This builder is in auto-mode and accepting jobs from the auto-build system.
- Version:
- 237~660~ubuntu20.04.1