Launchpad.net

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] 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-core-ocaml-dev: unused substitution variable ${F:OCamlABI}
dpkg-gencontrol: warning: package libcoq-core-ocaml-dev: unused substitution variable ${F:CoqABI}
dh_gencontrol debug symbol wrapper: all non-arch-all packages for this build platform amd64: coq libcoq-stdlib libcoq-core-ocaml libcoq-core-ocaml-dev
dh_gencontrol debug symbol wrapper: packages to act on: coq libcoq-stdlib libcoq-core-ocaml libcoq-core-ocaml-dev
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/libcoq-stdlib-dbgsym, skipping package libcoq-stdlib
dh_gencontrol debug symbol wrapper: no debian/libcoq-core-ocaml-dbgsym, skipping package libcoq-core-ocaml
dh_gencontrol debug symbol wrapper: no debian/libcoq-core-ocaml-dev-dbgsym, skipping package libcoq-core-ocaml-dev
make[1]: Leaving directory `/<<PKGBUILDDIR>>'
   dh_md5sums -a
   dh_builddeb -a
INFO: pkgstriptranslations version 121
INFO: Disabling pkgstriptranslations for PPA build
INFO: Disabling pkgmaintainermangler for PPA build
INFO: Disabling pkgstripfiles for PPA build
dpkg-deb: building package `coq' in `../coq_8.master~git~202406030748+24957-0~daily398-9e16bf8e51~ubuntu14.04.1_amd64.deb'.
INFO: pkgstriptranslations version 121
INFO: Disabling pkgstriptranslations for PPA build
INFO: Disabling pkgmaintainermangler for PPA build
INFO: Disabling pkgstripfiles for PPA build
dpkg-deb: building package `libcoq-stdlib' in `../libcoq-stdlib_8.master~git~202406030748+24957-0~daily398-9e16bf8e51~ubuntu14.04.1_amd64.deb'.
INFO: pkgstriptranslations version 121
INFO: Disabling pkgstriptranslations for PPA build
INFO: Disabling pkgmaintainermangler for PPA build
INFO: Disabling pkgstripfiles for PPA build
dpkg-deb: building package `libcoq-core-ocaml' in `../libcoq-core-ocaml_8.master~git~202406030748+24957-0~daily398-9e16bf8e51~ubuntu14.04.1_amd64.deb'.

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