Launchpad.net

lcy01-amd64-029

lcy01-amd64-029 builds amd64 and i386 binaries and is owned by William Grant.

View full history Current status

29933006 [building] Building amd64 build of coq 8.master~git~202105111725+22308-0~daily350-5714656cb3~ubuntu20.10.1 in ubuntu groovy RELEASE [~jgross-h/ubuntu/coq-master-daily]

Started 11 minutes, 9.2 seconds ago.

Buildlog

/nsatz -I _build/default/plugins/ring -I _build/default/plugins/rtauto -I _build/default/plugins/ssr -I _build/default/plugins/ssrmatching -I _build/default/plugins/ssrsearch -I _build/default/plugins/syntax -I _build/default/user-contrib/Ltac2 _build_vo/default//lib/coq/theories/Numbers/HexadecimalQ.v -o _build_vo/default//lib/coq/theories/Numbers/HexadecimalQ.vo
rm -f theories/Numbers/NatInt/NZDomain.glob
mkdir -p _build_vo/default//lib/coq/theories/Numbers/NatInt
_build/install/default/bin/coqc -coqlib _build_vo/default//lib/coq/ -q -I _build/default/plugins/btauto -I _build/default/plugins/cc -I _build/default/plugins/derive -I _build/default/plugins/extraction -I _build/default/plugins/firstorder -I _build/default/plugins/funind -I _build/default/plugins/ltac -I _build/default/plugins/micromega -I _build/default/plugins/nsatz -I _build/default/plugins/ring -I _build/default/plugins/rtauto -I _build/default/plugins/ssr -I _build/default/plugins/ssrmatching -I _build/default/plugins/ssrsearch -I _build/default/plugins/syntax -I _build/default/user-contrib/Ltac2 _build_vo/default//lib/coq/theories/Numbers/NatInt/NZDomain.v -o _build_vo/default//lib/coq/theories/Numbers/NatInt/NZDomain.vo
rm -f theories/Numbers/DecimalString.glob
mkdir -p _build_vo/default//lib/coq/theories/Numbers
_build/install/default/bin/coqc -coqlib _build_vo/default//lib/coq/ -q -I _build/default/plugins/btauto -I _build/default/plugins/cc -I _build/default/plugins/derive -I _build/default/plugins/extraction -I _build/default/plugins/firstorder -I _build/default/plugins/funind -I _build/default/plugins/ltac -I _build/default/plugins/micromega -I _build/default/plugins/nsatz -I _build/default/plugins/ring -I _build/default/plugins/rtauto -I _build/default/plugins/ssr -I _build/default/plugins/ssrmatching -I _build/default/plugins/ssrsearch -I _build/default/plugins/syntax -I _build/default/user-contrib/Ltac2 _build_vo/default//lib/coq/theories/Numbers/DecimalString.v -o _build_vo/default//lib/coq/theories/Numbers/DecimalString.vo

Builder information

Architectures:
amd64 i386 (virtual)
Location:
http://lcy01-amd64-029.vbuilder.lcy01.scalingstack:8221/
Owner:
William Grant
Mode:
This builder is in auto-mode and accepting jobs from the auto-build system.
Version:
195~480~ubuntu18.04.1