spin →
6.5.2+dfsg-2 →
armhf → 2024-10-03 06:29:58
sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-02
+==============================================================================+
| spin 6.5.2+dfsg-2 (armhf) Thu, 03 Oct 2024 05:49:41 +0000 |
+==============================================================================+
Package: spin
Version: 6.5.2+dfsg-2
Source Version: 6.5.2+dfsg-2
Distribution: trixie-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/trixie-staging-armhf-sbuild-4d497b3c-2d2e-4c3b-94c3-9073f5f37ddd' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.4.1/private trixie-staging InRelease [11.3 kB]
Get:2 http://172.17.4.1/private trixie-staging/main Sources [14.8 MB]
Get:3 http://172.17.4.1/private trixie-staging/main armhf Packages [15.2 MB]
Fetched 30.0 MB in 12s (2491 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
W: http://172.17.4.1/private/dists/trixie-staging/InRelease: Key is stored in legacy trusted.gpg keyring (/etc/apt/trusted.gpg), see the DEPRECATION section in apt-key(8) for details.
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'spin' packaging is maintained in the 'Git' version control system at:
https://github.com/thomaslee/spin-debian
Please use:
git clone https://github.com/thomaslee/spin-debian
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 611 kB of source archives.
Get:1 http://172.17.4.1/private trixie-staging/main spin 6.5.2+dfsg-2 (dsc) [1955 B]
Get:2 http://172.17.4.1/private trixie-staging/main spin 6.5.2+dfsg-2 (tar) [603 kB]
Get:3 http://172.17.4.1/private trixie-staging/main spin 6.5.2+dfsg-2 (diff) [5920 B]
Fetched 611 kB in 0s (3687 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/spin-rxCjmx/spin-6.5.2+dfsg' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/spin-rxCjmx' 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-fivEl6/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-fivEl6/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-fivEl6/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: 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 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: 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-fivEl6/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ Packages [434 B]
Fetched 2110 B in 1s (3316 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 packages were automatically installed and are no longer required:
ca-certificates cron cron-daemon-common dbus dbus-bin dbus-daemon
dbus-session-bus-common dbus-system-bus-common dmsetup
libalgorithm-diff-perl libalgorithm-merge-perl libapparmor1
libarchive-cpio-perl libcryptsetup12 libdbus-1-3 libdevmapper1.02.1
libexpat1 libfdisk1 libfile-fcntllock-perl libjson-c5 libkmod2 libltdl-dev
libltdl7 libmail-sendmail-perl libsys-hostname-long-perl libsystemd-shared
linux-sysctl-defaults netbase openssl systemd systemd-cryptsetup systemd-dev
systemd-timesyncd util-linux-extra
Use 'apt autoremove' to remove them.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 26 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (62.3 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 16389 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 (= 13), bison
Filtered Build-Depends: debhelper-compat (= 13), bison
dpkg-deb: building package 'sbuild-build-depends-spin-dummy' in '/<<BUILDDIR>>/resolver-fivEl6/apt_archive/sbuild-build-depends-spin-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-spin-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-fivEl6/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ Sources [493 B]
Get:5 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ Packages [574 B]
Fetched 2400 B in 1s (4194 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install spin build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
ca-certificates cron cron-daemon-common dbus dbus-bin dbus-daemon
dbus-session-bus-common dbus-system-bus-common dmsetup
libalgorithm-diff-perl libalgorithm-merge-perl libapparmor1
libarchive-cpio-perl libcryptsetup12 libdbus-1-3 libdevmapper1.02.1
libexpat1 libfdisk1 libfile-fcntllock-perl libjson-c5 libkmod2 libltdl-dev
libltdl7 libmail-sendmail-perl libsys-hostname-long-perl libsystemd-shared
linux-sysctl-defaults netbase openssl systemd systemd-cryptsetup systemd-dev
systemd-timesyncd util-linux-extra
Use 'apt autoremove' to remove them.
The following additional packages will be installed:
bison
Suggested packages:
bison-doc
The following NEW packages will be installed:
bison sbuild-build-depends-spin-dummy
0 upgraded, 2 newly installed, 0 to remove and 26 not upgraded.
Need to get 1115 kB of archives.
After this operation, 3061 kB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-fivEl6/apt_archive ./ sbuild-build-depends-spin-dummy 0.invalid.0 [860 B]
Get:2 http://172.17.4.1/private trixie-staging/main armhf bison armhf 2:3.8.2+dfsg-1 [1114 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 1115 kB in 0s (4717 kB/s)
Selecting previously unselected package bison.
(Reading database ... 16389 files and directories currently installed.)
Preparing to unpack .../bison_2%3a3.8.2+dfsg-1_armhf.deb ...
Unpacking bison (2:3.8.2+dfsg-1) ...
Selecting previously unselected package sbuild-build-depends-spin-dummy.
Preparing to unpack .../sbuild-build-depends-spin-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-spin-dummy (0.invalid.0) ...
Setting up bison (2:3.8.2+dfsg-1) ...
update-alternatives: using /usr/bin/bison.yacc to provide /usr/bin/yacc (yacc) in auto mode
Setting up sbuild-build-depends-spin-dummy (0.invalid.0) ...
Processing triggers for man-db (2.13.0-1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 5.4.0-187-generic armhf (armv8l)
Toolchain package versions: binutils_2.41-6+rpi1+b1 dpkg-dev_1.22.11+rpi1 g++-12_12.4.0-2+rpi1 g++-13_13.3.0-1+rpi2 gcc-12_12.4.0-2+rpi1 gcc-13_13.3.0-1+rpi2 libc6-dev_2.40-2+rpi1 libstdc++-12-dev_12.4.0-2+rpi1 libstdc++-13-dev_13.3.0-1+rpi2 libstdc++6_14.2.0-3+rpi1 linux-libc-dev_6.5.6-1+rpi1+b3
Package versions: adduser_3.137 apt_2.9.8 autoconf_2.72-3 automake_1:1.16.5-1.3 autopoint_0.22.5-2 autotools-dev_20220109.1 base-files_13.5+rpi1 base-passwd_3.6.4 bash_5.2.32-1 binutils_2.41-6+rpi1+b1 binutils-arm-linux-gnueabihf_2.41-6+rpi1+b1 binutils-common_2.41-6+rpi1+b1 bison_2:3.8.2+dfsg-1 bsdextrautils_2.40.2-7+rpi1 bsdutils_1:2.40.2-7+rpi1 build-essential_12.10 bzip2_1.0.8-6 ca-certificates_20240203 coreutils_9.4-3.1 cpp_4:13.2.0-1+rpi1 cpp-12_12.4.0-2+rpi1 cpp-13_13.3.0-1+rpi2 cpp-13-arm-linux-gnueabihf_13.3.0-1+rpi2 cron_3.0pl1-189 cron-daemon-common_3.0pl1-189 dash_0.5.12-9 dbus_1.14.10-4+b1 dbus-bin_1.14.10-4+b1 dbus-daemon_1.14.10-4+b1 dbus-session-bus-common_1.14.10-4 dbus-system-bus-common_1.14.10-4 debconf_1.5.87 debhelper_13.20 debianutils_5.20 dh-autoreconf_20 dh-strip-nondeterminism_1.14.0-1 diffutils_1:3.10-1 dirmngr_2.2.43-8+b1 dmsetup_2:1.02.196-1+b1 dpkg_1.22.11+rpi1 dpkg-dev_1.22.11+rpi1 dwz_0.15-1+b2 e2fsprogs_1.47.1-1 fakeroot_1.36-1 file_1:5.45-3 findutils_4.10.0-3 g++_4:13.2.0-1+rpi1 g++-12_12.4.0-2+rpi1 g++-13_13.3.0-1+rpi2 g++-13-arm-linux-gnueabihf_13.3.0-1+rpi2 gcc_4:13.2.0-1+rpi1 gcc-12_12.4.0-2+rpi1 gcc-12-base_12.4.0-2+rpi1 gcc-13_13.3.0-1+rpi2 gcc-13-arm-linux-gnueabihf_13.3.0-1+rpi2 gcc-13-base_13.3.0-1+rpi2 gcc-14-base_14.2.0-3+rpi1 gcc-7-base_7.5.0-6+rpi1+b2 gcc-8-base_8.4.0-7+rpi1 gcc-9-base_9.4.0-2+rpi1+b1 gettext_0.22.5-2 gettext-base_0.22.5-2 gnupg_2.2.43-8 gnupg-l10n_2.2.43-8 gnupg-utils_2.2.43-8+b1 gpg_2.2.43-8+b1 gpg-agent_2.2.43-8+b1 gpg-wks-client_2.2.43-8+b1 gpgconf_2.2.43-8+b1 gpgsm_2.2.43-8+b1 gpgv_2.2.43-8+b1 grep_3.11-4 groff-base_1.23.0-5 gzip_1.12-1.1 hostname_3.23+nmu2 init-system-helpers_1.66 intltool-debian_0.35.0+20060710.6 iputils-ping_3:20240117-1 libacl1_2.3.2-2+rpi1 libalgorithm-diff-perl_1.201-1 libalgorithm-merge-perl_0.08-5 libapparmor1_3.1.7-1 libapt-pkg6.0t64_2.9.8 libarchive-cpio-perl_0.10-3 libarchive-zip-perl_1.68-1 libasan8_14.2.0-3+rpi1 libassuan0_2.5.6-1 libassuan9_3.0.1-2 libatomic1_14.2.0-3+rpi1 libattr1_1:2.5.2-1 libaudit-common_1:3.1.2-4 libaudit1_1:3.1.2-4 libbinutils_2.41-6+rpi1+b1 libblkid1_2.40.2-7+rpi1 libbsd0_0.12.2-1 libbz2-1.0_1.0.8-6 libc-bin_2.40-2+rpi1 libc-dev-bin_2.40-2+rpi1 libc6_2.40-2+rpi1 libc6-dev_2.40-2+rpi1 libcap-ng0_0.8.5-2 libcap2_1:2.66-5 libcap2-bin_1:2.66-5 libcc1-0_14.2.0-3+rpi1 libcom-err2_1.47.1-1 libcrypt-dev_1:4.4.36-5 libcrypt1_1:4.4.36-5 libcryptsetup12_2:2.7.2-2+rpi1 libctf-nobfd0_2.41-6+rpi1+b1 libctf0_2.41-6+rpi1+b1 libdb5.3t64_5.3.28+dfsg2-7 libdbus-1-3_1.14.10-4+b1 libdebconfclient0_0.272 libdebhelper-perl_13.20 libdevmapper1.02.1_2:1.02.196-1+b1 libdpkg-perl_1.22.11+rpi1 libelf1t64_0.191-2+rpi1 libexpat1_2.6.3-1 libext2fs2t64_1.47.1-1 libfakeroot_1.36-1 libfdisk1_2.40.2-7+rpi1 libffi8_3.4.6-1 libfile-fcntllock-perl_0.22-4+b3 libfile-stripnondeterminism-perl_1.14.0-1 libgcc-12-dev_12.4.0-2+rpi1 libgcc-13-dev_13.3.0-1+rpi2 libgcc-s1_14.2.0-3+rpi1 libgcrypt20_1.11.0-6 libgdbm-compat4t64_1.24-2 libgdbm6t64_1.24-2 libgmp10_2:6.3.0+dfsg-2 libgnutls30t64_3.8.6-2 libgomp1_14.2.0-3+rpi1 libgpg-error0_1.50-3 libhogweed6t64_3.10-1 libicu72_72.1-5 libidn2-0_2.3.7-2 libisl23_0.27-1 libjansson4_2.14-2 libjson-c5_0.17-1 libkeyutils1_1.6.3-3 libkmod2_31+20240202-2+rpi1 libkrb5support0_1.21.3-3 libksba8_1.6.7-2 libldap-2.5-0_2.5.18+dfsg-3 libltdl-dev_2.4.7-7+b1 libltdl7_2.4.7-7+b1 liblz4-1_1.9.4-3 liblzma5_5.6.2-2 libmagic-mgc_1:5.45-3 libmagic1t64_1:5.45-3 libmail-sendmail-perl_0.80-3 libmd0_1.1.0-2 libmount1_2.40.2-7+rpi1 libmpc3_1.3.1-1 libmpfr6_4.2.1-1 libncursesw6_6.5-2 libnettle8t64_3.10-1 libnpth0t64_1.6-3.1 libp11-kit0_0.25.5-2 libpam-modules_1.5.3-7 libpam-modules-bin_1.5.3-7 libpam-runtime_1.5.3-7 libpam0g_1.5.3-7 libpcre2-8-0_10.42-4+b1 libpcre3_2:8.39-15 libperl5.38t64_5.38.2-5 libpipeline1_1.5.8-1 libreadline8t64_8.2-5 libsasl2-2_2.1.28+dfsg1-8 libsasl2-modules-db_2.1.28+dfsg1-8 libseccomp2_2.5.5-1+rpi1+b1 libselinux1_3.7-3 libsemanage-common_3.7-2 libsemanage2_3.7-2 libsepol1_3.1-1 libsepol2_3.7-1 libsframe1_2.41-6+rpi1+b1 libsmartcols1_2.40.2-7+rpi1 libsqlite3-0_3.46.0-1 libss2_1.47.1-1 libssl1.1_1.1.1o-1 libssl3t64_3.3.2-1 libstdc++-12-dev_12.4.0-2+rpi1 libstdc++-13-dev_13.3.0-1+rpi2 libstdc++6_14.2.0-3+rpi1 libsys-hostname-long-perl_1.5-3 libsystemd-shared_256.5-1+rpi1 libsystemd0_256.5-1+rpi1 libtasn1-6_4.19.0-3+b2 libtinfo6_6.5-2 libtirpc-common_1.3.4+ds-1.3 libtool_2.4.7-7 libubsan1_14.2.0-3+rpi1 libuchardet0_0.0.8-1 libudev1_256.5-1+rpi1 libunistring2_1.0-2 libunistring5_1.2-1 libuuid1_2.40.2-7+rpi1 libxml2_2.9.14+dfsg-1.3+b4 libxxhash0_0.8.2-2+b1 libzstd1_1.5.6+dfsg-1 linux-libc-dev_6.5.6-1+rpi1+b3 linux-sysctl-defaults_4.10.1 login_1:4.16.0-2+really2.40.2-7+rpi1 login.defs_1:4.16.0-4 logsave_1.47.1-1 lsb-base_11.6+rpi1 m4_1.4.19-4 make_4.3-4.1 man-db_2.13.0-1 mawk_1.3.4.20240819-3 mount_2.40.2-7+rpi1 nano_8.1-1 ncurses-base_6.5-2 ncurses-bin_6.5-2 netbase_6.4 openssl_3.3.2-1 openssl-provider-legacy_3.3.2-1 passwd_1:4.16.0-4 patch_2.7.6-7 perl_5.38.2-5 perl-base_5.38.2-5 perl-modules-5.38_5.38.2-5 pinentry-curses_1.2.1-4+b1 po-debconf_1.0.21+nmu1 raspbian-archive-keyring_20120528.2 readline-common_8.2-5 rpcsvc-proto_1.4.3-1 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-spin-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.24 systemd_256.5-1+rpi1 systemd-cryptsetup_256.5-1+rpi1 systemd-dev_256.5-1+rpi1 systemd-timesyncd_256.5-1+rpi1 sysvinit-utils_3.10-1 tar_1.35+dfsg-3 tzdata_2024a-4 usr-is-merged_39 util-linux_2.40.2-7+rpi1 util-linux-extra_2.40.2-7+rpi1 xz-utils_5.6.2-2 zlib1g_1:1.3.dfsg+really1.3.1-1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: Signature made Tue Oct 1 05:02:12 2024 UTC
gpgv: using RSA key E50AFD55ADD27AAB97163A8B21D20589974B3E96
gpgv: issuer "tmancill@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./spin_6.5.2+dfsg-2.dsc: no acceptable signature found
dpkg-source: info: extracting spin in /<<BUILDDIR>>/spin-6.5.2+dfsg
dpkg-source: info: unpacking spin_6.5.2+dfsg.orig.tar.xz
dpkg-source: info: unpacking spin_6.5.2+dfsg-2.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying 01_makefile_fixes.patch
dpkg-source: info: applying 02_manpage_fixes.patch
dpkg-source: info: applying 03_typos.patch
Check disk 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=trixie-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=trixie-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=trixie-staging-armhf-sbuild-4d497b3c-2d2e-4c3b-94c3-9073f5f37ddd
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package spin
dpkg-buildpackage: info: source version 6.5.2+dfsg-2
dpkg-buildpackage: info: source distribution unstable
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
debian/rules clean
dh clean --sourcedirectory=Src
dh_auto_clean -O--sourcedirectory=Src
cd Src && make -j4 clean
make[1]: Entering directory '/<<BUILDDIR>>/spin-6.5.2+dfsg/Src'
rm -f spin *.o y?tab.[ch] y.output y.debug
rm -f pan.[chmotb] a.out core *stackdump
make[1]: Leaving directory '/<<BUILDDIR>>/spin-6.5.2+dfsg/Src'
dh_autoreconf_clean -O--sourcedirectory=Src
dh_clean -O--sourcedirectory=Src
rm -f debian/debhelper-build-stamp
rm -rf debian/.debhelper/
rm -f -- debian/spin.substvars debian/files
rm -fr -- debian/spin/ debian/tmp/
find . \( \( \
\( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \
\( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \
-o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \
-o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \
-o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \
\) -exec rm -f {} + \) -o \
\( -type d -a \( -name autom4te.cache -o -name __pycache__ \) -prune -exec rm -rf {} + \) \)
debian/rules binary-arch
dh binary-arch --sourcedirectory=Src
dh_update_autotools_config -a -O--sourcedirectory=Src
dh_autoreconf -a -O--sourcedirectory=Src
dh_auto_configure -a -O--sourcedirectory=Src
dh_auto_build -a -O--sourcedirectory=Src
cd Src && make -j4 "INSTALL=install --strip-program=true"
make[1]: Entering directory '/<<BUILDDIR>>/spin-6.5.2+dfsg/Src'
yacc -v -d spin.y
spin.y: warning: 6 reduce/reduce conflicts [-Wconflicts-rr]
spin.y: note: rerun with option '-Wcounterexamples' to generate conflict counterexamples
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c y?tab.c
spin.y: In function 'yyparse':
spin.y:504:53: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
504 | if ($3->val >= 8*sizeof(long))
| ^~
rm -f y?tab.c
mv y?tab.o spin.o
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o spinlex.o spinlex.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o sym.o sym.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o vars.o vars.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o main.o main.c
spinlex.c: In function 'put_inline':
spinlex.c:968:18: warning: unused parameter 'fd' [-Wunused-parameter]
968 | put_inline(FILE *fd, char *s)
| ~~~~~~^~
spinlex.c: In function 'scan_to':
spinlex.c:1436:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
1436 | if (tmp_has < sizeof(tmp_hold))
| ^
spinlex.c:1457:29: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
1457 | if (tmp_has < sizeof(tmp_hold))
| ^
main.c: In function 'alldone':
main.c:389:37: warning: declaration of 'x' shadows a previous local [-Wshadow]
389 | int x;
| ^
main.c:268:21: note: shadowed declaration is here
268 | struct stat x;
| ^
main.c:400:37: warning: declaration of 'x' shadows a previous local [-Wshadow]
400 | int x;
| ^
main.c:268:21: note: shadowed declaration is here
268 | struct stat x;
| ^
main.c:410:37: warning: declaration of 'x' shadows a previous local [-Wshadow]
410 | int x;
| ^
main.c:268:21: note: shadowed declaration is here
268 | struct stat x;
| ^
main.c:418:37: warning: declaration of 'x' shadows a previous local [-Wshadow]
418 | int x;
| ^
main.c:268:21: note: shadowed declaration is here
268 | struct stat x;
| ^
main.c: At top level:
main.c:802:9: warning: missing initializer for field 'keeparg' of 'struct <anonymous>' [-Wmissing-field-initializers]
802 | { 0, 0 }
| ^
main.c:782:13: note: 'keeparg' declared here
782 | int keeparg;
| ^~~~~~~
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o msc_tcl.o msc_tcl.c
msc_tcl.c: In function 'colbox':
msc_tcl.c:87:35: warning: unused parameter 'h_unused' [-Wunused-parameter]
87 | colbox(int ix, int iy, int w, int h_unused, char *color)
| ~~~~^~~~~~~~
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o mesg.o mesg.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o flow.o flow.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o sched.o sched.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o run.o run.c
run.c: In function 'eval':
run.c:447:22: warning: this statement may fall through [-Wimplicit-fallthrough=]
447 | wrapup(1); /* doesn't return */
| ^~~~~~~~~
run.c:449:9: note: here
449 | case IF: case DO: case BREAK: case UNLESS: /* compound */
| ^~~~
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pangen1.o pangen1.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pangen2.o pangen2.c
pangen1.c: In function 'typ2c':
pangen1.c:1306:23: warning: this statement may fall through [-Wimplicit-fallthrough=]
1306 | nBits += 8*sp->nel; /* mapped onto array of uchars */
| ~~~~~~^~~~~~~~~~~~
pangen1.c:1307:9: note: here
1307 | case MTYPE:
| ^~~~
pangen1.c: In function 'genaddqueue':
pangen1.c:1397:36: warning: this statement may fall through [-Wimplicit-fallthrough=]
1397 | if (q->nflds != 1)
| ^
pangen1.c:1402:25: note: here
1402 | case MTYPE:
| ^~~~
pangen2.c: In function 'valTpe':
pangen2.c:1126:29: warning: this statement may fall through [-Wimplicit-fallthrough=]
1126 | case FULL: res += DELTA; /* add 3*DELTA + chan nr */
| ^
pangen2.c:1127:9: note: here
1127 | case EMPTY: res += DELTA; /* add 2*DELTA + chan nr */
| ^~~~
pangen2.c:1127:29: warning: this statement may fall through [-Wimplicit-fallthrough=]
1127 | case EMPTY: res += DELTA; /* add 2*DELTA + chan nr */
| ^
pangen2.c:1128:9: note: here
1128 | case 'r':
| ^~~~
pangen2.c:1129:29: warning: this statement may fall through [-Wimplicit-fallthrough=]
1129 | case NEMPTY: res += DELTA; /* add 1*DELTA + chan nr */
| ^
pangen2.c:1130:9: note: here
1130 | case 's':
| ^~~~
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pangen3.o pangen3.c
pangen3.c: In function 'comwork':
pangen3.c:465:33: warning: declaration of 's' shadows a previous local [-Wshadow]
465 | { char *s = 0;
| ^
pangen3.c:288:15: note: shadowed declaration is here
288 | char *s = 0;
| ^
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pangen4.o pangen4.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pangen5.o pangen5.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o guided.o guided.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o dstep.o dstep.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o structs.o structs.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pangen6.o pangen6.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o pangen7.o pangen7.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o reprosrc.o reprosrc.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tl_parse.o tl_parse.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tl_lex.o tl_lex.c
tl_lex.c: In function 'is_predicate':
tl_lex.c:76:48: warning: comparison is always true due to limited range of data type [-Wtype-limits]
76 | while ((c != want || nesting > 0) && c != -1 && i < 2047)
| ^~
tl_lex.c: In function 'read_upto_closing':
tl_lex.c:129:48: warning: comparison is always true due to limited range of data type [-Wtype-limits]
129 | while ((c != want || nesting > 0) && c != -1 && i < 2047) /* yytext is 2048 */
| ^~
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tl_main.o tl_main.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tl_trans.o tl_trans.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tl_buchi.o tl_buchi.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tl_mem.o tl_mem.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tl_rewrt.o tl_rewrt.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 -D_TIME_BITS=64 -Wdate-time -D_FORTIFY_SOURCE=2 -c -o tl_cache.o tl_cache.c
cc -g -O2 -Werror=implicit-function-declaration -ffile-prefix-map=/<<BUILDDIR>>/spin-6.5.2+dfsg=. -fstack-protector-strong -fstack-clash-protection -Wformat -Werror=format-security -D_GNU_SOURCE -DNXT -std=c99 -Wstrict-prototypes -pedantic -fno-strength-reduce -fno-builtin -W -Wshadow -Wpointer-arith -Wcast-qual -Winline -Wall -o spin spin.o spinlex.o sym.o vars.o main.o msc_tcl.o mesg.o flow.o sched.o run.o pangen1.o pangen2.o pangen3.o pangen4.o pangen5.o guided.o dstep.o structs.o pangen6.o pangen7.o reprosrc.o tl_parse.o tl_lex.o tl_main.o tl_trans.o tl_buchi.o tl_mem.o tl_rewrt.o tl_cache.o -Wl,-z,relro -Wl,-z,now
make[1]: Leaving directory '/<<BUILDDIR>>/spin-6.5.2+dfsg/Src'
dh_auto_test -a -O--sourcedirectory=Src
rm -fr -- /tmp/dh-xdg-rundir-HPJQ64zb
create-stamp debian/debhelper-build-stamp
dh_testroot -a -O--sourcedirectory=Src
dh_prep -a -O--sourcedirectory=Src
rm -f -- debian/spin.substvars
rm -fr -- debian/.debhelper/generated/spin/ debian/spin/ debian/tmp/
debian/rules override_dh_auto_install
make[1]: Entering directory '/<<BUILDDIR>>/spin-6.5.2+dfsg'
/usr/bin/make install \
DESTDIR=/<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr \
INSTALL="install -sD --strip-program=true"
make[2]: Entering directory '/<<BUILDDIR>>/spin-6.5.2+dfsg'
cd Src; make install
make[3]: Entering directory '/<<BUILDDIR>>/spin-6.5.2+dfsg/Src'
install -sD --strip-program=true spin /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/bin/spin
install -sD --strip-program=true ../Man/spin.1 /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/share/man/man1/spin.1
make[3]: Leaving directory '/<<BUILDDIR>>/spin-6.5.2+dfsg/Src'
make[2]: Leaving directory '/<<BUILDDIR>>/spin-6.5.2+dfsg'
make[1]: Leaving directory '/<<BUILDDIR>>/spin-6.5.2+dfsg'
dh_installdocs -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/usr/share/doc/spin
install -m0755 -d debian/spin/usr/share/doc/spin
cp --reflink=auto -a ./Man/README.md debian/spin/usr/share/doc/spin
cp --reflink=auto -a ./Doc/V1.Updates debian/spin/usr/share/doc/spin
cp --reflink=auto -a ./Doc/V2.Updates debian/spin/usr/share/doc/spin
cp --reflink=auto -a ./Doc/V3.Updates debian/spin/usr/share/doc/spin
cp --reflink=auto -a ./Doc/V4.Updates debian/spin/usr/share/doc/spin
cp --reflink=auto -a ./Doc/V5.Updates debian/spin/usr/share/doc/spin
cp --reflink=auto -a ./Doc/V6.Updates debian/spin/usr/share/doc/spin
chmod -R u\+rw,go=rX debian/spin/usr/share/doc
install -p -m0644 debian/copyright debian/spin/usr/share/doc/spin/copyright
dh_installchangelogs -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/usr/share/doc/spin
install -p -m0644 debian/.debhelper/generated/spin/dh_installchangelogs.dch.trimmed debian/spin/usr/share/doc/spin/changelog.Debian
dh_installexamples -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/usr/share/doc/spin/examples
cp --reflink=auto -a ./Examples debian/spin/usr/share/doc/spin/examples
dh_installman -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/usr/share/man/man1/
install -p -m0644 ./Man/spin.1 debian/spin/usr/share/man/man1/spin.1
man-recode --to-code UTF-8 --suffix .dh-new debian/spin/usr/share/man/man1/spin.1
mv debian/spin/usr/share/man/man1/spin.1.dh-new debian/spin/usr/share/man/man1/spin.1
chmod 0644 -- debian/spin/usr/share/man/man1/spin.1
dh_installsystemduser -a -O--sourcedirectory=Src
dh_lintian -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/usr/share/lintian/overrides
install -p -m0644 debian/spin.lintian-overrides debian/spin/usr/share/lintian/overrides/spin
dh_perl -a -O--sourcedirectory=Src
dh_link -a -O--sourcedirectory=Src
dh_strip_nondeterminism -a -O--sourcedirectory=Src
dh_compress -a -O--sourcedirectory=Src
cd debian/spin
chmod a-x usr/share/doc/spin/README.md usr/share/doc/spin/V1.Updates usr/share/doc/spin/V2.Updates usr/share/doc/spin/V3.Updates usr/share/doc/spin/V4.Updates usr/share/doc/spin/V5.Updates usr/share/doc/spin/V6.Updates usr/share/doc/spin/changelog.Debian usr/share/man/man1/spin.1
gzip -9nf usr/share/doc/spin/README.md usr/share/doc/spin/V1.Updates usr/share/doc/spin/V2.Updates usr/share/doc/spin/V3.Updates usr/share/doc/spin/V4.Updates usr/share/doc/spin/V5.Updates usr/share/doc/spin/V6.Updates usr/share/doc/spin/changelog.Debian usr/share/man/man1/spin.1
cd '/<<BUILDDIR>>/spin-6.5.2+dfsg'
debian/rules override_dh_fixperms
make[1]: Entering directory '/<<BUILDDIR>>/spin-6.5.2+dfsg'
dh_fixperms
find debian/spin ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
find debian/spin/usr/share/doc -type f -a -true -a ! -regex 'debian/spin/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
find debian/spin/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
find debian/spin/usr/share/man debian/spin/usr/share/lintian/overrides -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
find debian/spin -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
find debian/spin/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x
chmod ugo-x /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/share/doc/spin/examples/Examples/Book_1991/*.h
chmod ugo-x /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/share/doc/spin/examples/Examples/Book_1991/*.txt
chmod ugo-x /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/share/doc/spin/examples/Examples/Book_1991/*.pml
chmod ugo-x /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/share/doc/spin/examples/Examples/Exercises/*.pml
chmod ugo-x /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/share/doc/spin/examples/Examples/LTL/*.pml
chmod ugo-x /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/share/doc/spin/examples/Examples/*.pml
chmod ugo-x /<<BUILDDIR>>/spin-6.5.2+dfsg/debian/spin/usr/share/doc/spin/examples/Examples/*.txt
make[1]: Leaving directory '/<<BUILDDIR>>/spin-6.5.2+dfsg'
dh_missing -a -O--sourcedirectory=Src
dh_dwz -a -O--sourcedirectory=Src
dwz -- debian/spin/usr/bin/spin
dh_strip -a -O--sourcedirectory=Src
install -m0755 -d debian/.debhelper/spin/dbgsym-root/usr/lib/debug/.build-id/96
objcopy --only-keep-debug --compress-debug-sections debian/spin/usr/bin/spin debian/.debhelper/spin/dbgsym-root/usr/lib/debug/.build-id/96/fd362e552d0e171f4c5d9ec4f592ab418db686.debug
chmod 0644 -- debian/.debhelper/spin/dbgsym-root/usr/lib/debug/.build-id/96/fd362e552d0e171f4c5d9ec4f592ab418db686.debug
strip --remove-section=.comment --remove-section=.note debian/spin/usr/bin/spin
objcopy --add-gnu-debuglink debian/.debhelper/spin/dbgsym-root/usr/lib/debug/.build-id/96/fd362e552d0e171f4c5d9ec4f592ab418db686.debug debian/spin/usr/bin/spin
install -m0755 -d debian/.debhelper/spin/dbgsym-root/usr/share/doc
ln -s spin debian/.debhelper/spin/dbgsym-root/usr/share/doc/spin-dbgsym
install -m0755 -d debian/.debhelper/spin
dh_makeshlibs -a -O--sourcedirectory=Src
rm -f debian/spin/DEBIAN/shlibs
dh_shlibdeps -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/DEBIAN
dpkg-shlibdeps -Tdebian/spin.substvars debian/spin/usr/bin/spin
dpkg-shlibdeps: warning: diversions involved - output may be incorrect
diversion by libc6 from: /lib/ld-linux-armhf.so.3
dpkg-shlibdeps: warning: diversions involved - output may be incorrect
diversion by libc6 to: /lib/ld-linux-armhf.so.3.usr-is-merged
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/spin/usr/bin/spin was not linked against ld-linux-armhf.so.3 (it uses none of the library's symbols)
dh_installdeb -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/DEBIAN
dh_gencontrol -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/DEBIAN
echo misc:Depends= >> debian/spin.substvars
echo misc:Pre-Depends= >> debian/spin.substvars
install -m0755 -d debian/.debhelper/spin/dbgsym-root/DEBIAN
dpkg-gencontrol -pspin -ldebian/changelog -Tdebian/spin.substvars -cdebian/control -Pdebian/.debhelper/spin/dbgsym-root -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -UProtected -UBuilt-Using -UStatic-Built-Using -DPackage=spin-dbgsym "-DDepends=spin (= \${binary:Version})" "-DDescription=debug symbols for spin" -DBuild-Ids=96fd362e552d0e171f4c5d9ec4f592ab418db686 -DSection=debug -UMulti-Arch -UReplaces -UBreaks
chmod 0644 -- debian/.debhelper/spin/dbgsym-root/DEBIAN/control
dpkg-gencontrol -pspin -ldebian/changelog -Tdebian/spin.substvars -cdebian/control -Pdebian/spin
chmod 0644 -- debian/spin/DEBIAN/control
dh_md5sums -a -O--sourcedirectory=Src
install -m0755 -d debian/spin/DEBIAN
cd debian/spin >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
chmod 0644 -- debian/spin/DEBIAN/md5sums
install -m0755 -d debian/.debhelper/spin/dbgsym-root/DEBIAN
cd debian/.debhelper/spin/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
chmod 0644 -- debian/.debhelper/spin/dbgsym-root/DEBIAN/md5sums
dh_builddeb -a -O--sourcedirectory=Src
dpkg-deb --root-owner-group --build debian/spin ..
dpkg-deb --root-owner-group --build debian/.debhelper/spin/dbgsym-root ..
dpkg-deb: building package 'spin' in '../spin_6.5.2+dfsg-2_armhf.deb'.
dpkg-deb: building package 'spin-dbgsym' in '../spin-dbgsym_6.5.2+dfsg-2_armhf.deb'.
dpkg-genbuildinfo --build=any -O../spin_6.5.2+dfsg-2_armhf.buildinfo
dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> -O../spin_6.5.2+dfsg-2_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 2024-10-03T05:51:13Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
spin_6.5.2+dfsg-2_armhf.changes:
--------------------------------
Format: 1.8
Date: Mon, 30 Sep 2024 21:56:31 -0700
Source: spin
Binary: spin spin-dbgsym
Architecture: armhf
Version: 6.5.2+dfsg-2
Distribution: trixie-staging
Urgency: medium
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: tony mancill <tmancill@debian.org>
Description:
spin - formal software verification tool
Closes: 1082739
Changes:
spin (6.5.2+dfsg-2) unstable; urgency=medium
.
[ Tom Lee ]
* Compile with -DNXT (next operator) (Closes: #1082739)
Thank you to Alexandre Duret-Lutz for the bug report.
.
[ Debian Janitor ]
* Remove constraints unnecessary since stretch:
+ spin: Drop versioned constraint on staden in Replaces.
+ spin: Drop versioned constraint on staden in Breaks.
.
[ tony mancill ]
* Bump Standards-Version to 4.7.0
* Update Homepage URL to https
* Freshen debian/copyright
Checksums-Sha1:
545ad76f1433a09b666aab1d498ab4e83d1a69a1 454868 spin-dbgsym_6.5.2+dfsg-2_armhf.deb
c2ab64f403b6cfbd99a99bc49c3019e3d1176f9d 4897 spin_6.5.2+dfsg-2_armhf.buildinfo
135ebf03e4ea4d4e21e0160169f1e4f387491575 366912 spin_6.5.2+dfsg-2_armhf.deb
Checksums-Sha256:
4e965f67e80d60536529322443d1fe5c528b5eabdd91e0d6e8a19fffa2f08496 454868 spin-dbgsym_6.5.2+dfsg-2_armhf.deb
bddb646818f42dc001248e1f99f36760a3e967c3037d3856d6c098e9acc09276 4897 spin_6.5.2+dfsg-2_armhf.buildinfo
3b33eb614e864a17b034559ee20fe35a35e9e329cc8eaf01032ea8a77398260d 366912 spin_6.5.2+dfsg-2_armhf.deb
Files:
b835a9f58cf0ab35dff92b3f185f9ce3 454868 debug optional spin-dbgsym_6.5.2+dfsg-2_armhf.deb
6817eaa9dd36c221d471b1efe9a646d0 4897 devel optional spin_6.5.2+dfsg-2_armhf.buildinfo
684add83dd6eb8cf409ce6e0c185b073 366912 devel optional spin_6.5.2+dfsg-2_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
spin-dbgsym_6.5.2+dfsg-2_armhf.deb
----------------------------------
new Debian package, version 2.0.
size 454868 bytes: control archive=508 bytes.
322 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: spin-dbgsym
Source: spin
Version: 6.5.2+dfsg-2
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Tom Lee <debian@tomlee.co>
Installed-Size: 486
Depends: spin (= 6.5.2+dfsg-2)
Section: debug
Priority: optional
Description: debug symbols for spin
Build-Ids: 96fd362e552d0e171f4c5d9ec4f592ab418db686
drwxr-xr-x root/root 0 2024-10-01 04:56 ./
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/lib/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/lib/debug/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/lib/debug/.build-id/96/
-rw-r--r-- root/root 487308 2024-10-01 04:56 ./usr/lib/debug/.build-id/96/fd362e552d0e171f4c5d9ec4f592ab418db686.debug
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/doc/
lrwxrwxrwx root/root 0 2024-10-01 04:56 ./usr/share/doc/spin-dbgsym -> spin
spin_6.5.2+dfsg-2_armhf.deb
---------------------------
new Debian package, version 2.0.
size 366912 bytes: control archive=3480 bytes.
765 bytes, 19 lines control
9478 bytes, 109 lines md5sums
Package: spin
Version: 6.5.2+dfsg-2
Architecture: armhf
Maintainer: Tom Lee <debian@tomlee.co>
Installed-Size: 1042
Depends: libc6 (>= 2.38)
Section: devel
Priority: optional
Homepage: https://spinroot.com/spin/whatispin.html
Description: formal software verification tool
Spin is a popular open-source software verification tool, used by thousands
of people worldwide. The tool can be used for the formal verification of
multi-threaded software applications. The tool was developed at Bell Labs
in the Unix group of the Computing Sciences Research Center, starting in 1980.
.
The software has been available freely since 1991, and continues to evolve to
keep pace with new developments.
.
In April 2002 the tool was awarded the ACM System Software Award.
drwxr-xr-x root/root 0 2024-10-01 04:56 ./
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/bin/
-rwxr-xr-x root/root 779904 2024-10-01 04:56 ./usr/bin/spin
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/doc/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/doc/spin/
-rw-r--r-- root/root 6084 2019-12-06 21:02 ./usr/share/doc/spin/README.md.gz
-rw-r--r-- root/root 7576 2019-12-06 21:02 ./usr/share/doc/spin/V1.Updates.gz
-rw-r--r-- root/root 19704 2019-12-06 21:02 ./usr/share/doc/spin/V2.Updates.gz
-rw-r--r-- root/root 15723 2019-12-06 21:02 ./usr/share/doc/spin/V3.Updates.gz
-rw-r--r-- root/root 12356 2019-12-06 21:02 ./usr/share/doc/spin/V4.Updates.gz
-rw-r--r-- root/root 8148 2019-12-06 21:02 ./usr/share/doc/spin/V5.Updates.gz
-rw-r--r-- root/root 17161 2019-12-06 21:02 ./usr/share/doc/spin/V6.Updates.gz
-rw-r--r-- root/root 714 2024-10-01 04:56 ./usr/share/doc/spin/changelog.Debian.gz
-rw-r--r-- root/root 2224 2024-10-01 04:56 ./usr/share/doc/spin/copyright
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/doc/spin/examples/
drwxr-xr-x root/root 0 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/
drwxr-xr-x root/root 0 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/
-rw-r--r-- root/root 298 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.datalink.h
-rw-r--r-- root/root 735 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.defines.h
-rw-r--r-- root/root 2385 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.flow_cl.h
-rw-r--r-- root/root 535 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.fserver.h
-rw-r--r-- root/root 451 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.pftp.pml
-rw-r--r-- root/root 673 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.present.h
-rw-r--r-- root/root 2553 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.session.h
-rw-r--r-- root/root 330 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/App.F.user.h
-rw-r--r-- root/root 4237 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/README.txt
-rw-r--r-- root/root 260 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p101.pml
-rw-r--r-- root/root 185 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p102.pml
-rw-r--r-- root/root 295 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p104.1.pml
-rw-r--r-- root/root 454 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p104.2.pml
-rw-r--r-- root/root 271 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p105.1.pml
-rw-r--r-- root/root 293 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p105.2.pml
-rw-r--r-- root/root 593 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p107.pml
-rw-r--r-- root/root 1349 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p108.pml
-rw-r--r-- root/root 187 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p116.pml
-rw-r--r-- root/root 442 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p117.pml
-rw-r--r-- root/root 1042 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p123.pml
-rw-r--r-- root/root 294 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p248.pml
-rw-r--r-- root/root 811 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p312.pml
-rw-r--r-- root/root 767 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p319.pml
-rw-r--r-- root/root 433 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p320.pml
-rw-r--r-- root/root 686 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p325.test.h
-rw-r--r-- root/root 1049 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p327.upper.h
-rw-r--r-- root/root 687 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p329.pml
-rw-r--r-- root/root 687 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p330.pml
-rw-r--r-- root/root 576 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p337.defines2.h
-rw-r--r-- root/root 535 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p337.fserver.h
-rw-r--r-- root/root 415 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p337.pftp.ses.pml
-rw-r--r-- root/root 2563 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p337.session.h
-rw-r--r-- root/root 330 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p337.user.h
-rw-r--r-- root/root 554 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p342.pftp.ses1.h
-rw-r--r-- root/root 383 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p343.claim.h
-rw-r--r-- root/root 362 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p347.pftp.ses5.pml
-rw-r--r-- root/root 396 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p347.pres.sim.h
-rw-r--r-- root/root 2608 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p347.session.prog.h
-rw-r--r-- root/root 136 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p94.pml
-rw-r--r-- root/root 33 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p95.1.pml
-rw-r--r-- root/root 88 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p95.2.pml
-rw-r--r-- root/root 147 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p96.1.pml
-rw-r--r-- root/root 311 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p96.2.pml
-rw-r--r-- root/root 166 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p97.1.pml
-rw-r--r-- root/root 163 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p97.2.pml
-rw-r--r-- root/root 243 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Book_1991/p99.pml
drwxr-xr-x root/root 0 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/
-rw-r--r-- root/root 134 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_1a.pml
-rw-r--r-- root/root 261 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_1f.pml
-rw-r--r-- root/root 608 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_2.pml
-rw-r--r-- root/root 598 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_3a.pml
-rw-r--r-- root/root 261 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_3b.pml
-rw-r--r-- root/root 478 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_3c.pml
-rw-r--r-- root/root 536 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_4.pml
-rw-r--r-- root/root 1074 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_5.pml
-rw-r--r-- root/root 1812 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/Exercises/ex_6.pml
drwxr-xr-x root/root 0 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/
-rw-r--r-- root/root 488 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/bakery.pml
-rw-r--r-- root/root 1076 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/diskhead.pml
-rw-r--r-- root/root 2459 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/leader.pml
-rw-r--r-- root/root 2866 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/leader_pre.pml
-rw-r--r-- root/root 83 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/ltl_always_eventually.pml
-rw-r--r-- root/root 97 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/ltl_example.pml
-rw-r--r-- root/root 2646 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/ltl_gen.pml
-rw-r--r-- root/root 2730 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/mobile1.pml
-rw-r--r-- root/root 2575 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/mobile2.pml
-rw-r--r-- root/root 4767 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/patterns.pml
-rw-r--r-- root/root 778 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/petersonN.pml
-rw-r--r-- root/root 3976 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/pftp.pml
-rw-r--r-- root/root 1020 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/salesman1.pml
-rw-r--r-- root/root 1112 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/salesman2.pml
-rw-r--r-- root/root 1733 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/train.pml
-rw-r--r-- root/root 1473 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/LTL/zune.pml
-rw-r--r-- root/root 10016 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/README_tests.txt
-rw-r--r-- root/root 735 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/abp.pml
-rw-r--r-- root/root 686 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/calculator.pml
-rw-r--r-- root/root 4153 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/cambridge.pml
-rw-r--r-- root/root 5823 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/dtp.pml
-rw-r--r-- root/root 754 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/eratosthenes.pml
-rw-r--r-- root/root 307 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/for_example.pml
-rw-r--r-- root/root 876 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/for_select_example.pml
-rw-r--r-- root/root 1055 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/hajek.pml
-rw-r--r-- root/root 41 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/hello.pml
-rw-r--r-- root/root 1524 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/leader0.pml
-rw-r--r-- root/root 1636 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/leader_trace.pml
-rw-r--r-- root/root 1646 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/life.pml
-rw-r--r-- root/root 135 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/loops.pml
-rw-r--r-- root/root 398 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/manna_pnueli.pml
-rw-r--r-- root/root 1318 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/pathfinder.pml
-rw-r--r-- root/root 340 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/peterson.pml
-rw-r--r-- root/root 292 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/priorities.pml
-rw-r--r-- root/root 654 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/rtos1.pml
-rw-r--r-- root/root 187 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/sat.pml
-rw-r--r-- root/root 5021 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/snoopy.pml
-rw-r--r-- root/root 1539 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/sort.pml
-rw-r--r-- root/root 1038 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/test_mtype.pml
-rw-r--r-- root/root 942 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/welfare.pml
-rw-r--r-- root/root 2159 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/werkplaats.pml
-rw-r--r-- root/root 803 2019-12-06 21:02 ./usr/share/doc/spin/examples/Examples/wordcount.pml
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/lintian/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/lintian/overrides/
-rw-r--r-- root/root 57 2024-10-01 04:56 ./usr/share/lintian/overrides/spin
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/man/
drwxr-xr-x root/root 0 2024-10-01 04:56 ./usr/share/man/man1/
-rw-r--r-- root/root 4246 2024-10-01 04:56 ./usr/share/man/man1/spin.1.gz
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 9952
Build-Time: 37
Distribution: trixie-staging
Host Architecture: armhf
Install-Time: 33
Job: spin_6.5.2+dfsg-2
Machine Architecture: armhf
Package: spin
Package-Time: 92
Source-Version: 6.5.2+dfsg-2
Space: 9952
Status: successful
Version: 6.5.2+dfsg-2
--------------------------------------------------------------------------------
Finished at 2024-10-03T05:51:13Z
Build needed 00:01:32, 9952k disk space