lhs2tex →
1.24-1+b1 →
armhf → 2021-10-02 20:01:21
sbuild (Debian sbuild) 0.72.0 (25 Oct 2016) on mb-lxc-01
+==============================================================================+
| lhs2tex 1.24-1+b1 (armhf) Sat, 02 Oct 2021 19:51:07 +0000 |
+==============================================================================+
Package: lhs2tex
Version: 1.24-1+b1
Source Version: 1.24-1
Distribution: bookworm-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/bookworm-staging-armhf-sbuild-0421a0f9-5996-46e4-b732-ec991d25a0e0' with '<<CHROOT>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://172.17.0.1/private bookworm-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bookworm-staging/main Sources [12.4 MB]
Get:3 http://172.17.0.1/private bookworm-staging/main armhf Packages [13.4 MB]
Fetched 25.8 MB in 12s (2077 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'lhs2tex' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/haskell-team/DHG_packages.git [p/lhs2tex]
Please use:
git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/lhs2tex]
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 785 kB of source archives.
Get:1 http://172.17.0.1/private bookworm-staging/main lhs2tex 1.24-1 (dsc) [2076 B]
Get:2 http://172.17.0.1/private bookworm-staging/main lhs2tex 1.24-1 (tar) [776 kB]
Get:3 http://172.17.0.1/private bookworm-staging/main lhs2tex 1.24-1 (diff) [6808 B]
Fetched 785 kB in 0s (2407 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/lhs2tex-OH2PKY/lhs2tex-1.24' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/lhs2tex-OH2PKY' with '<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install build-essential |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: build-essential, fakeroot
Filtered Build-Depends: build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-core-dummy' in '/<<BUILDDIR>>/resolver-SLTwN8/apt_archive/sbuild-build-depends-core-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy
dpkg-scanpackages: info: Wrote 1 entries to output Packages file.
gpg: keybox '/<<BUILDDIR>>/resolver-SLTwN8/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-SLTwN8/gpg/trustdb.gpg: trustdb created
gpg: key 37145E60F90AF620: public key "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" imported
gpg: Total number processed: 1
gpg: imported: 1
gpg: key 37145E60F90AF620: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key 37145E60F90AF620: secret key imported
gpg: Total number processed: 1
gpg: unchanged: 1
gpg: secret keys read: 1
gpg: secret keys imported: 1
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ Packages [433 B]
Fetched 2109 B in 0s (9797 B/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install core build dependencies (apt-based resolver)
----------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
netbase
Use 'apt autoremove' to remove it.
The following NEW packages will be installed:
sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 22 not upgraded.
Need to get 852 B of archives.
After this operation, 0 B of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ sbuild-build-depends-core-dummy 0.invalid.0 [852 B]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 852 B in 0s (65.3 kB/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12484 files and directories currently installed.)
Preparing to unpack .../sbuild-build-depends-core-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ...
Setting up sbuild-build-depends-core-dummy (0.invalid.0) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (armhf included in any)
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: autotools-dev, debhelper (>= 10), ghc (>= 8.4.3), libghc-regex-compat-dev, tex-common
Filtered Build-Depends: autotools-dev, debhelper (>= 10), ghc (>= 8.4.3), libghc-regex-compat-dev, tex-common
dpkg-deb: building package 'sbuild-build-depends-lhs2tex-dummy' in '/<<BUILDDIR>>/resolver-SLTwN8/apt_archive/sbuild-build-depends-lhs2tex-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning: sbuild-build-depends-core-dummy sbuild-build-depends-lhs2tex-dummy
dpkg-scanpackages: info: Wrote 2 entries to output Packages file.
gpg: using "Sbuild Signer" as default secret key for signing
Ign:1 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ Release.gpg [370 B]
Get:4 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ Sources [521 B]
Get:5 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ Packages [606 B]
Fetched 2460 B in 0s (11.5 kB/s)
Reading package lists...
W: No sandbox user '_apt' on the system, can not drop privileges
Reading package lists...
Install lhs2tex build dependencies (apt-based resolver)
-------------------------------------------------------
Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following package was automatically installed and is no longer required:
netbase
Use 'apt autoremove' to remove it.
The following additional packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-strip-nondeterminism dwz file gettext gettext-base ghc
groff-base intltool-debian libarchive-zip-perl libbsd-dev libbsd0
libdebhelper-perl libedit2 libelf1 libffi-dev libffi8
libfile-stripnondeterminism-perl libghc-regex-base-dev
libghc-regex-compat-dev libghc-regex-posix-dev libgmp-dev libgmpxx4ldbl
libicu67 libllvm11 libmagic-mgc libmagic1 libmd-dev libmd0 libncurses-dev
libncurses5-dev libncurses6 libpfm4 libpipeline1 libsigsegv2
libsub-override-perl libtool libuchardet0 libxml2 libz3-4 llvm-11
llvm-11-linker-tools llvm-11-runtime m4 man-db po-debconf sensible-utils
tex-common ucf
Suggested packages:
autoconf-archive gnu-standards autoconf-doc dh-make gettext-doc
libasprintf-dev libgettextpo-dev ghc-prof ghc-doc haskell-doc groff
libghc-regex-base-doc libghc-regex-base-prof libghc-regex-compat-doc
libghc-regex-compat-prof libghc-regex-posix-doc libghc-regex-posix-prof
gmp-doc libgmp10-doc libmpfr-dev ncurses-doc libtool-doc gfortran
| fortran95-compiler gcj-jdk llvm-11-doc m4-doc apparmor less www-browser
libmail-box-perl
Recommended packages:
curl | wget | lynx libarchive-cpio-perl libgpm2 libltdl-dev llvm-11-dev
binfmt-support libmail-sendmail-perl
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils debhelper
dh-autoreconf dh-strip-nondeterminism dwz file gettext gettext-base ghc
groff-base intltool-debian libarchive-zip-perl libbsd-dev libbsd0
libdebhelper-perl libedit2 libelf1 libffi-dev libffi8
libfile-stripnondeterminism-perl libghc-regex-base-dev
libghc-regex-compat-dev libghc-regex-posix-dev libgmp-dev libgmpxx4ldbl
libicu67 libllvm11 libmagic-mgc libmagic1 libmd-dev libmd0 libncurses-dev
libncurses5-dev libncurses6 libpfm4 libpipeline1 libsigsegv2
libsub-override-perl libtool libuchardet0 libxml2 libz3-4 llvm-11
llvm-11-linker-tools llvm-11-runtime m4 man-db po-debconf
sbuild-build-depends-lhs2tex-dummy sensible-utils tex-common ucf
0 upgraded, 56 newly installed, 0 to remove and 22 not upgraded.
Need to get 168 MB of archives.
After this operation, 1286 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-SLTwN8/apt_archive ./ sbuild-build-depends-lhs2tex-dummy 0.invalid.0 [896 B]
Get:2 http://172.17.0.1/private bookworm-staging/main armhf bsdextrautils armhf 2.37.2-1 [135 kB]
Get:3 http://172.17.0.1/private bookworm-staging/main armhf libuchardet0 armhf 0.0.7-1 [65.0 kB]
Get:4 http://172.17.0.1/private bookworm-staging/main armhf groff-base armhf 1.22.4-7 [793 kB]
Get:5 http://172.17.0.1/private bookworm-staging/main armhf libpipeline1 armhf 1.5.3-1 [29.9 kB]
Get:6 http://172.17.0.1/private bookworm-staging/main armhf man-db armhf 2.9.4-2 [1307 kB]
Get:7 http://172.17.0.1/private bookworm-staging/main armhf libmd0 armhf 1.0.3-3 [27.2 kB]
Get:8 http://172.17.0.1/private bookworm-staging/main armhf libbsd0 armhf 0.11.3-1 [103 kB]
Get:9 http://172.17.0.1/private bookworm-staging/main armhf libedit2 armhf 3.1-20210910-1 [81.2 kB]
Get:10 http://172.17.0.1/private bookworm-staging/main armhf libffi8 armhf 3.4.2-2 [21.2 kB]
Get:11 http://172.17.0.1/private bookworm-staging/main armhf libicu67 armhf 67.1-7 [8291 kB]
Get:12 http://172.17.0.1/private bookworm-staging/main armhf libxml2 armhf 2.9.12+dfsg-5 [584 kB]
Get:13 http://172.17.0.1/private bookworm-staging/main armhf libz3-4 armhf 4.8.12-1 [5758 kB]
Get:14 http://172.17.0.1/private bookworm-staging/main armhf libllvm11 armhf 1:11.1.0-4+rpi1 [15.6 MB]
Get:15 http://172.17.0.1/private bookworm-staging/main armhf llvm-11-runtime armhf 1:11.1.0-4+rpi1 [187 kB]
Get:16 http://172.17.0.1/private bookworm-staging/main armhf llvm-11-linker-tools armhf 1:11.1.0-4+rpi1 [939 kB]
Get:17 http://172.17.0.1/private bookworm-staging/main armhf libpfm4 armhf 4.11.1+git32-gd0b85fb-1 [43.2 kB]
Get:18 http://172.17.0.1/private bookworm-staging/main armhf llvm-11 armhf 1:11.1.0-4+rpi1 [6981 kB]
Get:19 http://172.17.0.1/private bookworm-staging/main armhf libgmpxx4ldbl armhf 2:6.2.1+dfsg-2 [337 kB]
Get:20 http://172.17.0.1/private bookworm-staging/main armhf libgmp-dev armhf 2:6.2.1+dfsg-2 [583 kB]
Get:21 http://172.17.0.1/private bookworm-staging/main armhf libffi-dev armhf 3.4.2-2 [61.4 kB]
Get:22 http://172.17.0.1/private bookworm-staging/main armhf libmd-dev armhf 1.0.3-3 [45.2 kB]
Get:23 http://172.17.0.1/private bookworm-staging/main armhf libbsd-dev armhf 0.11.3-1 [227 kB]
Get:24 http://172.17.0.1/private bookworm-staging/main armhf libncurses6 armhf 6.2+20201114-4 [79.7 kB]
Get:25 http://172.17.0.1/private bookworm-staging/main armhf libncurses-dev armhf 6.2+20201114-4 [288 kB]
Get:26 http://172.17.0.1/private bookworm-staging/main armhf libncurses5-dev armhf 6.2+20201114-4 [940 B]
Get:27 http://172.17.0.1/private bookworm-staging/main armhf ghc armhf 8.8.4-2+rpi2 [119 MB]
Get:28 http://172.17.0.1/private bookworm-staging/main armhf sensible-utils all 0.0.17 [21.5 kB]
Get:29 http://172.17.0.1/private bookworm-staging/main armhf ucf all 3.0043 [74.0 kB]
Get:30 http://172.17.0.1/private bookworm-staging/main armhf tex-common all 6.17 [53.6 kB]
Get:31 http://172.17.0.1/private bookworm-staging/main armhf libmagic-mgc armhf 1:5.39-3 [273 kB]
Get:32 http://172.17.0.1/private bookworm-staging/main armhf libmagic1 armhf 1:5.39-3 [117 kB]
Get:33 http://172.17.0.1/private bookworm-staging/main armhf file armhf 1:5.39-3 [68.0 kB]
Get:34 http://172.17.0.1/private bookworm-staging/main armhf gettext-base armhf 0.21-4 [171 kB]
Get:35 http://172.17.0.1/private bookworm-staging/main armhf libsigsegv2 armhf 2.13-1 [34.3 kB]
Get:36 http://172.17.0.1/private bookworm-staging/main armhf m4 armhf 1.4.18-5 [186 kB]
Get:37 http://172.17.0.1/private bookworm-staging/main armhf autoconf all 2.71-2 [343 kB]
Get:38 http://172.17.0.1/private bookworm-staging/main armhf autotools-dev all 20180224.1+nmu1 [77.1 kB]
Get:39 http://172.17.0.1/private bookworm-staging/main armhf automake all 1:1.16.4-2 [819 kB]
Get:40 http://172.17.0.1/private bookworm-staging/main armhf autopoint all 0.21-4 [510 kB]
Get:41 http://172.17.0.1/private bookworm-staging/main armhf libdebhelper-perl all 13.5.2 [192 kB]
Get:42 http://172.17.0.1/private bookworm-staging/main armhf libtool all 2.4.6-15 [513 kB]
Get:43 http://172.17.0.1/private bookworm-staging/main armhf dh-autoreconf all 20 [17.1 kB]
Get:44 http://172.17.0.1/private bookworm-staging/main armhf libarchive-zip-perl all 1.68-1 [104 kB]
Get:45 http://172.17.0.1/private bookworm-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:46 http://172.17.0.1/private bookworm-staging/main armhf libfile-stripnondeterminism-perl all 1.12.0-1 [26.3 kB]
Get:47 http://172.17.0.1/private bookworm-staging/main armhf dh-strip-nondeterminism all 1.12.0-1 [15.4 kB]
Get:48 http://172.17.0.1/private bookworm-staging/main armhf libelf1 armhf 0.185-2 [168 kB]
Get:49 http://172.17.0.1/private bookworm-staging/main armhf dwz armhf 0.14-1 [83.0 kB]
Get:50 http://172.17.0.1/private bookworm-staging/main armhf gettext armhf 0.21-4 [1215 kB]
Get:51 http://172.17.0.1/private bookworm-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:52 http://172.17.0.1/private bookworm-staging/main armhf po-debconf all 1.0.21+nmu1 [248 kB]
Get:53 http://172.17.0.1/private bookworm-staging/main armhf debhelper all 13.5.2 [1056 kB]
Get:54 http://172.17.0.1/private bookworm-staging/main armhf libghc-regex-base-dev armhf 0.94.0.0-1+b2 [115 kB]
Get:55 http://172.17.0.1/private bookworm-staging/main armhf libghc-regex-posix-dev armhf 0.96.0.0-1+b2 [172 kB]
Get:56 http://172.17.0.1/private bookworm-staging/main armhf libghc-regex-compat-dev armhf 0.95.2.0-1+b2 [25.9 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 168 MB in 56s (3022 kB/s)
Selecting previously unselected package bsdextrautils.
(Reading database ... 12484 files and directories currently installed.)
Preparing to unpack .../00-bsdextrautils_2.37.2-1_armhf.deb ...
Unpacking bsdextrautils (2.37.2-1) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../01-libuchardet0_0.0.7-1_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../02-groff-base_1.22.4-7_armhf.deb ...
Unpacking groff-base (1.22.4-7) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../03-libpipeline1_1.5.3-1_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.3-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../04-man-db_2.9.4-2_armhf.deb ...
Unpacking man-db (2.9.4-2) ...
Selecting previously unselected package libmd0:armhf.
Preparing to unpack .../05-libmd0_1.0.3-3_armhf.deb ...
Unpacking libmd0:armhf (1.0.3-3) ...
Selecting previously unselected package libbsd0:armhf.
Preparing to unpack .../06-libbsd0_0.11.3-1_armhf.deb ...
Unpacking libbsd0:armhf (0.11.3-1) ...
Selecting previously unselected package libedit2:armhf.
Preparing to unpack .../07-libedit2_3.1-20210910-1_armhf.deb ...
Unpacking libedit2:armhf (3.1-20210910-1) ...
Selecting previously unselected package libffi8:armhf.
Preparing to unpack .../08-libffi8_3.4.2-2_armhf.deb ...
Unpacking libffi8:armhf (3.4.2-2) ...
Selecting previously unselected package libicu67:armhf.
Preparing to unpack .../09-libicu67_67.1-7_armhf.deb ...
Unpacking libicu67:armhf (67.1-7) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../10-libxml2_2.9.12+dfsg-5_armhf.deb ...
Unpacking libxml2:armhf (2.9.12+dfsg-5) ...
Selecting previously unselected package libz3-4:armhf.
Preparing to unpack .../11-libz3-4_4.8.12-1_armhf.deb ...
Unpacking libz3-4:armhf (4.8.12-1) ...
Selecting previously unselected package libllvm11:armhf.
Preparing to unpack .../12-libllvm11_1%3a11.1.0-4+rpi1_armhf.deb ...
Unpacking libllvm11:armhf (1:11.1.0-4+rpi1) ...
Selecting previously unselected package llvm-11-runtime.
Preparing to unpack .../13-llvm-11-runtime_1%3a11.1.0-4+rpi1_armhf.deb ...
Unpacking llvm-11-runtime (1:11.1.0-4+rpi1) ...
Selecting previously unselected package llvm-11-linker-tools.
Preparing to unpack .../14-llvm-11-linker-tools_1%3a11.1.0-4+rpi1_armhf.deb ...
Unpacking llvm-11-linker-tools (1:11.1.0-4+rpi1) ...
Selecting previously unselected package libpfm4:armhf.
Preparing to unpack .../15-libpfm4_4.11.1+git32-gd0b85fb-1_armhf.deb ...
Unpacking libpfm4:armhf (4.11.1+git32-gd0b85fb-1) ...
Selecting previously unselected package llvm-11.
Preparing to unpack .../16-llvm-11_1%3a11.1.0-4+rpi1_armhf.deb ...
Unpacking llvm-11 (1:11.1.0-4+rpi1) ...
Selecting previously unselected package libgmpxx4ldbl:armhf.
Preparing to unpack .../17-libgmpxx4ldbl_2%3a6.2.1+dfsg-2_armhf.deb ...
Unpacking libgmpxx4ldbl:armhf (2:6.2.1+dfsg-2) ...
Selecting previously unselected package libgmp-dev:armhf.
Preparing to unpack .../18-libgmp-dev_2%3a6.2.1+dfsg-2_armhf.deb ...
Unpacking libgmp-dev:armhf (2:6.2.1+dfsg-2) ...
Selecting previously unselected package libffi-dev:armhf.
Preparing to unpack .../19-libffi-dev_3.4.2-2_armhf.deb ...
Unpacking libffi-dev:armhf (3.4.2-2) ...
Selecting previously unselected package libmd-dev:armhf.
Preparing to unpack .../20-libmd-dev_1.0.3-3_armhf.deb ...
Unpacking libmd-dev:armhf (1.0.3-3) ...
Selecting previously unselected package libbsd-dev:armhf.
Preparing to unpack .../21-libbsd-dev_0.11.3-1_armhf.deb ...
Unpacking libbsd-dev:armhf (0.11.3-1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../22-libncurses6_6.2+20201114-4_armhf.deb ...
Unpacking libncurses6:armhf (6.2+20201114-4) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../23-libncurses-dev_6.2+20201114-4_armhf.deb ...
Unpacking libncurses-dev:armhf (6.2+20201114-4) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../24-libncurses5-dev_6.2+20201114-4_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.2+20201114-4) ...
Selecting previously unselected package ghc.
Preparing to unpack .../25-ghc_8.8.4-2+rpi2_armhf.deb ...
Unpacking ghc (8.8.4-2+rpi2) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../26-sensible-utils_0.0.17_all.deb ...
Unpacking sensible-utils (0.0.17) ...
Selecting previously unselected package ucf.
Preparing to unpack .../27-ucf_3.0043_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0043) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../28-tex-common_6.17_all.deb ...
Unpacking tex-common (6.17) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../29-libmagic-mgc_1%3a5.39-3_armhf.deb ...
Unpacking libmagic-mgc (1:5.39-3) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../30-libmagic1_1%3a5.39-3_armhf.deb ...
Unpacking libmagic1:armhf (1:5.39-3) ...
Selecting previously unselected package file.
Preparing to unpack .../31-file_1%3a5.39-3_armhf.deb ...
Unpacking file (1:5.39-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../32-gettext-base_0.21-4_armhf.deb ...
Unpacking gettext-base (0.21-4) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../33-libsigsegv2_2.13-1_armhf.deb ...
Unpacking libsigsegv2:armhf (2.13-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../34-m4_1.4.18-5_armhf.deb ...
Unpacking m4 (1.4.18-5) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../35-autoconf_2.71-2_all.deb ...
Unpacking autoconf (2.71-2) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../36-autotools-dev_20180224.1+nmu1_all.deb ...
Unpacking autotools-dev (20180224.1+nmu1) ...
Selecting previously unselected package automake.
Preparing to unpack .../37-automake_1%3a1.16.4-2_all.deb ...
Unpacking automake (1:1.16.4-2) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../38-autopoint_0.21-4_all.deb ...
Unpacking autopoint (0.21-4) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../39-libdebhelper-perl_13.5.2_all.deb ...
Unpacking libdebhelper-perl (13.5.2) ...
Selecting previously unselected package libtool.
Preparing to unpack .../40-libtool_2.4.6-15_all.deb ...
Unpacking libtool (2.4.6-15) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../41-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../42-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../43-libsub-override-perl_0.09-2_all.deb ...
Unpacking libsub-override-perl (0.09-2) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../44-libfile-stripnondeterminism-perl_1.12.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.12.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../45-dh-strip-nondeterminism_1.12.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.12.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../46-libelf1_0.185-2_armhf.deb ...
Unpacking libelf1:armhf (0.185-2) ...
Selecting previously unselected package dwz.
Preparing to unpack .../47-dwz_0.14-1_armhf.deb ...
Unpacking dwz (0.14-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../48-gettext_0.21-4_armhf.deb ...
Unpacking gettext (0.21-4) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../49-intltool-debian_0.35.0+20060710.5_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.5) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../50-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../51-debhelper_13.5.2_all.deb ...
Unpacking debhelper (13.5.2) ...
Selecting previously unselected package libghc-regex-base-dev.
Preparing to unpack .../52-libghc-regex-base-dev_0.94.0.0-1+b2_armhf.deb ...
Unpacking libghc-regex-base-dev (0.94.0.0-1+b2) ...
Selecting previously unselected package libghc-regex-posix-dev.
Preparing to unpack .../53-libghc-regex-posix-dev_0.96.0.0-1+b2_armhf.deb ...
Unpacking libghc-regex-posix-dev (0.96.0.0-1+b2) ...
Selecting previously unselected package libghc-regex-compat-dev.
Preparing to unpack .../54-libghc-regex-compat-dev_0.95.2.0-1+b2_armhf.deb ...
Unpacking libghc-regex-compat-dev (0.95.2.0-1+b2) ...
Selecting previously unselected package sbuild-build-depends-lhs2tex-dummy.
Preparing to unpack .../55-sbuild-build-depends-lhs2tex-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-lhs2tex-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.5.3-1) ...
Setting up bsdextrautils (2.37.2-1) ...
update-alternatives: using /usr/bin/write.ul to provide /usr/bin/write (write) in auto mode
Setting up libicu67:armhf (67.1-7) ...
Setting up libmagic-mgc (1:5.39-3) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.5.2) ...
Setting up libmagic1:armhf (1:5.39-3) ...
Setting up gettext-base (0.21-4) ...
Setting up file (1:5.39-3) ...
Setting up autotools-dev (20180224.1+nmu1) ...
Setting up libz3-4:armhf (4.8.12-1) ...
Setting up libgmpxx4ldbl:armhf (2:6.2.1+dfsg-2) ...
Setting up libpfm4:armhf (4.11.1+git32-gd0b85fb-1) ...
Setting up libncurses6:armhf (6.2+20201114-4) ...
Setting up libsigsegv2:armhf (2.13-1) ...
Setting up autopoint (0.21-4) ...
Setting up libffi8:armhf (3.4.2-2) ...
Setting up libmd0:armhf (1.0.3-3) ...
Setting up sensible-utils (0.0.17) ...
Setting up libuchardet0:armhf (0.0.7-1) ...
Setting up libmd-dev:armhf (1.0.3-3) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up libbsd0:armhf (0.11.3-1) ...
Setting up libelf1:armhf (0.185-2) ...
Setting up libxml2:armhf (2.9.12+dfsg-5) ...
Setting up libbsd-dev:armhf (0.11.3-1) ...
Setting up libfile-stripnondeterminism-perl (1.12.0-1) ...
Setting up libncurses-dev:armhf (6.2+20201114-4) ...
Setting up gettext (0.21-4) ...
Setting up libgmp-dev:armhf (2:6.2.1+dfsg-2) ...
Setting up libtool (2.4.6-15) ...
Setting up libedit2:armhf (3.1-20210910-1) ...
Setting up m4 (1.4.18-5) ...
Setting up libffi-dev:armhf (3.4.2-2) ...
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up libllvm11:armhf (1:11.1.0-4+rpi1) ...
Setting up ucf (3.0043) ...
Setting up autoconf (2.71-2) ...
Setting up llvm-11-linker-tools (1:11.1.0-4+rpi1) ...
Setting up dh-strip-nondeterminism (1.12.0-1) ...
Setting up dwz (0.14-1) ...
Setting up groff-base (1.22.4-7) ...
Setting up libncurses5-dev:armhf (6.2+20201114-4) ...
Setting up automake (1:1.16.4-2) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up llvm-11-runtime (1:11.1.0-4+rpi1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up llvm-11 (1:11.1.0-4+rpi1) ...
Setting up man-db (2.9.4-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up dh-autoreconf (20) ...
Setting up tex-common (6.17) ...
update-language: texlive-base not installed and configured, doing nothing!
Setting up ghc (8.8.4-2+rpi2) ...
update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode
update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode
Setting up debhelper (13.5.2) ...
Setting up libghc-regex-base-dev (0.94.0.0-1+b2) ...
Setting up libghc-regex-posix-dev (0.96.0.0-1+b2) ...
Setting up libghc-regex-compat-dev (0.95.2.0-1+b2) ...
Setting up sbuild-build-depends-lhs2tex-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.32-4+rpi1) ...
W: No sandbox user '_apt' on the system, can not drop privileges
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 4.15.0-76-generic armhf (armv8l)
Toolchain package versions: binutils_2.37-5+rpi1 dpkg-dev_1.20.9+rpi1 g++-10_10.3.0-9+rpi1 gcc-10_10.3.0-9+rpi1 libc6-dev_2.32-4+rpi1 libstdc++-10-dev_10.3.0-9+rpi1 libstdc++6_11.2.0-4+rpi1 linux-libc-dev_5.10.46-4+rpi1
Package versions: adduser_3.118 apt_2.3.9 autoconf_2.71-2 automake_1:1.16.4-2 autopoint_0.21-4 autotools-dev_20180224.1+nmu1 base-files_12+rpi1 base-passwd_3.5.51 bash_5.1-3 binutils_2.37-5+rpi1 binutils-arm-linux-gnueabihf_2.37-5+rpi1 binutils-common_2.37-5+rpi1 bsdextrautils_2.37.2-1 bsdutils_1:2.37.2-1 build-essential_12.9 bzip2_1.0.8-4 coreutils_8.32-4 cpp_4:10.2.1-1+rpi1 cpp-10_10.3.0-9+rpi1 dash_0.5.11+git20210120+802ebd4-1 debconf_1.5.77 debhelper_13.5.2 debianutils_4.11.2 dh-autoreconf_20 dh-strip-nondeterminism_1.12.0-1 diffutils_1:3.7-5 dirmngr_2.2.27-2 dpkg_1.20.9+rpi1 dpkg-dev_1.20.9+rpi1 dwz_0.14-1 e2fsprogs_1.46.4-1 fakeroot_1.25.3-1.1 file_1:5.39-3 findutils_4.8.0-1 g++_4:10.2.1-1+rpi1 g++-10_10.3.0-9+rpi1 gcc_4:10.2.1-1+rpi1 gcc-10_10.3.0-9+rpi1 gcc-10-base_10.3.0-9+rpi1 gcc-11-base_11.2.0-4+rpi1 gcc-7-base_7.5.0-6+rpi1+b2 gcc-8-base_8.4.0-7+rpi1 gcc-9-base_9.4.0-2+rpi1 gettext_0.21-4 gettext-base_0.21-4 ghc_8.8.4-2+rpi2 gnupg_2.2.27-2 gnupg-l10n_2.2.27-2 gnupg-utils_2.2.27-2 gpg_2.2.27-2 gpg-agent_2.2.27-2 gpg-wks-client_2.2.27-2 gpg-wks-server_2.2.27-2 gpgconf_2.2.27-2 gpgsm_2.2.27-2 gpgv_2.2.27-2 grep_3.7-1 groff-base_1.22.4-7 gzip_1.10-4 hostname_3.23 init-system-helpers_1.60 intltool-debian_0.35.0+20060710.5 libacl1_2.3.1-1 libapt-pkg6.0_2.3.9 libarchive-zip-perl_1.68-1 libasan6_11.2.0-4+rpi1 libassuan0_2.5.5-1 libatomic1_11.2.0-4+rpi1 libattr1_1:2.5.1-1 libaudit-common_1:3.0.5-1 libaudit1_1:3.0.5-1 libbinutils_2.37-5+rpi1 libblkid1_2.37.2-1 libbsd-dev_0.11.3-1 libbsd0_0.11.3-1 libbz2-1.0_1.0.8-4 libc-bin_2.32-4+rpi1 libc-dev-bin_2.32-4+rpi1 libc6_2.32-4+rpi1 libc6-dev_2.32-4+rpi1 libcap-ng0_0.7.9-2.2+b1 libcc1-0_11.2.0-4+rpi1 libcom-err2_1.46.4-1 libcrypt-dev_1:4.4.25-2 libcrypt1_1:4.4.25-2 libctf-nobfd0_2.37-5+rpi1 libctf0_2.37-5+rpi1 libdb5.3_5.3.28+dfsg1-0.8 libdebconfclient0_0.260 libdebhelper-perl_13.5.2 libdpkg-perl_1.20.9+rpi1 libedit2_3.1-20210910-1 libelf1_0.185-2 libext2fs2_1.46.4-1 libfakeroot_1.25.3-1.1 libffi-dev_3.4.2-2 libffi7_3.3-6 libffi8_3.4.2-2 libfile-stripnondeterminism-perl_1.12.0-1 libgcc-10-dev_10.3.0-9+rpi1 libgcc-s1_11.2.0-4+rpi1 libgcrypt20_1.9.4-3 libgdbm-compat4_1.21-1 libgdbm6_1.21-1 libghc-regex-base-dev_0.94.0.0-1+b2 libghc-regex-compat-dev_0.95.2.0-1+b2 libghc-regex-posix-dev_0.96.0.0-1+b2 libgmp-dev_2:6.2.1+dfsg-2 libgmp10_2:6.2.1+dfsg-2 libgmpxx4ldbl_2:6.2.1+dfsg-2 libgnutls30_3.7.2-2 libgomp1_11.2.0-4+rpi1 libgpg-error0_1.42-3 libgssapi-krb5-2_1.18.3-7 libhogweed6_3.7.3-1 libicu67_67.1-7 libidn2-0_2.3.2-2 libisl23_0.23-1 libk5crypto3_1.18.3-7 libkeyutils1_1.6.1-2 libkrb5-3_1.18.3-7 libkrb5support0_1.18.3-7 libksba8_1.6.0-2 libldap-2.4-2_2.4.59+dfsg-1 libllvm11_1:11.1.0-4+rpi1 liblocale-gettext-perl_1.07-4+b1 liblz4-1_1.9.3-2 liblzma5_5.2.5-2 libmagic-mgc_1:5.39-3 libmagic1_1:5.39-3 libmd-dev_1.0.3-3 libmd0_1.0.3-3 libmount1_2.37.2-1 libmpc3_1.2.0-1 libmpfr6_4.1.0-3 libncurses-dev_6.2+20201114-4 libncurses5-dev_6.2+20201114-4 libncurses6_6.2+20201114-4 libncursesw6_6.2+20201114-4 libnettle8_3.7.3-1 libnpth0_1.6-3 libnsl-dev_1.3.0-2 libnsl2_1.3.0-2 libp11-kit0_0.24.0-2 libpam-modules_1.4.0-10 libpam-modules-bin_1.4.0-10 libpam-runtime_1.4.0-10 libpam0g_1.4.0-10 libpcre2-8-0_10.36-2 libpcre3_2:8.39-13 libperl5.32_5.32.1-5 libpfm4_4.11.1+git32-gd0b85fb-1 libpipeline1_1.5.3-1 libreadline8_8.1-2 libsasl2-2_2.1.27+dfsg-2.1 libsasl2-modules-db_2.1.27+dfsg-2.1 libseccomp2_2.5.1-1+rpi1 libselinux1_3.1-3 libsemanage-common_3.1-1 libsemanage1_3.1-1+b1 libsepol1_3.1-1 libsigsegv2_2.13-1 libsmartcols1_2.37.2-1 libsqlite3-0_3.36.0-2 libss2_1.46.4-1 libssl1.1_1.1.1l-1 libstdc++-10-dev_10.3.0-9+rpi1 libstdc++6_11.2.0-4+rpi1 libsub-override-perl_0.09-2 libsystemd0_247.9-1+rpi1 libtasn1-6_4.17.0-2 libtext-charwidth-perl_0.04-10+b1 libtext-iconv-perl_1.7-7+b1 libtinfo6_6.2+20201114-4 libtirpc-common_1.3.2-2 libtirpc-dev_1.3.2-2 libtirpc3_1.3.2-2 libtool_2.4.6-15 libubsan1_11.2.0-4+rpi1 libuchardet0_0.0.7-1 libudev1_247.9-1+rpi1 libunistring2_0.9.10-6 libuuid1_2.37.2-1 libxml2_2.9.12+dfsg-5 libxxhash0_0.8.0-2+rpi1 libz3-4_4.8.12-1 libzstd1_1.4.8+dfsg-2.1+rpi1 linux-libc-dev_5.10.46-4+rpi1 llvm-11_1:11.1.0-4+rpi1 llvm-11-linker-tools_1:11.1.0-4+rpi1 llvm-11-runtime_1:11.1.0-4+rpi1 login_1:4.8.1-1 logsave_1.46.4-1 lsb-base_11.1.0+rpi1 m4_1.4.18-5 make_4.3-4.1 man-db_2.9.4-2 mawk_1.3.4.20200120-2 mount_2.37.2-1 ncurses-base_6.2+20201114-4 ncurses-bin_6.2+20201114-4 netbase_6.3 passwd_1:4.8.1-1 patch_2.7.6-7 perl_5.32.1-5 perl-base_5.32.1-5 perl-modules-5.32_5.32.1-5 pinentry-curses_1.1.0-4 po-debconf_1.0.21+nmu1 raspbian-archive-keyring_20120528.2 readline-common_8.1-2 rpcsvc-proto_1.4.2-4 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-lhs2tex-dummy_0.invalid.0 sed_4.8-1 sensible-utils_0.0.17 sysvinit-utils_3.00-1 tar_1.34+dfsg-1 tex-common_6.17 tzdata_2021a-1 ucf_3.0043 util-linux_2.37.2-1 xz-utils_5.2.5-2 zlib1g_1:1.2.11.dfsg-2
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/tmp/dpkg-verify-sig.86rL7Uew/trustedkeys.kbx': General error
gpgv: Signature made Tue Jun 16 16:49:29 2020 UTC
gpgv: using RSA key 7581EC874053E6C807791B9B5592331E199D38A8
gpgv: issuer "clint@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./lhs2tex_1.24-1.dsc
dpkg-source: info: extracting lhs2tex in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking lhs2tex_1.24.orig.tar.gz
dpkg-source: info: unpacking lhs2tex_1.24-1.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying 01_always_install_polytable.patch
dpkg-source: info: applying 10_fix_bashims.patch
Check disk space
----------------
Sufficient free space for build
Hack binNMU version
-------------------
Created changelog entry for binNMU version 1.24-1+b1
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
DEB_BUILD_OPTIONS=parallel=4
HOME=/sbuild-nonexistent
LC_ALL=POSIX
LOGNAME=buildd
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
SCHROOT_ALIAS_NAME=bookworm-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bookworm-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=112
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bookworm-staging-armhf-sbuild-0421a0f9-5996-46e4-b732-ec991d25a0e0
SCHROOT_UID=107
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
dpkg-buildpackage
-----------------
dpkg-buildpackage: info: source package lhs2tex
dpkg-buildpackage: info: source version 1.24-1+b1
dpkg-buildpackage: info: source distribution bookworm-staging
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
debian/rules clean
dh_testdir
dh_testroot
rm -f build-stamp config.status
# Add here commands to clean up after the build process.
if [ -f Makefile ] && [ -f config.mk ] ; then /usr/bin/make clean ; fi
# Remove generated files
for EXT in aux log out ptb tex toc; do \
rm -f doc/Guide2.$EXT; \
done
# Don't rebuild the guide as ghci does not work on all architectures..
# rm -f doc/Guide2.dontbuild doc/Guide2.pdf
rm -f doc/*.sty doc/*.tex doc/.out doc/.script doc/RawSearchPath.lhs
rm -f lhs2TeX.1 Version.lhs config.guess config.log config.mk config.sub
rm -f doc/InteractiveHugs.lhs doc/InteractivePre.lhs
dh_clean
debian/rules binary-arch
dh_testdir
cp -f /usr/share/misc/config.sub config.sub
cp -f /usr/share/misc/config.guess config.guess
# Don't rebuild the guide as ghci does not work on all architectures..
# rm -f doc/Guide2.dontbuild
./configure --build arm-linux-gnueabihf --prefix=/usr --mandir=\${prefix}/share/man --with-texmf=/usr/share/texmf --enable-polytable
checking for ghc... /usr/bin/ghc
checking for hugs... no
checking for a BSD-compatible install... /usr/bin/install -c
checking whether ln -s works... yes
checking for bash... /bin/bash
checking for mv... /bin/mv
checking for cp... /bin/cp
checking for rm... /bin/rm
checking for mkdir... /bin/mkdir
checking for touch... /usr/bin/touch
checking for diff... /usr/bin/diff
checking for grep... /bin/grep
checking for sed... /bin/sed
checking for sort... /usr/bin/sort
checking for uniq... /usr/bin/uniq
checking for find... /usr/bin/find
checking for latex... no
checking for pdflatex... no
checking for xdvi... no
checking for gv... no
checking for dvips... no
checking for kpsewhich... no
checking for texmf.cnf... no
checking for the polytable package... no
checking whether polytable needs to be installed... yes
checking for mktexlsr... no
configure: creating ./config.status
config.status: creating config.mk
config.status: creating src/Version.lhs
config.status: creating lhs2TeX.1
config.status: creating doc/InteractiveHugs.lhs
config.status: creating doc/InteractivePre.lhs
Configuration succesfully completed.
Say
make to compile and build documentation
make bin to compile the binary only
make install to (compile and) install
dh_testdir
/usr/bin/make GHCFLAGS=" -O"
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/bin/grep "^%include " src/Version.lhs | /bin/sed -e 's,^%include ,src/Version.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Version.ld; \
/bin/cp src/Version.ld src/Version.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Version.ldd >> src/Version.ld; \
/bin/rm -f src/Version.ldd
/bin/grep "^%include " src/State.lhs | /bin/sed -e 's,^%include ,src/State.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/State.ld; \
/bin/cp src/State.ld src/State.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/State.ldd >> src/State.ld; \
/bin/rm -f src/State.ldd
/bin/grep "^%include " src/License.lhs | /bin/sed -e 's,^%include ,src/License.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/License.ld; \
/bin/cp src/License.ld src/License.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/License.ldd >> src/License.ld; \
/bin/rm -f src/License.ldd
/bin/grep "^%include " src/Value.lhs | /bin/sed -e 's,^%include ,src/Value.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Value.ld; \
/bin/cp src/Value.ld src/Value.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Value.ldd >> src/Value.ld; \
/bin/rm -f src/Value.ldd
/bin/grep "^%include " src/Verbatim.lhs | /bin/sed -e 's,^%include ,src/Verbatim.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Verbatim.ld; \
/bin/cp src/Verbatim.ld src/Verbatim.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Verbatim.ldd >> src/Verbatim.ld; \
/bin/rm -f src/Verbatim.ldd
/bin/grep "^%include " src/Document.lhs | /bin/sed -e 's,^%include ,src/Document.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Document.ld; \
/bin/cp src/Document.ld src/Document.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Document.ldd >> src/Document.ld; \
/bin/rm -f src/Document.ldd
/bin/grep "^%include " src/StateT.lhs | /bin/sed -e 's,^%include ,src/StateT.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/StateT.ld; \
/bin/cp src/StateT.ld src/StateT.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/StateT.ldd >> src/StateT.ld; \
/bin/rm -f src/StateT.ldd
/bin/grep "^%include " src/Auxiliaries.lhs | /bin/sed -e 's,^%include ,src/Auxiliaries.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Auxiliaries.ld; \
/bin/cp src/Auxiliaries.ld src/Auxiliaries.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Auxiliaries.ldd >> src/Auxiliaries.ld; \
/bin/rm -f src/Auxiliaries.ldd
/bin/grep "^%include " src/FiniteMap.lhs | /bin/sed -e 's,^%include ,src/FiniteMap.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/FiniteMap.ld; \
/bin/cp src/FiniteMap.ld src/FiniteMap.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/FiniteMap.ldd >> src/FiniteMap.ld; \
/bin/rm -f src/FiniteMap.ldd
/bin/grep "^%include " src/Parser.lhs | /bin/sed -e 's,^%include ,src/Parser.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Parser.ld; \
/bin/cp src/Parser.ld src/Parser.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Parser.ldd >> src/Parser.ld; \
/bin/rm -f src/Parser.ldd
/bin/grep "^%include " src/FileNameUtils.lhs | /bin/sed -e 's,^%include ,src/FileNameUtils.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/FileNameUtils.ld; \
/bin/cp src/FileNameUtils.ld src/FileNameUtils.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/FileNameUtils.ldd >> src/FileNameUtils.ld; \
/bin/rm -f src/FileNameUtils.ldd
/bin/grep "^%include " src/HsLexer.lhs | /bin/sed -e 's,^%include ,src/HsLexer.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/HsLexer.ld; \
/bin/cp src/HsLexer.ld src/HsLexer.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/HsLexer.ldd >> src/HsLexer.ld; \
/bin/rm -f src/HsLexer.ldd
/bin/grep "^%include " src/Directives.lhs | /bin/sed -e 's,^%include ,src/Directives.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Directives.ld; \
/bin/cp src/Directives.ld src/Directives.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Directives.ldd >> src/Directives.ld; \
/bin/rm -f src/Directives.ldd
/bin/grep "^%include " src/NewCode.lhs | /bin/sed -e 's,^%include ,src/NewCode.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/NewCode.ld; \
/bin/cp src/NewCode.ld src/NewCode.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/NewCode.ldd >> src/NewCode.ld; \
/bin/rm -f src/NewCode.ldd
/bin/grep "^%include " src/MathCommon.lhs | /bin/sed -e 's,^%include ,src/MathCommon.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/MathCommon.ld; \
/bin/cp src/MathCommon.ld src/MathCommon.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/MathCommon.ldd >> src/MathCommon.ld; \
/bin/rm -f src/MathCommon.ldd
/bin/grep "^%include " src/MathPoly.lhs | /bin/sed -e 's,^%include ,src/MathPoly.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/MathPoly.ld; \
/bin/cp src/MathPoly.ld src/MathPoly.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/MathPoly.ldd >> src/MathPoly.ld; \
/bin/rm -f src/MathPoly.ldd
/bin/grep "^%include " src/Math.lhs | /bin/sed -e 's,^%include ,src/Math.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Math.ld; \
/bin/cp src/Math.ld src/Math.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Math.ldd >> src/Math.ld; \
/bin/rm -f src/Math.ldd
/bin/grep "^%include " src/Typewriter.lhs | /bin/sed -e 's,^%include ,src/Typewriter.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Typewriter.ld; \
/bin/cp src/Typewriter.ld src/Typewriter.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Typewriter.ldd >> src/Typewriter.ld; \
/bin/rm -f src/Typewriter.ldd
/bin/grep "^%include " src/TeXParser.lhs | /bin/sed -e 's,^%include ,src/TeXParser.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/TeXParser.ld; \
/bin/cp src/TeXParser.ld src/TeXParser.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/TeXParser.ldd >> src/TeXParser.ld; \
/bin/rm -f src/TeXParser.ldd
/bin/grep "^%include " src/TeXCommands.lhs | /bin/sed -e 's,^%include ,src/TeXCommands.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/TeXCommands.ld; \
/bin/cp src/TeXCommands.ld src/TeXCommands.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/TeXCommands.ldd >> src/TeXCommands.ld; \
/bin/rm -f src/TeXCommands.ldd
/bin/grep "^%include " src/Main.lhs | /bin/sed -e 's,^%include ,src/Main.tex : ,' | /usr/bin/sort | /usr/bin/uniq > src/Main.ld; \
/bin/cp src/Main.ld src/Main.ldd; \
/bin/sed -e 's/#.*//' -e 's/^[^:]*: *//' -e 's/ *\\$//' -e '/^$/ d' -e 's/$/ :/' < src/Main.ldd >> src/Main.ld; \
/bin/rm -f src/Main.ldd
/usr/bin/ghc -O -isrc --make -o lhs2TeX src/Main.lhs
[ 1 of 21] Compiling Auxiliaries ( src/Auxiliaries.lhs, src/Auxiliaries.o )
[ 2 of 21] Compiling Document ( src/Document.lhs, src/Document.o )
[ 3 of 21] Compiling FileNameUtils ( src/FileNameUtils.lhs, src/FileNameUtils.o )
[ 4 of 21] Compiling FiniteMap ( src/FiniteMap.lhs, src/FiniteMap.o )
[ 5 of 21] Compiling Parser ( src/Parser.lhs, src/Parser.o )
[ 6 of 21] Compiling StateT ( src/StateT.lhs, src/StateT.o )
[ 7 of 21] Compiling TeXCommands ( src/TeXCommands.lhs, src/TeXCommands.o )
[ 8 of 21] Compiling HsLexer ( src/HsLexer.lhs, src/HsLexer.o )
[ 9 of 21] Compiling TeXParser ( src/TeXParser.lhs, src/TeXParser.o )
[10 of 21] Compiling Value ( src/Value.lhs, src/Value.o )
[11 of 21] Compiling Directives ( src/Directives.lhs, src/Directives.o )
[12 of 21] Compiling Verbatim ( src/Verbatim.lhs, src/Verbatim.o )
[13 of 21] Compiling Typewriter ( src/Typewriter.lhs, src/Typewriter.o )
[14 of 21] Compiling MathCommon ( src/MathCommon.lhs, src/MathCommon.o )
[15 of 21] Compiling MathPoly ( src/MathPoly.lhs, src/MathPoly.o )
[16 of 21] Compiling NewCode ( src/NewCode.lhs, src/NewCode.o )
[17 of 21] Compiling Math ( src/Math.lhs, src/Math.o )
[18 of 21] Compiling Version ( src/Version.lhs, src/Version.o )
[19 of 21] Compiling State ( src/State.lhs, src/State.o )
[20 of 21] Compiling License ( src/License.lhs, src/License.o )
[21 of 21] Compiling Main ( src/Main.lhs, src/Main.o )
Linking lhs2TeX ...
./lhs2TeX --code lhs2TeX.fmt.lit > lhs2TeX.fmt
./lhs2TeX --code lhs2TeX.sty.lit > lhs2TeX.sty
cd doc; /usr/bin/make
make[2]: Entering directory '/<<PKGBUILDDIR>>/doc'
MODE=`cat HelloWorldInput.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HelloWorldInput.lhs > HelloWorldInput.tex
verb
MODE=`cat HelloWorldDialogue.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HelloWorldDialogue.lhs > HelloWorldDialogue.tex
verb
MODE=`cat HelloWorld.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HelloWorld.lhs > HelloWorld.tex
poly
MODE=`cat HackageInstallation.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HackageInstallation.lhs > HackageInstallation.tex
tt
MODE=`cat CabalInstallation.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} CabalInstallation.lhs > CabalInstallation.tex
tt
MODE=`cat InstallationInstructions.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} InstallationInstructions.lhs > InstallationInstructions.tex
tt
MODE=`cat ConfigureCall.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ConfigureCall.lhs > ConfigureCall.tex
verb
../lhs2TeX --texsearchpath > RawSearchPath.lhs
touch SearchPath.lhs
MODE=`cat SearchPath.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} SearchPath.lhs > SearchPath.tex
verb
MODE=`cat MkTeXLsrCall.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} MkTeXLsrCall.lhs > MkTeXLsrCall.tex
verb
MODE=`cat HelloWorldBirdInput.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HelloWorldBirdInput.lhs > HelloWorldBirdInput.tex
verb
MODE=`cat HelloWorldBirdSpecInput.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HelloWorldBirdSpecInput.lhs > HelloWorldBirdSpecInput.tex
verb
MODE=`cat HelloWorldCodeInput.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HelloWorldCodeInput.lhs > HelloWorldCodeInput.tex
verb
MODE=`cat HelloWorldSpecInput.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HelloWorldSpecInput.lhs > HelloWorldSpecInput.tex
verb
MODE=`cat ZipPolyIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ZipPolyIn.lhs > ZipPolyIn.tex
verb
MODE=`cat ZipPoly.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ZipPoly.lhs > ZipPoly.tex
poly
MODE=`cat ZipPolyTT.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ZipPolyTT.lhs > ZipPolyTT.tex
poly
MODE=`cat CompleteDirectives.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} CompleteDirectives.lhs > CompleteDirectives.tex
poly
MODE=`cat IncludeSyntax.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} IncludeSyntax.lhs > IncludeSyntax.tex
poly
MODE=`cat PolyPrelude.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} PolyPrelude.lhs > PolyPrelude.tex
verb
MODE=`cat IncludePrelude.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} IncludePrelude.lhs > IncludePrelude.tex
poly
MODE=`cat FormatSyntax.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatSyntax.lhs > FormatSyntax.tex
poly
MODE=`cat FormatGreekIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatGreekIn.lhs > FormatGreekIn.tex
verb
MODE=`cat FormatGreekOut.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatGreekOut.lhs > FormatGreekOut.tex
poly
MODE=`cat FormatIdentifierExamples.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatIdentifierExamples.lhs > FormatIdentifierExamples.tex
verb
MODE=`cat PlusDefinition.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} PlusDefinition.lhs > PlusDefinition.tex
verb
MODE=`cat FormatIdentifierRedefs.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatIdentifierRedefs.lhs > FormatIdentifierRedefs.tex
verb
MODE=`cat FormatIdentifierWrong.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatIdentifierWrong.lhs > FormatIdentifierWrong.tex
verb
MODE=`cat FormatElem.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatElem.lhs > FormatElem.tex
verb
MODE=`cat FormatArrow.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatArrow.lhs > FormatArrow.tex
verb
MODE=`cat FormatArrow2.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatArrow2.lhs > FormatArrow2.tex
verb
MODE=`cat FormatStar.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatStar.lhs > FormatStar.tex
verb
MODE=`cat FormatId.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatId.lhs > FormatId.tex
verb
MODE=`cat FormatRecurse.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} FormatRecurse.lhs > FormatRecurse.tex
verb
MODE=`cat CardIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} CardIn.lhs > CardIn.tex
verb
MODE=`cat Card.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Card.lhs > Card.tex
poly
MODE=`cat ParensExampleIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ParensExampleIn.lhs > ParensExampleIn.tex
verb
MODE=`cat ParensExample.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ParensExample.lhs > ParensExample.tex
poly
MODE=`cat ParensExample2In.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ParensExample2In.lhs > ParensExample2In.tex
verb
MODE=`cat ParensExample2.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ParensExample2.lhs > ParensExample2.tex
poly
MODE=`cat GroupSyntax.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} GroupSyntax.lhs > GroupSyntax.tex
poly
MODE=`cat GroupExampleIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} GroupExampleIn.lhs > GroupExampleIn.tex
verb
MODE=`cat GroupExample.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} GroupExample.lhs > GroupExample.tex
poly
MODE=`cat ImplicitIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ImplicitIn.lhs > ImplicitIn.tex
verb
MODE=`cat Implicit.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Implicit.lhs > Implicit.tex
poly
MODE=`cat ImplicitUnderscoreIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ImplicitUnderscoreIn.lhs > ImplicitUnderscoreIn.tex
verb
MODE=`cat ImplicitUnderscore.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ImplicitUnderscore.lhs > ImplicitUnderscore.tex
poly
MODE=`cat RepAlgIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} RepAlgIn.lhs > RepAlgIn.tex
tt
MODE=`cat RepAlg.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} RepAlg.lhs > RepAlg.tex
poly
MODE=`cat AccidentalIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} AccidentalIn.lhs > AccidentalIn.tex
tt
MODE=`cat Accidental.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Accidental.lhs > Accidental.tex
poly
MODE=`cat AccidentalCIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} AccidentalCIn.lhs > AccidentalCIn.tex
tt
MODE=`cat AccidentalC.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} AccidentalC.lhs > AccidentalC.tex
poly
MODE=`cat SepLatSyntax.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} SepLatSyntax.lhs > SepLatSyntax.tex
poly
MODE=`cat Indent1In.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Indent1In.lhs > Indent1In.tex
tt
MODE=`cat Indent1.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Indent1.lhs > Indent1.tex
poly
MODE=`cat Indent2In.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Indent2In.lhs > Indent2In.tex
verb
MODE=`cat Indent2.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Indent2.lhs > Indent2.tex
poly
MODE=`cat HsIndent.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} HsIndent.lhs > HsIndent.tex
verb
MODE=`cat Indent2aIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Indent2aIn.lhs > Indent2aIn.tex
tt
MODE=`cat Indent2a.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Indent2a.lhs > Indent2a.tex
poly
MODE=`cat Indent3In.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Indent3In.lhs > Indent3In.tex
verb
MODE=`cat Indent3.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Indent3.lhs > Indent3.tex
poly
MODE=`cat AlignColumnSyntax.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} AlignColumnSyntax.lhs > AlignColumnSyntax.tex
poly
MODE=`cat SaveRestoreIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} SaveRestoreIn.lhs > SaveRestoreIn.tex
verb
MODE=`cat SaveRestore.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} SaveRestore.lhs > SaveRestore.tex
poly
MODE=`cat SaveRestoreNo.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} SaveRestoreNo.lhs > SaveRestoreNo.tex
poly
MODE=`cat LetSyntax.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} LetSyntax.lhs > LetSyntax.tex
poly
MODE=`cat IfSyntax.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} IfSyntax.lhs > IfSyntax.tex
poly
MODE=`cat SpacingOps.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} SpacingOps.lhs > SpacingOps.tex
verb
MODE=`cat SpacingOpsCond.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} SpacingOpsCond.lhs > SpacingOpsCond.tex
verb
MODE=`cat InlineTeXSyntax.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} InlineTeXSyntax.lhs > InlineTeXSyntax.tex
poly
MODE=`cat AGExampleIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} AGExampleIn.lhs > AGExampleIn.tex
verb
MODE=`cat AGExample.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} AGExample.lhs > AGExample.tex
poly
MODE=`cat GHExampleIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} GHExampleIn.lhs > GHExampleIn.tex
verb
MODE=`cat GHExample.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} GHExample.lhs > GHExample.tex
poly
MODE=`cat CalcExampleIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} CalcExampleIn.lhs > CalcExampleIn.tex
verb
MODE=`cat CalcExample.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} CalcExample.lhs > CalcExample.tex
poly
MODE=`cat InteractiveGhciIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} InteractiveGhciIn.lhs > InteractiveGhciIn.tex
verb
MODE=`cat InteractiveGhci.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} InteractiveGhci.lhs > InteractiveGhci.tex
poly
MODE=`cat InteractiveHugsIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} InteractiveHugsIn.lhs > InteractiveHugsIn.tex
verb
MODE=`cat InteractiveHugs.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} InteractiveHugs.lhs > InteractiveHugs.tex
poly
MODE=`cat InteractivePreIn.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} InteractivePreIn.lhs > InteractivePreIn.tex
verb
MODE=`cat InteractivePre.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} InteractivePre.lhs > InteractivePre.tex
poly
MODE=`cat Zip.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Zip.lhs > Zip.tex
verb
MODE=`cat ZipTT.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ZipTT.lhs > ZipTT.tex
tt
MODE=`cat ZipStupid.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ZipStupid.lhs > ZipStupid.tex
math
MODE=`cat ZipMath.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} ZipMath.lhs > ZipMath.tex
math
MODE=`cat Variable.lhs \
| /bin/grep "^%include" \
| head -n 1 \
| /bin/sed -e "s/^%include \(.*\)\.fmt/\1/" \
| /bin/sed -e "s/verbatim/verb/" \
-e "s/stupid/math/" \
-e "s/tex/poly/" \
-e "s/polytt/poly/" \
-e "s/typewriter/tt/"` && \
echo ${MODE} && \
../lhs2TeX --${MODE} Variable.lhs > Variable.tex
poly
../lhs2TeX --poly -P.:..:../src: Guide2.lhs > Guide2.tex
ln -s ../polytable/polytable.sty .
ln -s ../polytable/lazylist.sty .
/bin/bash -c ' \
Guide2.tex; \
while /bin/grep -c "Warning.*Rerun" Guide2.log; \
do Guide2.tex; done;'; \
/bin/bash: line 2: Guide2.tex: command not found
/bin/grep: Guide2.log: No such file or directory
make[2]: Leaving directory '/<<PKGBUILDDIR>>/doc'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
touch build-stamp
dh_testdir
dh_testroot
dh_prep
dh_installdirs
/usr/bin/make install DESTDIR=/<<PKGBUILDDIR>>/debian/lhs2tex docdir=/usr/share/doc/lhs2tex
make[1]: Entering directory '/<<PKGBUILDDIR>>'
cd doc; /usr/bin/make
make[2]: Entering directory '/<<PKGBUILDDIR>>/doc'
/bin/bash -c ' \
Guide2.tex; \
while /bin/grep -c "Warning.*Rerun" Guide2.log; \
do Guide2.tex; done;'; \
/bin/bash: line 2: Guide2.tex: command not found
/bin/grep: Guide2.log: No such file or directory
make[2]: Leaving directory '/<<PKGBUILDDIR>>/doc'
./mkinstalldirs /<<PKGBUILDDIR>>/debian/lhs2tex/usr/bin
/usr/bin/install -c -m 755 lhs2TeX /<<PKGBUILDDIR>>/debian/lhs2tex/usr/bin
./mkinstalldirs /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/lhs2tex-1.24
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/lhs2tex-1.24
/usr/bin/install -c -m 644 lhs2TeX.sty lhs2TeX.fmt /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/lhs2tex-1.24
/usr/bin/install -c -m 644 Library/*.fmt /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/lhs2tex-1.24
./mkinstalldirs /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/doc/lhs2tex
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/doc
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/doc/lhs2tex
/usr/bin/install -c -m 644 doc/Guide2.pdf /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/doc/lhs2tex
./mkinstalldirs /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/man/man1
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/man
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/man/man1
/usr/bin/install -c -m 644 lhs2TeX.1 /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/man/man1
./mkinstalldirs /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/texmf/tex/latex/polytable
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/texmf
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/texmf/tex
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/texmf/tex/latex
mkdir /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/texmf/tex/latex/polytable
/usr/bin/install -c -m 644 polytable/*.sty /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/texmf/tex/latex/polytable
# ./mkinstalldirs /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/texmf/tex/latex/lhs2tex
# /usr/bin/install -c -m 644 Library/*.sty /<<PKGBUILDDIR>>/debian/lhs2tex/usr/share/texmf/tex/latex/lhs2tex
echo "Please update the TeX filename database."
Please update the TeX filename database.
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_testdir
dh_testroot
dh_installchangelogs
dh_installdocs
dh_installexamples Examples/*
dh_installman
dh_installtex
dh_link
dh_strip
dh_compress -X.pdf
dh_fixperms
dh_installdeb
dh_shlibdeps
dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/lhs2tex/usr/bin/lhs2TeX was not linked against libutil.so.1 (it uses none of the library's symbols)
dh_gencontrol
dh_md5sums
dh_builddeb
dpkg-deb: building package 'lhs2tex' in '../lhs2tex_1.24-1+b1_armhf.deb'.
dpkg-deb: building package 'lhs2tex-dbgsym' in '../lhs2tex-dbgsym_1.24-1+b1_armhf.deb'.
dpkg-genbuildinfo --build=any
dpkg-genchanges --build=any -mRaspbian mythic lxc autobuilder 1 <root@raspbian.org> >../lhs2tex_1.24-1+b1_armhf.changes
dpkg-genchanges: info: binary-only arch-specific upload (source code and arch-indep packages not included)
dpkg-source --after-build .
dpkg-buildpackage: info: binary-only upload (no source included)
--------------------------------------------------------------------------------
Build finished at 2021-10-02T20:01:15Z
Finished
--------
I: Built successfully
+------------------------------------------------------------------------------+
| Post Build Chroot |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Changes |
+------------------------------------------------------------------------------+
lhs2tex_1.24-1+b1_armhf.changes:
--------------------------------
Format: 1.8
Date: Tue, 16 Jun 2020 12:49:13 -0400
Source: lhs2tex (1.24-1)
Binary: lhs2tex lhs2tex-dbgsym
Binary-Only: yes
Architecture: armhf
Version: 1.24-1+b1
Distribution: bookworm-staging
Urgency: low
Maintainer: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Changed-By: Raspbian mythic lxc autobuilder 1 <root@raspbian.org>
Description:
lhs2tex - Generates LaTeX code from literate Haskell sources
Changes:
lhs2tex (1.24-1+b1) bookworm-staging; urgency=low, binary-only=yes
.
* Binary-only non-maintainer upload for armhf; no source changes.
* rebuild due to debcheck failure
Checksums-Sha1:
a7066635259a0cb80b1350dbca6825f39b2e0b3c 265776 lhs2tex-dbgsym_1.24-1+b1_armhf.deb
fa302c676cc731ad7013029347f4ac1e046cdeaf 5933 lhs2tex_1.24-1+b1_armhf.buildinfo
0b080572f4fe205304b57fa97fdbc8cbb2a81547 942996 lhs2tex_1.24-1+b1_armhf.deb
Checksums-Sha256:
d2365372a7f973230e82875060a061ef4a8a3859aff3bd3c13d80544ae045a25 265776 lhs2tex-dbgsym_1.24-1+b1_armhf.deb
b2a9494d02c12dc5a7fbeb9ceaf2daddb67e37922a330d72ba1dd35d5826da62 5933 lhs2tex_1.24-1+b1_armhf.buildinfo
1fe7aba2dc1485cfc9eaa719beabdd5ade5dca8780a0e660fe9c95f24ed7f337 942996 lhs2tex_1.24-1+b1_armhf.deb
Files:
7ee159d79670bf22de3db16d1d74e39f 265776 debug optional lhs2tex-dbgsym_1.24-1+b1_armhf.deb
c644beefaf735b1dc5ee79f6863c4871 5933 haskell optional lhs2tex_1.24-1+b1_armhf.buildinfo
bbb8c689774f60bda7ed95a579f9cc72 942996 haskell optional lhs2tex_1.24-1+b1_armhf.deb
+------------------------------------------------------------------------------+
| Package contents |
+------------------------------------------------------------------------------+
lhs2tex-dbgsym_1.24-1+b1_armhf.deb
----------------------------------
new Debian package, version 2.0.
size 265776 bytes: control archive=544 bytes.
382 bytes, 12 lines control
106 bytes, 1 lines md5sums
Package: lhs2tex-dbgsym
Source: lhs2tex (1.24-1)
Version: 1.24-1+b1
Auto-Built-Package: debug-symbols
Architecture: armhf
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 1937
Depends: lhs2tex (= 1.24-1+b1)
Section: debug
Priority: optional
Description: debug symbols for lhs2tex
Build-Ids: 5486de1120de86fe023a2ba564bb201822a439d0
drwxr-xr-x root/root 0 2020-06-16 16:49 ./
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/lib/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/lib/debug/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/lib/debug/.build-id/54/
-rw-r--r-- root/root 1972948 2020-06-16 16:49 ./usr/lib/debug/.build-id/54/86de1120de86fe023a2ba564bb201822a439d0.debug
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/doc/
lrwxrwxrwx root/root 0 2020-06-16 16:49 ./usr/share/doc/lhs2tex-dbgsym -> lhs2tex
lhs2tex_1.24-1+b1_armhf.deb
---------------------------
new Debian package, version 2.0.
size 942996 bytes: control archive=2520 bytes.
1485 bytes, 37 lines control
2147 bytes, 30 lines md5sums
388 bytes, 21 lines * postinst #!/bin/sh
964 bytes, 43 lines * postrm #!/bin/sh
Package: lhs2tex
Source: lhs2tex (1.24-1)
Version: 1.24-1+b1
Architecture: armhf
Maintainer: Debian Haskell Group <pkg-haskell-maintainers@lists.alioth.debian.org>
Installed-Size: 2647
Depends: texlive-latex-base, texlive-science, tex-common (>= 6.13), libc6 (>= 2.29), libffi8 (>= 3.4), libgmp10 (>= 2:6.2.1+dfsg)
Section: haskell
Priority: optional
Multi-Arch: foreign
Homepage: https://github.com/kosmikus/lhs2tex
Description: Generates LaTeX code from literate Haskell sources
lhs2TeX includes the following features:
.
Different styles to process your source file: for instance,
"tt" style uses a monospaced font for the code while still
allowing you to highlight keywords etc, whereas
"poly" style uses proportional fonts for identifiers, handles
indentation nicely, is able to replace binary operators by
mathematical symbols and take care of complex horizontal
alignments.
.
Formatting directives, which let you customize the way certain
tokens in the source code should appear in the processed
output.
.
A liberal parser that can handle most of the language
extensions; you don't have to restrict yourself to Haskell 98.
.
Preprocessor-style conditionals that allow you to generate
different versions of a document from a single source file
(for instance, a paper and a presentation).
.
Active documents: you can use Haskell to generate parts of the
document (useful for papers on Haskell).
.
A manual explaining all the important aspects of lhs2TeX.
drwxr-xr-x root/root 0 2020-06-16 16:49 ./
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/bin/
-rwxr-xr-x root/root 2154320 2020-06-16 16:49 ./usr/bin/lhs2TeX
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/doc-base/
-rw-r--r-- root/root 352 2020-02-08 01:58 ./usr/share/doc-base/lhs2tex.lhs2tex-guide
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/doc/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/doc/lhs2tex/
-rw-r--r-- root/root 441587 2020-06-16 16:49 ./usr/share/doc/lhs2tex/Guide2.pdf
-rw-r--r-- root/root 451 2001-09-09 01:46 ./usr/share/doc/lhs2tex/TODO
-rw-r--r-- root/root 221 2020-06-16 16:49 ./usr/share/doc/lhs2tex/changelog.Debian.armhf.gz
-rw-r--r-- root/root 3518 2020-06-16 16:49 ./usr/share/doc/lhs2tex/changelog.Debian.gz
-rw-r--r-- root/root 330 2001-09-09 01:46 ./usr/share/doc/lhs2tex/changelog.gz
-rw-r--r-- root/root 1485 2020-06-16 16:49 ./usr/share/doc/lhs2tex/copyright
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/doc/lhs2tex/examples/
-rwxr-xr-x root/root 1437 2001-09-09 01:46 ./usr/share/doc/lhs2tex/examples/FormatAlign.lhs
-rwxr-xr-x root/root 217 2001-09-09 01:46 ./usr/share/doc/lhs2tex/examples/HelloWorld.lhs
-rwxr-xr-x root/root 2422 2001-09-09 01:46 ./usr/share/doc/lhs2tex/examples/MaxSegment.lhs
-rwxr-xr-x root/root 4038 2001-09-09 01:46 ./usr/share/doc/lhs2tex/examples/Unlit.lhs
-rw-r--r-- root/root 1389 2001-09-09 01:46 ./usr/share/doc/lhs2tex/examples/UnlitP.lhs.gz
-rwxr-xr-x root/root 309 2020-06-16 16:49 ./usr/share/doc/lhs2tex/examples/lhs2TeXpre
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/
-rw-r--r-- root/root 1603 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/agda.fmt
-rw-r--r-- root/root 681 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/beamer.fmt
-rw-r--r-- root/root 1196 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/beamerboxed.fmt
-rw-r--r-- root/root 1785 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/colorcode.fmt
-rw-r--r-- root/root 850 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/exists.fmt
-rw-r--r-- root/root 1844 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/forall.fmt
-rw-r--r-- root/root 1839 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/greek.fmt
-rw-r--r-- root/root 926 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/jfpcompat.fmt
-rw-r--r-- root/root 977 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/lambda.fmt
-rw-r--r-- root/root 12746 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/lhs2TeX.fmt
-rw-r--r-- root/root 3848 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/lhs2TeX.sty
-rw-r--r-- root/root 5699 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/polycode.fmt
-rw-r--r-- root/root 799 2020-06-16 16:49 ./usr/share/lhs2tex-1.24/spacing.fmt
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/man/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/man/man1/
-rw-r--r-- root/root 2272 2020-06-16 16:49 ./usr/share/man/man1/lhs2TeX.1.gz
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/texmf/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/texmf/tex/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/texmf/tex/latex/
drwxr-xr-x root/root 0 2020-06-16 16:49 ./usr/share/texmf/tex/latex/polytable/
-rw-r--r-- root/root 2645 2020-06-16 16:49 ./usr/share/texmf/tex/latex/polytable/lazylist.sty
-rw-r--r-- root/root 26448 2020-06-16 16:49 ./usr/share/texmf/tex/latex/polytable/polytable.sty
+------------------------------------------------------------------------------+
| Post Build |
+------------------------------------------------------------------------------+
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: armhf
Build-Space: 14460
Build-Time: 367
Distribution: bookworm-staging
Host Architecture: armhf
Install-Time: 220
Job: lhs2tex_1.24-1
Machine Architecture: armhf
Package: lhs2tex
Package-Time: 608
Source-Version: 1.24-1
Space: 14460
Status: successful
Version: 1.24-1+b1
--------------------------------------------------------------------------------
Finished at 2021-10-02T20:01:15Z
Build needed 00:10:08, 14460k disk space