=> Bootstrap dependency digest>=20211023: found digest-20220214
===> Skipping vulnerability checks.
WARNING: No /usr/pkg/pkgdb/pkg-vulnerabilities file found.
WARNING: To fix run: `/usr/sbin/pkg_admin -K /usr/pkg/pkgdb fetch-pkg-vulnerabilities'.
===> Installing for why3-1.5.1nb1
=> Generating pre-install file lists
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/plugins
/usr/bin/install -c -o pbulk -g wheel -m 644 lib/plugins/genequlin.cmxs lib/plugins/dimacs.cmxs lib/plugins/tptp.cmxs lib/plugins/python.cmxs lib/plugins/microc.cmxs lib/plugins/cfg.cmxs /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/plugins
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/bin
/usr/bin/install -c -o pbulk -g wheel bin/why3.opt /tmp/devel/why3/work/.destdir/usr/pkg/bin/why3
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g wheel -m 644 bin/why3config.cmxs bin/why3execute.cmxs bin/why3extract.cmxs bin/why3prove.cmxs bin/why3realize.cmxs bin/why3replay.cmxs bin/why3show.cmxs bin/why3wc.cmxs /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3
/usr/bin/install -c -o pbulk -g wheel lib/why3server /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/why3server
/usr/bin/install -c -o pbulk -g wheel lib/why3cpulimit /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/why3cpulimit
/usr/bin/install -c -o pbulk -g wheel lib/why3-call-pvs /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/why3-call-pvs
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g wheel -m 644 bin/why3webserver.cmxs /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g wheel -m 644 bin/why3session.cmxs /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g wheel -m 644 bin/why3shell.cmxs /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
cp -f bin/isabelle_client.opt /tmp/devel/why3/work/.destdir/usr/pkg/bin/isabelle_client
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g wheel -m 644 bin/why3pp.cmxs /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
/usr/bin/install -c -o pbulk -g wheel -m 644 bin/why3doc.cmxs /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/commands
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/vim
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/vim/ftdetect
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/vim/syntax
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/lang
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib/mach
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/drivers
/usr/bin/install -c -o pbulk -g wheel -m 644 stdlib/*.mlw /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib
/usr/bin/install -c -o pbulk -g wheel -m 644 stdlib/mach/*.mlw /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/stdlib/mach
/usr/bin/install -c -o pbulk -g wheel -m 644 drivers/*.drv drivers/*.gen /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/drivers
/usr/bin/install -c -o pbulk -g wheel -m 644 LICENSE /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/
/usr/bin/install -c -o pbulk -g wheel -m 644 share/provers-detection-data.conf /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/
/usr/bin/install -c -o pbulk -g wheel -m 644 share/why3session.dtd /tmp/devel/why3/work/.destdir/usr/pkg/share/why3
/usr/bin/install -c -o pbulk -g wheel -m 644 share/Makefile.config /tmp/devel/why3/work/.destdir/usr/pkg/share/why3
/usr/bin/install -c -o pbulk -g wheel -m 644 share/vim/ftdetect/why3.vim /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/vim/ftdetect/why3.vim
/usr/bin/install -c -o pbulk -g wheel -m 644 share/vim/syntax/why3.vim /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/vim/syntax/why3.vim
/usr/bin/install -c -o pbulk -g wheel -m 644 share/lang/why3.lang /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/lang/why3.lang
/usr/bin/install -c -o pbulk -g wheel -m 644 share/lang/why3c.lang /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/lang/why3c.lang
/usr/bin/install -c -o pbulk -g wheel -m 644 share/lang/why3py.lang /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/lang/why3py.lang
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/drivers
/usr/bin/install -c -o pbulk -g wheel -m 644 drivers/coq-realizations.aux /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
/usr/bin/install -c -o pbulk -g wheel -m 644 drivers/pvs-realizations.aux /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
/usr/bin/install -c -o pbulk -g wheel -m 644 drivers/isabelle-realizations.aux /tmp/devel/why3/work/.destdir/usr/pkg/share/why3/drivers/
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/share/emacs/site-lisp/
/usr/bin/install -c -o pbulk -g wheel -m 644 share/emacs/why3.el /tmp/devel/why3/work/.destdir/usr/pkg/share/emacs/site-lisp/why3.el
if test -d /etc/bash_completion.d -a -w /etc/bash_completion.d; then \
  /usr/bin/install -c -o pbulk -g wheel share/bash/why3 /etc/bash_completion.d; \
fi
./install-sh -c -d /tmp/devel/why3/work/.destdir/usr/pkg/lib/ocaml/site-lib/why3
/usr/bin/install -c -o pbulk -g wheel -m 644 lib/why3/why3.a lib/why3/why3.cmx lib/why3/why3.cmi lib/why3/why3.cmxa lib/why3/why3.cmxs lib/why3/why3.cmt \
	lib/why3/META /tmp/devel/why3/work/.destdir/usr/pkg/lib/ocaml/site-lib/why3
=> Automatic manual page handling
=> Generating post-install file lists
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/BuiltIn.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/HighOrd.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bool/Bool.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bv/BV_Gen.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bv/Pow2int.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Abs.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/ComputerDivision.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Div2.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/EuclideanDivision.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Exponentiation.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Int.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/MinMax.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/NumOf.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Power.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Append.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Combine.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Distinct.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/HdTl.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/HdTlNoOpt.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Length.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/List.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Mem.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Nth.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NthHdTl.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NthLength.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NthLengthAppend.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NthNoOpt.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NumOcc.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Permut.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/RevAppend.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Reverse.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/Const.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/Map.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/MapInjection.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/MapPermut.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/Occ.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Coprime.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Divisibility.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Gcd.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Parity.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Prime.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/option/Option.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/Abs.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/ExpLog.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/FromInt.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/MinMax.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/PowerInt.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/PowerReal.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/Real.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/RealInfix.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/Square.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/Trigonometry.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/Cardinal.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/Fset.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/FsetInduction.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/FsetInt.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/FsetSum.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/Set.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/SetApp.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/SetAppInt.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/SetImp.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/SetImpInt.vo'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/version'
pkg_create: can't stat `/tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/plugins/hypothesis_selection.cmxs'
=> Checking file-check results for why3-1.5.1nb1
ERROR: ************************************************************
ERROR: The following files are in the PLIST but not in /tmp/devel/why3/work/.destdir/usr/pkg:
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/BuiltIn.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/HighOrd.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bool/Bool.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bv/BV_Gen.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/bv/Pow2int.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Abs.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/ComputerDivision.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Div2.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/EuclideanDivision.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Exponentiation.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Int.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/MinMax.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/NumOf.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/int/Power.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Append.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Combine.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Distinct.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/HdTl.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/HdTlNoOpt.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Length.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/List.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Mem.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Nth.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NthHdTl.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NthLength.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NthLengthAppend.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NthNoOpt.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/NumOcc.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Permut.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/RevAppend.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/list/Reverse.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/Const.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/Map.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/MapInjection.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/MapPermut.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/map/Occ.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Coprime.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Divisibility.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Gcd.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Parity.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/number/Prime.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/option/Option.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/Abs.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/ExpLog.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/FromInt.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/MinMax.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/PowerInt.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/PowerReal.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/Real.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/RealInfix.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/Square.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/real/Trigonometry.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/Cardinal.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/Fset.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/FsetInduction.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/FsetInt.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/FsetSum.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/Set.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/SetApp.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/SetAppInt.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/SetImp.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/set/SetImpInt.vo
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/coq/version
ERROR:         /tmp/devel/why3/work/.destdir/usr/pkg/lib/why3/plugins/hypothesis_selection.cmxs
*** Error code 1

Stop.
make[1]: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/why3
*** Error code 1

Stop.
make: stopped in /amd/pkgsrc/CHROOT/P/pkgsrc/devel/why3