Diff of the two buildlogs: -- --- b1/build.log 2021-12-08 15:17:41.035173445 +0000 +++ b2/build.log 2021-12-08 15:29:56.400188219 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Wed Dec 8 02:43:53 -12 2021 -I: pbuilder-time-stamp: 1638974633 +I: Current time: Wed Jan 11 11:40:52 +14 2023 +I: pbuilder-time-stamp: 1673386852 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -17,7 +17,7 @@ I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error -gpgv: Signature made Sun Mar 17 08:46:23 2019 -12 +gpgv: Signature made Mon Mar 18 10:46:23 2019 +14 gpgv: using RSA key 9BFBAEE86C0AA5FFBF2207829AF46B3025771B31 gpgv: issuer "sunweaver@debian.org" gpgv: Can't check signature: No public key @@ -29,136 +29,170 @@ dpkg-source: info: applying 2001_run-cleancurry-from-inside-debian-subfolder.patch I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/1981311/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/3400231/tmp/hooks/D01_modify_environment starting +debug: Running on ionos15-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' +Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' +Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' +Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/3400231/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/3400231/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15' - DISTRIBUTION='' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.0.3(1)-release' + BUILDDIR=/build + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16' + DIRSTACK=() + DISTRIBUTION= + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='51e21089f6f641a7985533d10c0b31b3' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='1981311' - PS1='# ' - PS2='> ' + INVOCATION_ID=7094c360105e49739887e3f030cd3dd7 + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=3400231 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.ZfecCeiqyK/pbuilderrc_fp2K --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.ZfecCeiqyK/b1 --logfile b1/build.log pakcs_2.1.1-2.dsc' - SUDO_GID='110' - SUDO_UID='105' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://78.137.99.97:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.ZfecCeiqyK/pbuilderrc_WWfI --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.ZfecCeiqyK/b2 --logfile b2/build.log pakcs_2.1.1-2.dsc' + SUDO_GID=111 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://85.184.249.68:3128 I: uname -a - Linux ionos1-amd64 5.10.0-9-amd64 #1 SMP Debian 5.10.70-1 (2021-09-30) x86_64 GNU/Linux + Linux i-capture-the-hostname 5.14.0-0.bpo.2-amd64 #1 SMP Debian 5.14.9-2~bpo11+1 (2021-10-10) x86_64 GNU/Linux I: ls -l /bin total 5116 - -rwxr-xr-x 1 root root 1168776 Apr 17 2019 bash - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bunzip2 - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzcat - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzip2 - -rwxr-xr-x 1 root root 14328 Jul 10 2019 bzip2recover - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore - -rwxr-xr-x 1 root root 43744 Feb 28 2019 cat - -rwxr-xr-x 1 root root 64320 Feb 28 2019 chgrp - -rwxr-xr-x 1 root root 64288 Feb 28 2019 chmod - -rwxr-xr-x 1 root root 72512 Feb 28 2019 chown - -rwxr-xr-x 1 root root 146880 Feb 28 2019 cp - -rwxr-xr-x 1 root root 121464 Jan 17 2019 dash - -rwxr-xr-x 1 root root 109408 Feb 28 2019 date - -rwxr-xr-x 1 root root 76712 Feb 28 2019 dd - -rwxr-xr-x 1 root root 93744 Feb 28 2019 df - -rwxr-xr-x 1 root root 138856 Feb 28 2019 dir - -rwxr-xr-x 1 root root 84288 Jan 9 2019 dmesg - lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname - -rwxr-xr-x 1 root root 39520 Feb 28 2019 echo - -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep - -rwxr-xr-x 1 root root 35424 Feb 28 2019 false - -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep - -rwxr-xr-x 1 root root 68880 Jan 9 2019 findmnt - -rwsr-xr-x 1 root root 34896 Apr 22 2020 fusermount - -rwxr-xr-x 1 root root 198976 Jan 7 2019 grep - -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip - -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe - -rwxr-xr-x 1 root root 98048 Jan 5 2019 gzip - -rwxr-xr-x 1 root root 26696 Sep 26 2018 hostname - -rwxr-xr-x 1 root root 68552 Feb 28 2019 ln - -rwxr-xr-x 1 root root 56760 Jul 26 2018 login - -rwxr-xr-x 1 root root 138856 Feb 28 2019 ls - -rwxr-xr-x 1 root root 108624 Jan 9 2019 lsblk - -rwxr-xr-x 1 root root 89088 Feb 28 2019 mkdir - -rwxr-xr-x 1 root root 68544 Feb 28 2019 mknod - -rwxr-xr-x 1 root root 43808 Feb 28 2019 mktemp - -rwxr-xr-x 1 root root 43008 Jan 9 2019 more - -rwsr-xr-x 1 root root 51280 Jan 9 2019 mount - -rwxr-xr-x 1 root root 14408 Jan 9 2019 mountpoint - -rwxr-xr-x 1 root root 138728 Feb 28 2019 mv - lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 39616 Feb 28 2019 pwd - lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash - -rwxr-xr-x 1 root root 47776 Feb 28 2019 readlink - -rwxr-xr-x 1 root root 68416 Feb 28 2019 rm - -rwxr-xr-x 1 root root 47776 Feb 28 2019 rmdir - -rwxr-xr-x 1 root root 23312 Jan 21 2019 run-parts - -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Nov 7 09:58 sh -> dash - -rwxr-xr-x 1 root root 39552 Feb 28 2019 sleep - -rwxr-xr-x 1 root root 80672 Feb 28 2019 stty - -rwsr-xr-x 1 root root 63568 Jan 9 2019 su - -rwxr-xr-x 1 root root 35488 Feb 28 2019 sync - -rwxr-xr-x 1 root root 445560 Apr 23 2019 tar - -rwxr-xr-x 1 root root 14440 Jan 21 2019 tempfile - -rwxr-xr-x 1 root root 97152 Feb 28 2019 touch - -rwxr-xr-x 1 root root 35424 Feb 28 2019 true - -rwxr-xr-x 1 root root 14328 Apr 22 2020 ulockmgr_server - -rwsr-xr-x 1 root root 34888 Jan 9 2019 umount - -rwxr-xr-x 1 root root 39584 Feb 28 2019 uname - -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress - -rwxr-xr-x 1 root root 138856 Feb 28 2019 vdir - -rwxr-xr-x 1 root root 34896 Jan 9 2019 wdctl - -rwxr-xr-x 1 root root 946 Jan 21 2019 which - lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat - -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp - -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff - -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep - -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep - -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce - -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep - -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless - -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore - -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew -I: user script /srv/workspace/pbuilder/1981311/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1168776 Apr 18 2019 bash + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bunzip2 + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzcat + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2227 Jul 11 2019 bzdiff + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4877 Jun 25 2019 bzexe + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3641 Jul 11 2019 bzgrep + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzip2 + -rwxr-xr-x 1 root root 14328 Jul 11 2019 bzip2recover + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Jul 11 2019 bzmore + -rwxr-xr-x 1 root root 43744 Mar 1 2019 cat + -rwxr-xr-x 1 root root 64320 Mar 1 2019 chgrp + -rwxr-xr-x 1 root root 64288 Mar 1 2019 chmod + -rwxr-xr-x 1 root root 72512 Mar 1 2019 chown + -rwxr-xr-x 1 root root 146880 Mar 1 2019 cp + -rwxr-xr-x 1 root root 121464 Jan 18 2019 dash + -rwxr-xr-x 1 root root 109408 Mar 1 2019 date + -rwxr-xr-x 1 root root 76712 Mar 1 2019 dd + -rwxr-xr-x 1 root root 93744 Mar 1 2019 df + -rwxr-xr-x 1 root root 138856 Mar 1 2019 dir + -rwxr-xr-x 1 root root 84288 Jan 10 2019 dmesg + lrwxrwxrwx 1 root root 8 Sep 27 2018 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Sep 27 2018 domainname -> hostname + -rwxr-xr-x 1 root root 39520 Mar 1 2019 echo + -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep + -rwxr-xr-x 1 root root 35424 Mar 1 2019 false + -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep + -rwxr-xr-x 1 root root 68880 Jan 10 2019 findmnt + -rwsr-xr-x 1 root root 34896 Apr 23 2020 fusermount + -rwxr-xr-x 1 root root 198976 Jan 8 2019 grep + -rwxr-xr-x 2 root root 2345 Jan 6 2019 gunzip + -rwxr-xr-x 1 root root 6375 Jan 6 2019 gzexe + -rwxr-xr-x 1 root root 98048 Jan 6 2019 gzip + -rwxr-xr-x 1 root root 26696 Sep 27 2018 hostname + -rwxr-xr-x 1 root root 68552 Mar 1 2019 ln + -rwxr-xr-x 1 root root 56760 Jul 27 2018 login + -rwxr-xr-x 1 root root 138856 Mar 1 2019 ls + -rwxr-xr-x 1 root root 108624 Jan 10 2019 lsblk + -rwxr-xr-x 1 root root 89088 Mar 1 2019 mkdir + -rwxr-xr-x 1 root root 68544 Mar 1 2019 mknod + -rwxr-xr-x 1 root root 43808 Mar 1 2019 mktemp + -rwxr-xr-x 1 root root 43008 Jan 10 2019 more + -rwsr-xr-x 1 root root 51280 Jan 10 2019 mount + -rwxr-xr-x 1 root root 14408 Jan 10 2019 mountpoint + -rwxr-xr-x 1 root root 138728 Mar 1 2019 mv + lrwxrwxrwx 1 root root 8 Sep 27 2018 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Feb 15 2019 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 39616 Mar 1 2019 pwd + lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash + -rwxr-xr-x 1 root root 47776 Mar 1 2019 readlink + -rwxr-xr-x 1 root root 68416 Mar 1 2019 rm + -rwxr-xr-x 1 root root 47776 Mar 1 2019 rmdir + -rwxr-xr-x 1 root root 23312 Jan 22 2019 run-parts + -rwxr-xr-x 1 root root 122224 Dec 23 2018 sed + lrwxrwxrwx 1 root root 4 Jan 11 11:40 sh -> bash + lrwxrwxrwx 1 root root 4 Dec 11 18:20 sh.distrib -> dash + -rwxr-xr-x 1 root root 39552 Mar 1 2019 sleep + -rwxr-xr-x 1 root root 80672 Mar 1 2019 stty + -rwsr-xr-x 1 root root 63568 Jan 10 2019 su + -rwxr-xr-x 1 root root 35488 Mar 1 2019 sync + -rwxr-xr-x 1 root root 445560 Apr 24 2019 tar + -rwxr-xr-x 1 root root 14440 Jan 22 2019 tempfile + -rwxr-xr-x 1 root root 97152 Mar 1 2019 touch + -rwxr-xr-x 1 root root 35424 Mar 1 2019 true + -rwxr-xr-x 1 root root 14328 Apr 23 2020 ulockmgr_server + -rwsr-xr-x 1 root root 34888 Jan 10 2019 umount + -rwxr-xr-x 1 root root 39584 Mar 1 2019 uname + -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress + -rwxr-xr-x 1 root root 138856 Mar 1 2019 vdir + -rwxr-xr-x 1 root root 34896 Jan 10 2019 wdctl + -rwxr-xr-x 1 root root 946 Jan 22 2019 which + lrwxrwxrwx 1 root root 8 Sep 27 2018 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1983 Jan 6 2019 zcat + -rwxr-xr-x 1 root root 1677 Jan 6 2019 zcmp + -rwxr-xr-x 1 root root 5879 Jan 6 2019 zdiff + -rwxr-xr-x 1 root root 29 Jan 6 2019 zegrep + -rwxr-xr-x 1 root root 29 Jan 6 2019 zfgrep + -rwxr-xr-x 1 root root 2080 Jan 6 2019 zforce + -rwxr-xr-x 1 root root 7584 Jan 6 2019 zgrep + -rwxr-xr-x 1 root root 2205 Jan 6 2019 zless + -rwxr-xr-x 1 root root 1841 Jan 6 2019 zmore + -rwxr-xr-x 1 root root 4552 Jan 6 2019 znew +I: user script /srv/workspace/pbuilder/3400231/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -274,7 +308,7 @@ Get: 58 http://deb.debian.org/debian buster/main amd64 sqlite3 amd64 3.27.2-3+deb10u1 [940 kB] Get: 59 http://deb.debian.org/debian buster/main amd64 swi-prolog-nox amd64 8.0.2+dfsg-3+deb10u1 [3712 kB] Get: 60 http://deb.debian.org/debian buster/main amd64 symlinks amd64 1.4-3+b1 [11.2 kB] -Fetched 30.0 MB in 0s (64.2 MB/s) +Fetched 30.0 MB in 0s (67.0 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19195 files and directories currently installed.) @@ -538,7 +572,8 @@ fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/pakcs-2.1.1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../pakcs_2.1.1-2_source.changes +hostname: Name or service not known +I: Running cd /build/pakcs-2.1.1/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../pakcs_2.1.1-2_source.changes dpkg-buildpackage: info: source package pakcs dpkg-buildpackage: info: source version 2.1.1-2 dpkg-buildpackage: info: source distribution unstable @@ -550,11 +585,11 @@ rm -f debian/stamp-makefile-build debian/stamp-makefile-install /usr/bin/make -C . CFLAGS="-g -O2 -ffile-prefix-map=/build/pakcs-2.1.1=. -fstack-protector-strong -Wformat -Werror=format-security" CXXFLAGS="-g -O2 -ffile-prefix-map=/build/pakcs-2.1.1=. -fstack-protector-strong -Wformat -Werror=format-security" CPPFLAGS="-Wdate-time -D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-z,relro" -k cleanall make[1]: Entering directory '/build/pakcs-2.1.1' -/bin/sh: 1: git: not found +/bin/sh: git: command not found rm -f make.log /usr/bin/make cleantools make[2]: Entering directory '/build/pakcs-2.1.1' -/bin/sh: 1: git: not found +/bin/sh: git: command not found cd src && /usr/bin/make clean make[3]: Entering directory '/build/pakcs-2.1.1/src' rm -f /build/pakcs-2.1.1/bin/curry @@ -836,7 +871,7 @@ echo 'compilerMinorVersion(1).' >> /build/pakcs-2.1.1/src/pakcsversion.pl echo 'compilerRevisionVersion(1).' >> /build/pakcs-2.1.1/src/pakcsversion.pl echo 'buildVersion(0).' >> /build/pakcs-2.1.1/src/pakcsversion.pl -echo "buildDate('2021-12-08')." >> /build/pakcs-2.1.1/src/pakcsversion.pl +echo "buildDate('2023-01-11')." >> /build/pakcs-2.1.1/src/pakcsversion.pl echo "buildDir('/build/pakcs-2.1.1')." >> /build/pakcs-2.1.1/src/pakcsversion.pl echo "pkgInstallDir('/usr/lib/pakcs')." >> /build/pakcs-2.1.1/src/pakcsversion.pl echo "baseVersion('1.0.0')." >> /build/pakcs-2.1.1/src/pakcsversion.pl @@ -1462,10 +1497,10 @@ touch debian/stamp-makefile-build /usr/bin/make -C . CFLAGS="-g -O2 -ffile-prefix-map=/build/pakcs-2.1.1=. -fstack-protector-strong -Wformat -Werror=format-security" CXXFLAGS="-g -O2 -ffile-prefix-map=/build/pakcs-2.1.1=. -fstack-protector-strong -Wformat -Werror=format-security" CPPFLAGS="-Wdate-time -D_FORTIFY_SOURCE=2" LDFLAGS="-Wl,-z,relro" runtestverbose make[1]: Entering directory '/build/pakcs-2.1.1' -/bin/sh: 1: git: not found +/bin/sh: git: command not found /usr/bin/make runtest RUNTESTPARAMS=-v make[2]: Entering directory '/build/pakcs-2.1.1' -/bin/sh: 1: git: not found +/bin/sh: git: command not found Executable 'curry-check' is not installed! To run the tests, install it by > cypm install currycheck make[2]: Leaving directory '/build/pakcs-2.1.1' @@ -1540,119 +1575,119 @@ # remove superfluous LICENSE files find debian/pakcs/usr/lib/pakcs/currytools/ -type f -name LICENSE -delete cd /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/docs && tar --clamp-mtime --mtime="" --mode=go=rX,u+rw,a-s --sort=name -cv -v -z -f /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/curry-docs.tar.gz * && cd - 1>/dev/null -tar: Option --mtime: Treating date '' as 2021-12-08 00:00:00 --rw-r--r-- root/root 144 2019-02-10 21:47 README --rw-r--r-- root/root 9041 2019-02-10 21:47 flatcurry.dtd -drwxr-xr-x root/root 0 2019-02-10 21:47 src/ --rw-r--r-- root/root 1815 2019-02-10 21:47 src/Makefile --rw-r--r-- root/root 3243 2019-02-10 21:47 src/auxiliary_files.tex --rw-r--r-- root/root 350246 2019-02-10 21:47 src/currybrowser.eps --rw-r--r-- root/root 232934 2019-02-10 21:47 src/currytest.eps --rw-r--r-- root/root 1331 2019-02-10 21:47 src/distribution.tex --rwxr-xr-x root/root 1340 2019-02-10 21:47 src/downloaddoc.sh --rw-r--r-- root/root 9543 2019-02-10 21:47 src/extensions.tex --rw-r--r-- root/root 8795 2019-02-10 21:47 src/external_ops.tex --rw-r--r-- root/root 17661 2019-02-10 21:47 src/libraries.tex --rw-r--r-- root/root 16732 2019-02-10 21:47 src/manual.bib --rw-r--r-- root/root 5138 2019-02-10 21:47 src/manual.tex --rw-r--r-- root/root 5096 2019-02-10 21:47 src/markdown_syntax.txt --rw-r--r-- root/root 7635 2019-02-10 21:47 src/overview.tex --rw-r--r-- root/root 14030 2019-02-10 21:47 src/pakcs_overview.eps --rw-r--r-- root/root 2070 2019-02-10 21:47 src/pakcs_overview.fig --rw-r--r-- root/root 18441 2019-02-10 21:47 src/pakcs_overview.jpg --rw-r--r-- root/root 2581 2019-02-10 21:47 src/preface.tex --rw-r--r-- root/root 3358 2019-02-10 21:47 src/preprocessing.tex --rw-r--r-- root/root 3152 2019-02-10 21:47 src/problems.tex --rw-r--r-- root/root 2326 2019-02-10 21:47 src/syntax.sty --rw-r--r-- root/root 23254 2019-02-10 21:47 src/syntax.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/ --rw-r--r-- root/root 126 2019-02-10 21:47 src/tooldocs/README -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/casc/ --rw-r--r-- root/root 318 2019-02-10 21:47 src/tooldocs/casc/Makefile --rw-r--r-- root/root 411 2019-02-10 21:47 src/tooldocs/casc/README.txt --rw-r--r-- root/root 13309 2019-02-10 21:47 src/tooldocs/casc/curry-style-guide.md --rw-r--r-- root/root 1983 2019-02-10 21:47 src/tooldocs/casc/manual.tex --rw-r--r-- root/root 1684 2019-02-10 21:47 src/tooldocs/casc/style.html -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/cass/ --rw-r--r-- root/root 225 2019-02-10 21:47 src/tooldocs/cass/Demand.md --rw-r--r-- root/root 717 2019-02-10 21:47 src/tooldocs/cass/Deterministic.md --rw-r--r-- root/root 633 2019-02-10 21:47 src/tooldocs/cass/Functional.md --rw-r--r-- root/root 410 2019-02-10 21:47 src/tooldocs/cass/Groundness.md --rw-r--r-- root/root 226 2019-02-10 21:47 src/tooldocs/cass/HiOrderConstr.md --rw-r--r-- root/root 283 2019-02-10 21:47 src/tooldocs/cass/HiOrderFunc.md --rw-r--r-- root/root 212 2019-02-10 21:47 src/tooldocs/cass/HiOrderType.md --rw-r--r-- root/root 355 2019-02-10 21:47 src/tooldocs/cass/Indeterministic.md --rw-r--r-- root/root 679 2019-02-10 21:47 src/tooldocs/cass/NDEffect.md --rw-r--r-- root/root 1370 2019-02-10 21:47 src/tooldocs/cass/NonDetAllDeps.md --rw-r--r-- root/root 1554 2019-02-10 21:47 src/tooldocs/cass/NonDetDeps.md --rw-r--r-- root/root 417 2019-02-10 21:47 src/tooldocs/cass/Overlapping.md --rw-r--r-- root/root 845 2019-02-10 21:47 src/tooldocs/cass/PatComplete.md --rw-r--r-- root/root 704 2019-02-10 21:47 src/tooldocs/cass/Productive.md --rw-r--r-- root/root 265 2019-02-10 21:47 src/tooldocs/cass/README.txt --rw-r--r-- root/root 1181 2019-02-10 21:47 src/tooldocs/cass/RequiredValue.md --rw-r--r-- root/root 1135 2019-02-10 21:47 src/tooldocs/cass/RequiredValues.md --rw-r--r-- root/root 1280 2019-02-10 21:47 src/tooldocs/cass/Residuation.md --rw-r--r-- root/root 426 2019-02-10 21:47 src/tooldocs/cass/RightLinear.md --rw-r--r-- root/root 356 2019-02-10 21:47 src/tooldocs/cass/RootCyclic.md --rw-r--r-- root/root 468 2019-02-10 21:47 src/tooldocs/cass/RootReplaced.md --rw-r--r-- root/root 1288 2019-02-10 21:47 src/tooldocs/cass/SensibleType.md --rw-r--r-- root/root 337 2019-02-10 21:47 src/tooldocs/cass/SiblingCons.md --rw-r--r-- root/root 460 2019-02-10 21:47 src/tooldocs/cass/SolComplete.md --rw-r--r-- root/root 886 2019-02-10 21:47 src/tooldocs/cass/Terminating.md --rw-r--r-- root/root 336 2019-02-10 21:47 src/tooldocs/cass/Total.md --rw-r--r-- root/root 939 2019-02-10 21:47 src/tooldocs/cass/TypesInValues.md --rw-r--r-- root/root 488 2019-02-10 21:47 src/tooldocs/cass/UnsafeModule.md --rw-r--r-- root/root 1928 2019-02-10 21:47 src/tooldocs/cass/main.tex --rw-r--r-- root/root 15523 2019-02-10 21:47 src/tooldocs/cass/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/cpm/ --rw-r--r-- root/root 238 2019-02-10 21:47 src/tooldocs/cpm/README.txt --rw-r--r-- root/root 2459 2019-02-10 21:47 src/tooldocs/cpm/currysystem_manual.tex --rw-r--r-- root/root 60056 2019-02-10 21:47 src/tooldocs/cpm/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/currybrowse/ --rw-r--r-- root/root 147 2019-02-10 21:47 src/tooldocs/currybrowse/README.txt --rw-r--r-- root/root 132212 2019-02-10 21:47 src/tooldocs/currybrowse/currybrowser.jpg --rw-r--r-- root/root 5249 2019-02-10 21:47 src/tooldocs/currybrowse/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/currycheck/ --rw-r--r-- root/root 211 2019-02-10 21:47 src/tooldocs/currycheck/README.txt --rw-r--r-- root/root 3274 2019-02-10 21:47 src/tooldocs/currycheck/main.tex --rw-r--r-- root/root 30052 2019-02-10 21:47 src/tooldocs/currycheck/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/currydoc/ --rw-r--r-- root/root 147 2019-02-10 21:47 src/tooldocs/currydoc/README.txt --rw-r--r-- root/root 7721 2019-02-10 21:47 src/tooldocs/currydoc/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/currypp/ --rw-r--r-- root/root 303 2019-02-10 21:47 src/tooldocs/currypp/README.txt --rw-r--r-- root/root 11649 2019-02-10 21:47 src/tooldocs/currypp/diagram.pdf --rw-r--r-- root/root 3672 2019-02-10 21:47 src/tooldocs/currypp/main.tex --rw-r--r-- root/root 28429 2019-02-10 21:47 src/tooldocs/currypp/manual.tex --rw-r--r-- root/root 7586 2019-02-10 21:47 src/tooldocs/currypp/sqlsyntax.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/ertools/ --rw-r--r-- root/root 147 2019-02-10 21:47 src/tooldocs/ertools/README.txt --rw-r--r-- root/root 4496 2019-02-10 21:47 src/tooldocs/ertools/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/peval/ --rw-r--r-- root/root 200 2019-02-10 21:47 src/tooldocs/peval/README.md --rw-r--r-- root/root 1480 2019-02-10 21:47 src/tooldocs/peval/manual.bib --rw-r--r-- root/root 7788 2019-02-10 21:47 src/tooldocs/peval/manual.tex --rw-r--r-- root/root 3665 2019-02-10 21:47 src/tooldocs/peval/structure.dot --rw-r--r-- root/root 1757 2019-02-10 21:47 src/tooldocs/peval/todo.md -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/runcurry/ --rw-r--r-- root/root 160 2019-02-10 21:47 src/tooldocs/runcurry/README.txt --rw-r--r-- root/root 4602 2019-02-10 21:47 src/tooldocs/runcurry/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/spicey/ --rw-r--r-- root/root 201 2019-02-10 21:47 src/tooldocs/spicey/README.txt --rw-r--r-- root/root 2624 2019-02-10 21:47 src/tooldocs/spicey/main.tex --rw-r--r-- root/root 4719 2019-02-10 21:47 src/tooldocs/spicey/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/transbooleq/ --rw-r--r-- root/root 159 2019-02-10 21:47 src/tooldocs/transbooleq/README.txt --rw-r--r-- root/root 2877 2019-02-10 21:47 src/tooldocs/transbooleq/manual.tex -drwxr-xr-x root/root 0 2019-02-10 21:47 src/tooldocs/verify/ --rw-r--r-- root/root 233 2019-02-10 21:47 src/tooldocs/verify/Double.curry --rw-r--r-- root/root 1281 2019-02-10 21:47 src/tooldocs/verify/PROOF-evendoublecoin.agda --rw-r--r-- root/root 207 2019-02-10 21:47 src/tooldocs/verify/README.txt --rw-r--r-- root/root 923 2019-02-10 21:47 src/tooldocs/verify/TO-PROVE-evendoublecoin.agda --rw-r--r-- root/root 2153 2019-02-10 21:47 src/tooldocs/verify/main.tex --rw-r--r-- root/root 8636 2019-02-10 21:47 src/tooldocs/verify/manual.tex --rw-r--r-- root/root 1250 2019-02-10 21:47 src/ui.tex --rw-r--r-- root/root 25630 2019-02-10 21:47 src/usage.tex +tar: Option --mtime: Treating date '' as 2023-01-11 00:00:00 +-rw-r--r-- root/root 144 2019-02-11 23:47 README +-rw-r--r-- root/root 9041 2019-02-11 23:47 flatcurry.dtd +drwxr-xr-x root/root 0 2019-02-11 23:47 src/ +-rw-r--r-- root/root 1815 2019-02-11 23:47 src/Makefile +-rw-r--r-- root/root 3243 2019-02-11 23:47 src/auxiliary_files.tex +-rw-r--r-- root/root 350246 2019-02-11 23:47 src/currybrowser.eps +-rw-r--r-- root/root 232934 2019-02-11 23:47 src/currytest.eps +-rw-r--r-- root/root 1331 2019-02-11 23:47 src/distribution.tex +-rwxr-xr-x root/root 1340 2019-02-11 23:47 src/downloaddoc.sh +-rw-r--r-- root/root 9543 2019-02-11 23:47 src/extensions.tex +-rw-r--r-- root/root 8795 2019-02-11 23:47 src/external_ops.tex +-rw-r--r-- root/root 17661 2019-02-11 23:47 src/libraries.tex +-rw-r--r-- root/root 16732 2019-02-11 23:47 src/manual.bib +-rw-r--r-- root/root 5138 2019-02-11 23:47 src/manual.tex +-rw-r--r-- root/root 5096 2019-02-11 23:47 src/markdown_syntax.txt +-rw-r--r-- root/root 7635 2019-02-11 23:47 src/overview.tex +-rw-r--r-- root/root 14030 2019-02-11 23:47 src/pakcs_overview.eps +-rw-r--r-- root/root 2070 2019-02-11 23:47 src/pakcs_overview.fig +-rw-r--r-- root/root 18441 2019-02-11 23:47 src/pakcs_overview.jpg +-rw-r--r-- root/root 2581 2019-02-11 23:47 src/preface.tex +-rw-r--r-- root/root 3358 2019-02-11 23:47 src/preprocessing.tex +-rw-r--r-- root/root 3152 2019-02-11 23:47 src/problems.tex +-rw-r--r-- root/root 2326 2019-02-11 23:47 src/syntax.sty +-rw-r--r-- root/root 23254 2019-02-11 23:47 src/syntax.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/ +-rw-r--r-- root/root 126 2019-02-11 23:47 src/tooldocs/README +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/casc/ +-rw-r--r-- root/root 318 2019-02-11 23:47 src/tooldocs/casc/Makefile +-rw-r--r-- root/root 411 2019-02-11 23:47 src/tooldocs/casc/README.txt +-rw-r--r-- root/root 13309 2019-02-11 23:47 src/tooldocs/casc/curry-style-guide.md +-rw-r--r-- root/root 1983 2019-02-11 23:47 src/tooldocs/casc/manual.tex +-rw-r--r-- root/root 1684 2019-02-11 23:47 src/tooldocs/casc/style.html +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/cass/ +-rw-r--r-- root/root 225 2019-02-11 23:47 src/tooldocs/cass/Demand.md +-rw-r--r-- root/root 717 2019-02-11 23:47 src/tooldocs/cass/Deterministic.md +-rw-r--r-- root/root 633 2019-02-11 23:47 src/tooldocs/cass/Functional.md +-rw-r--r-- root/root 410 2019-02-11 23:47 src/tooldocs/cass/Groundness.md +-rw-r--r-- root/root 226 2019-02-11 23:47 src/tooldocs/cass/HiOrderConstr.md +-rw-r--r-- root/root 283 2019-02-11 23:47 src/tooldocs/cass/HiOrderFunc.md +-rw-r--r-- root/root 212 2019-02-11 23:47 src/tooldocs/cass/HiOrderType.md +-rw-r--r-- root/root 355 2019-02-11 23:47 src/tooldocs/cass/Indeterministic.md +-rw-r--r-- root/root 679 2019-02-11 23:47 src/tooldocs/cass/NDEffect.md +-rw-r--r-- root/root 1370 2019-02-11 23:47 src/tooldocs/cass/NonDetAllDeps.md +-rw-r--r-- root/root 1554 2019-02-11 23:47 src/tooldocs/cass/NonDetDeps.md +-rw-r--r-- root/root 417 2019-02-11 23:47 src/tooldocs/cass/Overlapping.md +-rw-r--r-- root/root 845 2019-02-11 23:47 src/tooldocs/cass/PatComplete.md +-rw-r--r-- root/root 704 2019-02-11 23:47 src/tooldocs/cass/Productive.md +-rw-r--r-- root/root 265 2019-02-11 23:47 src/tooldocs/cass/README.txt +-rw-r--r-- root/root 1181 2019-02-11 23:47 src/tooldocs/cass/RequiredValue.md +-rw-r--r-- root/root 1135 2019-02-11 23:47 src/tooldocs/cass/RequiredValues.md +-rw-r--r-- root/root 1280 2019-02-11 23:47 src/tooldocs/cass/Residuation.md +-rw-r--r-- root/root 426 2019-02-11 23:47 src/tooldocs/cass/RightLinear.md +-rw-r--r-- root/root 356 2019-02-11 23:47 src/tooldocs/cass/RootCyclic.md +-rw-r--r-- root/root 468 2019-02-11 23:47 src/tooldocs/cass/RootReplaced.md +-rw-r--r-- root/root 1288 2019-02-11 23:47 src/tooldocs/cass/SensibleType.md +-rw-r--r-- root/root 337 2019-02-11 23:47 src/tooldocs/cass/SiblingCons.md +-rw-r--r-- root/root 460 2019-02-11 23:47 src/tooldocs/cass/SolComplete.md +-rw-r--r-- root/root 886 2019-02-11 23:47 src/tooldocs/cass/Terminating.md +-rw-r--r-- root/root 336 2019-02-11 23:47 src/tooldocs/cass/Total.md +-rw-r--r-- root/root 939 2019-02-11 23:47 src/tooldocs/cass/TypesInValues.md +-rw-r--r-- root/root 488 2019-02-11 23:47 src/tooldocs/cass/UnsafeModule.md +-rw-r--r-- root/root 1928 2019-02-11 23:47 src/tooldocs/cass/main.tex +-rw-r--r-- root/root 15523 2019-02-11 23:47 src/tooldocs/cass/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/cpm/ +-rw-r--r-- root/root 238 2019-02-11 23:47 src/tooldocs/cpm/README.txt +-rw-r--r-- root/root 2459 2019-02-11 23:47 src/tooldocs/cpm/currysystem_manual.tex +-rw-r--r-- root/root 60056 2019-02-11 23:47 src/tooldocs/cpm/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/currybrowse/ +-rw-r--r-- root/root 147 2019-02-11 23:47 src/tooldocs/currybrowse/README.txt +-rw-r--r-- root/root 132212 2019-02-11 23:47 src/tooldocs/currybrowse/currybrowser.jpg +-rw-r--r-- root/root 5249 2019-02-11 23:47 src/tooldocs/currybrowse/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/currycheck/ +-rw-r--r-- root/root 211 2019-02-11 23:47 src/tooldocs/currycheck/README.txt +-rw-r--r-- root/root 3274 2019-02-11 23:47 src/tooldocs/currycheck/main.tex +-rw-r--r-- root/root 30052 2019-02-11 23:47 src/tooldocs/currycheck/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/currydoc/ +-rw-r--r-- root/root 147 2019-02-11 23:47 src/tooldocs/currydoc/README.txt +-rw-r--r-- root/root 7721 2019-02-11 23:47 src/tooldocs/currydoc/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/currypp/ +-rw-r--r-- root/root 303 2019-02-11 23:47 src/tooldocs/currypp/README.txt +-rw-r--r-- root/root 11649 2019-02-11 23:47 src/tooldocs/currypp/diagram.pdf +-rw-r--r-- root/root 3672 2019-02-11 23:47 src/tooldocs/currypp/main.tex +-rw-r--r-- root/root 28429 2019-02-11 23:47 src/tooldocs/currypp/manual.tex +-rw-r--r-- root/root 7586 2019-02-11 23:47 src/tooldocs/currypp/sqlsyntax.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/ertools/ +-rw-r--r-- root/root 147 2019-02-11 23:47 src/tooldocs/ertools/README.txt +-rw-r--r-- root/root 4496 2019-02-11 23:47 src/tooldocs/ertools/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/peval/ +-rw-r--r-- root/root 200 2019-02-11 23:47 src/tooldocs/peval/README.md +-rw-r--r-- root/root 1480 2019-02-11 23:47 src/tooldocs/peval/manual.bib +-rw-r--r-- root/root 7788 2019-02-11 23:47 src/tooldocs/peval/manual.tex +-rw-r--r-- root/root 3665 2019-02-11 23:47 src/tooldocs/peval/structure.dot +-rw-r--r-- root/root 1757 2019-02-11 23:47 src/tooldocs/peval/todo.md +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/runcurry/ +-rw-r--r-- root/root 160 2019-02-11 23:47 src/tooldocs/runcurry/README.txt +-rw-r--r-- root/root 4602 2019-02-11 23:47 src/tooldocs/runcurry/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/spicey/ +-rw-r--r-- root/root 201 2019-02-11 23:47 src/tooldocs/spicey/README.txt +-rw-r--r-- root/root 2624 2019-02-11 23:47 src/tooldocs/spicey/main.tex +-rw-r--r-- root/root 4719 2019-02-11 23:47 src/tooldocs/spicey/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/transbooleq/ +-rw-r--r-- root/root 159 2019-02-11 23:47 src/tooldocs/transbooleq/README.txt +-rw-r--r-- root/root 2877 2019-02-11 23:47 src/tooldocs/transbooleq/manual.tex +drwxr-xr-x root/root 0 2019-02-11 23:47 src/tooldocs/verify/ +-rw-r--r-- root/root 233 2019-02-11 23:47 src/tooldocs/verify/Double.curry +-rw-r--r-- root/root 1281 2019-02-11 23:47 src/tooldocs/verify/PROOF-evendoublecoin.agda +-rw-r--r-- root/root 207 2019-02-11 23:47 src/tooldocs/verify/README.txt +-rw-r--r-- root/root 923 2019-02-11 23:47 src/tooldocs/verify/TO-PROVE-evendoublecoin.agda +-rw-r--r-- root/root 2153 2019-02-11 23:47 src/tooldocs/verify/main.tex +-rw-r--r-- root/root 8636 2019-02-11 23:47 src/tooldocs/verify/manual.tex +-rw-r--r-- root/root 1250 2019-02-11 23:47 src/ui.tex +-rw-r--r-- root/root 25630 2019-02-11 23:47 src/usage.tex rm -Rv debian/pakcs/usr/share/doc/pakcs/docs/ removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/usage.tex' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/ui.tex' @@ -1785,8 +1820,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/README.md @@ -1824,8 +1859,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/abstract-curry/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/abstract-curry/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/abstract-curry/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/abstract-curry/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/abstract-curry/README.md @@ -1837,8 +1872,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/boxes/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/boxes/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/boxes/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/boxes/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/boxes/README.md @@ -1850,8 +1885,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass-analysis/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass-analysis/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass-analysis/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass-analysis/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass-analysis/README.md @@ -1863,8 +1898,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/README.md @@ -1876,8 +1911,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Demand.md -++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Demand.md ++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ +++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Demand.md + _relative_file_path=currytools/cpm/vendor/cass/docs/Demand.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Demand.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Demand.md @@ -1902,8 +1937,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Functional.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Functional.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/Functional.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Functional.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Functional.md @@ -1915,8 +1950,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Groundness.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Groundness.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/Groundness.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Groundness.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Groundness.md @@ -1928,8 +1963,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/HiOrderConstr.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/HiOrderConstr.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/HiOrderConstr.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/HiOrderConstr.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/HiOrderConstr.md @@ -2019,8 +2054,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Overlapping.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Overlapping.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/Overlapping.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Overlapping.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Overlapping.md @@ -2032,8 +2067,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/PatComplete.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/PatComplete.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/PatComplete.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/PatComplete.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/PatComplete.md @@ -2058,8 +2093,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/README.txt -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/README.txt +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/README.txt + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/README.txt ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/README.txt @@ -2071,8 +2106,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/RequiredValue.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/RequiredValue.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/RequiredValue.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RequiredValue.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RequiredValue.md @@ -2084,8 +2119,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/RequiredValues.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/RequiredValues.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/RequiredValues.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RequiredValues.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RequiredValues.md @@ -2097,8 +2132,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Residuation.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/Residuation.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/Residuation.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Residuation.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Residuation.md @@ -2123,8 +2158,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/RootCyclic.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/RootCyclic.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/RootCyclic.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RootCyclic.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RootCyclic.md @@ -2136,8 +2171,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/RootReplaced.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/RootReplaced.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/RootReplaced.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RootReplaced.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RootReplaced.md @@ -2227,8 +2262,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/UnsafeModule.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cass/docs/UnsafeModule.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cass/docs/UnsafeModule.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/UnsafeModule.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/UnsafeModule.md @@ -2240,8 +2275,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cdbi/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/cdbi/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/cdbi/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cdbi/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cdbi/README.md @@ -2305,8 +2340,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/finite-map/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/finite-map/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/finite-map/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/finite-map/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/finite-map/README.md @@ -2318,8 +2353,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/flatcurry/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/flatcurry/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/flatcurry/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/flatcurry/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/flatcurry/README.md @@ -2344,8 +2379,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/json/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/json/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/json/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/json/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/json/README.md @@ -2435,8 +2470,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/scc/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/scc/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/scc/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/scc/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/scc/README.md @@ -2461,8 +2496,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/wl-pprint/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/wl-pprint/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/wl-pprint/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/wl-pprint/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/wl-pprint/README.md @@ -2474,8 +2509,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/xml/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/cpm/vendor/xml/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/cpm/vendor/xml/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/xml/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/xml/README.md @@ -2487,8 +2522,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass-analysis/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass-analysis/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass-analysis/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass-analysis/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass-analysis/README.md @@ -2513,8 +2548,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/Demand.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/Demand.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/Demand.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Demand.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Demand.md @@ -2630,8 +2665,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetAllDeps.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetAllDeps.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/NonDetAllDeps.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetAllDeps.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetAllDeps.md @@ -2643,8 +2678,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md -++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md ++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ +++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md @@ -2669,8 +2704,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/PatComplete.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/PatComplete.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/PatComplete.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/PatComplete.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/PatComplete.md @@ -2682,8 +2717,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/Productive.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/Productive.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/Productive.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Productive.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Productive.md @@ -2695,8 +2730,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/README.txt -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/README.txt +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/README.txt + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/README.txt ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/README.txt @@ -2708,8 +2743,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md @@ -2734,8 +2769,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/Residuation.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/Residuation.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/Residuation.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Residuation.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Residuation.md @@ -2773,8 +2808,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md @@ -2786,8 +2821,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/SensibleType.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/SensibleType.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/SensibleType.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SensibleType.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SensibleType.md @@ -2799,8 +2834,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md @@ -2838,8 +2873,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/Total.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/cass/docs/Total.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/cass/docs/Total.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Total.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Total.md @@ -2890,8 +2925,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/currypath/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/currypath/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/currypath/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/currypath/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/currypath/README.md @@ -2903,8 +2938,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/finite-map/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/finite-map/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/finite-map/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/finite-map/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/finite-map/README.md @@ -2916,8 +2951,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/flatcurry/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/flatcurry/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/flatcurry/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/flatcurry/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/flatcurry/README.md @@ -2942,8 +2977,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/propertyfile/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/propertyfile/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/propertyfile/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/propertyfile/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/propertyfile/README.md @@ -2955,8 +2990,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/queue/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/queue/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/queue/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/queue/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/queue/README.md @@ -2968,8 +3003,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/random/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/random/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/random/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/random/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/random/README.md @@ -2981,8 +3016,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/redblacktree/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/redblacktree/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/redblacktree/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/redblacktree/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/redblacktree/README.md @@ -3020,8 +3055,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/wl-pprint/README.md -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/.cpm/packages/wl-pprint/README.md +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/.cpm/packages/wl-pprint/README.md + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/wl-pprint/README.md ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/wl-pprint/README.md @@ -3046,8 +3081,8 @@ + DOCS_BASE=usr/share/doc/pakcs + DPKG_INST_BASE=debian/pakcs + SRC_FILE=debian/pakcs/usr/lib/pakcs/currytools/optimize/README.txt -++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ ++ echo debian/pakcs/usr/lib/pakcs/currytools/optimize/README.txt +++ sed -e s@debian/pakcs/usr/lib/pakcs/@@ + _relative_file_path=currytools/optimize/README.txt + DST_FILE=debian/pakcs/usr/share/doc/pakcs/currytools/optimize/README.txt ++ dirname debian/pakcs/usr/share/doc/pakcs/currytools/optimize/README.txt @@ -3240,12 +3275,14 @@ dpkg-buildpackage: info: binary-only upload (no source included) dpkg-genchanges: info: not including original source code in upload I: copying local configuration +I: user script /srv/workspace/pbuilder/3400231/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/3400231/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/1981311 and its subdirectories -I: Current time: Wed Dec 8 03:17:40 -12 2021 -I: pbuilder-time-stamp: 1638976660 +I: removing directory /srv/workspace/pbuilder/3400231 and its subdirectories +I: Current time: Wed Jan 11 11:53:05 +14 2023 +I: pbuilder-time-stamp: 1673387585