sbuild (Debian sbuild) 0.85.0 (04 January 2023) on debian-ci-siliconvalley +==============================================================================+ | picosat 965-2 (armel) Fri, 24 Oct 2025 22:38:30 +0000 | +==============================================================================+ Package: picosat Version: 965-2 Source Version: 965-2 Distribution: unstable Machine Architecture: amd64 Host Architecture: armel Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any I: NOTICE: Log filtering will replace 'var/run/schroot/mount/sid-amd64-sbuild-4648476f-4282-4f8f-bd74-51d57aa43bb5' with '<>' I: NOTICE: Log filtering will replace 'build/picosat-4KC5cM/resolver-uDh54h' with '<>' +------------------------------------------------------------------------------+ | Update chroot | +------------------------------------------------------------------------------+ Hit:1 http://localhost:3142/debian unstable InRelease Get:2 http://localhost:3142/debian unstable/main armel Packages [9608 kB] Fetched 9608 kB in 1s (10.3 MB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... Calculating upgrade... 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. +------------------------------------------------------------------------------+ | 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.7 kB of source archives. Get:1 http://localhost:3142/debian unstable/main picosat 965-2 (dsc) [1959 B] Get:2 http://localhost:3142/debian unstable/main picosat 965-2 (tar) [64.4 kB] Get:3 http://localhost:3142/debian unstable/main picosat 965-2 (diff) [6328 B] Fetched 72.7 kB in 1s (79.9 kB/s) Download complete and in download only mode I: NOTICE: Log filtering will replace 'build/picosat-4KC5cM/picosat-965' with '<>' I: NOTICE: Log filtering will replace 'build/picosat-4KC5cM' with '<>' +------------------------------------------------------------------------------+ | Install package build dependencies | +------------------------------------------------------------------------------+ Setup apt archive ----------------- Merged Build-Depends: debhelper-compat (= 12), dh-exec, libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-armel:amd64, libc-dev:armel, libstdc++-dev:armel Filtered Build-Depends: debhelper-compat (= 12), dh-exec, libc-dev, libstdc++-dev, build-essential:amd64, fakeroot:amd64, crossbuild-essential-armel:amd64, libc-dev:armel, libstdc++-dev:armel dpkg-deb: warning: root directory /<>/sbuild-build-depends-main-dummy has unusual owner or group 1000:119 dpkg-deb: hint: you might need to pass --root-owner-group, see for further details dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package 'sbuild-build-depends-main-dummy' in '/<>/apt_archive/sbuild-build-depends-main-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [609 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [723 B] Get:5 copy:/<>/apt_archive ./ Packages [766 B] Fetched 2098 B in 0s (0 B/s) Reading package lists... Reading package lists... Install main build dependencies (apt-based resolver) ---------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... Execute external solver... The following additional packages will be installed: autoconf automake autopoint autotools-dev binutils-arm-linux-gnueabi bsdextrautils cpp-15-arm-linux-gnueabi cpp-arm-linux-gnueabi crossbuild-essential-armel debhelper dh-autoreconf dh-exec dh-strip-nondeterminism dwz fakeroot file g++-15-arm-linux-gnueabi g++-arm-linux-gnueabi gcc-15-arm-linux-gnueabi gcc-15-arm-linux-gnueabi-base gcc-15-base:armel gcc-15-cross-base-ports gcc-arm-linux-gnueabi gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasan8:armel libasan8-armel-cross libatomic1:armel libatomic1-armel-cross libc6:armel libc6-armel-cross libc6-dev:armel libc6-dev-armel-cross libcrypt-dev:armel libcrypt1:armel libdebhelper-perl libelf1t64 libfakeroot libfile-stripnondeterminism-perl libgcc-15-dev:armel libgcc-15-dev-armel-cross libgcc-s1:armel libgcc-s1-armel-cross libgomp1:armel libgomp1-armel-cross libmagic-mgc libmagic1t64 libpipeline1 libstdc++-15-dev:armel libstdc++-15-dev-armel-cross libstdc++6:armel libstdc++6-armel-cross libtool libubsan1:armel libubsan1-armel-cross libuchardet0 libunistring5 libxml2-16 linux-libc-dev-armel-cross m4 man-db po-debconf sensible-utils Suggested packages: autoconf-archive gnu-standards autoconf-doc binutils-doc gcc-15-locales cpp-15-doc cpp-doc dh-make gcc-15-doc manpages-dev flex bison gdb-arm-linux-gnueabi gcc-doc gettext-doc libasprintf-dev libgettextpo-dev gnulib-l10n groff glibc-doc:armel libc-l10n:armel locales:armel libnss-nis:armel libnss-nisplus:armel manpages-dev:armel libstdc++-15-doc:armel libtool-doc gfortran | fortran95-compiler m4-doc apparmor less www-browser libmail-box-perl Recommended packages: curl | wget | lynx libidn2-0:armel libarchive-cpio-perl libltdl-dev libmail-sendmail-perl The following NEW packages will be installed: autoconf automake autopoint autotools-dev binutils-arm-linux-gnueabi bsdextrautils cpp-15-arm-linux-gnueabi cpp-arm-linux-gnueabi crossbuild-essential-armel debhelper dh-autoreconf dh-exec dh-strip-nondeterminism dwz fakeroot file g++-15-arm-linux-gnueabi g++-arm-linux-gnueabi gcc-15-arm-linux-gnueabi gcc-15-arm-linux-gnueabi-base gcc-15-base:armel gcc-15-cross-base-ports gcc-arm-linux-gnueabi gettext gettext-base groff-base intltool-debian libarchive-zip-perl libasan8:armel libasan8-armel-cross libatomic1:armel libatomic1-armel-cross libc6:armel libc6-armel-cross libc6-dev:armel libc6-dev-armel-cross libcrypt-dev:armel libcrypt1:armel libdebhelper-perl libelf1t64 libfakeroot libfile-stripnondeterminism-perl libgcc-15-dev:armel libgcc-15-dev-armel-cross libgcc-s1:armel libgcc-s1-armel-cross libgomp1:armel libgomp1-armel-cross libmagic-mgc libmagic1t64 libpipeline1 libstdc++-15-dev:armel libstdc++-15-dev-armel-cross libstdc++6:armel libstdc++6-armel-cross libtool libubsan1:armel libubsan1-armel-cross libuchardet0 libunistring5 libxml2-16 linux-libc-dev-armel-cross m4 man-db po-debconf sbuild-build-depends-main-dummy:armel sensible-utils 0 upgraded, 67 newly installed, 0 to remove and 0 not upgraded. Need to get 291 MB of archives. After this operation, 1228 MB of additional disk space will be used. Get:1 copy:/<>/apt_archive ./ sbuild-build-depends-main-dummy 0.invalid.0 [920 B] Get:2 http://localhost:3142/debian unstable/main amd64 sensible-utils all 0.0.26 [27.0 kB] Get:3 http://localhost:3142/debian unstable/main amd64 libmagic-mgc amd64 1:5.46-5 [338 kB] Get:4 http://localhost:3142/debian unstable/main amd64 libmagic1t64 amd64 1:5.46-5 [109 kB] Get:5 http://localhost:3142/debian unstable/main amd64 file amd64 1:5.46-5 [43.6 kB] Get:6 http://localhost:3142/debian unstable/main amd64 gettext-base amd64 0.23.1-2+b1 [244 kB] Get:7 http://localhost:3142/debian unstable/main amd64 libuchardet0 amd64 0.0.8-2 [68.5 kB] Get:8 http://localhost:3142/debian unstable/main amd64 groff-base amd64 1.23.0-9 [1187 kB] Get:9 http://localhost:3142/debian unstable/main amd64 bsdextrautils amd64 2.41.2-4 [98.5 kB] Get:10 http://localhost:3142/debian unstable/main amd64 libpipeline1 amd64 1.5.8-1 [42.0 kB] Get:11 http://localhost:3142/debian unstable/main amd64 man-db amd64 2.13.1-1 [1469 kB] Get:12 http://localhost:3142/debian unstable/main amd64 m4 amd64 1.4.20-2 [325 kB] Get:13 http://localhost:3142/debian unstable/main amd64 autoconf all 2.72-3.1 [494 kB] Get:14 http://localhost:3142/debian unstable/main amd64 autotools-dev all 20240727.1 [60.2 kB] Get:15 http://localhost:3142/debian unstable/main amd64 automake all 1:1.18.1-2 [877 kB] Get:16 http://localhost:3142/debian unstable/main amd64 autopoint all 0.23.1-2 [770 kB] Get:17 http://localhost:3142/debian unstable/main amd64 binutils-arm-linux-gnueabi amd64 2.45-8 [1540 kB] Get:18 http://localhost:3142/debian unstable/main amd64 gcc-15-arm-linux-gnueabi-base amd64 15.2.0-4cross1 [53.0 kB] Get:19 http://localhost:3142/debian unstable/main amd64 cpp-15-arm-linux-gnueabi amd64 15.2.0-4cross1 [80.4 MB] Get:20 http://localhost:3142/debian unstable/main amd64 cpp-arm-linux-gnueabi amd64 4:15.2.0-4 [4448 B] Get:21 http://localhost:3142/debian unstable/main amd64 gcc-15-cross-base-ports all 15.2.0-4cross1 [48.4 kB] Get:22 http://localhost:3142/debian unstable/main amd64 libc6-armel-cross all 2.41-11cross1 [942 kB] Get:23 http://localhost:3142/debian unstable/main amd64 libgcc-s1-armel-cross all 15.2.0-4cross1 [38.9 kB] Get:24 http://localhost:3142/debian unstable/main amd64 libgomp1-armel-cross all 15.2.0-4cross1 [113 kB] Get:25 http://localhost:3142/debian unstable/main amd64 libatomic1-armel-cross all 15.2.0-4cross1 [9472 B] Get:26 http://localhost:3142/debian unstable/main amd64 libasan8-armel-cross all 15.2.0-4cross1 [2590 kB] Get:27 http://localhost:3142/debian unstable/main amd64 libstdc++6-armel-cross all 15.2.0-4cross1 [561 kB] Get:28 http://localhost:3142/debian unstable/main amd64 libubsan1-armel-cross all 15.2.0-4cross1 [1072 kB] Get:29 http://localhost:3142/debian unstable/main amd64 libgcc-15-dev-armel-cross all 15.2.0-4cross1 [755 kB] Get:30 http://localhost:3142/debian unstable/main amd64 gcc-15-arm-linux-gnueabi amd64 15.2.0-4cross1 [88.1 MB] Get:31 http://localhost:3142/debian unstable/main amd64 gcc-arm-linux-gnueabi amd64 4:15.2.0-4 [1456 B] Get:32 http://localhost:3142/debian unstable/main amd64 linux-libc-dev-armel-cross all 6.12.38-1cross1 [2430 kB] Get:33 http://localhost:3142/debian unstable/main amd64 libc6-dev-armel-cross all 2.41-11cross1 [1358 kB] Get:34 http://localhost:3142/debian unstable/main amd64 libstdc++-15-dev-armel-cross all 15.2.0-4cross1 [2409 kB] Get:35 http://localhost:3142/debian unstable/main amd64 g++-15-arm-linux-gnueabi amd64 15.2.0-4cross1 [85.9 MB] Get:36 http://localhost:3142/debian unstable/main amd64 g++-arm-linux-gnueabi amd64 4:15.2.0-4 [1204 B] Get:37 http://localhost:3142/debian unstable/main amd64 crossbuild-essential-armel all 12.12 [3552 B] Get:38 http://localhost:3142/debian unstable/main amd64 libdebhelper-perl all 13.28 [92.4 kB] Get:39 http://localhost:3142/debian unstable/main amd64 libtool all 2.5.4-7 [540 kB] Get:40 http://localhost:3142/debian unstable/main amd64 dh-autoreconf all 21 [12.2 kB] Get:41 http://localhost:3142/debian unstable/main amd64 libarchive-zip-perl all 1.68-1 [104 kB] Get:42 http://localhost:3142/debian unstable/main amd64 libfile-stripnondeterminism-perl all 1.15.0-1 [19.9 kB] Get:43 http://localhost:3142/debian unstable/main amd64 dh-strip-nondeterminism all 1.15.0-1 [8812 B] Get:44 http://localhost:3142/debian unstable/main amd64 libelf1t64 amd64 0.193-3 [192 kB] Get:45 http://localhost:3142/debian unstable/main amd64 dwz amd64 0.16-2 [108 kB] Get:46 http://localhost:3142/debian unstable/main amd64 libunistring5 amd64 1.3-2 [477 kB] Get:47 http://localhost:3142/debian unstable/main amd64 libxml2-16 amd64 2.15.1+dfsg-0.2 [639 kB] Get:48 http://localhost:3142/debian unstable/main amd64 gettext amd64 0.23.1-2+b1 [1680 kB] Get:49 http://localhost:3142/debian unstable/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB] Get:50 http://localhost:3142/debian unstable/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get:51 http://localhost:3142/debian unstable/main amd64 debhelper all 13.28 [941 kB] Get:52 http://localhost:3142/debian unstable/main amd64 dh-exec amd64 0.30 [25.6 kB] Get:53 http://localhost:3142/debian unstable/main amd64 libfakeroot amd64 1.37.1.2-1 [29.7 kB] Get:54 http://localhost:3142/debian unstable/main amd64 fakeroot amd64 1.37.1.2-1 [76.0 kB] Get:55 http://localhost:3142/debian unstable/main armel gcc-15-base armel 15.2.0-7 [53.3 kB] Get:56 http://localhost:3142/debian unstable/main armel libgcc-s1 armel 15.2.0-7 [39.0 kB] Get:57 http://localhost:3142/debian unstable/main armel libc6 armel 2.41-12 [2262 kB] Get:58 http://localhost:3142/debian unstable/main armel libasan8 armel 15.2.0-7 [2602 kB] Get:59 http://localhost:3142/debian unstable/main armel libatomic1 armel 15.2.0-7 [9712 B] Get:60 http://localhost:3142/debian unstable/main armel libcrypt1 armel 1:4.4.38-1 [97.4 kB] Get:61 http://localhost:3142/debian unstable/main armel libcrypt-dev armel 1:4.4.38-1 [127 kB] Get:62 http://localhost:3142/debian unstable/main armel libc6-dev armel 2.41-12 [1362 kB] Get:63 http://localhost:3142/debian unstable/main armel libgomp1 armel 15.2.0-7 [116 kB] Get:64 http://localhost:3142/debian unstable/main armel libstdc++6 armel 15.2.0-7 [608 kB] Get:65 http://localhost:3142/debian unstable/main armel libubsan1 armel 15.2.0-7 [1072 kB] Get:66 http://localhost:3142/debian unstable/main armel libgcc-15-dev armel 15.2.0-7 [760 kB] Get:67 http://localhost:3142/debian unstable/main armel libstdc++-15-dev armel 15.2.0-7 [2440 kB] Preconfiguring packages ... Fetched 291 MB in 1s (213 MB/s) Selecting previously unselected package sensible-utils. (Reading database ... 12903 files and directories currently installed.) Preparing to unpack .../00-sensible-utils_0.0.26_all.deb ... Unpacking sensible-utils (0.0.26) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../01-libmagic-mgc_1%3a5.46-5_amd64.deb ... Unpacking libmagic-mgc (1:5.46-5) ... Selecting previously unselected package libmagic1t64:amd64. Preparing to unpack .../02-libmagic1t64_1%3a5.46-5_amd64.deb ... Unpacking libmagic1t64:amd64 (1:5.46-5) ... Selecting previously unselected package file. Preparing to unpack .../03-file_1%3a5.46-5_amd64.deb ... Unpacking file (1:5.46-5) ... Selecting previously unselected package gettext-base. Preparing to unpack .../04-gettext-base_0.23.1-2+b1_amd64.deb ... Unpacking gettext-base (0.23.1-2+b1) ... Selecting previously unselected package libuchardet0:amd64. Preparing to unpack .../05-libuchardet0_0.0.8-2_amd64.deb ... Unpacking libuchardet0:amd64 (0.0.8-2) ... Selecting previously unselected package groff-base. Preparing to unpack .../06-groff-base_1.23.0-9_amd64.deb ... Unpacking groff-base (1.23.0-9) ... Selecting previously unselected package bsdextrautils. Preparing to unpack .../07-bsdextrautils_2.41.2-4_amd64.deb ... Unpacking bsdextrautils (2.41.2-4) ... Selecting previously unselected package libpipeline1:amd64. Preparing to unpack .../08-libpipeline1_1.5.8-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.5.8-1) ... Selecting previously unselected package man-db. Preparing to unpack .../09-man-db_2.13.1-1_amd64.deb ... Unpacking man-db (2.13.1-1) ... Selecting previously unselected package m4. Preparing to unpack .../10-m4_1.4.20-2_amd64.deb ... Unpacking m4 (1.4.20-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../11-autoconf_2.72-3.1_all.deb ... Unpacking autoconf (2.72-3.1) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../12-autotools-dev_20240727.1_all.deb ... Unpacking autotools-dev (20240727.1) ... Selecting previously unselected package automake. Preparing to unpack .../13-automake_1%3a1.18.1-2_all.deb ... Unpacking automake (1:1.18.1-2) ... Selecting previously unselected package autopoint. Preparing to unpack .../14-autopoint_0.23.1-2_all.deb ... Unpacking autopoint (0.23.1-2) ... Selecting previously unselected package binutils-arm-linux-gnueabi. Preparing to unpack .../15-binutils-arm-linux-gnueabi_2.45-8_amd64.deb ... Unpacking binutils-arm-linux-gnueabi (2.45-8) ... Selecting previously unselected package gcc-15-arm-linux-gnueabi-base:amd64. Preparing to unpack .../16-gcc-15-arm-linux-gnueabi-base_15.2.0-4cross1_amd64.deb ... Unpacking gcc-15-arm-linux-gnueabi-base:amd64 (15.2.0-4cross1) ... Selecting previously unselected package cpp-15-arm-linux-gnueabi. Preparing to unpack .../17-cpp-15-arm-linux-gnueabi_15.2.0-4cross1_amd64.deb ... Unpacking cpp-15-arm-linux-gnueabi (15.2.0-4cross1) ... Selecting previously unselected package cpp-arm-linux-gnueabi. Preparing to unpack .../18-cpp-arm-linux-gnueabi_4%3a15.2.0-4_amd64.deb ... Unpacking cpp-arm-linux-gnueabi (4:15.2.0-4) ... Selecting previously unselected package gcc-15-cross-base-ports. Preparing to unpack .../19-gcc-15-cross-base-ports_15.2.0-4cross1_all.deb ... Unpacking gcc-15-cross-base-ports (15.2.0-4cross1) ... Selecting previously unselected package libc6-armel-cross. Preparing to unpack .../20-libc6-armel-cross_2.41-11cross1_all.deb ... Unpacking libc6-armel-cross (2.41-11cross1) ... Selecting previously unselected package libgcc-s1-armel-cross. Preparing to unpack .../21-libgcc-s1-armel-cross_15.2.0-4cross1_all.deb ... Unpacking libgcc-s1-armel-cross (15.2.0-4cross1) ... Selecting previously unselected package libgomp1-armel-cross. Preparing to unpack .../22-libgomp1-armel-cross_15.2.0-4cross1_all.deb ... Unpacking libgomp1-armel-cross (15.2.0-4cross1) ... Selecting previously unselected package libatomic1-armel-cross. Preparing to unpack .../23-libatomic1-armel-cross_15.2.0-4cross1_all.deb ... Unpacking libatomic1-armel-cross (15.2.0-4cross1) ... Selecting previously unselected package libasan8-armel-cross. Preparing to unpack .../24-libasan8-armel-cross_15.2.0-4cross1_all.deb ... Unpacking libasan8-armel-cross (15.2.0-4cross1) ... Selecting previously unselected package libstdc++6-armel-cross. Preparing to unpack .../25-libstdc++6-armel-cross_15.2.0-4cross1_all.deb ... Unpacking libstdc++6-armel-cross (15.2.0-4cross1) ... Selecting previously unselected package libubsan1-armel-cross. Preparing to unpack .../26-libubsan1-armel-cross_15.2.0-4cross1_all.deb ... Unpacking libubsan1-armel-cross (15.2.0-4cross1) ... Selecting previously unselected package libgcc-15-dev-armel-cross. Preparing to unpack .../27-libgcc-15-dev-armel-cross_15.2.0-4cross1_all.deb ... Unpacking libgcc-15-dev-armel-cross (15.2.0-4cross1) ... Selecting previously unselected package gcc-15-arm-linux-gnueabi. Preparing to unpack .../28-gcc-15-arm-linux-gnueabi_15.2.0-4cross1_amd64.deb ... Unpacking gcc-15-arm-linux-gnueabi (15.2.0-4cross1) ... Selecting previously unselected package gcc-arm-linux-gnueabi. Preparing to unpack .../29-gcc-arm-linux-gnueabi_4%3a15.2.0-4_amd64.deb ... Unpacking gcc-arm-linux-gnueabi (4:15.2.0-4) ... Selecting previously unselected package linux-libc-dev-armel-cross. Preparing to unpack .../30-linux-libc-dev-armel-cross_6.12.38-1cross1_all.deb ... Unpacking linux-libc-dev-armel-cross (6.12.38-1cross1) ... Selecting previously unselected package libc6-dev-armel-cross. Preparing to unpack .../31-libc6-dev-armel-cross_2.41-11cross1_all.deb ... Unpacking libc6-dev-armel-cross (2.41-11cross1) ... Selecting previously unselected package libstdc++-15-dev-armel-cross. Preparing to unpack .../32-libstdc++-15-dev-armel-cross_15.2.0-4cross1_all.deb ... Unpacking libstdc++-15-dev-armel-cross (15.2.0-4cross1) ... Selecting previously unselected package g++-15-arm-linux-gnueabi. Preparing to unpack .../33-g++-15-arm-linux-gnueabi_15.2.0-4cross1_amd64.deb ... Unpacking g++-15-arm-linux-gnueabi (15.2.0-4cross1) ... Selecting previously unselected package g++-arm-linux-gnueabi. Preparing to unpack .../34-g++-arm-linux-gnueabi_4%3a15.2.0-4_amd64.deb ... Unpacking g++-arm-linux-gnueabi (4:15.2.0-4) ... Selecting previously unselected package crossbuild-essential-armel. Preparing to unpack .../35-crossbuild-essential-armel_12.12_all.deb ... Unpacking crossbuild-essential-armel (12.12) ... Selecting previously unselected package libdebhelper-perl. Preparing to unpack .../36-libdebhelper-perl_13.28_all.deb ... Unpacking libdebhelper-perl (13.28) ... Selecting previously unselected package libtool. Preparing to unpack .../37-libtool_2.5.4-7_all.deb ... Unpacking libtool (2.5.4-7) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../38-dh-autoreconf_21_all.deb ... Unpacking dh-autoreconf (21) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../39-libarchive-zip-perl_1.68-1_all.deb ... Unpacking libarchive-zip-perl (1.68-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../40-libfile-stripnondeterminism-perl_1.15.0-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.15.0-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../41-dh-strip-nondeterminism_1.15.0-1_all.deb ... Unpacking dh-strip-nondeterminism (1.15.0-1) ... Selecting previously unselected package libelf1t64:amd64. Preparing to unpack .../42-libelf1t64_0.193-3_amd64.deb ... Unpacking libelf1t64:amd64 (0.193-3) ... Selecting previously unselected package dwz. Preparing to unpack .../43-dwz_0.16-2_amd64.deb ... Unpacking dwz (0.16-2) ... Selecting previously unselected package libunistring5:amd64. Preparing to unpack .../44-libunistring5_1.3-2_amd64.deb ... Unpacking libunistring5:amd64 (1.3-2) ... Selecting previously unselected package libxml2-16:amd64. Preparing to unpack .../45-libxml2-16_2.15.1+dfsg-0.2_amd64.deb ... Unpacking libxml2-16:amd64 (2.15.1+dfsg-0.2) ... Selecting previously unselected package gettext. Preparing to unpack .../46-gettext_0.23.1-2+b1_amd64.deb ... Unpacking gettext (0.23.1-2+b1) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../47-intltool-debian_0.35.0+20060710.6_all.deb ... Unpacking intltool-debian (0.35.0+20060710.6) ... Selecting previously unselected package po-debconf. Preparing to unpack .../48-po-debconf_1.0.21+nmu1_all.deb ... Unpacking po-debconf (1.0.21+nmu1) ... Selecting previously unselected package debhelper. Preparing to unpack .../49-debhelper_13.28_all.deb ... Unpacking debhelper (13.28) ... Selecting previously unselected package dh-exec. Preparing to unpack .../50-dh-exec_0.30_amd64.deb ... Unpacking dh-exec (0.30) ... Selecting previously unselected package libfakeroot:amd64. Preparing to unpack .../51-libfakeroot_1.37.1.2-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.37.1.2-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../52-fakeroot_1.37.1.2-1_amd64.deb ... Unpacking fakeroot (1.37.1.2-1) ... Selecting previously unselected package gcc-15-base:armel. Preparing to unpack .../53-gcc-15-base_15.2.0-7_armel.deb ... Unpacking gcc-15-base:armel (15.2.0-7) ... Selecting previously unselected package libgcc-s1:armel. Preparing to unpack .../54-libgcc-s1_15.2.0-7_armel.deb ... Unpacking libgcc-s1:armel (15.2.0-7) ... Selecting previously unselected package libc6:armel. Preparing to unpack .../55-libc6_2.41-12_armel.deb ... Unpacking libc6:armel (2.41-12) ... Selecting previously unselected package libasan8:armel. Preparing to unpack .../56-libasan8_15.2.0-7_armel.deb ... Unpacking libasan8:armel (15.2.0-7) ... Selecting previously unselected package libatomic1:armel. Preparing to unpack .../57-libatomic1_15.2.0-7_armel.deb ... Unpacking libatomic1:armel (15.2.0-7) ... Selecting previously unselected package libcrypt1:armel. Preparing to unpack .../58-libcrypt1_1%3a4.4.38-1_armel.deb ... Unpacking libcrypt1:armel (1:4.4.38-1) ... Selecting previously unselected package libcrypt-dev:armel. Preparing to unpack .../59-libcrypt-dev_1%3a4.4.38-1_armel.deb ... Unpacking libcrypt-dev:armel (1:4.4.38-1) ... Selecting previously unselected package libc6-dev:armel. Preparing to unpack .../60-libc6-dev_2.41-12_armel.deb ... Unpacking libc6-dev:armel (2.41-12) ... Selecting previously unselected package libgomp1:armel. Preparing to unpack .../61-libgomp1_15.2.0-7_armel.deb ... Unpacking libgomp1:armel (15.2.0-7) ... Selecting previously unselected package libstdc++6:armel. Preparing to unpack .../62-libstdc++6_15.2.0-7_armel.deb ... Unpacking libstdc++6:armel (15.2.0-7) ... Selecting previously unselected package libubsan1:armel. Preparing to unpack .../63-libubsan1_15.2.0-7_armel.deb ... Unpacking libubsan1:armel (15.2.0-7) ... Selecting previously unselected package libgcc-15-dev:armel. Preparing to unpack .../64-libgcc-15-dev_15.2.0-7_armel.deb ... Unpacking libgcc-15-dev:armel (15.2.0-7) ... Selecting previously unselected package libstdc++-15-dev:armel. Preparing to unpack .../65-libstdc++-15-dev_15.2.0-7_armel.deb ... Unpacking libstdc++-15-dev:armel (15.2.0-7) ... Selecting previously unselected package sbuild-build-depends-main-dummy:armel. Preparing to unpack .../66-sbuild-build-depends-main-dummy_0.invalid.0_armel.deb ... Unpacking sbuild-build-depends-main-dummy:armel (0.invalid.0) ... Setting up libpipeline1:amd64 (1.5.8-1) ... Setting up binutils-arm-linux-gnueabi (2.45-8) ... Setting up bsdextrautils (2.41.2-4) ... Setting up libmagic-mgc (1:5.46-5) ... Setting up libarchive-zip-perl (1.68-1) ... Setting up libxml2-16:amd64 (2.15.1+dfsg-0.2) ... Setting up libdebhelper-perl (13.28) ... Setting up gcc-15-cross-base-ports (15.2.0-4cross1) ... Setting up libmagic1t64:amd64 (1:5.46-5) ... Setting up gettext-base (0.23.1-2+b1) ... Setting up m4 (1.4.20-2) ... Setting up file (1:5.46-5) ... Setting up libfakeroot:amd64 (1.37.1.2-1) ... Setting up libelf1t64:amd64 (0.193-3) ... Setting up linux-libc-dev-armel-cross (6.12.38-1cross1) ... Setting up fakeroot (1.37.1.2-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Setting up autotools-dev (20240727.1) ... Setting up libunistring5:amd64 (1.3-2) ... Setting up autopoint (0.23.1-2) ... Setting up gcc-15-arm-linux-gnueabi-base:amd64 (15.2.0-4cross1) ... Setting up autoconf (2.72-3.1) ... Setting up libc6-armel-cross (2.41-11cross1) ... Setting up dwz (0.16-2) ... Setting up sensible-utils (0.0.26) ... Setting up libuchardet0:amd64 (0.0.8-2) ... Setting up libc6-dev-armel-cross (2.41-11cross1) ... Setting up gcc-15-base:armel (15.2.0-7) ... Setting up cpp-15-arm-linux-gnueabi (15.2.0-4cross1) ... Setting up automake (1:1.18.1-2) ... update-alternatives: using /usr/bin/automake-1.18 to provide /usr/bin/automake (automake) in auto mode Setting up libfile-stripnondeterminism-perl (1.15.0-1) ... Setting up gettext (0.23.1-2+b1) ... Setting up libgomp1-armel-cross (15.2.0-4cross1) ... Setting up libtool (2.5.4-7) ... Setting up libgcc-s1-armel-cross (15.2.0-4cross1) ... Setting up libstdc++6-armel-cross (15.2.0-4cross1) ... Setting up libatomic1-armel-cross (15.2.0-4cross1) ... Setting up intltool-debian (0.35.0+20060710.6) ... Setting up dh-autoreconf (21) ... Setting up cpp-arm-linux-gnueabi (4:15.2.0-4) ... Setting up libubsan1-armel-cross (15.2.0-4cross1) ... Setting up dh-strip-nondeterminism (1.15.0-1) ... Setting up groff-base (1.23.0-9) ... Setting up libasan8-armel-cross (15.2.0-4cross1) ... Setting up po-debconf (1.0.21+nmu1) ... Setting up man-db (2.13.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libgcc-15-dev-armel-cross (15.2.0-4cross1) ... Setting up gcc-15-arm-linux-gnueabi (15.2.0-4cross1) ... Setting up debhelper (13.28) ... Setting up libstdc++-15-dev-armel-cross (15.2.0-4cross1) ... Setting up dh-exec (0.30) ... Setting up gcc-arm-linux-gnueabi (4:15.2.0-4) ... Setting up g++-15-arm-linux-gnueabi (15.2.0-4cross1) ... Setting up g++-arm-linux-gnueabi (4:15.2.0-4) ... Setting up crossbuild-essential-armel (12.12) ... Setting up libgcc-s1:armel (15.2.0-7) ... Setting up libc6:armel (2.41-12) ... Setting up libasan8:armel (15.2.0-7) ... Setting up libstdc++6:armel (15.2.0-7) ... Setting up libcrypt1:armel (1:4.4.38-1) ... Setting up libgomp1:armel (15.2.0-7) ... Setting up libatomic1:armel (15.2.0-7) ... Setting up libubsan1:armel (15.2.0-7) ... Setting up libcrypt-dev:armel (1:4.4.38-1) ... Setting up libc6-dev:armel (2.41-12) ... Setting up libgcc-15-dev:armel (15.2.0-7) ... Setting up libstdc++-15-dev:armel (15.2.0-7) ... Setting up sbuild-build-depends-main-dummy:armel (0.invalid.0) ... Processing triggers for libc-bin (2.41-12) ... +------------------------------------------------------------------------------+ | Check architectures | +------------------------------------------------------------------------------+ Arch check ok (armel included in any) +------------------------------------------------------------------------------+ | Build environment | +------------------------------------------------------------------------------+ Kernel: Linux 6.1.0-32-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.129-1 (2025-03-06) amd64 (x86_64) Toolchain package versions: binutils_2.45-8 dpkg-dev_1.22.21 g++-15_15.2.0-7 gcc-15_15.2.0-7 libc6-dev_2.41-12 libstdc++-15-dev_15.2.0-7 libstdc++-15-dev-armel-cross_15.2.0-4cross1 libstdc++6_15.2.0-7 libstdc++6-armel-cross_15.2.0-4cross1 linux-libc-dev_6.16.12-2 Package versions: apt_3.1.9 apt-utils_3.1.9 autoconf_2.72-3.1 automake_1:1.18.1-2 autopoint_0.23.1-2 autotools-dev_20240727.1 base-files_14 base-passwd_3.6.7 bash_5.3-1 binutils_2.45-8 binutils-arm-linux-gnueabi_2.45-8 binutils-common_2.45-8 binutils-x86-64-linux-gnu_2.45-8 bsdextrautils_2.41.2-4 bsdutils_1:2.41.2-4 build-essential_12.12 bzip2_1.0.8-6 coreutils_9.7-3 cpp_4:15.2.0-4 cpp-15_15.2.0-7 cpp-15-arm-linux-gnueabi_15.2.0-4cross1 cpp-15-x86-64-linux-gnu_15.2.0-7 cpp-arm-linux-gnueabi_4:15.2.0-4 cpp-x86-64-linux-gnu_4:15.2.0-4 crossbuild-essential-armel_12.12 dash_0.5.12-12 debconf_1.5.91 debhelper_13.28 debian-archive-keyring_2025.1 debianutils_5.23.2 dh-autoreconf_21 dh-exec_0.30 dh-strip-nondeterminism_1.15.0-1 diffutils_1:3.12-1 dpkg_1.22.21 dpkg-dev_1.22.21 dwz_0.16-2 fakeroot_1.37.1.2-1 file_1:5.46-5 findutils_4.10.0-3 g++_4:15.2.0-4 g++-15_15.2.0-7 g++-15-arm-linux-gnueabi_15.2.0-4cross1 g++-15-x86-64-linux-gnu_15.2.0-7 g++-arm-linux-gnueabi_4:15.2.0-4 g++-x86-64-linux-gnu_4:15.2.0-4 gcc_4:15.2.0-4 gcc-15_15.2.0-7 gcc-15-arm-linux-gnueabi_15.2.0-4cross1 gcc-15-arm-linux-gnueabi-base_15.2.0-4cross1 gcc-15-base_15.2.0-7 gcc-15-cross-base-ports_15.2.0-4cross1 gcc-15-x86-64-linux-gnu_15.2.0-7 gcc-arm-linux-gnueabi_4:15.2.0-4 gcc-x86-64-linux-gnu_4:15.2.0-4 gettext_0.23.1-2+b1 gettext-base_0.23.1-2+b1 grep_3.12-1 groff-base_1.23.0-9 gzip_1.13-1 hostname_3.25 init-system-helpers_1.69 intltool-debian_0.35.0+20060710.6 libacl1_2.3.2-2+b1 libapt-pkg7.0_3.1.9 libarchive-zip-perl_1.68-1 libasan8_15.2.0-7 libasan8-armel-cross_15.2.0-4cross1 libatomic1_15.2.0-7 libatomic1-armel-cross_15.2.0-4cross1 libattr1_1:2.5.2-3 libaudit-common_1:4.1.2-1 libaudit1_1:4.1.2-1 libbinutils_2.45-8 libblkid1_2.41.2-4 libbsd0_0.12.2-2 libbz2-1.0_1.0.8-6 libc-bin_2.41-12 libc-dev-bin_2.41-12 libc6_2.41-12 libc6-armel-cross_2.41-11cross1 libc6-dev_2.41-12 libc6-dev-armel-cross_2.41-11cross1 libcap-ng0_0.8.5-4+b1 libcap2_1:2.75-10+b1 libcc1-0_15.2.0-7 libcrypt-dev_1:4.4.38-1 libcrypt1_1:4.4.38-1 libctf-nobfd0_2.45-8 libctf0_2.45-8 libdb5.3t64_5.3.28+dfsg2-10 libdebconfclient0_0.280 libdebhelper-perl_13.28 libdpkg-perl_1.22.21 libelf1t64_0.193-3 libfakeroot_1.37.1.2-1 libfile-stripnondeterminism-perl_1.15.0-1 libgcc-15-dev_15.2.0-7 libgcc-15-dev-armel-cross_15.2.0-4cross1 libgcc-s1_15.2.0-7 libgcc-s1-armel-cross_15.2.0-4cross1 libgdbm-compat4t64_1.26-1 libgdbm6t64_1.26-1 libgmp10_2:6.3.0+dfsg-5 libgomp1_15.2.0-7 libgomp1-armel-cross_15.2.0-4cross1 libgprofng0_2.45-8 libhogweed6t64_3.10.2-1 libhwasan0_15.2.0-7 libisl23_0.27-1 libitm1_15.2.0-7 libjansson4_2.14-2+b3 liblsan0_15.2.0-7 liblz4-1_1.10.0-4 liblzma5_5.8.1-2 libmagic-mgc_1:5.46-5 libmagic1t64_1:5.46-5 libmd0_1.1.0-2+b1 libmount1_2.41.2-4 libmpc3_1.3.1-2 libmpfr6_4.2.2-2 libnettle8t64_3.10.2-1 libpam-modules_1.7.0-5 libpam-modules-bin_1.7.0-5 libpam-runtime_1.7.0-5 libpam0g_1.7.0-5 libpcre2-8-0_10.46-1 libperl5.40_5.40.1-6 libpipeline1_1.5.8-1 libquadmath0_15.2.0-7 libseccomp2_2.6.0-2 libselinux1_3.9-2 libsemanage-common_3.9-1 libsemanage2_3.9-1 libsepol2_3.9-2 libsframe2_2.45-8 libsmartcols1_2.41.2-4 libssl3t64_3.5.4-1 libstdc++-15-dev_15.2.0-7 libstdc++-15-dev-armel-cross_15.2.0-4cross1 libstdc++6_15.2.0-7 libstdc++6-armel-cross_15.2.0-4cross1 libsystemd0_258.1-1 libtinfo6_6.5+20250216-2 libtool_2.5.4-7 libtsan2_15.2.0-7 libubsan1_15.2.0-7 libubsan1-armel-cross_15.2.0-4cross1 libuchardet0_0.0.8-2 libudev1_258.1-1 libunistring5_1.3-2 libuuid1_2.41.2-4 libxml2-16_2.15.1+dfsg-0.2 libxxhash0_0.8.3-2 libzstd1_1.5.7+dfsg-2 linux-libc-dev_6.16.12-2 linux-libc-dev-armel-cross_6.12.38-1cross1 login_1:4.16.0-2+really2.41.2-4 login.defs_1:4.18.0-2 m4_1.4.20-2 make_4.4.1-2 man-db_2.13.1-1 mawk_1.3.4.20250131-1 mount_2.41.2-4 ncurses-base_6.5+20250216-2 ncurses-bin_6.5+20250216-2 openssl-provider-legacy_3.5.4-1 passwd_1:4.18.0-2 patch_2.8-2 perl_5.40.1-6 perl-base_5.40.1-6 perl-modules-5.40_5.40.1-6 po-debconf_1.0.21+nmu1 rpcsvc-proto_1.4.3-1 sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.26 sqv_1.3.0-3 sysvinit-utils_3.15-5 tar_1.35+dfsg-3.1 tzdata_2025b-5 util-linux_2.41.2-4 xz-utils_5.8.1-2 zlib1g_1:1.3.dfsg+really1.3.1-1+b1 +------------------------------------------------------------------------------+ | Build | +------------------------------------------------------------------------------+ Unpack source ------------- -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 3.0 (quilt) Source: picosat Binary: picosat Architecture: any Version: 965-2 Maintainer: Debian Science Team Uploaders: Michael Tautschnig , Nilesh Patra Homepage: http://fmv.jku.at/picosat/ Standards-Version: 4.4.0 Vcs-Browser: https://salsa.debian.org/science-team/picosat Vcs-Git: https://salsa.debian.org/science-team/picosat.git Build-Depends: debhelper-compat (= 12), dh-exec Package-List: picosat deb science optional arch=any Checksums-Sha1: 66869e4be43dcf6765b047d5bb20b7b1fa32eb16 64386 picosat_965.orig.tar.gz 7ea597d88db9581b98561b33b6e0205edc5e4ea5 6328 picosat_965-2.debian.tar.xz Checksums-Sha256: 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz ba73741659fa30e97fcf54e720b70179cd82d22b8001ee4970cf6eda9fa27c7a 6328 picosat_965-2.debian.tar.xz Files: d37c236d5c60b03d888d137c2fa4285f 64386 picosat_965.orig.tar.gz 32b6d30566f2e455794f6355b0e8540a 6328 picosat_965-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQJIBAEBCgAyFiEEPpmlJvXcwMu/HO6mALrnSzQzafEFAmAyAuEUHG5wYXRyYTk3 NEBnbWFpbC5jb20ACgkQALrnSzQzafGuqhAAtXeIHId8biGsmXhfhRTtzmUr4f3v 34z4YwcfIQJFZE/Vk9xENYl/jaWRm2PhxUChe58C09E5sz+9aPso4sOZatJWq28t UkDphKTvG0vhRcGEQQAfKhIkzhCo5ScM1cIVlRgfen5lqweK0luHrL5ztQwg6yl4 sdWHkwykWxlr13pwTCiOo/7RNrqqJ/uIVur7IxyW6njRA3fLgTIrlr01tRypshP8 60eMOx45JaJgrcrHcD5Yw2MESg/3Dqd+zWxkdSQT9xlaJT3DIildmjQ2deqs5pad DXsL/uTZ+4ZrVdI9X3wKjUi2sTaGlrixs0OhhthGL6a7uH2E8pjHn93Hlu4HkRQZ 0pgAtulOrB6HjqBXsYuFm+/WLoe316Ry2nBS9LIwYQttBoPCYpHG+KxkqPy5ZYcM zW8ysPT2FRBOzGgyo1QSw38dUJyDJE5A0609Lc7EHIQiZ/P7Millcu8kRkBzuTEX TgERTMfEDA6aazdYg6eMXOZ2x9Ki4N2bGGiVY8y5NmsdXwOoQsY7H8SmysTA2ZOh XkLS8G7Lw8H6UwDBOooGPZ4B+rSET0nIDl9Z83WemQAnbcWo3nt5m3KcKMalRSqi xsUpcgNINDxC+qpPV5Ua92GXgn09El7R7LBY/lG+zEDKDJu6Qr1W5sdJYHQMw10X 7bIccE/WfDwzTVM= =Kztx -----END PGP SIGNATURE----- dpkg-source: warning: cannot verify inline signature for ./picosat_965-2.dsc: no acceptable signature found dpkg-source: info: extracting picosat in /<> dpkg-source: info: unpacking picosat_965.orig.tar.gz dpkg-source: info: unpacking picosat_965-2.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 disk space ---------------- Sufficient free space for build User Environment ---------------- APT_CONFIG=/var/lib/sbuild/apt.conf CONFIG_SITE=/etc/dpkg-cross/cross-config.armel DEB_BUILD_OPTIONS=nocheck HOME=/sbuild-nonexistent LANG=en_US.UTF-8 LC_ALL=C.UTF-8 LOGNAME=crossqa OLDPWD=/home/crossqa PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SBUILD_CONFIG=/tmp/tmp.zpZM2QexgK/sbuild.conf SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=sid-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1000 SCHROOT_GROUP=crossqa SCHROOT_SESSION_ID=sid-amd64-sbuild-4648476f-4282-4f8f-bd74-51d57aa43bb5 SCHROOT_UID=1000 SCHROOT_USER=crossqa SHELL=/bin/sh USER=crossqa XDG_SESSION_CLASS=user dpkg-buildpackage ----------------- Command: dpkg-buildpackage --sanitize-env -aarmel -Pcross,nocheck -us -uc -B -rfakeroot --jobs-try=1 dpkg-buildpackage: info: source package picosat dpkg-buildpackage: info: source version 965-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Nilesh Patra dpkg-architecture: warning: specified GNU system type arm-linux-gnueabi does not match CC system type x86_64-linux-gnu, try setting a correct CC environment variable dpkg-source --before-build . dpkg-buildpackage: info: host architecture armel debian/rules clean dh clean debian/rules override_dh_clean make[1]: Entering directory '/<>' 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 '/<>' debian/rules binary-arch dh binary-arch dh_update_autotools_config -a dh_autoreconf -a debian/rules override_dh_auto_configure make[1]: Entering directory '/<>' 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 ... arm-linux-gnueabi-gcc cflags ... -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -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 ... arm-linux-gnueabi-gcc cflags ... -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security makefile ... done cp makefile makefile.opt make[1]: Leaving directory '/<>' debian/rules override_dh_auto_build make[1]: Entering directory '/<>' dh_testdir /usr/bin/make -f makefile.trace make[2]: Entering directory '/<>' arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -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] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ rm -f config.h; ./mkconfig.sh > config.h arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c version.c ar rc libpicosat.a picosat.o version.o ranlib libpicosat.a arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c app.c arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c main.c arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -o picosat main.o app.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c picomcs.c arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -o picomcs picomcs.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c picomus.c picomus.c: In function ‘main’: picomus.c:239:32: warning: ‘%s’ directive writing between 3 and 2147483645 bytes into a region of size 2147483637 [-Wformat-overflow=] 239 | sprintf (cmd, "gunzip -c %s 2>/dev/null", input_name); | ^~ In file included from /usr/arm-linux-gnueabi/include/stdio.h:970, from picosat.h:29, from picomus.c:23: In function ‘sprintf’, inlined from ‘main’ at picomus.c:239:7: /usr/arm-linux-gnueabi/include/bits/stdio2.h:30:10: note: ‘__builtin___sprintf_chk’ output between 26 and 2147483668 bytes into a destination of size 2147483647 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -o picomus picomus.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c picogcnf.c arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -o picogcnf picogcnf.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now make[2]: Leaving directory '/<>' /usr/bin/make -f makefile.trace libpicosat-trace.so make[2]: Entering directory '/<>' mv picosat.o picosat.nopic.o /usr/bin/make CFLAGS="-g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fPIC" picosat.o make[3]: Entering directory '/<>' arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fPIC -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -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] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ make[3]: Leaving directory '/<>' mv picosat.o picosat.pic.o mv picosat.nopic.o picosat.o mv version.o version.nopic.o /usr/bin/make CFLAGS="-g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fPIC" version.o make[3]: Entering directory '/<>' arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fPIC -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c version.c make[3]: Leaving directory '/<>' mv version.o version.pic.o mv version.nopic.o version.o arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -shared -o libpicosat-trace.so.1.0.0 picosat.pic.o version.pic.o -lc -Wl,-soname,libpicosat-trace.so.1 -Wl,-z,relro -Wl,-z,now make[2]: Leaving directory '/<>' 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 '/<>' 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 '/<>' cp makefile.opt makefile /usr/bin/make -f makefile.opt make[2]: Entering directory '/<>' arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -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] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ rm -f config.h; ./mkconfig.sh > config.h arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c version.c ar rc libpicosat.a picosat.o version.o ranlib libpicosat.a arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c app.c arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c main.c arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -o picosat main.o app.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c picomcs.c arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -o picomcs picomcs.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c picomus.c picomus.c: In function ‘main’: picomus.c:239:32: warning: ‘%s’ directive writing between 3 and 2147483645 bytes into a region of size 2147483637 [-Wformat-overflow=] 239 | sprintf (cmd, "gunzip -c %s 2>/dev/null", input_name); | ^~ In file included from /usr/arm-linux-gnueabi/include/stdio.h:970, from picosat.h:29, from picomus.c:23: In function ‘sprintf’, inlined from ‘main’ at picomus.c:239:7: /usr/arm-linux-gnueabi/include/bits/stdio2.h:30:10: note: ‘__builtin___sprintf_chk’ output between 26 and 2147483668 bytes into a destination of size 2147483647 30 | return __builtin___sprintf_chk (__s, __USE_FORTIFY_LEVEL - 1, | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 31 | __glibc_objsize (__s), __fmt, | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 32 | __va_arg_pack ()); | ~~~~~~~~~~~~~~~~~ arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -o picomus picomus.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c picogcnf.c arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -o picogcnf picogcnf.o -L. -lpicosat -Wl,-z,relro -Wl,-z,now make[2]: Leaving directory '/<>' /usr/bin/make -f makefile.opt libpicosat.so make[2]: Entering directory '/<>' mv picosat.o picosat.nopic.o /usr/bin/make CFLAGS="-g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fPIC" picosat.o make[3]: Entering directory '/<>' arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fPIC -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -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] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ picosat.c:1943:23: warning: comparison between pointer and zero character constant [-Wpointer-compare] 1943 | assert (VAR2LIT (v) != UNDEF); | ^~ picosat.c:180:20: note: did you mean to dereference the pointer? 180 | #define VAR2LIT(v) (ps->lits + 2 * ((v) - ps->vars)) | ^ picosat.c:1943:11: note: in expansion of macro ‘VAR2LIT’ 1943 | assert (VAR2LIT (v) != UNDEF); | ^~~~~~~ make[3]: Leaving directory '/<>' mv picosat.o picosat.pic.o mv picosat.nopic.o picosat.o mv version.o version.nopic.o /usr/bin/make CFLAGS="-g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fPIC" version.o make[3]: Entering directory '/<>' arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -fPIC -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c version.c make[3]: Leaving directory '/<>' mv version.o version.pic.o mv version.nopic.o version.o arm-linux-gnueabi-gcc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<>=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -shared -o libpicosat.so.1.0.0 picosat.pic.o version.pic.o -lc -Xlinker -soname -Xlinker libpicosat.so.1 -Wl,-z,relro -Wl,-z,now make[2]: Leaving directory '/<>' make[1]: Leaving directory '/<>' dh_auto_test -a create-stamp debian/debhelper-build-stamp dh_prep -a dh_installdirs -a dh_auto_install --destdir=debian/picosat/ -a dh_install -a dh_installdocs -a debian/rules override_dh_installchangelogs make[1]: Entering directory '/<>' dh_installchangelogs NEWS make[1]: Leaving directory '/<>' 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 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 from: /lib/ld-linux.so.3 dpkg-shlibdeps: warning: diversions involved - output may be incorrect diversion by libc6 to: /lib/ld-linux.so.3.usr-is-merged dh_installdeb -a dh_gencontrol -a dh_md5sums -a dh_builddeb -a dpkg-deb: building package 'picosat' in '../picosat_965-2_armel.deb'. dpkg-deb: building package 'picosat-dbgsym' in '../picosat-dbgsym_965-2_armel.deb'. dpkg-genbuildinfo --build=any -O../picosat_965-2_armel.buildinfo dpkg-genchanges --build=any -O../picosat_965-2_armel.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 2025-10-24T22:39:09Z +------------------------------------------------------------------------------+ | Finished Timed Build Commands | +------------------------------------------------------------------------------+ rm -Rf /<>/ ----------------------------------------- I: Finished running 'rm -Rf /<>/'. Finished processing commands. -------------------------------------------------------------------------------- Finished -------- I: Built successfully +------------------------------------------------------------------------------+ | Changes | +------------------------------------------------------------------------------+ picosat_965-2_armel.changes: ---------------------------- Format: 1.8 Date: Sun, 21 Feb 2021 12:17:23 +0530 Source: picosat Binary: picosat picosat-dbgsym Built-For-Profiles: cross nocheck Architecture: armel Version: 965-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Team Changed-By: Nilesh Patra Description: picosat - SAT solver with proof and core support Closes: 978542 Changes: picosat (965-2) unstable; urgency=medium . * Use dpkg buildtools.mk supply cross tools via environment - Thank you, Helmut Grohne! (Closes: #978542) * Add myself to uploaders * Add "Rules-Requires-Root: no" * Propagate hardening options properly Checksums-Sha1: 005953deec4ee5978b12603e9670a2e6010f1be9 465328 picosat-dbgsym_965-2_armel.deb e18d5c3fc01b0bfd68bad597c68be179f22d16d2 4706 picosat_965-2_armel.buildinfo 5e29d4e41f71b0ea72b75e26d59c4973dc627f44 85880 picosat_965-2_armel.deb Checksums-Sha256: 09934ad0fdfc2ebd2454a0efc8b578772e51f2e4dc05746a90b7acec0ddd8ed2 465328 picosat-dbgsym_965-2_armel.deb 22ee868e0995fe44798d28250a344ce7c210e5313551cca05a6390c9ec3bf889 4706 picosat_965-2_armel.buildinfo a23d617930899faba64d9b8a00bad9cd52d75233fa8b1c573628f2b0f582388c 85880 picosat_965-2_armel.deb Files: 6706edee15fb4d566c73084e4a10a074 465328 debug optional picosat-dbgsym_965-2_armel.deb a464abfa3b9f5f32001dd8ff5ccac366 4706 science optional picosat_965-2_armel.buildinfo 3cbf3dbb0fd90418693e8d5f1a4a32db 85880 science optional picosat_965-2_armel.deb +------------------------------------------------------------------------------+ | Buildinfo | +------------------------------------------------------------------------------+ Format: 1.0 Source: picosat Binary: picosat picosat-dbgsym Architecture: armel Version: 965-2 Checksums-Md5: 6706edee15fb4d566c73084e4a10a074 465328 picosat-dbgsym_965-2_armel.deb 3cbf3dbb0fd90418693e8d5f1a4a32db 85880 picosat_965-2_armel.deb Checksums-Sha1: 005953deec4ee5978b12603e9670a2e6010f1be9 465328 picosat-dbgsym_965-2_armel.deb 5e29d4e41f71b0ea72b75e26d59c4973dc627f44 85880 picosat_965-2_armel.deb Checksums-Sha256: 09934ad0fdfc2ebd2454a0efc8b578772e51f2e4dc05746a90b7acec0ddd8ed2 465328 picosat-dbgsym_965-2_armel.deb a23d617930899faba64d9b8a00bad9cd52d75233fa8b1c573628f2b0f582388c 85880 picosat_965-2_armel.deb Build-Origin: Debian Build-Architecture: amd64 Build-Date: Fri, 24 Oct 2025 22:39:08 +0000 Build-Path: /<> Installed-Build-Depends: autoconf (= 2.72-3.1), automake (= 1:1.18.1-2), autopoint (= 0.23.1-2), autotools-dev (= 20240727.1), base-files (= 14), base-passwd (= 3.6.7), bash (= 5.3-1), binutils (= 2.45-8), binutils-common (= 2.45-8), binutils-x86-64-linux-gnu (= 2.45-8), bsdextrautils (= 2.41.2-4), build-essential (= 12.12), bzip2 (= 1.0.8-6), coreutils (= 9.7-3), cpp (= 4:15.2.0-4), cpp-15 (= 15.2.0-7), cpp-15-x86-64-linux-gnu (= 15.2.0-7), cpp-x86-64-linux-gnu (= 4:15.2.0-4), dash (= 0.5.12-12), debconf (= 1.5.91), debhelper (= 13.28), debianutils (= 5.23.2), dh-autoreconf (= 21), dh-exec (= 0.30), dh-strip-nondeterminism (= 1.15.0-1), diffutils (= 1:3.12-1), dpkg (= 1.22.21), dpkg-dev (= 1.22.21), dwz (= 0.16-2), file (= 1:5.46-5), findutils (= 4.10.0-3), g++ (= 4:15.2.0-4), g++-15 (= 15.2.0-7), g++-15-x86-64-linux-gnu (= 15.2.0-7), g++-x86-64-linux-gnu (= 4:15.2.0-4), gcc (= 4:15.2.0-4), gcc-15 (= 15.2.0-7), gcc-15-base (= 15.2.0-7), gcc-15-x86-64-linux-gnu (= 15.2.0-7), gcc-x86-64-linux-gnu (= 4:15.2.0-4), gettext (= 0.23.1-2+b1), gettext-base (= 0.23.1-2+b1), grep (= 3.12-1), groff-base (= 1.23.0-9), gzip (= 1.13-1), hostname (= 3.25), init-system-helpers (= 1.69), intltool-debian (= 0.35.0+20060710.6), libacl1 (= 2.3.2-2+b1), libarchive-zip-perl (= 1.68-1), libasan8 (= 15.2.0-7), libatomic1 (= 15.2.0-7), libattr1 (= 1:2.5.2-3), libaudit-common (= 1:4.1.2-1), libaudit1 (= 1:4.1.2-1), libbinutils (= 2.45-8), libblkid1 (= 2.41.2-4), libbz2-1.0 (= 1.0.8-6), libc-bin (= 2.41-12), libc-dev-bin (= 2.41-12), libc6 (= 2.41-12), libc6-dev (= 2.41-12), libcap-ng0 (= 0.8.5-4+b1), libcap2 (= 1:2.75-10+b1), libcc1-0 (= 15.2.0-7), libcrypt-dev (= 1:4.4.38-1), libcrypt1 (= 1:4.4.38-1), libctf-nobfd0 (= 2.45-8), libctf0 (= 2.45-8), libdb5.3t64 (= 5.3.28+dfsg2-10), libdebconfclient0 (= 0.280), libdebhelper-perl (= 13.28), libdpkg-perl (= 1.22.21), libelf1t64 (= 0.193-3), libfile-stripnondeterminism-perl (= 1.15.0-1), libgcc-15-dev (= 15.2.0-7), libgcc-s1 (= 15.2.0-7), libgdbm-compat4t64 (= 1.26-1), libgdbm6t64 (= 1.26-1), libgmp10 (= 2:6.3.0+dfsg-5), libgomp1 (= 15.2.0-7), libgprofng0 (= 2.45-8), libhwasan0 (= 15.2.0-7), libisl23 (= 0.27-1), libitm1 (= 15.2.0-7), libjansson4 (= 2.14-2+b3), liblsan0 (= 15.2.0-7), liblzma5 (= 5.8.1-2), libmagic-mgc (= 1:5.46-5), libmagic1t64 (= 1:5.46-5), libmd0 (= 1.1.0-2+b1), libmount1 (= 2.41.2-4), libmpc3 (= 1.3.1-2), libmpfr6 (= 4.2.2-2), libpam-modules (= 1.7.0-5), libpam-modules-bin (= 1.7.0-5), libpam-runtime (= 1.7.0-5), libpam0g (= 1.7.0-5), libpcre2-8-0 (= 10.46-1), libperl5.40 (= 5.40.1-6), libpipeline1 (= 1.5.8-1), libquadmath0 (= 15.2.0-7), libseccomp2 (= 2.6.0-2), libselinux1 (= 3.9-2), libsframe2 (= 2.45-8), libsmartcols1 (= 2.41.2-4), libssl3t64 (= 3.5.4-1), libstdc++-15-dev (= 15.2.0-7), libstdc++6 (= 15.2.0-7), libsystemd0 (= 258.1-1), libtinfo6 (= 6.5+20250216-2), libtool (= 2.5.4-7), libtsan2 (= 15.2.0-7), libubsan1 (= 15.2.0-7), libuchardet0 (= 0.0.8-2), libudev1 (= 258.1-1), libunistring5 (= 1.3-2), libuuid1 (= 2.41.2-4), libxml2-16 (= 2.15.1+dfsg-0.2), libzstd1 (= 1.5.7+dfsg-2), linux-libc-dev (= 6.16.12-2), m4 (= 1.4.20-2), make (= 4.4.1-2), man-db (= 2.13.1-1), mawk (= 1.3.4.20250131-1), ncurses-base (= 6.5+20250216-2), ncurses-bin (= 6.5+20250216-2), openssl-provider-legacy (= 3.5.4-1), patch (= 2.8-2), perl (= 5.40.1-6), perl-base (= 5.40.1-6), perl-modules-5.40 (= 5.40.1-6), po-debconf (= 1.0.21+nmu1), rpcsvc-proto (= 1.4.3-1), sed (= 4.9-2), sensible-utils (= 0.0.26), sysvinit-utils (= 3.15-5), tar (= 1.35+dfsg-3.1), util-linux (= 2.41.2-4), xz-utils (= 5.8.1-2), zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1) Environment: DEB_BUILD_OPTIONS="nocheck parallel=1" DEB_BUILD_PROFILES="cross nocheck" LANG="C.UTF-8" LC_COLLATE="C.UTF-8" LC_CTYPE="C.UTF-8" SOURCE_DATE_EPOCH="1613890043" +------------------------------------------------------------------------------+ | Package contents | +------------------------------------------------------------------------------+ picosat-dbgsym_965-2_armel.deb ------------------------------ new Debian package, version 2.0. size 465328 bytes: control archive=736 bytes. 489 bytes, 12 lines control 509 bytes, 5 lines md5sums Package: picosat-dbgsym Source: picosat Version: 965-2 Auto-Built-Package: debug-symbols Architecture: armel Maintainer: Debian Science Team Installed-Size: 735 Depends: picosat (= 965-2) Section: debug Priority: optional Description: debug symbols for picosat Build-Ids: 0ed4c13628e044f9f6c1c02618165d75ef031911 11987c91abcb569db4f1e6a8fbc654fb8e941efe 237f135e931cc75f292dcdbd40348c9764c22cbd 29ede7d306df8e359e50e2481043113ea17cdeaf drwxr-xr-x root/root 0 2021-02-21 06:47 ./ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/0e/ -rw-r--r-- root/root 230608 2021-02-21 06:47 ./usr/lib/debug/.build-id/0e/d4c13628e044f9f6c1c02618165d75ef031911.debug drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/11/ -rw-r--r-- root/root 122956 2021-02-21 06:47 ./usr/lib/debug/.build-id/11/987c91abcb569db4f1e6a8fbc654fb8e941efe.debug drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/23/ -rw-r--r-- root/root 245736 2021-02-21 06:47 ./usr/lib/debug/.build-id/23/7f135e931cc75f292dcdbd40348c9764c22cbd.debug drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.build-id/29/ -rw-r--r-- root/root 122952 2021-02-21 06:47 ./usr/lib/debug/.build-id/29/ede7d306df8e359e50e2481043113ea17cdeaf.debug drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.dwz/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/debug/.dwz/arm-linux-gnueabi/ -rw-r--r-- root/root 11380 2021-02-21 06:47 ./usr/lib/debug/.dwz/arm-linux-gnueabi/picosat.debug drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/doc/ lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/share/doc/picosat-dbgsym -> picosat picosat_965-2_armel.deb ----------------------- new Debian package, version 2.0. size 85880 bytes: control archive=1752 bytes. 753 bytes, 17 lines control 881 bytes, 13 lines md5sums 66 bytes, 2 lines shlibs 4584 bytes, 146 lines symbols 66 bytes, 2 lines triggers Package: picosat Version: 965-2 Architecture: armel Maintainer: Debian Science Team Installed-Size: 947 Depends: libc6 (>= 2.38) 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 2021-02-21 06:47 ./ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/bin/ -rwxr-xr-x root/root 132696 2021-02-21 06:47 ./usr/bin/picomus -rwxr-xr-x root/root 132696 2021-02-21 06:47 ./usr/bin/picosat -rwxr-xr-x root/root 132696 2021-02-21 06:47 ./usr/bin/picosat.trace drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/include/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./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 2021-02-21 06:47 ./usr/lib/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/ -rw-r--r-- root/root 118948 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/libpicosat-trace.a lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/libpicosat-trace.so -> libpicosat-trace.so.1 lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/libpicosat-trace.so.1 -> libpicosat-trace.so.1.0.0 -rw-r--r-- root/root 132480 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/libpicosat-trace.so.1.0.0 -rw-r--r-- root/root 118948 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/libpicosat.a lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/libpicosat.so -> libpicosat.so.1 lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/libpicosat.so.1 -> libpicosat.so.1.0.0 -rw-r--r-- root/root 132480 2021-02-21 06:47 ./usr/lib/arm-linux-gnueabi/libpicosat.so.1.0.0 drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/doc/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/doc/picosat/ -rw-r--r-- root/root 725 2021-02-21 06:47 ./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 2021-02-21 06:35 ./usr/share/doc/picosat/copyright drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/man/ drwxr-xr-x root/root 0 2021-02-21 06:47 ./usr/share/man/man1/ -rw-r--r-- root/root 821 2021-02-21 06:47 ./usr/share/man/man1/picomus.1.gz -rw-r--r-- root/root 1109 2021-02-21 06:47 ./usr/share/man/man1/picosat.1.gz lrwxrwxrwx root/root 0 2021-02-21 06:47 ./usr/share/man/man1/picosat.trace.1.gz -> picosat.1.gz lintian ------- Setup apt archive ----------------- Merged Build-Depends: lintian:amd64 Filtered Build-Depends: lintian:amd64 dpkg-deb: warning: root directory /<>/sbuild-build-depends-lintian-dummy has unusual owner or group 1000:119 dpkg-deb: hint: you might need to pass --root-owner-group, see for further details dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package 'sbuild-build-depends-lintian-dummy' in '/<>/apt_archive/sbuild-build-depends-lintian-dummy.deb'. Ign:1 copy:/<>/apt_archive ./ InRelease Get:2 copy:/<>/apt_archive ./ Release [615 B] Ign:3 copy:/<>/apt_archive ./ Release.gpg Get:4 copy:/<>/apt_archive ./ Sources [1305 B] Get:5 copy:/<>/apt_archive ./ Packages [1384 B] Fetched 3304 B in 0s (0 B/s) Reading package lists... Reading package lists... Install lintian build dependencies (apt-based resolver) ------------------------------------------------------- Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The solver encountered an error of type: ERR_UNSOLVABLE The following information might help you to understand what is wrong: Unsatisfied dependencies: libxml-libxml-perl : Depends: libxml2-16 (< 2.15~) but 2.15.1+dfsg-0.2 is to be installedExecute external solver... Some packages could not be installed. This may mean that you have requested an impossible situation or if you are using the unstable distribution that some required packages have not yet been created or been moved out of Incoming. The following information may help to resolve the situation: The following packages have unmet dependencies: sbuild-build-depends-lintian-dummy:armel : Depends: lintian:amd64 E: External solver failed with: Unsatisfied dependencies: apt-get failed. E: Package installation failed Not removing build depends: cloned chroot in use +------------------------------------------------------------------------------+ | Post Build | +------------------------------------------------------------------------------+ +------------------------------------------------------------------------------+ | Cleanup | +------------------------------------------------------------------------------+ Purging /<> Not cleaning session: cloned chroot in use +------------------------------------------------------------------------------+ | Summary | +------------------------------------------------------------------------------+ Build Architecture: amd64 Build Profiles: cross nocheck Build Type: any Build-Space: n/a Build-Time: 18 Distribution: unstable Foreign Architectures: armel Host Architecture: armel Install-Time: 12 Job: picosat_965-2 Lintian: error Machine Architecture: amd64 Package: picosat Package-Time: 39 Source-Version: 965-2 Space: n/a Status: successful Version: 965-2 -------------------------------------------------------------------------------- Finished at 2025-10-24T22:39:09Z Build needed 00:00:39, no disk space