picosat →
965-1 →
armhf → 2019-08-25 06:59:27
sbuild (Debian sbuild) 0.71.0 (24 Aug 2016) on testbuildd
+==============================================================================+
| picosat 965-1 (armhf) Sun, 25 Aug 2019 06:48:08 +0000 |
+==============================================================================+
Package: picosat
Version: 965-1
Source Version: 965-1
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bullseye-staging-armhf-sbuild-e390c8a2-2641-43d9-901c-edd91c407585' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bullseye-staging/main Sources [11.5 MB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf Packages [13.1 MB]
Fetched 24.5 MB in 31s (803 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'picosat' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/science-team/picosat.git
Please use:
git clone https://salsa.debian.org/science-team/picosat.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 72.3 kB of source archives.
Get:1 http://172.17.0.1/private bullseye-staging/main picosat 965-1 (dsc) [1919 B]
Get:2 http://172.17.0.1/private bullseye-staging/main picosat 965-1 (tar) [64.4 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main picosat 965-1 (diff) [5988 B]
Fetched 72.3 kB in 0s (523 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/picosat-4Ke41e/picosat-965' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/picosat-4Ke41e' with '<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install build-essential |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-dGz65W/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-dGz65W/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-dGz65W/gpg/trustdb.gpg: trustdb created
gpg: key 35506D9A48F77B2E: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 35506D9A48F77B2E: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 35506D9A48F77B2E: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ Packages [432 B]
Fetched 2108 B in 1s (2669 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
netbase
Use 'apt autoremove' to remove it.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 90 not upgraded.
Need to get 848 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [848 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 848 B in 0s (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12050 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: debhelper-compat (= 12), dh-exec
Filtered Build-Depends: debhelper-compat (= 12), dh-exec
dpkg-deb: building package 'sbuild-build-depends-picosat-dummy' in '/<<BUILDDIR>>/resolver-dGz65W/apt_archive/sbuild-build-depends-picosat-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-picosat-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ Sources [497 B]
Get:5 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ Packages [576 B]
Fetched 2406 B in 1s (3032 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install picosat build dependencies (apt-based resolver)
-------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
netbase
Use 'apt autoremove' to remove it.
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bsdmainutils debhelper
dh-autoreconf dh-exec dh-strip-nondeterminism dwz file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1
libfile-stripnondeterminism-perl libglib2.0-0 libicu63 libmagic-mgc
libmagic1 libncurses6 libncursesw6 libpipeline1 libsigsegv2
libsub-override-perl libtinfo5 libtinfo6 libtool libuchardet0 libxml2 m4
man-db po-debconf sensible-utils
Suggested packages:
autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
vacation dh-make gettext-doc libasprintf-dev libgettextpo-dev groff
libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
www-browser libmail-box-perl
Recommended packages:
curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
xdg-user-dirs libgpm2 libltdl-dev libmail-sendmail-perl
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdmainutils debhelper
dh-autoreconf dh-exec dh-strip-nondeterminism dwz file gettext gettext-base
groff-base intltool-debian libarchive-zip-perl libbsd0 libcroco3 libelf1
libfile-stripnondeterminism-perl libglib2.0-0 libicu63 libmagic-mgc
libmagic1 libncurses6 libpipeline1 libsigsegv2 libsub-override-perl
libtinfo5 libtool libuchardet0 libxml2 m4 man-db po-debconf
sbuild-build-depends-picosat-dummy sensible-utils
The following packages will be upgraded:
libncursesw6 libtinfo6
2 upgraded, 37 newly installed, 0 to remove and 88 not upgraded.
Need to get 18.9 MB of archives.
After this operation, 67.1 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-dGz65W/apt_archive ./ sbuild-build-depends-picosat-dummy 0.invalid.0 [864 B]
Get:2 http://172.17.0.1/private bullseye-staging/main armhf libbsd0 armhf 0.10.0-1 [112 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf libtinfo5 armhf 6.1+20190803-1 [314 kB]
Get:4 http://172.17.0.1/private bullseye-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:5 http://172.17.0.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB]
Get:6 http://172.17.0.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-3 [782 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.1-2 [26.6 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.8.6.1-1 [1248 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf libtinfo6 armhf 6.1+20190803-1 [318 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf libncursesw6 armhf 6.1+20190803-1 [104 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf sensible-utils all 0.0.12 [15.8 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.37-5 [253 kB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.37-5 [111 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.37-5 [66.2 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.19.8.1-9 [117 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-2 [185 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.1-4 [771 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.19.8.1-9 [434 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-9 [547 kB]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.5.0-1 [22.8 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.5.0-1 [14.1 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.176-1.1 [158 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13-1 [69.7 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.60.6-2 [1109 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf libicu63 armhf 63.2-2 [7974 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.4+dfsg1-7+b2 [571 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf libcroco3 armhf 0.6.13-1 [133 kB]
Get:34 http://172.17.0.1/private bullseye-staging/main armhf libncurses6 armhf 6.1+20190803-1 [79.3 kB]
Get:35 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.19.8.1-9 [1219 kB]
Get:36 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:37 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21 [248 kB]
Get:38 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 12.5.3 [1036 kB]
Get:39 http://172.17.0.1/private bullseye-staging/main armhf dh-exec armhf 0.23.2 [25.3 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 18.9 MB in 6s (3030 kB/s)
Selecting previously unselected package libbsd0:armhf.
(Reading database ... 12050 files and directories currently installed.)
Preparing to unpack .../0-libbsd0_0.10.0-1_armhf.deb ...
Unpacking libbsd0:armhf (0.10.0-1) ...
Selecting previously unselected package libtinfo5:armhf.
Preparing to unpack .../1-libtinfo5_6.1+20190803-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.1+20190803-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../2-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../3-libuchardet0_0.0.6-3_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.6-3) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../4-groff-base_1.22.4-3_armhf.deb ...
Unpacking groff-base (1.22.4-3) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../5-libpipeline1_1.5.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../6-man-db_2.8.6.1-1_armhf.deb ...
Unpacking man-db (2.8.6.1-1) ...
Preparing to unpack .../7-libtinfo6_6.1+20190803-1_armhf.deb ...
Unpacking libtinfo6:armhf (6.1+20190803-1) over (6.1+20181013-2) ...
Setting up libtinfo6:armhf (6.1+20190803-1) ...
(Reading database ... 12691 files and directories currently installed.)
Preparing to unpack .../libncursesw6_6.1+20190803-1_armhf.deb ...
Unpacking libncursesw6:armhf (6.1+20190803-1) over (6.1+20181013-2) ...
Setting up libncursesw6:armhf (6.1+20190803-1) ...
Selecting previously unselected package sensible-utils.
(Reading database ... 12691 files and directories currently installed.)
Preparing to unpack .../00-sensible-utils_0.0.12_all.deb ...
Unpacking sensible-utils (0.0.12) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../01-libmagic-mgc_1%3a5.37-5_armhf.deb ...
Unpacking libmagic-mgc (1:5.37-5) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../02-libmagic1_1%3a5.37-5_armhf.deb ...
Unpacking libmagic1:armhf (1:5.37-5) ...
Selecting previously unselected package file.
Preparing to unpack .../03-file_1%3a5.37-5_armhf.deb ...
Unpacking file (1:5.37-5) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../04-gettext-base_0.19.8.1-9_armhf.deb ...
Unpacking gettext-base (0.19.8.1-9) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../05-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../06-m4_1.4.18-2_armhf.deb ...
Unpacking m4 (1.4.18-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../07-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../08-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../09-automake_1%3a1.16.1-4_all.deb ...
Unpacking automake (1:1.16.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../10-autopoint_0.19.8.1-9_all.deb ...
Unpacking autopoint (0.19.8.1-9) ...
Selecting previously unselected package libtool.
Preparing to unpack .../11-libtool_2.4.6-9_all.deb ...
Unpacking libtool (2.4.6-9) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../12-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../13-libarchive-zip-perl_1.64-1_all.deb ...
Unpacking libarchive-zip-perl (1.64-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../14-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../15-libfile-stripnondeterminism-perl_1.5.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.5.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../16-dh-strip-nondeterminism_1.5.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.5.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../17-libelf1_0.176-1.1_armhf.deb ...
Unpacking libelf1:armhf (0.176-1.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../18-dwz_0.13-1_armhf.deb ...
Unpacking dwz (0.13-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../19-libglib2.0-0_2.60.6-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.60.6-2) ...
Selecting previously unselected package libicu63:armhf.
Preparing to unpack .../20-libicu63_63.2-2_armhf.deb ...
Unpacking libicu63:armhf (63.2-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../21-libxml2_2.9.4+dfsg1-7+b2_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-7+b2) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../22-libcroco3_0.6.13-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.13-1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../23-libncurses6_6.1+20190803-1_armhf.deb ...
Unpacking libncurses6:armhf (6.1+20190803-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../24-gettext_0.19.8.1-9_armhf.deb ...
Unpacking gettext (0.19.8.1-9) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../25-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../26-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../27-debhelper_12.5.3_all.deb ...
Unpacking debhelper (12.5.3) ...
Selecting previously unselected package dh-exec.
Preparing to unpack .../28-dh-exec_0.23.2_armhf.deb ...
Unpacking dh-exec (0.23.2) ...
Selecting previously unselected package sbuild-build-depends-picosat-dummy.
Preparing to unpack .../29-sbuild-build-depends-picosat-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-picosat-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.5.1-2) ...
Setting up libmagic-mgc (1:5.37-5) ...
Setting up libarchive-zip-perl (1.64-1) ...
Setting up libglib2.0-0:armhf (2.60.6-2) ...
No schema files found: doing nothing.
Setting up libmagic1:armhf (1:5.37-5) ...
Setting up gettext-base (0.19.8.1-9) ...
Setting up file (1:5.37-5) ...
Setting up libicu63:armhf (63.2-2) ...
Setting up autotools-dev (20180224.1) ...
Setting up libncurses6:armhf (6.1+20190803-1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up autopoint (0.19.8.1-9) ...
Setting up sensible-utils (0.0.12) ...
Setting up libuchardet0:armhf (0.0.6-3) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libbsd0:armhf (0.10.0-1) ...
Setting up libtinfo5:armhf (6.1+20190803-1) ...
Setting up libelf1:armhf (0.176-1.1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-7+b2) ...
Setting up libfile-stripnondeterminism-perl (1.5.0-1) ...
Setting up libtool (2.4.6-9) ...
Setting up m4 (1.4.18-2) ...
Setting up bsdmainutils (11.1.2) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up libcroco3:armhf (0.6.13-1) ...
Setting up autoconf (2.69-11) ...
Setting up dwz (0.13-1) ...
Setting up groff-base (1.22.4-3) ...
Setting up automake (1:1.16.1-4) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up gettext (0.19.8.1-9) ...
Setting up man-db (2.8.6.1-1) ...
Not building database; man-db/auto-update is not 'true'.
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up po-debconf (1.0.21) ...
Setting up dh-autoreconf (19) ...
Setting up dh-strip-nondeterminism (1.5.0-1) ...
Setting up debhelper (12.5.3) ...
Setting up dh-exec (0.23.2) ...
Setting up sbuild-build-depends-picosat-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.28-10+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.9.0-0.bpo.6-armmp armhf (armv7l)
Toolchain package versions: binutils_2.31.1-16+rpi1 dpkg-dev_1.19.7 g++-8_8.3.0-6+rpi1 gcc-8_8.3.0-6+rpi1 libc6-dev_2.28-10+rpi1 libstdc++-8-dev_8.3.0-6+rpi1 libstdc++6_8.3.0-6+rpi1 linux-libc-dev_4.18.20-2+rpi1
Package versions: adduser_3.118 apt_1.8.2 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.3+rpi1 base-passwd_3.5.46 bash_5.0-4 binutils_2.31.1-16+rpi1 binutils-arm-linux-gnueabihf_2.31.1-16+rpi1 binutils-common_2.31.1-16+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.33.1-0.1 build-essential_12.6 bzip2_1.0.6-9.1 coreutils_8.30-3 cpp_4:8.3.0-1+rpi2 cpp-8_8.3.0-6+rpi1 dash_0.5.10.2-5 debconf_1.5.71 debhelper_12.5.3 debianutils_4.8.6.1 dh-autoreconf_19 dh-exec_0.23.2 dh-strip-nondeterminism_1.5.0-1 diffutils_1:3.7-3 dirmngr_2.2.12-1+rpi1 dpkg_1.19.7 dpkg-dev_1.19.7 dwz_0.13-1 e2fsprogs_1.44.5-1 fakeroot_1.23-1 fdisk_2.33.1-0.1 file_1:5.37-5 findutils_4.6.0+git+20190209-2 g++_4:8.3.0-1+rpi2 g++-8_8.3.0-6+rpi1 gcc_4:8.3.0-1+rpi2 gcc-4.9-base_4.9.4-2+rpi1+b19 gcc-5-base_5.5.0-8 gcc-6-base_6.5.0-1+rpi1+b1 gcc-7-base_7.3.0-19 gcc-8_8.3.0-6+rpi1 gcc-8-base_8.3.0-6+rpi1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gnupg_2.2.12-1+rpi1 gnupg-l10n_2.2.12-1+rpi1 gnupg-utils_2.2.12-1+rpi1 gpg_2.2.12-1+rpi1 gpg-agent_2.2.12-1+rpi1 gpg-wks-client_2.2.12-1+rpi1 gpg-wks-server_2.2.12-1+rpi1 gpgconf_2.2.12-1+rpi1 gpgsm_2.2.12-1+rpi1 gpgv_2.2.12-1+rpi1 grep_3.3-1 groff-base_1.22.4-3 gzip_1.9-3 hostname_3.21 init-system-helpers_1.56+nmu1 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-4 libapt-pkg5.0_1.8.2 libarchive-zip-perl_1.64-1 libasan5_8.3.0-6+rpi1 libassuan0_2.5.2-1 libatomic1_8.3.0-6+rpi1 libattr1_1:2.4.48-4 libaudit-common_1:2.8.4-3 libaudit1_1:2.8.4-3 libbinutils_2.31.1-16+rpi1 libblkid1_2.33.1-0.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.6-9.1 libc-bin_2.28-10+rpi1 libc-dev-bin_2.28-10+rpi1 libc6_2.28-10+rpi1 libc6-dev_2.28-10+rpi1 libcap-ng0_0.7.9-2 libcc1-0_8.3.0-6+rpi1 libcom-err2_1.44.5-1 libcroco3_0.6.13-1 libdb5.3_5.3.28+dfsg1-0.5 libdebconfclient0_0.249 libdpkg-perl_1.19.7 libelf1_0.176-1.1 libext2fs2_1.44.5-1 libfakeroot_1.23-1 libfdisk1_2.33.1-0.1 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.5.0-1 libgcc-8-dev_8.3.0-6+rpi1 libgcc1_1:8.3.0-6+rpi1 libgcrypt20_1.8.4-5 libgdbm-compat4_1.18.1-4 libgdbm6_1.18.1-4 libglib2.0-0_2.60.6-2 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.7-4 libgomp1_8.3.0-6+rpi1 libgpg-error0_1.35-1 libhogweed4_3.4.1-1 libicu63_63.2-2 libidn2-0_2.0.5-1 libisl19_0.20-2 libksba8_1.3.5-2 libldap-2.4-2_2.4.47+dfsg-3+rpi1 libldap-common_2.4.47+dfsg-3+rpi1 liblocale-gettext-perl_1.07-3+b3 liblz4-1_1.8.3-1 liblzma5_5.2.4-1 libmagic-mgc_1:5.37-5 libmagic1_1:5.37-5 libmount1_2.33.1-0.1 libmpc3_1.1.0-1 libmpfr6_4.0.2-1 libncurses6_6.1+20190803-1 libncursesw6_6.1+20190803-1 libnettle6_3.4.1-1 libnpth0_1.6-1 libp11-kit0_0.23.15-2 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre3_2:8.39-12 libperl5.28_5.28.1-6 libpipeline1_1.5.1-2 libreadline7_7.0-5 libsasl2-2_2.1.27+dfsg-1+b1 libsasl2-modules-db_2.1.27+dfsg-1+b1 libseccomp2_2.3.3-4 libselinux1_2.8-1+b1 libsemanage-common_2.8-2 libsemanage1_2.8-2 libsepol1_2.8-1 libsigsegv2_2.12-2 libsmartcols1_2.33.1-0.1 libsqlite3-0_3.27.2-3 libss2_1.44.5-1 libstdc++-8-dev_8.3.0-6+rpi1 libstdc++6_8.3.0-6+rpi1 libsub-override-perl_0.09-2 libsystemd0_241-5+rpi1 libtasn1-6_4.13-3 libtext-charwidth-perl_0.04-7.1+b1 libtext-iconv-perl_1.7-5+b10 libtext-wrapi18n-perl_0.06-7.1 libtinfo5_6.1+20190803-1 libtinfo6_6.1+20190803-1 libtool_2.4.6-9 libubsan1_8.3.0-6+rpi1 libuchardet0_0.0.6-3 libudev1_241-5+rpi1 libunistring2_0.9.10-1 libuuid1_2.33.1-0.1 libxml2_2.9.4+dfsg1-7+b2 libzstd1_1.3.8+dfsg-3+rpi1 linux-libc-dev_4.18.20-2+rpi1 login_1:4.5-1.1 lsb-base_10.2019051400+rpi1 m4_1.4.18-2 make_4.2.1-1.2 man-db_2.8.6.1-1 mawk_1.3.3-17 mount_2.33.1-0.1 ncurses-base_6.1+20181013-2 ncurses-bin_6.1+20181013-2 netbase_5.6 passwd_1:4.5-1.1 patch_2.7.6-3 perl_5.28.1-6 perl-base_5.28.1-6 perl-modules-5.28_5.28.1-6 pinentry-curses_1.1.0-2 po-debconf_1.0.21 raspbian-archive-keyring_20120528.2 readline-common_7.0-5 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-picosat-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12 sysvinit-utils_2.93-8 tar_1.30+dfsg-6 tzdata_2019a-1 util-linux_2.33.1-0.1 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Tue Aug 20 08:46:25 2019 UTC
gpgv: using RSA key F1F007320A035541F0A663CA578A0494D1C646D1
gpgv: issuer "tille@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./picosat_965-1.dsc
dpkg-source: info: extracting picosat in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking picosat_965.orig.tar.gz
dpkg-source: info: unpacking picosat_965-1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying dynamic_lib.patch
dpkg-source: info: applying verbose_output.patch
dpkg-source: info: applying hardening.patch
Check disc space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=109
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-e390c8a2-2641-43d9-901c-edd91c407585
SCHROOT_UID=104
SCHROOT_USER=buildd
SHELL=/bin/sh
TERM=linux
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package picosat
dpkg-buildpackage: info: source version 965-1
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
fakeroot debian/rules clean
dh clean
debian/rules override_dh_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_testdir
dh_auto_clean
dh_clean
rm -f makefile.opt makefile.trace
rm -rf trace
# [ ! -e makefile ] || /usr/bin/make clean
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules build-arch
dh build-arch
dh_update_autotools_config -a
dh_autoreconf -a
debian/rules override_dh_auto_configure
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_testdir
./configure.sh --trace --stats
version ... 965
debug ... no
log ... no
stats ... yes
trace ... yes
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... gcc
cflags ... -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security
makefile ... done
mv makefile makefile.trace
./configure.sh
version ... 965
debug ... no
log ... no
stats ... no
trace ... no
static ... no
shared ... no
targets ... picosat picomcs picomus picogcnf libpicosat.a
cc ... gcc
cflags ... -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security
makefile ... done
cp makefile makefile.opt
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_testdir
/usr/bin/make -f makefile.trace
make[2]: Entering directory '/<<PKGBUILDDIR>>'
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c picosat.c
In file included from picosat.c:26:
picosat.c: In function 'fixvar':
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
assert (VAR2LIT (v) != UNDEF);
^~
picosat.c:180:20: note: did you mean to dereference the pointer?
#define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
^
picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
assert (VAR2LIT (v) != UNDEF);
^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
assert (VAR2LIT (v) != UNDEF);
^~
picosat.c:180:20: note: did you mean to dereference the pointer?
#define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
^
picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
assert (VAR2LIT (v) != UNDEF);
^~~~~~~
rm -f config.h; ./mkconfig.sh > config.h
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c app.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c main.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -o picosat main.o app.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c picomcs.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -o picomcs picomcs.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c picomus.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -o picomus picomus.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c picogcnf.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -o picogcnf picogcnf.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make -f makefile.trace libpicosat-trace.so
make[2]: Entering directory '/<<PKGBUILDDIR>>'
mv picosat.o picosat.nopic.o
/usr/bin/make CFLAGS="-g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC" picosat.o
make[3]: Entering directory '/<<PKGBUILDDIR>>'
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC -c picosat.c
In file included from picosat.c:26:
picosat.c: In function 'fixvar':
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
assert (VAR2LIT (v) != UNDEF);
^~
picosat.c:180:20: note: did you mean to dereference the pointer?
#define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
^
picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
assert (VAR2LIT (v) != UNDEF);
^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
assert (VAR2LIT (v) != UNDEF);
^~
picosat.c:180:20: note: did you mean to dereference the pointer?
#define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
^
picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
assert (VAR2LIT (v) != UNDEF);
^~~~~~~
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
mv picosat.o picosat.pic.o
mv picosat.nopic.o picosat.o
mv version.o version.nopic.o
/usr/bin/make CFLAGS="-g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC" version.o
make[3]: Entering directory '/<<PKGBUILDDIR>>'
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC -c version.c
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
mv version.o version.pic.o
mv version.nopic.o version.o
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -shared -o libpicosat-trace.so.1.0.0 picosat.pic.o version.pic.o -lc -Wl,-soname,libpicosat-trace.so.1
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
mkdir trace
mv picosat trace/picosat.trace
mv picomus trace/picomus
mv libpicosat.a trace/libpicosat-trace.a
mv libpicosat* trace/
/usr/bin/make -f makefile.trace clean
make[2]: Entering directory '/<<PKGBUILDDIR>>'
rm -f picosat picomcs picomus picogcnf
rm -f *.exe *.s *.o *.a *.so *.plist
rm -f makefile config.h
rm -f gmon.out *~
rm -f *.so.1.0.0 picomus
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
cp makefile.opt makefile
/usr/bin/make -f makefile.opt
make[2]: Entering directory '/<<PKGBUILDDIR>>'
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c picosat.c
In file included from picosat.c:26:
picosat.c: In function 'fixvar':
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
assert (VAR2LIT (v) != UNDEF);
^~
picosat.c:180:20: note: did you mean to dereference the pointer?
#define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
^
picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
assert (VAR2LIT (v) != UNDEF);
^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
assert (VAR2LIT (v) != UNDEF);
^~
picosat.c:180:20: note: did you mean to dereference the pointer?
#define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
^
picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
assert (VAR2LIT (v) != UNDEF);
^~~~~~~
rm -f config.h; ./mkconfig.sh > config.h
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c version.c
ar rc libpicosat.a picosat.o version.o
ranlib libpicosat.a
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c app.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c main.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -o picosat main.o app.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c picomcs.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -o picomcs picomcs.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c picomus.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -o picomus picomus.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -c picogcnf.c
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -o picogcnf picogcnf.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make -f makefile.opt libpicosat.so
make[2]: Entering directory '/<<PKGBUILDDIR>>'
mv picosat.o picosat.nopic.o
/usr/bin/make CFLAGS="-g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC" picosat.o
make[3]: Entering directory '/<<PKGBUILDDIR>>'
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC -c picosat.c
In file included from picosat.c:26:
picosat.c: In function 'fixvar':
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
assert (VAR2LIT (v) != UNDEF);
^~
picosat.c:180:20: note: did you mean to dereference the pointer?
#define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
^
picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
assert (VAR2LIT (v) != UNDEF);
^~~~~~~
picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare]
assert (VAR2LIT (v) != UNDEF);
^~
picosat.c:180:20: note: did you mean to dereference the pointer?
#define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars))
^
picosat.c:1943:11: note: in expansion of macro 'VAR2LIT'
assert (VAR2LIT (v) != UNDEF);
^~~~~~~
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
mv picosat.o picosat.pic.o
mv picosat.nopic.o picosat.o
mv version.o version.nopic.o
/usr/bin/make CFLAGS="-g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC" version.o
make[3]: Entering directory '/<<PKGBUILDDIR>>'
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -fPIC -c version.c
make[3]: Leaving directory '/<<PKGBUILDDIR>>'
mv version.o version.pic.o
mv version.nopic.o version.o
gcc -g -O2 -fdebug-prefix-map=/<<PKGBUILDDIR>>=. -fstack-protector-strong -Wformat -Werror=format-security -shared -o libpicosat.so.1.0.0 picosat.pic.o version.pic.o -lc -Xlinker -soname -Xlinker libpicosat.so.1
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_auto_test -a
create-stamp debian/debhelper-build-stamp
fakeroot debian/rules binary-arch
dh binary-arch
dh_testroot -a
dh_prep -a
dh_installdirs -a
dh_auto_install -a
dh_install -a
dh_installdocs -a
debian/rules override_dh_installchangelogs
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_installchangelogs NEWS
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_installman -a
dh_perl -a
dh_link -a
dh_strip_nondeterminism -a
dh_compress -a
dh_fixperms -a
dh_missing -a
dh_dwz -a
dh_strip -a
dh_makeshlibs -a
dh_shlibdeps -a
dh_installdeb -a
dh_gencontrol -a
dh_md5sums -a
dh_builddeb -a
dpkg-deb: building package 'picosat' in '../picosat_965-1_armhf.deb'.
dpkg-deb: building package 'picosat-dbgsym' in '../picosat-dbgsym_965-1_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian wandboard test autobuilder <root@raspbian.org> >../picosat_965-1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2019-08-25T06:59:21Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
picosat_965-1_armhf.changes:
----------------------------
Format: 1.8
Date: Tue, 20 Aug 2019 10:44:08 +0200
Source: picosat
Binary: picosat picosat-dbgsym
Architecture: armhf
Version: 965-1
Distribution: bullseye-staging
Urgency: medium
Maintainer: Raspbian wandboard test autobuilder <root@raspbian.org>
Changed-By: Andreas Tille <tille@debian.org>
Description:
picosat - SAT solver with proof and core support
Changes:
picosat (965-1) unstable; urgency=medium
.
* Team upload.
* Move packaging to Debian Science team
* debhelper-compat 12
* Standards-Version: 4.4.0
* Secure URI in copyright format
* Remove old boilerplate from debian/rules
* Trim trailing whitespace.
* Set upstream metadata fields: Contact, Name.
* d/rules: Use default flags
* Split patch into logical pieces
* Multiarch location for libraries
* Fix symbols file
* Hardening
Checksums-Sha1:
f32e2583a3d32527f106c98d6158fcfa097de27c 401992 picosat-dbgsym_965-1_armhf.deb
8f444e05de1ab9705e13ac01130a40830c8e1ad3 4447 picosat_965-1_armhf.buildinfo
62a5c62f21f3e38fdc08349353b472b2653fd5fe 83984 picosat_965-1_armhf.deb
Checksums-Sha256:
66e8369fe138b3de558db7c54d510fdf094c4a879fb954f642fb4bd4b1ad08d3 401992 picosat-dbgsym_965-1_armhf.deb
6b04dbf184b0885dcaf372c2c3ebded4cfc32462d55f366637578dc0f3b4a746 4447 picosat_965-1_armhf.buildinfo
99103711b4152862c0f3c346fb45714905465882493cba1c81f7a86582caaeb8 83984 picosat_965-1_armhf.deb
Files:
779bebfee9706fc7039a2f39be27387c 401992 debug optional picosat-dbgsym_965-1_armhf.deb
8d7b3e067b1bc906a2ecb20ea6e2298d 4447 science optional picosat_965-1_armhf.buildinfo
7359f4c9c14997c90810062d46bba3da 83984 science optional picosat_965-1_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
picosat-dbgsym_965-1_armhf.deb
------------------------------
new Debian package, version 2.0.
size 401992 bytes: control archive=740 bytes.
489 bytes, 12 lines control
511 bytes, 5 lines md5sums
Package: picosat-dbgsym
Source: picosat
Version: 965-1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 510
Depends: picosat (= 965-1)
Section: debug
Priority: optional
Description: debug symbols for picosat
Build-Ids: 165cb4e9b5a0d0776e2a0ed7ea55afdfe1688941 36cc4e54076533b62706ba50626fea07dfbb0b94 75ba137ae4919a265881a14abcca2cf40611a347 98f5c7f933276c04023e391760bcfdefcb9c1165
drwxr-xr-x root/root 0 2019-08-20 08:44 ./
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/debug/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/debug/.build-id/16/
-rw-r--r-- root/root 116700 2019-08-20 08:44 ./usr/lib/debug/.build-id/16/5cb4e9b5a0d0776e2a0ed7ea55afdfe1688941.debug
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/debug/.build-id/36/
-rw-r--r-- root/root 127060 2019-08-20 08:44 ./usr/lib/debug/.build-id/36/cc4e54076533b62706ba50626fea07dfbb0b94.debug
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/debug/.build-id/75/
-rw-r--r-- root/root 133232 2019-08-20 08:44 ./usr/lib/debug/.build-id/75/ba137ae4919a265881a14abcca2cf40611a347.debug
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/debug/.build-id/98/
-rw-r--r-- root/root 116700 2019-08-20 08:44 ./usr/lib/debug/.build-id/98/f5c7f933276c04023e391760bcfdefcb9c1165.debug
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/debug/.dwz/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/
-rw-r--r-- root/root 10964 2019-08-20 08:44 ./usr/lib/debug/.dwz/arm-linux-gnueabihf/picosat.debug
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/share/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/share/doc/
lrwxrwxrwx root/root 0 2019-08-20 08:44 ./usr/share/doc/picosat-dbgsym -> picosat
picosat_965-1_armhf.deb
-----------------------
new Debian package, version 2.0.
size 83984 bytes: control archive=1760 bytes.
752 bytes, 17 lines control
889 bytes, 13 lines md5sums
66 bytes, 2 lines shlibs
4584 bytes, 146 lines symbols
67 bytes, 2 lines triggers
Package: picosat
Version: 965-1
Architecture: armhf
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Installed-Size: 710
Depends: libc6 (>= 2.7)
Section: science
Priority: optional
Homepage: http://fmv.jku.at/picosat/
Description: SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
.
PicoSAT is a SAT solver that turned out to be faster on industrial instances
than MiniSAT 2.0 and also can generate proofs and cores in memory.
drwxr-xr-x root/root 0 2019-08-20 08:44 ./
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/bin/
-rwxr-xr-x root/root 87648 2019-08-20 08:44 ./usr/bin/picomus
-rwxr-xr-x root/root 95840 2019-08-20 08:44 ./usr/bin/picosat
-rwxr-xr-x root/root 95840 2019-08-20 08:44 ./usr/bin/picosat.trace
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/include/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/include/picosat/
-rw-r--r-- root/root 28675 2016-01-13 07:19 ./usr/include/picosat/picosat.h
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/
-rw-r--r-- root/root 97632 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/libpicosat-trace.a
lrwxrwxrwx root/root 0 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/libpicosat-trace.so -> libpicosat-trace.so.1
lrwxrwxrwx root/root 0 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/libpicosat-trace.so.1 -> libpicosat-trace.so.1.0.0
-rw-r--r-- root/root 91752 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/libpicosat-trace.so.1.0.0
-rw-r--r-- root/root 97632 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/libpicosat.a
lrwxrwxrwx root/root 0 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/libpicosat.so -> libpicosat.so.1
lrwxrwxrwx root/root 0 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/libpicosat.so.1 -> libpicosat.so.1.0.0
-rw-r--r-- root/root 91752 2019-08-20 08:44 ./usr/lib/arm-linux-gnueabihf/libpicosat.so.1.0.0
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/share/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/share/doc/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/share/doc/picosat/
-rw-r--r-- root/root 1232 2019-08-20 08:44 ./usr/share/doc/picosat/changelog.Debian.gz
-rw-r--r-- root/root 1934 2016-01-13 07:19 ./usr/share/doc/picosat/changelog.gz
-rw-r--r-- root/root 2263 2019-08-20 08:44 ./usr/share/doc/picosat/copyright
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/share/man/
drwxr-xr-x root/root 0 2019-08-20 08:44 ./usr/share/man/man1/
-rw-r--r-- root/root 821 2019-08-20 08:44 ./usr/share/man/man1/picomus.1.gz
-rw-r--r-- root/root 1109 2019-08-20 08:44 ./usr/share/man/man1/picosat.1.gz
lrwxrwxrwx root/root 0 2019-08-20 08:44 ./usr/share/man/man1/picosat.trace.1.gz -> picosat.1.gz
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 7484
Build-Time: 176
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 443
Job: picosat_965-1
Machine Architecture: armhf
Package: picosat
Package-Time: 673
Source-Version: 965-1
Space: 7484
Status: successful
Version: 965-1
--------------------------------------------------------------------------------
Finished at 2019-08-25T06:59:21Z
Build needed 00:11:13, 7484k disc space