Diff of the two buildlogs: -- --- b1/build.log 2020-04-04 03:01:30.433479723 +0000 +++ b2/build.log 2020-04-04 03:14:31.002250763 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Thu May 6 21:19:38 -12 2021 -I: pbuilder-time-stamp: 1620379178 +I: Current time: Sat Apr 4 17:01:33 +14 2020 +I: pbuilder-time-stamp: 1585969293 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -18,7 +18,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 @@ -30,6 +30,18 @@ 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/26033/tmp/hooks/D01_modify_environment starting +disorder-fs debug: Running on profitbricks-build2-i386. +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/26033/tmp/hooks/D01_modify_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -145,7 +157,7 @@ Get: 58 http://deb.debian.org/debian buster/main i386 sqlite3 i386 3.27.2-3 [1031 kB] Get: 59 http://deb.debian.org/debian buster/main i386 swi-prolog-nox i386 8.0.2+dfsg-3+deb10u1 [3787 kB] Get: 60 http://deb.debian.org/debian buster/main i386 symlinks i386 1.4-3+b1 [11.6 kB] -Fetched 30.6 MB in 0s (65.1 MB/s) +Fetched 30.6 MB in 24s (1302 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:i386. (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 ... 19231 files and directories currently installed.) @@ -409,7 +421,7 @@ 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 +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 dpkg-buildpackage: info: source package pakcs dpkg-buildpackage: info: source version 2.1.1-2 dpkg-buildpackage: info: source distribution unstable @@ -421,11 +433,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 @@ -520,7 +532,7 @@ make[4]: Leaving directory '/build/pakcs-2.1.1/scripts' make[4]: Entering directory '/build/pakcs-2.1.1/debian/build/curry-libs' mkdir -p /build/pakcs-2.1.1/lib -cd /build/pakcs-2.1.1/lib && /usr/bin/make -f /build/pakcs-2.1.1/debian/build/curry-libs/Makefile_pakcs_install Test Test/Prop Char.curry Debug.curry Either.curry ErrorState.curry FileGoodies.curry FilePath.curry Function.curry FunctionInversion.curry GetOpt.curry Integer.curry List.curry Maybe.curry Read.curry ReadNumeric.curry ShowS.curry Sort.curry State.curry Test/Prop.curry Test/Prop/Types.curry Directory.curry Distribution.curry Float.curry Global.curry IO.curry IOExts.curry Prelude.curry ReadShowTerm.curry System.curry Time.curry Unsafe.curry /build/pakcs-2.1.1/lib/Makefile /build/pakcs-2.1.1/lib/VERSION /build/pakcs-2.1.1/lib/test.sh +cd /build/pakcs-2.1.1/lib && /usr/bin/make -f /build/pakcs-2.1.1/debian/build/curry-libs/Makefile_pakcs_install Test Test/Prop Char.curry Debug.curry Either.curry ErrorState.curry FileGoodies.curry FilePath.curry Function.curry FunctionInversion.curry GetOpt.curry Integer.curry List.curry Maybe.curry Read.curry ReadNumeric.curry ShowS.curry Sort.curry State.curry Test/Prop/Types.curry Test/Prop.curry Directory.curry Distribution.curry Float.curry Global.curry IO.curry IOExts.curry Prelude.curry ReadShowTerm.curry System.curry Time.curry Unsafe.curry /build/pakcs-2.1.1/lib/Makefile /build/pakcs-2.1.1/lib/VERSION /build/pakcs-2.1.1/lib/test.sh make[5]: Entering directory '/build/pakcs-2.1.1/lib' mkdir -p Test mkdir -p Test/Prop @@ -541,8 +553,8 @@ cp /build/pakcs-2.1.1/debian/build/curry-libs/ShowS.curry ShowS.curry cp /build/pakcs-2.1.1/debian/build/curry-libs/Sort.curry Sort.curry cp /build/pakcs-2.1.1/debian/build/curry-libs/State.curry State.curry -cp /build/pakcs-2.1.1/debian/build/curry-libs/Test/Prop.curry Test/Prop.curry cp /build/pakcs-2.1.1/debian/build/curry-libs/Test/Prop/Types.curry Test/Prop/Types.curry +cp /build/pakcs-2.1.1/debian/build/curry-libs/Test/Prop.curry Test/Prop.curry cp /build/pakcs-2.1.1/debian/build/curry-libs/Directory.pakcs Directory.pakcs cp /build/pakcs-2.1.1/debian/build/curry-libs/Directory.curry Directory.curry cp /build/pakcs-2.1.1/debian/build/curry-libs/Distribution.pakcs Distribution.pakcs @@ -706,7 +718,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-05-06')." >> /build/pakcs-2.1.1/src/pakcsversion.pl +echo "buildDate('2020-04-04')." >> /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 @@ -1119,7 +1131,7 @@ # prepare for separate compilation: compile all libraries to Prolog make[4]: Entering directory '/build/pakcs-2.1.1/lib' rm -f AllLibraries.curry -for i in Char Debug Directory Distribution Either ErrorState FileGoodies FilePath Float Function FunctionInversion GetOpt Global IO IOExts Integer List Maybe Read ReadNumeric ReadShowTerm ShowS Sort State System Test.Prop Test.Prop.Types Time Unsafe ; do echo "import $i" >> AllLibraries.curry ; done +for i in Char Debug Directory Distribution Either ErrorState FileGoodies FilePath Float Function FunctionInversion GetOpt Global IO IOExts Integer List Maybe Read ReadNumeric ReadShowTerm ShowS Sort State System Test.Prop.Types Test.Prop Time Unsafe ; do echo "import $i" >> AllLibraries.curry ; done "/build/pakcs-2.1.1/bin/pakcs-frontend" --flat --extended -Wnone -i. AllLibraries -D__PAKCS__=201 [ 1 of 31] Skipping Prelude ( Prelude.curry, .curry/Prelude.fcy ) [ 2 of 31] Skipping Char ( Char.curry, .curry/Char.fcy ) @@ -1409,232 +1421,232 @@ # 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-05-06 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 2020-04-04 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/pakcs_overview.eps' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/flatcurry.dtd' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/README' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/libraries.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/currybrowser.eps' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/external_ops.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/currytest.eps' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/spicey/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/spicey/main.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/spicey/manual.tex' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/spicey' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currybrowse/currybrowser.jpg' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currybrowse/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currybrowse/manual.tex' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currybrowse' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/diagram.pdf' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/main.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/sqlsyntax.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/manual.tex' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/todo.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/manual.bib' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/structure.dot' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/manual.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/README.md' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/runcurry/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/runcurry/manual.tex' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/runcurry' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currycheck/README.txt' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/ui.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/syntax.tex' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currycheck/main.tex' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currycheck/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currycheck/README.txt' removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currycheck' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/curry-style-guide.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/Makefile' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/manual.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/style.html' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currydoc/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currydoc/manual.tex' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currydoc' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/README' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currybrowse/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currybrowse/currybrowser.jpg' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currybrowse/README.txt' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currybrowse' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/NDEffect.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Productive.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Functional.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/RootReplaced.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Residuation.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/main.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/TypesInValues.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Total.md' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Overlapping.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/PatComplete.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/HiOrderType.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Terminating.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Demand.md' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/SolComplete.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Groundness.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/HiOrderConstr.md' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/NonDetAllDeps.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/RequiredValues.md' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Indeterministic.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/TypesInValues.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/RequiredValue.md' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Deterministic.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/UnsafeModule.md' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/RootCyclic.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Demand.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/HiOrderType.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Functional.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Groundness.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/RequiredValues.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/main.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Total.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/NDEffect.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/RootReplaced.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/NonDetDeps.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/HiOrderFunc.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/HiOrderConstr.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/SiblingCons.md' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/RightLinear.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/manual.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Productive.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/SiblingCons.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/PatComplete.md' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/SensibleType.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/UnsafeModule.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Residuation.md' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/Terminating.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/NonDetDeps.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/HiOrderFunc.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/README.txt' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass/RequiredValue.md' removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cass' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/ertools/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/ertools/manual.tex' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/ertools' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/TO-PROVE-evendoublecoin.agda' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/PROOF-evendoublecoin.agda' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/Double.curry' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/main.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/manual.tex' -removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cpm/README.txt' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cpm/currysystem_manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/README.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/structure.dot' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/todo.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval/manual.bib' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/peval' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/style.html' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/Makefile' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/curry-style-guide.md' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc/README.txt' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/casc' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cpm/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cpm/currysystem_manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cpm/README.txt' removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/cpm' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/transbooleq/README.txt' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currydoc/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currydoc/README.txt' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currydoc' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/main.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/sqlsyntax.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/diagram.pdf' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp/README.txt' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/currypp' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/README' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/transbooleq/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/transbooleq/README.txt' removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/transbooleq' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/Double.curry' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/main.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/PROOF-evendoublecoin.agda' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/TO-PROVE-evendoublecoin.agda' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify/README.txt' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/verify' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/ertools/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/ertools/README.txt' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/ertools' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/runcurry/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/runcurry/README.txt' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/runcurry' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/spicey/main.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/spicey/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/spicey/README.txt' +removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs/spicey' removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src/tooldocs' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/syntax.sty' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/pakcs_overview.fig' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/pakcs_overview.eps' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/currybrowser.eps' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/pakcs_overview.jpg' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/auxiliary_files.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/manual.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/external_ops.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/distribution.tex' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/preprocessing.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/ui.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/preface.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/overview.tex' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/manual.bib' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/markdown_syntax.txt' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/Makefile' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/pakcs_overview.jpg' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/overview.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/downloaddoc.sh' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/manual.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/auxiliary_files.tex' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/problems.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/markdown_syntax.txt' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/usage.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/distribution.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/syntax.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/downloaddoc.sh' removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/extensions.tex' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/preface.tex' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/currytest.eps' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/syntax.sty' +removed 'debian/pakcs/usr/share/doc/pakcs/docs/src/pakcs_overview.fig' removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/src' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/README' -removed 'debian/pakcs/usr/share/doc/pakcs/docs/flatcurry.dtd' removed directory 'debian/pakcs/usr/share/doc/pakcs/docs/' debian/move2docs_and_symlink.sh usr/lib/pakcs/currytools/README.md + LIBS_BASE=usr/lib/pakcs @@ -2824,8 +2836,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 -++ echo 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 + _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 @@ -3003,92 +3015,92 @@ Now making symbolic links. creating Making 43 links. symlinks -rc "/build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/" -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/socket/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/socket/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/socket/README.md -> ../../../../cpm/vendor/socket/README.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/frontend-exec/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/frontend-exec/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/frontend-exec/README.md -> ../../../../cpm/vendor/frontend-exec/README.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/scc/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/scc/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/scc/README.md -> ../../../../cpm/vendor/scc/README.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/propertyfile/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/propertyfile/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/propertyfile/README.md -> ../../../../cpm/vendor/propertyfile/README.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/finite-map/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/finite-map/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/finite-map/README.md -> ../../../../cpm/vendor/finite-map/README.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/xml/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/xml/README.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/xml/README.md -> ../../../../cpm/vendor/xml/README.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/flatcurry/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/flatcurry/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/flatcurry/README.md -> ../../../../cpm/vendor/flatcurry/README.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/wl-pprint/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/wl-pprint/README.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/wl-pprint/README.md -> ../../../../cpm/vendor/wl-pprint/README.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/redblacktree/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/redblacktree/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/redblacktree/README.md -> ../../../../cpm/vendor/redblacktree/README.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/currypath/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/currypath/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/currypath/README.md -> ../../../../cpm/vendor/currypath/README.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/csv/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/csv/README.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/csv/README.md -> ../../../../cpm/vendor/csv/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/frontend-exec/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/frontend-exec/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/frontend-exec/README.md -> ../../../../cpm/vendor/frontend-exec/README.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/README.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/README.md -> ../../../../cpm/vendor/cass/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NDEffect.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/NDEffect.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NDEffect.md -> ../../../../../cpm/vendor/cass/docs/NDEffect.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Productive.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Productive.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Productive.md -> ../../../../../cpm/vendor/cass/docs/Productive.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Functional.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Functional.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Functional.md -> ../../../../../cpm/vendor/cass/docs/Functional.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RootReplaced.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md -> ../../../../../cpm/vendor/cass/docs/RootReplaced.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Residuation.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Residuation.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Residuation.md -> ../../../../../cpm/vendor/cass/docs/Residuation.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/TypesInValues.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/TypesInValues.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/TypesInValues.md -> ../../../../../cpm/vendor/cass/docs/TypesInValues.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Total.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Total.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Total.md -> ../../../../../cpm/vendor/cass/docs/Total.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Overlapping.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Overlapping.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Overlapping.md -> ../../../../../cpm/vendor/cass/docs/Overlapping.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/PatComplete.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/PatComplete.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/PatComplete.md -> ../../../../../cpm/vendor/cass/docs/PatComplete.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderType.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/HiOrderType.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderType.md -> ../../../../../cpm/vendor/cass/docs/HiOrderType.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Terminating.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Terminating.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Terminating.md -> ../../../../../cpm/vendor/cass/docs/Terminating.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Demand.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Demand.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Demand.md -> ../../../../../cpm/vendor/cass/docs/Demand.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SolComplete.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/SolComplete.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SolComplete.md -> ../../../../../cpm/vendor/cass/docs/SolComplete.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Groundness.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Groundness.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Groundness.md -> ../../../../../cpm/vendor/cass/docs/Groundness.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderConstr.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/HiOrderConstr.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderConstr.md -> ../../../../../cpm/vendor/cass/docs/HiOrderConstr.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetAllDeps.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/NonDetAllDeps.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetAllDeps.md -> ../../../../../cpm/vendor/cass/docs/NonDetAllDeps.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValues.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RequiredValues.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValues.md -> ../../../../../cpm/vendor/cass/docs/RequiredValues.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Indeterministic.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Indeterministic.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Indeterministic.md -> ../../../../../cpm/vendor/cass/docs/Indeterministic.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/TypesInValues.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/TypesInValues.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/TypesInValues.md -> ../../../../../cpm/vendor/cass/docs/TypesInValues.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RequiredValue.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md -> ../../../../../cpm/vendor/cass/docs/RequiredValue.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Deterministic.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Deterministic.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Deterministic.md -> ../../../../../cpm/vendor/cass/docs/Deterministic.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/UnsafeModule.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/UnsafeModule.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/UnsafeModule.md -> ../../../../../cpm/vendor/cass/docs/UnsafeModule.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootCyclic.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RootCyclic.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootCyclic.md -> ../../../../../cpm/vendor/cass/docs/RootCyclic.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Demand.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Demand.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Demand.md -> ../../../../../cpm/vendor/cass/docs/Demand.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderType.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/HiOrderType.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderType.md -> ../../../../../cpm/vendor/cass/docs/HiOrderType.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Functional.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Functional.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Functional.md -> ../../../../../cpm/vendor/cass/docs/Functional.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/README.txt -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/README.txt -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/README.txt -> ../../../../../cpm/vendor/cass/docs/README.txt -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Groundness.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Groundness.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Groundness.md -> ../../../../../cpm/vendor/cass/docs/Groundness.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValues.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RequiredValues.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValues.md -> ../../../../../cpm/vendor/cass/docs/RequiredValues.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Total.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Total.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Total.md -> ../../../../../cpm/vendor/cass/docs/Total.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NDEffect.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/NDEffect.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NDEffect.md -> ../../../../../cpm/vendor/cass/docs/NDEffect.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RootReplaced.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RootReplaced.md -> ../../../../../cpm/vendor/cass/docs/RootReplaced.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/NonDetDeps.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md -> ../../../../../cpm/vendor/cass/docs/NonDetDeps.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderFunc.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/HiOrderFunc.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderFunc.md -> ../../../../../cpm/vendor/cass/docs/HiOrderFunc.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderConstr.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/HiOrderConstr.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderConstr.md -> ../../../../../cpm/vendor/cass/docs/HiOrderConstr.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/SiblingCons.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md -> ../../../../../cpm/vendor/cass/docs/SiblingCons.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RightLinear.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RightLinear.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RightLinear.md -> ../../../../../cpm/vendor/cass/docs/RightLinear.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Productive.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Productive.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Productive.md -> ../../../../../cpm/vendor/cass/docs/Productive.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/SiblingCons.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SiblingCons.md -> ../../../../../cpm/vendor/cass/docs/SiblingCons.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/PatComplete.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/PatComplete.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/PatComplete.md -> ../../../../../cpm/vendor/cass/docs/PatComplete.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SensibleType.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/SensibleType.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/SensibleType.md -> ../../../../../cpm/vendor/cass/docs/SensibleType.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/UnsafeModule.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/UnsafeModule.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/UnsafeModule.md -> ../../../../../cpm/vendor/cass/docs/UnsafeModule.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Residuation.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Residuation.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Residuation.md -> ../../../../../cpm/vendor/cass/docs/Residuation.md -absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Terminating.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/Terminating.md -changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/Terminating.md -> ../../../../../cpm/vendor/cass/docs/Terminating.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/NonDetDeps.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/NonDetDeps.md -> ../../../../../cpm/vendor/cass/docs/NonDetDeps.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderFunc.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/HiOrderFunc.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/HiOrderFunc.md -> ../../../../../cpm/vendor/cass/docs/HiOrderFunc.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/README.txt -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/README.txt +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/README.txt -> ../../../../../cpm/vendor/cass/docs/README.txt +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass/docs/RequiredValue.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass/docs/RequiredValue.md -> ../../../../../cpm/vendor/cass/docs/RequiredValue.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/propertyfile/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/propertyfile/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/propertyfile/README.md -> ../../../../cpm/vendor/propertyfile/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/scc/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/scc/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/scc/README.md -> ../../../../cpm/vendor/scc/README.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/random/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/random/README.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/random/README.md -> ../../../../cpm/vendor/random/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/flatcurry/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/flatcurry/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/flatcurry/README.md -> ../../../../cpm/vendor/flatcurry/README.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/queue/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/queue/README.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/queue/README.md -> ../../../../cpm/vendor/queue/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/redblacktree/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/redblacktree/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/redblacktree/README.md -> ../../../../cpm/vendor/redblacktree/README.md absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass-analysis/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/cass-analysis/README.md changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/cass-analysis/README.md -> ../../../../cpm/vendor/cass-analysis/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/currypath/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/currypath/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/currypath/README.md -> ../../../../cpm/vendor/currypath/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/csv/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/csv/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/csv/README.md -> ../../../../cpm/vendor/csv/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/socket/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/socket/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/socket/README.md -> ../../../../cpm/vendor/socket/README.md +absolute: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/finite-map/README.md -> /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/cpm/vendor/finite-map/README.md +changed: /build/pakcs-2.1.1/debian/pakcs/usr/share/doc/pakcs/currytools/optimize/.cpm/packages/finite-map/README.md -> ../../../../cpm/vendor/finite-map/README.md dh_strip -ppakcs dh_strip_nondeterminism -ppakcs dh_compress -ppakcs @@ -3108,12 +3120,14 @@ dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/26033/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/26033/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/57485 and its subdirectories -I: Current time: Thu May 6 21:24:29 -12 2021 -I: pbuilder-time-stamp: 1620379469 +I: removing directory /srv/workspace/pbuilder/26033 and its subdirectories +I: Current time: Sat Apr 4 17:14:30 +14 2020 +I: pbuilder-time-stamp: 1585970070