Raspbian Package Auto-Building

Build log for menhir (20190626-6+b1) on armhf

menhir → 20190626-6+b1 → armhf → 2019-09-05 11:14:18 

sbuild (Debian sbuild) 0.73.0 (23 Dec 2016) on test2019

+==============================================================================+
| menhir 20190626-6+b1 (armhf)                 Thu, 05 Sep 2019 11:00:20 +0000 |
+==============================================================================+

Package: menhir
Version: 20190626-6+b1
Source Version: 20190626-6
Distribution: bullseye-staging
Machine Architecture: armhf
Host Architecture: armhf
Build Architecture: armhf
Build Type: any

I: NOTICE: Log filtering will replace 'var/run/schroot/mount/bullseye-staging-armhf-sbuild-b72de7fd-626f-4561-b253-b42c01f11d1c' with '<<CHROOT>>'

+------------------------------------------------------------------------------+
| Update chroot                                                                |
+------------------------------------------------------------------------------+

Get:1 http://172.17.0.1/private bullseye-staging InRelease [11.3 kB]
Get:2 http://172.17.0.1/private bullseye-staging/main Sources [11.5 MB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf Packages [13.0 MB]
Fetched 24.5 MB in 23s (1081 kB/s)
Reading package lists...

+------------------------------------------------------------------------------+
| Fetch source files                                                           |
+------------------------------------------------------------------------------+


Check APT
---------

Checking available source versions...

Download source files with APT
------------------------------

Reading package lists...
NOTICE: 'menhir' packaging is maintained in the 'Git' version control system at:
https://salsa.debian.org/ocaml-team/menhir.git
Please use:
git clone https://salsa.debian.org/ocaml-team/menhir.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 2506 kB of source archives.
Get:1 http://172.17.0.1/private bullseye-staging/main menhir 20190626-6 (dsc) [2050 B]
Get:2 http://172.17.0.1/private bullseye-staging/main menhir 20190626-6 (tar) [2488 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main menhir 20190626-6 (diff) [16.3 kB]
Fetched 2506 kB in 1s (3306 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace 'build/menhir-nsMyMz/menhir-20190626' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/menhir-nsMyMz' 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-o7RePw/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-o7RePw/gpg/pubring.kbx' created
gpg: /<<BUILDDIR>>/resolver-o7RePw/gpg/trustdb.gpg: trustdb created
gpg: key E70254B6505CF8F7: 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 E70254B6505CF8F7: "Sbuild Signer (Sbuild Build Dependency Archive Key) <buildd-tools-devel@lists.alioth.debian.org>" not changed
gpg: key E70254B6505CF8F7: 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-o7RePw/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Release [957 B]
Get:3 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Release.gpg [370 B]
Ign:3 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Release.gpg
Get:4 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Sources [349 B]
Get:5 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Packages [432 B]
Fetched 2108 B in 1s (3319 B/s)
Reading package lists...
W: copy:///<<BUILDDIR>>/resolver-o7RePw/apt_archive/./Release.gpg: The key(s) in the keyring /etc/apt/trusted.gpg.d/sbuild-build-depends-archive.gpg are ignored as the file is not readable by user '_apt' executing apt-key.
W: GPG error: copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY E70254B6505CF8F7
Reading package lists...

Install core build dependencies (apt-based resolver)
----------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
The following NEW packages will be installed:
  sbuild-build-depends-core-dummy
0 upgraded, 1 newly installed, 0 to remove and 95 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-o7RePw/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 (0 B/s)
Selecting previously unselected package sbuild-build-depends-core-dummy.
(Reading database ... 12044 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) ...

+------------------------------------------------------------------------------+
| Check architectures                                                          |
+------------------------------------------------------------------------------+

Arch check ok (armhf included in any all)

+------------------------------------------------------------------------------+
| Install package build dependencies                                           |
+------------------------------------------------------------------------------+


Setup apt archive
-----------------

Merged Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml, coq
Filtered Build-Depends: debhelper-compat (= 12), ocaml-nox (>= 4.02~), ocamlbuild, ocaml-findlib, dh-ocaml, coq
dpkg-deb: building package 'sbuild-build-depends-menhir-dummy' in '/<<BUILDDIR>>/resolver-o7RePw/apt_archive/sbuild-build-depends-menhir-dummy.deb'.
dpkg-scanpackages: warning: Packages in archive but missing from override file:
dpkg-scanpackages: warning:   sbuild-build-depends-core-dummy sbuild-build-depends-menhir-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-o7RePw/apt_archive ./ InRelease
Get:2 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Release [963 B]
Get:3 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Release.gpg [370 B]
Ign:3 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Release.gpg
Get:4 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Sources [527 B]
Get:5 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Packages [611 B]
Fetched 2471 B in 1s (3947 B/s)
Reading package lists...
W: copy:///<<BUILDDIR>>/resolver-o7RePw/apt_archive/./Release.gpg: The key(s) in the keyring /etc/apt/trusted.gpg.d/sbuild-build-depends-archive.gpg are ignored as the file is not readable by user '_apt' executing apt-key.
W: GPG error: copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ Release: The following signatures couldn't be verified because the public key is not available: NO_PUBKEY E70254B6505CF8F7
Reading package lists...

Install menhir build dependencies (apt-based resolver)
------------------------------------------------------

Installing build dependencies
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils coq coq-theories
  debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0
  libcoq-ocaml libcroco3 libelf1 libexpat1 libfile-stripnondeterminism-perl
  libfindlib-ocaml libglib2.0-0 libicu63 libmagic-mgc libmagic1 libmpdec2
  libncurses-dev libncurses5-dev libncurses6 libncursesw6 libpipeline1
  libpython3-stdlib libpython3.7-minimal libpython3.7-stdlib libreadline8
  libsigsegv2 libssl1.1 libsub-override-perl libtinfo5 libtinfo6 libtool
  libuchardet0 libxml2 m4 man-db mime-support ocaml-base-nox
  ocaml-compiler-libs ocaml-findlib ocaml-interp ocaml-nox ocamlbuild
  po-debconf python3 python3-minimal python3.7 python3.7-minimal
  sensible-utils
Suggested packages:
  autoconf-archive gnu-standards autoconf-doc wamerican | wordlist whois
  vacation proofgeneral ledit | readline-editor libcoq-ocaml-dev why coq-doc
  dh-make git gettext-doc libasprintf-dev libgettextpo-dev groff ncurses-doc
  libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
  www-browser camlp4 ocaml-doc tuareg-mode | ocaml-mode libmail-box-perl
  python3-doc python3-tk python3-venv python3.7-venv python3.7-doc
  binfmt-support
Recommended packages:
  curl | wget | lynx libarchive-cpio-perl libglib2.0-data shared-mime-info
  xdg-user-dirs libgpm2 libltdl-dev libfindlib-ocaml-dev ledit
  | readline-editor libmail-sendmail-perl
The following NEW packages will be installed:
  autoconf automake autopoint autotools-dev bsdmainutils coq coq-theories
  debhelper dh-autoreconf dh-ocaml dh-strip-nondeterminism dwz file gettext
  gettext-base groff-base intltool-debian libarchive-zip-perl libbsd0
  libcoq-ocaml libcroco3 libelf1 libexpat1 libfile-stripnondeterminism-perl
  libfindlib-ocaml libglib2.0-0 libicu63 libmagic-mgc libmagic1 libmpdec2
  libncurses-dev libncurses5-dev libncurses6 libpipeline1 libpython3-stdlib
  libpython3.7-minimal libpython3.7-stdlib libreadline8 libsigsegv2 libssl1.1
  libsub-override-perl libtinfo5 libtool libuchardet0 libxml2 m4 man-db
  mime-support ocaml-base-nox ocaml-compiler-libs ocaml-findlib ocaml-interp
  ocaml-nox ocamlbuild po-debconf python3 python3-minimal python3.7
  python3.7-minimal sbuild-build-depends-menhir-dummy sensible-utils
The following packages will be upgraded:
  libncursesw6 libtinfo6
2 upgraded, 61 newly installed, 0 to remove and 93 not upgraded.
Need to get 156 MB of archives.
After this operation, 657 MB of additional disk space will be used.
Get:1 copy:/<<BUILDDIR>>/resolver-o7RePw/apt_archive ./ sbuild-build-depends-menhir-dummy 0.invalid.0 [896 B]
Get:2 http://172.17.0.1/private bullseye-staging/main armhf libbsd0 armhf 0.10.0-1 [112 kB]
Get:3 http://172.17.0.1/private bullseye-staging/main armhf libtinfo5 armhf 6.1+20190803-1 [314 kB]
Get:4 http://172.17.0.1/private bullseye-staging/main armhf bsdmainutils armhf 11.1.2 [182 kB]
Get:5 http://172.17.0.1/private bullseye-staging/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB]
Get:6 http://172.17.0.1/private bullseye-staging/main armhf groff-base armhf 1.22.4-3 [782 kB]
Get:7 http://172.17.0.1/private bullseye-staging/main armhf libpipeline1 armhf 1.5.1-2 [26.6 kB]
Get:8 http://172.17.0.1/private bullseye-staging/main armhf man-db armhf 2.8.7-3 [1254 kB]
Get:9 http://172.17.0.1/private bullseye-staging/main armhf libssl1.1 armhf 1.1.1c-1 [1259 kB]
Get:10 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-minimal armhf 3.7.4-3 [584 kB]
Get:11 http://172.17.0.1/private bullseye-staging/main armhf libexpat1 armhf 2.2.7-1 [77.2 kB]
Get:12 http://172.17.0.1/private bullseye-staging/main armhf python3.7-minimal armhf 3.7.4-3 [1462 kB]
Get:13 http://172.17.0.1/private bullseye-staging/main armhf python3-minimal armhf 3.7.3-1 [36.6 kB]
Get:14 http://172.17.0.1/private bullseye-staging/main armhf mime-support all 3.63 [37.7 kB]
Get:15 http://172.17.0.1/private bullseye-staging/main armhf libmpdec2 armhf 2.4.2-2 [67.2 kB]
Get:16 http://172.17.0.1/private bullseye-staging/main armhf libtinfo6 armhf 6.1+20190803-1 [318 kB]
Get:17 http://172.17.0.1/private bullseye-staging/main armhf libncursesw6 armhf 6.1+20190803-1 [104 kB]
Get:18 http://172.17.0.1/private bullseye-staging/main armhf libreadline8 armhf 8.0-3 [138 kB]
Get:19 http://172.17.0.1/private bullseye-staging/main armhf libpython3.7-stdlib armhf 3.7.4-3 [1673 kB]
Get:20 http://172.17.0.1/private bullseye-staging/main armhf python3.7 armhf 3.7.4-3 [340 kB]
Get:21 http://172.17.0.1/private bullseye-staging/main armhf libpython3-stdlib armhf 3.7.3-1 [20.0 kB]
Get:22 http://172.17.0.1/private bullseye-staging/main armhf python3 armhf 3.7.3-1 [61.5 kB]
Get:23 http://172.17.0.1/private bullseye-staging/main armhf sensible-utils all 0.0.12 [15.8 kB]
Get:24 http://172.17.0.1/private bullseye-staging/main armhf libmagic-mgc armhf 1:5.37-5 [253 kB]
Get:25 http://172.17.0.1/private bullseye-staging/main armhf libmagic1 armhf 1:5.37-5 [111 kB]
Get:26 http://172.17.0.1/private bullseye-staging/main armhf file armhf 1:5.37-5 [66.2 kB]
Get:27 http://172.17.0.1/private bullseye-staging/main armhf gettext-base armhf 0.19.8.1-9 [117 kB]
Get:28 http://172.17.0.1/private bullseye-staging/main armhf libsigsegv2 armhf 2.12-2 [32.3 kB]
Get:29 http://172.17.0.1/private bullseye-staging/main armhf m4 armhf 1.4.18-2 [185 kB]
Get:30 http://172.17.0.1/private bullseye-staging/main armhf autoconf all 2.69-11 [341 kB]
Get:31 http://172.17.0.1/private bullseye-staging/main armhf autotools-dev all 20180224.1 [77.0 kB]
Get:32 http://172.17.0.1/private bullseye-staging/main armhf automake all 1:1.16.1-4 [771 kB]
Get:33 http://172.17.0.1/private bullseye-staging/main armhf autopoint all 0.19.8.1-9 [434 kB]
Get:34 http://172.17.0.1/private bullseye-staging/main armhf coq-theories armhf 8.9.1-1 [20.4 MB]
Get:35 http://172.17.0.1/private bullseye-staging/main armhf libncurses6 armhf 6.1+20190803-1 [79.3 kB]
Get:36 http://172.17.0.1/private bullseye-staging/main armhf ocaml-base-nox armhf 4.05.0-12+rpi1 [577 kB]
Get:37 http://172.17.0.1/private bullseye-staging/main armhf libcoq-ocaml armhf 8.9.1-1 [5378 kB]
Get:38 http://172.17.0.1/private bullseye-staging/main armhf libncurses-dev armhf 6.1+20190803-1 [281 kB]
Get:39 http://172.17.0.1/private bullseye-staging/main armhf libncurses5-dev armhf 6.1+20190803-1 [940 B]
Get:40 http://172.17.0.1/private bullseye-staging/main armhf ocaml-compiler-libs armhf 4.05.0-12+rpi1 [19.2 MB]
Get:41 http://172.17.0.1/private bullseye-staging/main armhf ocaml-interp armhf 4.05.0-12+rpi1 [3581 kB]
Get:42 http://172.17.0.1/private bullseye-staging/main armhf ocaml-nox armhf 4.05.0-12+rpi1 [25.1 MB]
Get:43 http://172.17.0.1/private bullseye-staging/main armhf libfindlib-ocaml armhf 1.8.1-1 [169 kB]
Get:44 http://172.17.0.1/private bullseye-staging/main armhf ocaml-findlib armhf 1.8.1-1 [320 kB]
Get:45 http://172.17.0.1/private bullseye-staging/main armhf coq armhf 8.9.1-1 [55.7 MB]
Get:46 http://172.17.0.1/private bullseye-staging/main armhf libtool all 2.4.6-9 [547 kB]
Get:47 http://172.17.0.1/private bullseye-staging/main armhf dh-autoreconf all 19 [16.9 kB]
Get:48 http://172.17.0.1/private bullseye-staging/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB]
Get:49 http://172.17.0.1/private bullseye-staging/main armhf libsub-override-perl all 0.09-2 [10.2 kB]
Get:50 http://172.17.0.1/private bullseye-staging/main armhf libfile-stripnondeterminism-perl all 1.5.0-1 [22.8 kB]
Get:51 http://172.17.0.1/private bullseye-staging/main armhf dh-strip-nondeterminism all 1.5.0-1 [14.1 kB]
Get:52 http://172.17.0.1/private bullseye-staging/main armhf libelf1 armhf 0.176-1.1 [158 kB]
Get:53 http://172.17.0.1/private bullseye-staging/main armhf dwz armhf 0.13-1 [69.7 kB]
Get:54 http://172.17.0.1/private bullseye-staging/main armhf libglib2.0-0 armhf 2.60.6-2 [1109 kB]
Get:55 http://172.17.0.1/private bullseye-staging/main armhf libicu63 armhf 63.2-2 [7974 kB]
Get:56 http://172.17.0.1/private bullseye-staging/main armhf libxml2 armhf 2.9.4+dfsg1-7+b2 [571 kB]
Get:57 http://172.17.0.1/private bullseye-staging/main armhf libcroco3 armhf 0.6.13-1 [133 kB]
Get:58 http://172.17.0.1/private bullseye-staging/main armhf gettext armhf 0.19.8.1-9 [1219 kB]
Get:59 http://172.17.0.1/private bullseye-staging/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB]
Get:60 http://172.17.0.1/private bullseye-staging/main armhf po-debconf all 1.0.21 [248 kB]
Get:61 http://172.17.0.1/private bullseye-staging/main armhf debhelper all 12.5.4 [1035 kB]
Get:62 http://172.17.0.1/private bullseye-staging/main armhf dh-ocaml all 1.1.0 [83.3 kB]
Get:63 http://172.17.0.1/private bullseye-staging/main armhf ocamlbuild armhf 0.14.0-1 [723 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 156 MB in 45s (3458 kB/s)
Selecting previously unselected package libbsd0:armhf.
(Reading database ... 12044 files and directories currently installed.)
Preparing to unpack .../00-libbsd0_0.10.0-1_armhf.deb ...
Unpacking libbsd0:armhf (0.10.0-1) ...
Selecting previously unselected package libtinfo5:armhf.
Preparing to unpack .../01-libtinfo5_6.1+20190803-1_armhf.deb ...
Unpacking libtinfo5:armhf (6.1+20190803-1) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../02-bsdmainutils_11.1.2_armhf.deb ...
Unpacking bsdmainutils (11.1.2) ...
Selecting previously unselected package libuchardet0:armhf.
Preparing to unpack .../03-libuchardet0_0.0.6-3_armhf.deb ...
Unpacking libuchardet0:armhf (0.0.6-3) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../04-groff-base_1.22.4-3_armhf.deb ...
Unpacking groff-base (1.22.4-3) ...
Selecting previously unselected package libpipeline1:armhf.
Preparing to unpack .../05-libpipeline1_1.5.1-2_armhf.deb ...
Unpacking libpipeline1:armhf (1.5.1-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../06-man-db_2.8.7-3_armhf.deb ...
Unpacking man-db (2.8.7-3) ...
Selecting previously unselected package libssl1.1:armhf.
Preparing to unpack .../07-libssl1.1_1.1.1c-1_armhf.deb ...
Unpacking libssl1.1:armhf (1.1.1c-1) ...
Selecting previously unselected package libpython3.7-minimal:armhf.
Preparing to unpack .../08-libpython3.7-minimal_3.7.4-3_armhf.deb ...
Unpacking libpython3.7-minimal:armhf (3.7.4-3) ...
Selecting previously unselected package libexpat1:armhf.
Preparing to unpack .../09-libexpat1_2.2.7-1_armhf.deb ...
Unpacking libexpat1:armhf (2.2.7-1) ...
Selecting previously unselected package python3.7-minimal.
Preparing to unpack .../10-python3.7-minimal_3.7.4-3_armhf.deb ...
Unpacking python3.7-minimal (3.7.4-3) ...
Setting up libssl1.1:armhf (1.1.1c-1) ...
Setting up libpython3.7-minimal:armhf (3.7.4-3) ...
Setting up libexpat1:armhf (2.2.7-1) ...
Setting up python3.7-minimal (3.7.4-3) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 12946 files and directories currently installed.)
Preparing to unpack .../python3-minimal_3.7.3-1_armhf.deb ...
Unpacking python3-minimal (3.7.3-1) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../mime-support_3.63_all.deb ...
Unpacking mime-support (3.63) ...
Selecting previously unselected package libmpdec2:armhf.
Preparing to unpack .../libmpdec2_2.4.2-2_armhf.deb ...
Unpacking libmpdec2:armhf (2.4.2-2) ...
Preparing to unpack .../libtinfo6_6.1+20190803-1_armhf.deb ...
Unpacking libtinfo6:armhf (6.1+20190803-1) over (6.1+20181013-2) ...
Setting up libtinfo6:armhf (6.1+20190803-1) ...
(Reading database ... 13000 files and directories currently installed.)
Preparing to unpack .../libncursesw6_6.1+20190803-1_armhf.deb ...
Unpacking libncursesw6:armhf (6.1+20190803-1) over (6.1+20181013-2) ...
Setting up libncursesw6:armhf (6.1+20190803-1) ...
Selecting previously unselected package libreadline8:armhf.
(Reading database ... 13000 files and directories currently installed.)
Preparing to unpack .../libreadline8_8.0-3_armhf.deb ...
Unpacking libreadline8:armhf (8.0-3) ...
Selecting previously unselected package libpython3.7-stdlib:armhf.
Preparing to unpack .../libpython3.7-stdlib_3.7.4-3_armhf.deb ...
Unpacking libpython3.7-stdlib:armhf (3.7.4-3) ...
Selecting previously unselected package python3.7.
Preparing to unpack .../python3.7_3.7.4-3_armhf.deb ...
Unpacking python3.7 (3.7.4-3) ...
Selecting previously unselected package libpython3-stdlib:armhf.
Preparing to unpack .../libpython3-stdlib_3.7.3-1_armhf.deb ...
Unpacking libpython3-stdlib:armhf (3.7.3-1) ...
Setting up python3-minimal (3.7.3-1) ...
Selecting previously unselected package python3.
(Reading database ... 13397 files and directories currently installed.)
Preparing to unpack .../00-python3_3.7.3-1_armhf.deb ...
Unpacking python3 (3.7.3-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.12_all.deb ...
Unpacking sensible-utils (0.0.12) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.37-5_armhf.deb ...
Unpacking libmagic-mgc (1:5.37-5) ...
Selecting previously unselected package libmagic1:armhf.
Preparing to unpack .../03-libmagic1_1%3a5.37-5_armhf.deb ...
Unpacking libmagic1:armhf (1:5.37-5) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.37-5_armhf.deb ...
Unpacking file (1:5.37-5) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.19.8.1-9_armhf.deb ...
Unpacking gettext-base (0.19.8.1-9) ...
Selecting previously unselected package libsigsegv2:armhf.
Preparing to unpack .../06-libsigsegv2_2.12-2_armhf.deb ...
Unpacking libsigsegv2:armhf (2.12-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../07-m4_1.4.18-2_armhf.deb ...
Unpacking m4 (1.4.18-2) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../08-autoconf_2.69-11_all.deb ...
Unpacking autoconf (2.69-11) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../09-autotools-dev_20180224.1_all.deb ...
Unpacking autotools-dev (20180224.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../10-automake_1%3a1.16.1-4_all.deb ...
Unpacking automake (1:1.16.1-4) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../11-autopoint_0.19.8.1-9_all.deb ...
Unpacking autopoint (0.19.8.1-9) ...
Selecting previously unselected package coq-theories.
Preparing to unpack .../12-coq-theories_8.9.1-1_armhf.deb ...
Unpacking coq-theories (8.9.1-1) ...
Selecting previously unselected package libncurses6:armhf.
Preparing to unpack .../13-libncurses6_6.1+20190803-1_armhf.deb ...
Unpacking libncurses6:armhf (6.1+20190803-1) ...
Selecting previously unselected package ocaml-base-nox.
Preparing to unpack .../14-ocaml-base-nox_4.05.0-12+rpi1_armhf.deb ...
Unpacking ocaml-base-nox (4.05.0-12+rpi1) ...
Selecting previously unselected package libcoq-ocaml.
Preparing to unpack .../15-libcoq-ocaml_8.9.1-1_armhf.deb ...
Unpacking libcoq-ocaml (8.9.1-1) ...
Selecting previously unselected package libncurses-dev:armhf.
Preparing to unpack .../16-libncurses-dev_6.1+20190803-1_armhf.deb ...
Unpacking libncurses-dev:armhf (6.1+20190803-1) ...
Selecting previously unselected package libncurses5-dev:armhf.
Preparing to unpack .../17-libncurses5-dev_6.1+20190803-1_armhf.deb ...
Unpacking libncurses5-dev:armhf (6.1+20190803-1) ...
Selecting previously unselected package ocaml-compiler-libs.
Preparing to unpack .../18-ocaml-compiler-libs_4.05.0-12+rpi1_armhf.deb ...
Unpacking ocaml-compiler-libs (4.05.0-12+rpi1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../19-ocaml-interp_4.05.0-12+rpi1_armhf.deb ...
Unpacking ocaml-interp (4.05.0-12+rpi1) ...
Selecting previously unselected package ocaml-nox.
Preparing to unpack .../20-ocaml-nox_4.05.0-12+rpi1_armhf.deb ...
Unpacking ocaml-nox (4.05.0-12+rpi1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../21-libfindlib-ocaml_1.8.1-1_armhf.deb ...
Unpacking libfindlib-ocaml (1.8.1-1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../22-ocaml-findlib_1.8.1-1_armhf.deb ...
Unpacking ocaml-findlib (1.8.1-1) ...
Selecting previously unselected package coq.
Preparing to unpack .../23-coq_8.9.1-1_armhf.deb ...
Unpacking coq (8.9.1-1) ...
Selecting previously unselected package libtool.
Preparing to unpack .../24-libtool_2.4.6-9_all.deb ...
Unpacking libtool (2.4.6-9) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../25-dh-autoreconf_19_all.deb ...
Unpacking dh-autoreconf (19) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../26-libarchive-zip-perl_1.64-1_all.deb ...
Unpacking libarchive-zip-perl (1.64-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../27-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 .../28-libfile-stripnondeterminism-perl_1.5.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.5.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../29-dh-strip-nondeterminism_1.5.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.5.0-1) ...
Selecting previously unselected package libelf1:armhf.
Preparing to unpack .../30-libelf1_0.176-1.1_armhf.deb ...
Unpacking libelf1:armhf (0.176-1.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../31-dwz_0.13-1_armhf.deb ...
Unpacking dwz (0.13-1) ...
Selecting previously unselected package libglib2.0-0:armhf.
Preparing to unpack .../32-libglib2.0-0_2.60.6-2_armhf.deb ...
Unpacking libglib2.0-0:armhf (2.60.6-2) ...
Selecting previously unselected package libicu63:armhf.
Preparing to unpack .../33-libicu63_63.2-2_armhf.deb ...
Unpacking libicu63:armhf (63.2-2) ...
Selecting previously unselected package libxml2:armhf.
Preparing to unpack .../34-libxml2_2.9.4+dfsg1-7+b2_armhf.deb ...
Unpacking libxml2:armhf (2.9.4+dfsg1-7+b2) ...
Selecting previously unselected package libcroco3:armhf.
Preparing to unpack .../35-libcroco3_0.6.13-1_armhf.deb ...
Unpacking libcroco3:armhf (0.6.13-1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../36-gettext_0.19.8.1-9_armhf.deb ...
Unpacking gettext (0.19.8.1-9) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../37-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 .../38-po-debconf_1.0.21_all.deb ...
Unpacking po-debconf (1.0.21) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../39-debhelper_12.5.4_all.deb ...
Unpacking debhelper (12.5.4) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../40-dh-ocaml_1.1.0_all.deb ...
Unpacking dh-ocaml (1.1.0) ...
Selecting previously unselected package ocamlbuild.
Preparing to unpack .../41-ocamlbuild_0.14.0-1_armhf.deb ...
Unpacking ocamlbuild (0.14.0-1) ...
Selecting previously unselected package sbuild-build-depends-menhir-dummy.
Preparing to unpack .../42-sbuild-build-depends-menhir-dummy_0.invalid.0_armhf.deb ...
Unpacking sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Setting up libpipeline1:armhf (1.5.1-2) ...
Setting up mime-support (3.63) ...
Setting up libmagic-mgc (1:5.37-5) ...
Setting up libarchive-zip-perl (1.64-1) ...
Setting up libglib2.0-0:armhf (2.60.6-2) ...
No schema files found: doing nothing.
Setting up libreadline8:armhf (8.0-3) ...
Setting up dh-ocaml (1.1.0) ...
Setting up libmagic1:armhf (1:5.37-5) ...
Setting up gettext-base (0.19.8.1-9) ...
Setting up file (1:5.37-5) ...
Setting up libicu63:armhf (63.2-2) ...
Setting up autotools-dev (20180224.1) ...
Setting up libncurses6:armhf (6.1+20190803-1) ...
Setting up libsigsegv2:armhf (2.12-2) ...
Setting up autopoint (0.19.8.1-9) ...
Setting up sensible-utils (0.0.12) ...
Setting up libuchardet0:armhf (0.0.6-3) ...
Setting up libsub-override-perl (0.09-2) ...
Setting up ocaml-base-nox (4.05.0-12+rpi1) ...
Setting up libmpdec2:armhf (2.4.2-2) ...
Setting up libbsd0:armhf (0.10.0-1) ...
Setting up libtinfo5:armhf (6.1+20190803-1) ...
Setting up libelf1:armhf (0.176-1.1) ...
Setting up libxml2:armhf (2.9.4+dfsg1-7+b2) ...
Setting up libfile-stripnondeterminism-perl (1.5.0-1) ...
Setting up libpython3.7-stdlib:armhf (3.7.4-3) ...
Setting up libncurses-dev:armhf (6.1+20190803-1) ...
Setting up libtool (2.4.6-9) ...
Setting up libfindlib-ocaml (1.8.1-1) ...
Setting up m4 (1.4.18-2) ...
Setting up ocamlbuild (0.14.0-1) ...
Setting up bsdmainutils (11.1.2) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up ocaml-findlib (1.8.1-1) ...
Setting up libcroco3:armhf (0.6.13-1) ...
Setting up libcoq-ocaml (8.9.1-1) ...
Setting up autoconf (2.69-11) ...
Setting up dwz (0.13-1) ...
Setting up groff-base (1.22.4-3) ...
Setting up libncurses5-dev:armhf (6.1+20190803-1) ...
Setting up libpython3-stdlib:armhf (3.7.3-1) ...
Setting up automake (1:1.16.1-4) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up python3.7 (3.7.4-3) ...
Setting up gettext (0.19.8.1-9) ...
Setting up python3 (3.7.3-1) ...
Setting up man-db (2.8.7-3) ...
Not building database; man-db/auto-update is not 'true'.
Setting up intltool-debian (0.35.0+20060710.5) ...
Setting up po-debconf (1.0.21) ...
Setting up dh-autoreconf (19) ...
Setting up coq-theories (8.9.1-1) ...
Setting up ocaml-compiler-libs (4.05.0-12+rpi1) ...
Setting up debhelper (12.5.4) ...
Setting up ocaml-interp (4.05.0-12+rpi1) ...
Setting up dh-strip-nondeterminism (1.5.0-1) ...
Setting up ocaml-nox (4.05.0-12+rpi1) ...
Setting up coq (8.9.1-1) ...
Setting up sbuild-build-depends-menhir-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.28-10+rpi1) ...

+------------------------------------------------------------------------------+
| Build environment                                                            |
+------------------------------------------------------------------------------+

Kernel: Linux 4.19.20-v7+ armhf (armv7l)
Toolchain package versions: binutils_2.31.1-16+rpi1 dpkg-dev_1.19.7 g++-8_8.3.0-6+rpi1 gcc-8_8.3.0-6+rpi1 libc6-dev_2.28-10+rpi1 libstdc++-8-dev_8.3.0-6+rpi1 libstdc++6_8.3.0-6+rpi1 linux-libc-dev_4.18.20-2+rpi1
Package versions: adduser_3.118 apt_1.8.2 autoconf_2.69-11 automake_1:1.16.1-4 autopoint_0.19.8.1-9 autotools-dev_20180224.1 base-files_10.3+rpi1 base-passwd_3.5.46 bash_5.0-4 binutils_2.31.1-16+rpi1 binutils-arm-linux-gnueabihf_2.31.1-16+rpi1 binutils-common_2.31.1-16+rpi1 bsdmainutils_11.1.2 bsdutils_1:2.33.1-0.1 build-essential_12.6 bzip2_1.0.6-9.1 coq_8.9.1-1 coq-theories_8.9.1-1 coreutils_8.30-3 cpp_4:8.3.0-1+rpi2 cpp-8_8.3.0-6+rpi1 dash_0.5.10.2-5 debconf_1.5.71 debhelper_12.5.4 debianutils_4.8.6.1 dh-autoreconf_19 dh-ocaml_1.1.0 dh-strip-nondeterminism_1.5.0-1 diffutils_1:3.7-3 dirmngr_2.2.12-1+rpi1 dpkg_1.19.7 dpkg-dev_1.19.7 dwz_0.13-1 e2fsprogs_1.44.5-1 fakeroot_1.23-1 fdisk_2.33.1-0.1 file_1:5.37-5 findutils_4.6.0+git+20190209-2 g++_4:8.3.0-1+rpi2 g++-8_8.3.0-6+rpi1 gcc_4:8.3.0-1+rpi2 gcc-4.9-base_4.9.4-2+rpi1+b19 gcc-5-base_5.5.0-8 gcc-6-base_6.5.0-1+rpi1+b1 gcc-7-base_7.3.0-19 gcc-8_8.3.0-6+rpi1 gcc-8-base_8.3.0-6+rpi1 gettext_0.19.8.1-9 gettext-base_0.19.8.1-9 gnupg_2.2.12-1+rpi1 gnupg-l10n_2.2.12-1+rpi1 gnupg-utils_2.2.12-1+rpi1 gpg_2.2.12-1+rpi1 gpg-agent_2.2.12-1+rpi1 gpg-wks-client_2.2.12-1+rpi1 gpg-wks-server_2.2.12-1+rpi1 gpgconf_2.2.12-1+rpi1 gpgsm_2.2.12-1+rpi1 gpgv_2.2.12-1+rpi1 grep_3.3-1 groff-base_1.22.4-3 gzip_1.9-3 hostname_3.21 init-system-helpers_1.56+nmu1 intltool-debian_0.35.0+20060710.5 libacl1_2.2.53-4 libapt-pkg5.0_1.8.2 libarchive-zip-perl_1.64-1 libasan5_8.3.0-6+rpi1 libassuan0_2.5.2-1 libatomic1_8.3.0-6+rpi1 libattr1_1:2.4.48-4 libaudit-common_1:2.8.4-3 libaudit1_1:2.8.4-3 libbinutils_2.31.1-16+rpi1 libblkid1_2.33.1-0.1 libbsd0_0.10.0-1 libbz2-1.0_1.0.6-9.1 libc-bin_2.28-10+rpi1 libc-dev-bin_2.28-10+rpi1 libc6_2.28-10+rpi1 libc6-dev_2.28-10+rpi1 libcap-ng0_0.7.9-2 libcc1-0_8.3.0-6+rpi1 libcom-err2_1.44.5-1 libcoq-ocaml_8.9.1-1 libcroco3_0.6.13-1 libdb5.3_5.3.28+dfsg1-0.5 libdebconfclient0_0.249 libdpkg-perl_1.19.7 libelf1_0.176-1.1 libexpat1_2.2.7-1 libext2fs2_1.44.5-1 libfakeroot_1.23-1 libfdisk1_2.33.1-0.1 libffi6_3.2.1-9 libfile-stripnondeterminism-perl_1.5.0-1 libfindlib-ocaml_1.8.1-1 libgcc-8-dev_8.3.0-6+rpi1 libgcc1_1:8.3.0-6+rpi1 libgcrypt20_1.8.4-5 libgdbm-compat4_1.18.1-4 libgdbm6_1.18.1-4 libglib2.0-0_2.60.6-2 libgmp10_2:6.1.2+dfsg-4 libgnutls30_3.6.7-4 libgomp1_8.3.0-6+rpi1 libgpg-error0_1.35-1 libhogweed4_3.4.1-1 libicu63_63.2-2 libidn2-0_2.0.5-1 libisl19_0.20-2 libksba8_1.3.5-2 libldap-2.4-2_2.4.47+dfsg-3+rpi1 libldap-common_2.4.47+dfsg-3+rpi1 liblocale-gettext-perl_1.07-3+b3 liblz4-1_1.8.3-1 liblzma5_5.2.4-1 libmagic-mgc_1:5.37-5 libmagic1_1:5.37-5 libmount1_2.33.1-0.1 libmpc3_1.1.0-1 libmpdec2_2.4.2-2 libmpfr6_4.0.2-1 libncurses-dev_6.1+20190803-1 libncurses5-dev_6.1+20190803-1 libncurses6_6.1+20190803-1 libncursesw6_6.1+20190803-1 libnettle6_3.4.1-1 libnpth0_1.6-1 libp11-kit0_0.23.15-2 libpam-modules_1.3.1-5 libpam-modules-bin_1.3.1-5 libpam-runtime_1.3.1-5 libpam0g_1.3.1-5 libpcre3_2:8.39-12 libperl5.28_5.28.1-6 libpipeline1_1.5.1-2 libpython3-stdlib_3.7.3-1 libpython3.7-minimal_3.7.4-3 libpython3.7-stdlib_3.7.4-3 libreadline7_7.0-5 libreadline8_8.0-3 libsasl2-2_2.1.27+dfsg-1+b1 libsasl2-modules-db_2.1.27+dfsg-1+b1 libseccomp2_2.3.3-4 libselinux1_2.8-1+b1 libsemanage-common_2.8-2 libsemanage1_2.8-2 libsepol1_2.8-1 libsigsegv2_2.12-2 libsmartcols1_2.33.1-0.1 libsqlite3-0_3.27.2-3 libss2_1.44.5-1 libssl1.1_1.1.1c-1 libstdc++-8-dev_8.3.0-6+rpi1 libstdc++6_8.3.0-6+rpi1 libsub-override-perl_0.09-2 libsystemd0_241-5+rpi1 libtasn1-6_4.13-3 libtext-charwidth-perl_0.04-7.1+b1 libtext-iconv-perl_1.7-5+b10 libtext-wrapi18n-perl_0.06-7.1 libtinfo5_6.1+20190803-1 libtinfo6_6.1+20190803-1 libtool_2.4.6-9 libubsan1_8.3.0-6+rpi1 libuchardet0_0.0.6-3 libudev1_241-5+rpi1 libunistring2_0.9.10-1 libuuid1_2.33.1-0.1 libxml2_2.9.4+dfsg1-7+b2 libzstd1_1.3.8+dfsg-3+rpi1 linux-libc-dev_4.18.20-2+rpi1 login_1:4.5-1.1 lsb-base_10.2019051400+rpi1 m4_1.4.18-2 make_4.2.1-1.2 man-db_2.8.7-3 mawk_1.3.3-17 mime-support_3.63 mount_2.33.1-0.1 ncurses-base_6.1+20181013-2 ncurses-bin_6.1+20181013-2 ocaml-base-nox_4.05.0-12+rpi1 ocaml-compiler-libs_4.05.0-12+rpi1 ocaml-findlib_1.8.1-1 ocaml-interp_4.05.0-12+rpi1 ocaml-nox_4.05.0-12+rpi1 ocamlbuild_0.14.0-1 passwd_1:4.5-1.1 patch_2.7.6-3 perl_5.28.1-6 perl-base_5.28.1-6 perl-modules-5.28_5.28.1-6 pinentry-curses_1.1.0-2 po-debconf_1.0.21 python3_3.7.3-1 python3-minimal_3.7.3-1 python3.7_3.7.4-3 python3.7-minimal_3.7.4-3 raspbian-archive-keyring_20120528.2 readline-common_7.0-5 sbuild-build-depends-core-dummy_0.invalid.0 sbuild-build-depends-menhir-dummy_0.invalid.0 sed_4.7-1 sensible-utils_0.0.12 sysvinit-utils_2.93-8 tar_1.30+dfsg-6 tzdata_2019a-1 util-linux_2.33.1-0.1 xz-utils_5.2.4-1 zlib1g_1:1.2.11.dfsg-1

+------------------------------------------------------------------------------+
| Build                                                                        |
+------------------------------------------------------------------------------+


Unpack source
-------------

gpgv: unknown type of key resource 'trustedkeys.kbx'
gpgv: keyblock resource '/sbuild-nonexistent/.gnupg/trustedkeys.kbx': General error
gpgv: Signature made Tue Aug 27 13:46:17 2019 UTC
gpgv:                using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./menhir_20190626-6.dsc
dpkg-source: info: extracting menhir in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking menhir_20190626.orig.tar.gz
dpkg-source: info: unpacking menhir_20190626-6.debian.tar.xz
dpkg-source: info: using patch list from debian/patches/series
dpkg-source: info: applying demos-enable-bytecode

Check disk space
----------------

Sufficient free space for build

Hack binNMU version
-------------------

Created changelog entry for binNMU version 20190626-6+b1

User Environment
----------------

APT_CONFIG=/var/lib/sbuild/apt.conf
DBUS_SESSION_BUS_ADDRESS=unix:path=/run/user/112/bus
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
PWD=/build/buildd
SCHROOT_ALIAS_NAME=bullseye-staging-armhf-sbuild
SCHROOT_CHROOT_NAME=bullseye-staging-armhf-sbuild
SCHROOT_COMMAND=env
SCHROOT_GID=116
SCHROOT_GROUP=buildd
SCHROOT_SESSION_ID=bullseye-staging-armhf-sbuild-b72de7fd-626f-4561-b253-b42c01f11d1c
SCHROOT_UID=112
SCHROOT_USER=buildd
SHELL=/bin/sh
USER=buildd
XDG_RUNTIME_DIR=/run/user/112
XDG_SESSION_ID=c58008

dpkg-buildpackage
-----------------

dpkg-buildpackage: info: source package menhir
dpkg-buildpackage: info: source version 20190626-6+b1
dpkg-buildpackage: info: source distribution bullseye-staging
 dpkg-source --before-build .
dpkg-buildpackage: info: host architecture armhf
 fakeroot debian/rules clean
dh clean --with ocaml
   debian/rules override_dh_auto_clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make -C src/ clean PREFIX=/<<PKGBUILDDIR>>/debian/tmp/usr
make[2]: Entering directory '/<<PKGBUILDDIR>>/src'
rm -rf _stage1 _stage2 _stage3 _sdk
rm -f *.mli.html
rm -f *.old *.new
make[2]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_ocamlclean
	rm -f ocamlinit-stamp debian/libmenhir-ocaml-dev.dirs debian/libmenhir-ocaml-dev.install
   dh_clean
	rm -f debian/debhelper-build-stamp
	rm -rf debian/.debhelper/
	rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/menhir-doc.substvars debian/libmenhir-coq.substvars debian/files
	rm -fr -- debian/menhir/ debian/tmp/ debian/libmenhir-ocaml-dev/ debian/menhir-doc/ debian/libmenhir-coq/
	find .  \( \( \
		\( -path .\*/.git -o -path .\*/.svn -o -path .\*/.bzr -o -path .\*/.hg -o -path .\*/CVS -o -path .\*/.pc -o -path .\*/_darcs \) -prune -o -type f -a \
	        \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \
		 -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \
		 -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \
		 -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \
		\) -exec rm -f {} + \) -o \
		\( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \)
 debian/rules build-arch
dh build-arch --with ocaml
   dh_update_autotools_config -a
   dh_autoreconf -a
   dh_ocamlinit -a
	sed  -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.dirs.in > debian/libmenhir-ocaml-dev.dirs
	sed  -e 's%@OCamlABI@%4.05.0%g' -e 's%@OCamlStdlibDir@%/usr/lib/ocaml%g' -e 's%@OCamlDllDir@%/usr/lib/ocaml/stublibs%g' -e 's/^OPT: //' -e '/^BYTE: /d' -e 's/^DYN: //' debian/libmenhir-ocaml-dev.install.in > debian/libmenhir-ocaml-dev.install
	touch ocamlinit-stamp
   dh_auto_configure -a
   debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make TARGET=native PREFIX=/usr
make[2]: Entering directory '/<<PKGBUILDDIR>>'
make[3]: Entering directory '/<<PKGBUILDDIR>>/src'
make[4]: Entering directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
touch menhirLib.mli  ; if  /usr/bin/ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
/usr/bin/ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa
/usr/bin/ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs
/usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends
/usr/bin/ocamldep.opt -modules back.mli > back.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml
/usr/bin/ocamldep.opt -modules back.ml > back.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
/usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml
/usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/bin/ocamldep.opt -modules version.ml > version.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml
/usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends
/usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
/usr/bin/ocamldep.opt -modules action.ml > action.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
/usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
/usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends
/usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli
/usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
/usr/bin/ocamldep.opt -modules basicSyntax.ml > basicSyntax.ml.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicSyntax.cmo basicSyntax.ml
/usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
/usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml
/usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml
/usr/bin/ocamldep.opt -modules front.ml > front.ml.depends
/usr/bin/ocamldep.opt -modules front.mli > front.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli
/usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules error.ml > error.ml.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml
/usr/bin/ocamldep.opt -modules basicPrinter.ml > basicPrinter.ml.depends
/usr/bin/ocamldep.opt -modules basicPrinter.mli > basicPrinter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicPrinter.cmi basicPrinter.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicSyntax.cmx basicSyntax.ml
/usr/bin/ocamldep.opt -modules option.ml > option.ml.depends
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/bin/ocamldep.opt -modules Compatibility.ml > Compatibility.ml.depends
/usr/bin/ocamldep.opt -modules Compatibility.mli > Compatibility.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Compatibility.cmi Compatibility.mli
/usr/bin/ocamllex.opt -q lineCount.mll
/usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Compatibility.cmx Compatibility.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p yaccDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p yacc-parser.mly parser.mly
/usr/bin/ocamlyacc parser.mly
/usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/bin/ocamllex.opt -q lexpointfree.mll
/usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml
/usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends
/usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml
/usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex.opt -q lexdep.mll
/usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex.opt -q lexmli.mll
/usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep.opt -modules inlining.ml > inlining.ml.depends
/usr/bin/ocamldep.opt -modules inlining.mli > inlining.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inlining.cmi inlining.mli
/usr/bin/ocamllex.opt -q chopInlined.mll
/usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml
/usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
/usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml
/usr/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
/usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
/usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
/usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml
/usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml
/usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml
/usr/bin/ocamldep.opt -modules time.ml > time.ml.depends
/usr/bin/ocamldep.opt -modules time.mli > time.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex.opt -q lexer.mll
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends
/usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml
/usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
/usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
/usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
/usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
/usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
/usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicPrinter.cmx basicPrinter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inlining.cmx inlining.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
/usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml
/usr/bin/ocamldep.opt -modules item.ml > item.ml.depends
/usr/bin/ocamldep.opt -modules item.mli > item.mli.depends
/usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml
/usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml
/usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml
/usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml
/usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/bin/ocamldep.opt -modules default.ml > default.ml.depends
/usr/bin/ocamldep.opt -modules default.mli > default.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli
/usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml
/usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml
/usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml
/usr/bin/ocamldep.opt -modules codeInliner.ml > codeInliner.ml.depends
/usr/bin/ocamldep.opt -modules codeInliner.mli > codeInliner.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeInliner.cmi codeInliner.mli
/usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml
/usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml
/usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml
/usr/bin/ocamllex.opt -q segment.mll
/usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/bin/ocamllex.opt -q sentenceLexer.mll
/usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
/usr/bin/ocamlyacc sentenceParser.mly
/usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml
/usr/bin/ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/bin/ocamldep.opt -modules Trie.ml > Trie.ml.depends
/usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml
/usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeInliner.cmx codeInliner.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml
/usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Compatibility.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx parser.cmx Driver.cmx basicSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx lineCount.cmx printer.cmx basicPrinter.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx inlining.cmx keywordExpansion.cmx lexer.cmx partialGrammar.cmx reachability.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx traverse.cmx codeInliner.cmx coqBackend.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 18(428), max: 12, min: 2, average(total): 4.333(1.140) }
make[4]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[4]: Entering directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o General.cmx General.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o IncrementalEngine.cmx IncrementalEngine.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o EngineTypes.cmx EngineTypes.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InfiniteArray.cmx InfiniteArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o PackedIntArray.cmx PackedIntArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableFormat.cmx InspectionTableFormat.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o LinearizedArray.cmx LinearizedArray.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableFormat.cmx TableFormat.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o RowDisplacement.cmx RowDisplacement.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Convert.cmx Convert.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Engine.cmx Engine.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o ErrorReports.cmx ErrorReports.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o Printers.cmx Printers.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o InspectionTableInterpreter.cmx InspectionTableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o TableInterpreter.cmx TableInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirLib -o StaticVersion.cmx StaticVersion.ml
touch menhirLib.mli  ; if  /usr/bin/ocamlopt.opt -pack -g -bin-annot General.cmx Convert.cmx IncrementalEngine.cmx EngineTypes.cmx Engine.cmx ErrorReports.cmx Printers.cmx InfiniteArray.cmx PackedIntArray.cmx RowDisplacement.cmx LinearizedArray.cmx TableFormat.cmx InspectionTableFormat.cmx InspectionTableInterpreter.cmx TableInterpreter.cmx StaticVersion.cmx -o menhirLib.cmx  ; then  rm -f menhirLib.mli  ; else  rm -f menhirLib.mli  ; exit 1; fi
/usr/bin/ocamlopt.opt -a menhirLib.cmx -o menhirLib.cmxa
/usr/bin/ocamlopt.opt -shared -linkall menhirLib.cmxa -o menhirLib.cmxs
/usr/bin/ocamldep.opt -modules menhir.ml > menhir.ml.depends
/usr/bin/ocamldep.opt -modules back.mli > back.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o back.cmi back.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o menhir.cmo menhir.ml
/usr/bin/ocamldep.opt -modules back.ml > back.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
/usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keyword.cmx keyword.ml
/usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/bin/ocamldep.opt -modules version.ml > version.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_api.cmx cmly_api.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_format.cmx cmly_format.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o version.cmx version.ml
/usr/bin/ocamldep.opt -modules cmly_write.ml > cmly_write.ml.depends
/usr/bin/ocamldep.opt -modules cmly_write.mli > cmly_write.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_write.cmi cmly_write.mli
/usr/bin/ocamldep.opt -modules action.ml > action.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamldep.opt -modules codeBits.ml > codeBits.ml.depends
/usr/bin/ocamldep.opt -modules codeBits.mli > codeBits.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBits.cmi codeBits.mli
/usr/bin/ocamldep.opt -modules settings.ml > settings.ml.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamldep.opt -modules installation.ml > installation.ml.depends
/usr/bin/ocamldep.opt -modules installation.mli > installation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o installation.cmi installation.mli
/usr/bin/ocamldep.opt -modules stringSet.ml > stringSet.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o installation.cmx installation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringSet.cmx stringSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o settings.cmx settings.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBits.cmx codeBits.ml
/usr/bin/ocamldep.opt -modules basicSyntax.ml > basicSyntax.ml.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicSyntax.cmo basicSyntax.ml
/usr/bin/ocamldep.opt -modules positions.ml > positions.ml.depends
/usr/bin/ocamldep.opt -modules stringMap.ml > stringMap.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o action.cmx action.ml
/usr/bin/ocamldep.opt -modules InputFile.ml > InputFile.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o positions.cmx positions.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o stringMap.cmx stringMap.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o InputFile.cmx InputFile.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o syntax.cmx syntax.ml
/usr/bin/ocamldep.opt -modules front.ml > front.ml.depends
/usr/bin/ocamldep.opt -modules front.mli > front.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o front.cmi front.mli
/usr/bin/ocamldep.opt -modules anonymous.ml > anonymous.ml.depends
/usr/bin/ocamldep.opt -modules anonymous.mli > anonymous.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o anonymous.cmi anonymous.mli
/usr/bin/ocamldep.opt -modules misc.ml > misc.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules error.ml > error.ml.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o error.cmx error.ml
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o misc.cmx misc.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parameters.cmx parameters.ml
/usr/bin/ocamldep.opt -modules basicPrinter.ml > basicPrinter.ml.depends
/usr/bin/ocamldep.opt -modules basicPrinter.mli > basicPrinter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o basicPrinter.cmi basicPrinter.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicSyntax.cmx basicSyntax.ml
/usr/bin/ocamldep.opt -modules option.ml > option.ml.depends
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamldep.opt -modules printer.ml > printer.ml.depends
/usr/bin/ocamldep.opt -modules printer.mli > printer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o printer.cmi printer.mli
/usr/bin/ocamldep.opt -modules Compatibility.ml > Compatibility.ml.depends
/usr/bin/ocamldep.opt -modules Compatibility.mli > Compatibility.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Compatibility.cmi Compatibility.mli
/usr/bin/ocamllex.opt -q lineCount.mll
/usr/bin/ocamldep.opt -modules lineCount.ml > lineCount.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lineCount.cmo lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Compatibility.cmx Compatibility.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lineCount.cmx lineCount.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o option.cmx option.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o printer.cmx printer.ml
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.ml > CheckSafeParameterizedGrammar.ml.depends
/usr/bin/ocamldep.opt -modules CheckSafeParameterizedGrammar.mli > CheckSafeParameterizedGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmi CheckSafeParameterizedGrammar.mli
/usr/bin/ocamldep.opt -modules tarjan.ml > tarjan.ml.depends
/usr/bin/ocamldep.opt -modules tarjan.mli > tarjan.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tarjan.cmi tarjan.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tarjan.cmx tarjan.ml
cp -p fancyDriver.ml Driver.ml
/usr/bin/ocamldep.opt -modules Driver.ml > Driver.ml.depends
/usr/bin/ocamldep.opt -modules Driver.mli > Driver.mli.depends
cp -p fancy-parser.mly parser.mly
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
/usr/bin/ocamllex.opt -q lexpointfree.mll
/usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
The action table is 13984 entries; 1795 non-zero; 1566 compressed.
The action table occupies roughly 3176 bytes.
The goto table is 20976 entries; 360 non-zero; 728 compressed.
The goto table occupies roughly 1500 bytes.
The error table occupies roughly 1764 bytes.
The default_reduction table occupies roughly 384 bytes.
The lhs table occupies roughly 148 bytes.
The trace table occupies roughly 4 bytes.
/usr/bin/ocamldep.opt -modules parser.mli > parser.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parser.cmi parser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Driver.cmi Driver.mli
/usr/bin/ocamldep.opt -modules parser.ml > parser.ml.depends
/usr/bin/ocamldep.opt -modules newRuleSyntax.ml > newRuleSyntax.ml.depends
/usr/bin/ocamldep.opt -modules parserAux.ml > parserAux.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexpointfree.cmx lexpointfree.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserAux.cmx parserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmx newRuleSyntax.ml
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --list-errors > parser.mly.auto.messages
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --list-errors > parser.mly.auto.messages
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compare-errors parser.mly.auto.messages --compare-errors parserMessages.messages
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
Read 105 sample input sentences and 105 error messages.
Read 105 sample input sentences and 50 error messages.
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --infer parser.mly --compile-errors parserMessages.messages > parserMessages.ml
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
Read 105 sample input sentences and 50 error messages.
/usr/bin/ocamldep.opt -modules parserMessages.ml > parserMessages.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserMessages.cmo parserMessages.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parser.cmx parser.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o parserMessages.cmx parserMessages.ml
/usr/bin/ocamldep.opt -modules Drop.ml > Drop.ml.depends
/usr/bin/ocamldep.opt -modules Drop.mli > Drop.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Drop.cmi Drop.mli
/usr/bin/ocamldep.opt -modules IO.ml > IO.ml.depends
/usr/bin/ocamldep.opt -modules IO.mli > IO.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IO.cmi IO.mli
/usr/bin/ocamldep.opt -modules infer.ml > infer.ml.depends
/usr/bin/ocamldep.opt -modules infer.mli > infer.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o infer.cmi infer.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o IO.cmx IO.ml
/usr/bin/ocamldep.opt -modules interface.ml > interface.ml.depends
/usr/bin/ocamldep.opt -modules interface.mli > interface.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interface.cmi interface.mli
/usr/bin/ocamldep.opt -modules nonterminalType.ml > nonterminalType.ml.depends
/usr/bin/ocamldep.opt -modules nonterminalType.mli > nonterminalType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o nonterminalType.cmi nonterminalType.mli
/usr/bin/ocamldep.opt -modules tokenType.ml > tokenType.ml.depends
/usr/bin/ocamldep.opt -modules tokenType.mli > tokenType.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tokenType.cmi tokenType.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o nonterminalType.cmx nonterminalType.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tokenType.cmx tokenType.ml
/usr/bin/ocamllex.opt -q lexdep.mll
/usr/bin/ocamldep.opt -modules lexdep.ml > lexdep.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexdep.cmo lexdep.ml
/usr/bin/ocamllex.opt -q lexmli.mll
/usr/bin/ocamldep.opt -modules lexmli.ml > lexmli.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexmli.cmo lexmli.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interface.cmx interface.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexdep.cmx lexdep.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexmli.cmx lexmli.ml
/usr/bin/ocamldep.opt -modules inlining.ml > inlining.ml.depends
/usr/bin/ocamldep.opt -modules inlining.mli > inlining.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o inlining.cmi inlining.mli
/usr/bin/ocamllex.opt -q chopInlined.mll
/usr/bin/ocamldep.opt -modules chopInlined.ml > chopInlined.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o chopInlined.cmo chopInlined.ml
/usr/bin/ocamldep.opt -modules listMonad.ml > listMonad.ml.depends
/usr/bin/ocamldep.opt -modules listMonad.mli > listMonad.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o listMonad.cmi listMonad.mli
/usr/bin/ocamldep.opt -modules Memoize.ml > Memoize.ml.depends
/usr/bin/ocamldep.opt -modules Memoize.mli > Memoize.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Memoize.cmi Memoize.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o chopInlined.cmx chopInlined.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o listMonad.cmx listMonad.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Memoize.cmx Memoize.ml
/usr/bin/ocamldep.opt -modules keywordExpansion.ml > keywordExpansion.ml.depends
/usr/bin/ocamldep.opt -modules keywordExpansion.mli > keywordExpansion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmi keywordExpansion.mli
/usr/bin/ocamldep.opt -modules grammarFunctor.ml > grammarFunctor.ml.depends
/usr/bin/ocamldep.opt -modules grammarFunctor.mli > grammarFunctor.mli.depends
/usr/bin/ocamldep.opt -modules gMap.ml > gMap.ml.depends
/usr/bin/ocamldep.opt -modules gSet.ml > gSet.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gSet.cmo gSet.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o gMap.cmo gMap.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmi grammarFunctor.mli
/usr/bin/ocamldep.opt -modules Boolean.ml > Boolean.ml.depends
/usr/bin/ocamldep.opt -modules Boolean.mli > Boolean.mli.depends
/usr/bin/ocamldep.opt -modules Fix.mli > Fix.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Fix.cmi Fix.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Boolean.cmi Boolean.mli
/usr/bin/ocamldep.opt -modules Fix.ml > Fix.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Fix.cmx Fix.ml
/usr/bin/ocamldep.opt -modules CompletedNatWitness.ml > CompletedNatWitness.ml.depends
/usr/bin/ocamldep.opt -modules CompletedNatWitness.mli > CompletedNatWitness.mli.depends
/usr/bin/ocamldep.opt -modules Seq.mli > Seq.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Seq.cmi Seq.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmi CompletedNatWitness.mli
/usr/bin/ocamldep.opt -modules Seq.ml > Seq.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Seq.cmx Seq.ml
/usr/bin/ocamldep.opt -modules compressedBitSet.ml > compressedBitSet.ml.depends
/usr/bin/ocamldep.opt -modules compressedBitSet.mli > compressedBitSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmi compressedBitSet.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gSet.cmx gSet.ml
/usr/bin/ocamldep.opt -modules FixSolver.ml > FixSolver.ml.depends
/usr/bin/ocamldep.opt -modules FixSolver.mli > FixSolver.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o FixSolver.cmi FixSolver.mli
/usr/bin/ocamldep.opt -modules Maps.ml > Maps.ml.depends
/usr/bin/ocamldep.opt -modules Maps.mli > Maps.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Maps.cmi Maps.mli
/usr/bin/ocamldep.opt -modules patricia.ml > patricia.ml.depends
/usr/bin/ocamldep.opt -modules patricia.mli > patricia.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o patricia.cmi patricia.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o gMap.cmx gMap.ml
/usr/bin/ocamldep.opt -modules time.ml > time.ml.depends
/usr/bin/ocamldep.opt -modules time.mli > time.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o time.cmi time.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Boolean.cmx Boolean.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CompletedNatWitness.cmx CompletedNatWitness.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o compressedBitSet.cmx compressedBitSet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o FixSolver.cmx FixSolver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Maps.cmx Maps.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o patricia.cmx patricia.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o time.cmx time.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammarFunctor.cmx grammarFunctor.ml
/usr/bin/ocamllex.opt -q lexer.mll
/usr/bin/ocamldep.opt -modules lexer.ml > lexer.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexer.cmo lexer.ml
/usr/bin/ocamldep.opt -modules partialGrammar.ml > partialGrammar.ml.depends
/usr/bin/ocamldep.opt -modules partialGrammar.mli > partialGrammar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o partialGrammar.cmi partialGrammar.mli
/usr/bin/ocamldep.opt -modules expandTokenAliases.ml > expandTokenAliases.ml.depends
/usr/bin/ocamldep.opt -modules expandTokenAliases.mli > expandTokenAliases.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmi expandTokenAliases.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o expandTokenAliases.cmx expandTokenAliases.ml
/usr/bin/ocamldep.opt -modules reachability.ml > reachability.ml.depends
/usr/bin/ocamldep.opt -modules reachability.mli > reachability.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o reachability.cmi reachability.mli
/usr/bin/ocamldep.opt -modules SelectiveExpansion.ml > SelectiveExpansion.ml.depends
/usr/bin/ocamldep.opt -modules SelectiveExpansion.mli > SelectiveExpansion.mli.depends
/usr/bin/ocamldep.opt -modules SortInference.mli > SortInference.mli.depends
/usr/bin/ocamldep.opt -modules GroundSort.mli > GroundSort.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o GroundSort.cmi GroundSort.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortInference.cmi SortInference.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmi SelectiveExpansion.mli
/usr/bin/ocamldep.opt -modules GroundSort.ml > GroundSort.ml.depends
/usr/bin/ocamldep.opt -modules SortInference.ml > SortInference.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o GroundSort.cmx GroundSort.ml
/usr/bin/ocamldep.opt -modules SortUnification.ml > SortUnification.ml.depends
/usr/bin/ocamldep.opt -modules SortUnification.mli > SortUnification.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o SortUnification.cmi SortUnification.mli
/usr/bin/ocamldep.opt -modules Unifier.ml > Unifier.ml.depends
/usr/bin/ocamldep.opt -modules Unifier.mli > Unifier.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Unifier.cmi Unifier.mli
/usr/bin/ocamldep.opt -modules mark.ml > mark.ml.depends
/usr/bin/ocamldep.opt -modules mark.mli > mark.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o mark.cmi mark.mli
/usr/bin/ocamldep.opt -modules unionFind.ml > unionFind.ml.depends
/usr/bin/ocamldep.opt -modules unionFind.mli > unionFind.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o unionFind.cmi unionFind.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o mark.cmx mark.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o unionFind.cmx unionFind.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Unifier.cmx Unifier.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortUnification.cmx SortUnification.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SortInference.cmx SortInference.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o anonymous.cmx anonymous.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o basicPrinter.cmx basicPrinter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o CheckSafeParameterizedGrammar.cmx CheckSafeParameterizedGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Driver.cmx Driver.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Drop.cmx Drop.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o infer.cmx infer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o inlining.cmx inlining.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o keywordExpansion.cmx keywordExpansion.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lexer.cmx lexer.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o partialGrammar.cmx partialGrammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o reachability.cmx reachability.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o SelectiveExpansion.cmx SelectiveExpansion.ml
/usr/bin/ocamldep.opt -modules grammar.ml > grammar.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o grammar.cmo grammar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o front.cmx front.ml
/usr/bin/ocamldep.opt -modules item.ml > item.ml.depends
/usr/bin/ocamldep.opt -modules item.mli > item.mli.depends
/usr/bin/ocamldep.opt -modules lookahead.mli > lookahead.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lookahead.cmi lookahead.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o item.cmi item.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o grammar.cmx grammar.ml
/usr/bin/ocamldep.opt -modules lr0.ml > lr0.ml.depends
/usr/bin/ocamldep.opt -modules lr0.mli > lr0.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr0.cmi lr0.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o item.cmx item.ml
/usr/bin/ocamldep.opt -modules lr1.ml > lr1.ml.depends
/usr/bin/ocamldep.opt -modules lr1.mli > lr1.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1.cmi lr1.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr0.cmx lr0.ml
/usr/bin/ocamldep.opt -modules slr.ml > slr.ml.depends
/usr/bin/ocamldep.opt -modules slr.mli > slr.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o slr.cmi slr.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o slr.cmx slr.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1.cmx lr1.ml
/usr/bin/ocamldep.opt -modules codeBackend.ml > codeBackend.ml.depends
/usr/bin/ocamldep.opt -modules codeBackend.mli > codeBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeBackend.cmi codeBackend.mli
/usr/bin/ocamldep.opt -modules codePieces.ml > codePieces.ml.depends
/usr/bin/ocamldep.opt -modules codePieces.mli > codePieces.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codePieces.cmi codePieces.mli
/usr/bin/ocamldep.opt -modules default.ml > default.ml.depends
/usr/bin/ocamldep.opt -modules default.mli > default.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o default.cmi default.mli
/usr/bin/ocamldep.opt -modules conflict.ml > conflict.ml.depends
/usr/bin/ocamldep.opt -modules conflict.mli > conflict.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o conflict.cmi conflict.mli
/usr/bin/ocamldep.opt -modules DependencyGraph.ml > DependencyGraph.ml.depends
/usr/bin/ocamldep.opt -modules DependencyGraph.mli > DependencyGraph.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmi DependencyGraph.mli
/usr/bin/ocamldep.opt -modules dot.ml > dot.ml.depends
/usr/bin/ocamldep.opt -modules dot.mli > dot.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o dot.cmi dot.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o dot.cmx dot.ml
/usr/bin/ocamldep.opt -modules derivation.ml > derivation.ml.depends
/usr/bin/ocamldep.opt -modules derivation.mli > derivation.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o derivation.cmi derivation.mli
/usr/bin/ocamldep.opt -modules lr1partial.ml > lr1partial.ml.depends
/usr/bin/ocamldep.opt -modules lr1partial.mli > lr1partial.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lr1partial.cmi lr1partial.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o DependencyGraph.cmx DependencyGraph.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o derivation.cmx derivation.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o lr1partial.cmx lr1partial.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o conflict.cmx conflict.ml
/usr/bin/ocamldep.opt -modules invariant.ml > invariant.ml.depends
/usr/bin/ocamldep.opt -modules invariant.mli > invariant.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o invariant.cmi invariant.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codePieces.cmx codePieces.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o default.cmx default.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o invariant.cmx invariant.ml
/usr/bin/ocamldep.opt -modules codeInliner.ml > codeInliner.ml.depends
/usr/bin/ocamldep.opt -modules codeInliner.mli > codeInliner.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o codeInliner.cmi codeInliner.mli
/usr/bin/ocamldep.opt -modules traverse.ml > traverse.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o traverse.cmo traverse.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o traverse.cmx traverse.ml
/usr/bin/ocamldep.opt -modules coqBackend.ml > coqBackend.ml.depends
/usr/bin/ocamldep.opt -modules coqBackend.mli > coqBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o coqBackend.cmi coqBackend.mli
/usr/bin/ocamldep.opt -modules interpret.ml > interpret.ml.depends
/usr/bin/ocamldep.opt -modules interpret.mli > interpret.mli.depends
/usr/bin/ocamldep.opt -modules referenceInterpreter.mli > referenceInterpreter.mli.depends
/usr/bin/ocamldep.opt -modules cst.mli > cst.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cst.cmi cst.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmi referenceInterpreter.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o interpret.cmi interpret.mli
/usr/bin/ocamldep.opt -modules cst.ml > cst.ml.depends
/usr/bin/ocamldep.opt -modules pprint.ml > pprint.ml.depends
/usr/bin/ocamldep.opt -modules pprint.mli > pprint.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o pprint.cmi pprint.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o pprint.cmx pprint.ml
/usr/bin/ocamldep.opt -modules referenceInterpreter.ml > referenceInterpreter.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cst.cmx cst.ml
/usr/bin/ocamllex.opt -q segment.mll
/usr/bin/ocamldep.opt -modules segment.ml > segment.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o segment.cmo segment.ml
/usr/bin/ocamllex.opt -q sentenceLexer.mll
/usr/bin/ocamldep.opt -modules sentenceLexer.ml > sentenceLexer.ml.depends
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' sentenceParser.mly > sentenceParser.mly.depends
/usr/bin/ocamldep.opt -modules sentenceParserAux.ml > sentenceParserAux.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmo sentenceParserAux.ml
../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
+ ../_stage1/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer sentenceParser.mly
Grammar has 6 nonterminal symbols, among which 2 start symbols.
Grammar has 6 terminal symbols.
Grammar has 11 productions.
Built an LR(0) automaton with 21 states.
The grammar is SLR(1).
Built an LR(1) automaton with 27 states.
13 out of 27 states have a default reduction.
7 out of 27 states are represented.
0 out of 16 symbols keep track of their start position.
0 out of 16 symbols keep track of their end position.
The action table is 189 entries; 32 non-zero; 43 compressed.
The action table occupies roughly 88 bytes.
The goto table is 216 entries; 19 non-zero; 46 compressed.
The goto table occupies roughly 92 bytes.
The error table occupies roughly 40 bytes.
The default_reduction table occupies roughly 32 bytes.
The lhs table occupies roughly 24 bytes.
The trace table occupies roughly 4 bytes.
/usr/bin/ocamldep.opt -modules sentenceParser.mli > sentenceParser.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceParser.cmi sentenceParser.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmo sentenceLexer.ml
/usr/bin/ocamldep.opt -modules sentenceParser.ml > sentenceParser.ml.depends
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParserAux.cmx sentenceParserAux.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceParser.cmx sentenceParser.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o referenceInterpreter.cmx referenceInterpreter.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o segment.cmx segment.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o sentenceLexer.cmx sentenceLexer.ml
/usr/bin/ocamldep.opt -modules LRijkstra.ml > LRijkstra.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstra.mli > LRijkstra.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmi LRijkstra.mli
/usr/bin/ocamldep.opt -modules astar.ml > astar.ml.depends
/usr/bin/ocamldep.opt -modules astar.mli > astar.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o astar.cmi astar.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o interpret.cmx interpret.ml
/usr/bin/ocamldep.opt -modules LRijkstraCore.ml > LRijkstraCore.ml.depends
/usr/bin/ocamldep.opt -modules LRijkstraCore.mli > LRijkstraCore.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmi LRijkstraCore.mli
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.ml > LowIntegerPriorityQueue.ml.depends
/usr/bin/ocamldep.opt -modules LowIntegerPriorityQueue.mli > LowIntegerPriorityQueue.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmi LowIntegerPriorityQueue.mli
/usr/bin/ocamldep.opt -modules resizableArray.ml > resizableArray.ml.depends
/usr/bin/ocamldep.opt -modules resizableArray.mli > resizableArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o resizableArray.cmi resizableArray.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o resizableArray.cmx resizableArray.ml
/usr/bin/ocamldep.opt -modules MySet.ml > MySet.ml.depends
/usr/bin/ocamldep.opt -modules MySet.mli > MySet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o MySet.cmi MySet.mli
/usr/bin/ocamldep.opt -modules Trie.ml > Trie.ml.depends
/usr/bin/ocamldep.opt -modules Trie.mli > Trie.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Trie.cmi Trie.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o LowIntegerPriorityQueue.cmx LowIntegerPriorityQueue.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o MySet.cmx MySet.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o Trie.cmx Trie.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o astar.cmx astar.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstraCore.cmx LRijkstraCore.ml
/usr/bin/ocamldep.opt -modules tableBackend.ml > tableBackend.ml.depends
/usr/bin/ocamldep.opt -modules tableBackend.mli > tableBackend.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o tableBackend.cmi tableBackend.mli
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_read.cmx cmly_read.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o cmly_write.cmx cmly_write.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeBackend.cmx codeBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o codeInliner.cmx codeInliner.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o coqBackend.cmx coqBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -noassert -noassert -o LRijkstra.cmx LRijkstra.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o tableBackend.cmx tableBackend.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o back.cmx back.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -o menhir.cmx menhir.ml
/usr/bin/ocamlopt.opt unix.cmxa -g Fix.cmx Boolean.cmx InputFile.cmx installation.cmx keyword.cmx stringSet.cmx version.cmx settings.cmx codeBits.cmx action.cmx positions.cmx error.cmx menhirLib.cmx stringMap.cmx misc.cmx syntax.cmx parameters.cmx tarjan.cmx CheckSafeParameterizedGrammar.cmx Compatibility.cmx Seq.cmx CompletedNatWitness.cmx lexpointfree.cmx option.cmx parserAux.cmx newRuleSyntax.cmx parser.cmx parserMessages.cmx Driver.cmx basicSyntax.cmx Drop.cmx FixSolver.cmx GroundSort.cmx IO.cmx Maps.cmx Memoize.cmx mark.cmx unionFind.cmx Unifier.cmx SortUnification.cmx SortInference.cmx SelectiveExpansion.cmx anonymous.cmx lineCount.cmx printer.cmx basicPrinter.cmx chopInlined.cmx gSet.cmx compressedBitSet.cmx dot.cmx expandTokenAliases.cmx gMap.cmx patricia.cmx time.cmx grammarFunctor.cmx nonterminalType.cmx tokenType.cmx interface.cmx lexdep.cmx lexmli.cmx infer.cmx listMonad.cmx inlining.cmx keywordExpansion.cmx lexer.cmx partialGrammar.cmx reachability.cmx front.cmx grammar.cmx DependencyGraph.cmx resizableArray.cmx LowIntegerPriorityQueue.cmx MySet.cmx item.cmx derivation.cmx lr0.cmx slr.cmx lr1.cmx lr1partial.cmx conflict.cmx default.cmx Trie.cmx LRijkstraCore.cmx astar.cmx pprint.cmx cst.cmx invariant.cmx referenceInterpreter.cmx segment.cmx sentenceParserAux.cmx sentenceParser.cmx sentenceLexer.cmx interpret.cmx LRijkstra.cmx cmly_api.cmx cmly_format.cmx cmly_read.cmx cmly_write.cmx codePieces.cmx codeBackend.cmx traverse.cmx codeInliner.cmx coqBackend.cmx tableBackend.cmx back.cmx menhir.cmx -o menhir.native
# Parallel statistics: { count(total): 20(437), max: 12, min: 2, average(total): 4.150(1.144) }
make[4]: Leaving directory '/<<PKGBUILDDIR>>/src'
make[4]: Entering directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
cp -p fancy-parser.mly parser.mly
../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --raw-depend --ocamldep '/usr/bin/ocamldep.opt -modules' parser.mly > parser.mly.depends
/usr/bin/ocamldep.opt -modules error.mli > error.mli.depends
/usr/bin/ocamldep.opt -modules positions.mli > positions.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o positions.cmi positions.mli
/usr/bin/ocamllex.opt -q lexpointfree.mll
/usr/bin/ocamldep.opt -modules lexpointfree.ml > lexpointfree.ml.depends
/usr/bin/ocamldep.opt -modules misc.mli > misc.mli.depends
/usr/bin/ocamldep.opt -modules stringMap.mli > stringMap.mli.depends
/usr/bin/ocamldep.opt -modules stringSet.mli > stringSet.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringSet.cmi stringSet.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stringMap.cmi stringMap.mli
/usr/bin/ocamldep.opt -modules newRuleSyntax.mli > newRuleSyntax.mli.depends
/usr/bin/ocamldep.opt -modules syntax.ml > syntax.ml.depends
/usr/bin/ocamldep.opt -modules action.mli > action.mli.depends
/usr/bin/ocamldep.opt -modules IL.mli > IL.mli.depends
/usr/bin/ocamldep.opt -modules stretch.mli > stretch.mli.depends
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o stretch.cmi stretch.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IL.cmi IL.mli
/usr/bin/ocamldep.opt -modules InputFile.mli > InputFile.mli.depends
/usr/bin/ocamldep.opt -modules settings.mli > settings.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o action.cmi action.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InputFile.cmi InputFile.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o settings.cmi settings.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o syntax.cmo syntax.ml
/usr/bin/ocamldep.opt -modules option.mli > option.mli.depends
/usr/bin/ocamldep.opt -modules parameters.ml > parameters.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o misc.cmi misc.mli
/usr/bin/ocamldep.opt -modules parserAux.mli > parserAux.mli.depends
/usr/bin/ocamldep.opt -modules General.mli > General.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmi General.mli
/usr/bin/ocamldep.opt -modules General.ml > General.ml.depends
/usr/bin/ocamldep.opt -modules Convert.mli > Convert.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmi Convert.mli
/usr/bin/ocamldep.opt -modules Convert.ml > Convert.ml.depends
/usr/bin/ocamldep.opt -modules IncrementalEngine.ml > IncrementalEngine.ml.depends
/usr/bin/ocamldep.opt -modules EngineTypes.ml > EngineTypes.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o IncrementalEngine.cmo IncrementalEngine.ml
/usr/bin/ocamldep.opt -modules Engine.mli > Engine.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o EngineTypes.cmo EngineTypes.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmi Engine.mli
/usr/bin/ocamldep.opt -modules Engine.ml > Engine.ml.depends
/usr/bin/ocamldep.opt -modules ErrorReports.mli > ErrorReports.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmi ErrorReports.mli
/usr/bin/ocamldep.opt -modules ErrorReports.ml > ErrorReports.ml.depends
/usr/bin/ocamldep.opt -modules Printers.mli > Printers.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmi Printers.mli
/usr/bin/ocamldep.opt -modules Printers.ml > Printers.ml.depends
/usr/bin/ocamldep.opt -modules InfiniteArray.mli > InfiniteArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmi InfiniteArray.mli
/usr/bin/ocamldep.opt -modules InfiniteArray.ml > InfiniteArray.ml.depends
/usr/bin/ocamldep.opt -modules PackedIntArray.mli > PackedIntArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmi PackedIntArray.mli
/usr/bin/ocamldep.opt -modules PackedIntArray.ml > PackedIntArray.ml.depends
/usr/bin/ocamldep.opt -modules RowDisplacement.mli > RowDisplacement.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmi RowDisplacement.mli
/usr/bin/ocamldep.opt -modules RowDisplacement.ml > RowDisplacement.ml.depends
/usr/bin/ocamldep.opt -modules LinearizedArray.mli > LinearizedArray.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmi LinearizedArray.mli
/usr/bin/ocamldep.opt -modules LinearizedArray.ml > LinearizedArray.ml.depends
/usr/bin/ocamldep.opt -modules TableFormat.ml > TableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableFormat.ml > InspectionTableFormat.ml.depends
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.mli > InspectionTableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableFormat.cmo InspectionTableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableFormat.cmo TableFormat.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmi InspectionTableInterpreter.mli
/usr/bin/ocamldep.opt -modules InspectionTableInterpreter.ml > InspectionTableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules TableInterpreter.mli > TableInterpreter.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmi TableInterpreter.mli
/usr/bin/ocamldep.opt -modules TableInterpreter.ml > TableInterpreter.ml.depends
/usr/bin/ocamldep.opt -modules StaticVersion.mli > StaticVersion.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmi StaticVersion.mli
/usr/bin/ocamldep.opt -modules StaticVersion.ml > StaticVersion.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o General.cmo General.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Convert.cmo Convert.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Engine.cmo Engine.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o ErrorReports.cmo ErrorReports.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o Printers.cmo Printers.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InfiniteArray.cmo InfiniteArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o PackedIntArray.cmo PackedIntArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o RowDisplacement.cmo RowDisplacement.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o LinearizedArray.cmo LinearizedArray.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o InspectionTableInterpreter.cmo InspectionTableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o TableInterpreter.cmo TableInterpreter.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o StaticVersion.cmo StaticVersion.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o error.cmi error.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o lexpointfree.cmo lexpointfree.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o newRuleSyntax.cmi newRuleSyntax.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o option.cmi option.mli
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parameters.cmo parameters.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o parserAux.cmi parserAux.mli
/usr/bin/ocamlc.opt -pack -g -bin-annot General.cmo Convert.cmo IncrementalEngine.cmo EngineTypes.cmo Engine.cmo ErrorReports.cmo Printers.cmo InfiniteArray.cmo PackedIntArray.cmo RowDisplacement.cmo LinearizedArray.cmo TableFormat.cmo InspectionTableFormat.cmo InspectionTableInterpreter.cmo TableInterpreter.cmo StaticVersion.cmo -o menhirLib.cmo
../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
+ ../_stage2/menhir.native -lg 1 -la 1 -lc 1 --canonical --table --strict --fixed-exception  -v --stdlib ..  --ocamlc '/usr/bin/ocamlc.opt -g -bin-annot -safe-string' --infer parser.mly
Grammar has 56 nonterminal symbols, among which 1 start symbols.
Grammar has 37 terminal symbols.
Grammar has 129 productions.
Built an LR(0) automaton with 194 states.
The grammar is not SLR(1) -- 5 states have a conflict.
Built an LR(1) automaton with 368 states.
One shift/reduce conflict was silently solved.
Extra reductions on error were added in 47 states.
Priority played a role in 0 of these states.
211 out of 368 states have a default reduction.
110 out of 368 states are represented.
44 out of 96 symbols keep track of their start position.
48 out of 96 symbols keep track of their end position.
The action table is 13984 entries; 1795 non-zero; 1566 compressed.
The action table occupies roughly 3176 bytes.
The goto table is 20976 entries; 360 non-zero; 728 compressed.
The goto table occupies roughly 1500 bytes.
The error table occupies roughly 1764 bytes.
The default_reduction table occupies roughly 384 bytes.
The lhs table occupies roughly 148 bytes.
The trace table occupies roughly 4 bytes.
# Parallel statistics: { count(total): 3(77), max: 12, min: 3, average(total): 7.333(1.247) }
Bootstrap successful.
make[4]: Leaving directory '/<<PKGBUILDDIR>>/src'
/usr/bin/ocamlopt.opt unix.cmxa -I /usr/lib/ocaml/ocamlbuild /usr/lib/ocaml/ocamlbuild/ocamlbuildlib.cmxa myocamlbuild.ml /usr/lib/ocaml/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
/usr/bin/ocamldep.opt -modules keyword.mli > keyword.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmi keyword.mli
/usr/bin/ocamldep.opt -modules keyword.ml > keyword.ml.depends
/usr/bin/ocamldep.opt -modules version.ml > version.ml.depends
/usr/bin/ocamldep.opt -modules cmly_format.ml > cmly_format.ml.depends
/usr/bin/ocamldep.opt -modules cmly_api.ml > cmly_api.ml.depends
/usr/bin/ocamldep.opt -modules cmly_read.mli > cmly_read.mli.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_api.cmo cmly_api.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmi cmly_read.mli
/usr/bin/ocamldep.opt -modules cmly_read.ml > cmly_read.ml.depends
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_format.cmo cmly_format.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o version.cmo version.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o keyword.cmo keyword.ml
/usr/bin/ocamlc.opt -c -g -bin-annot -safe-string -o cmly_read.cmo cmly_read.ml
/usr/bin/ocamlc.opt -pack -g -bin-annot keyword.cmo version.cmo cmly_format.cmo cmly_api.cmo cmly_read.cmo -o menhirSdk.cmo
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o keyword.cmx keyword.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_api.cmx cmly_api.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_format.cmx cmly_format.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o version.cmx version.ml
/usr/bin/ocamlopt.opt -c -g -bin-annot -safe-string -for-pack MenhirSdk -o cmly_read.cmx cmly_read.ml
touch menhirSdk.mli  ; if  /usr/bin/ocamlopt.opt -pack -g -bin-annot keyword.cmx version.cmx cmly_format.cmx cmly_api.cmx cmly_read.cmx -o menhirSdk.cmx  ; then  rm -f menhirSdk.mli  ; else  rm -f menhirSdk.mli  ; exit 1; fi
/usr/bin/ocamlopt.opt -a menhirSdk.cmx -o menhirSdk.cmxa
/usr/bin/ocamlopt.opt -shared -linkall menhirSdk.cmxa -o menhirSdk.cmxs
# Parallel statistics: { count(total): 1(23), max: 2, min: 2, average(total): 2.000(1.043) }
make[3]: Leaving directory '/<<PKGBUILDDIR>>/src'
Creating menhirLib.ml
Creating menhirLib.mli
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make -C coq-menhirlib
make[2]: Entering directory '/<<PKGBUILDDIR>>/coq-menhirlib'
Compiling Alphabet...
Compiling Grammar...
Compiling Automaton...
Compiling Validator_classes...
Compiling Validator_complete...
Compiling Validator_safe...
Compiling Interpreter...
Compiling Interpreter_complete...
Compiling Interpreter_correct...
Compiling Version...
Compiling Main...
make[2]: Leaving directory '/<<PKGBUILDDIR>>/coq-menhirlib'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   create-stamp debian/debhelper-build-stamp
 fakeroot debian/rules binary-arch
dh binary-arch --with ocaml
   dh_testroot -a
   dh_prep -a
	rm -f -- debian/menhir.substvars debian/libmenhir-ocaml-dev.substvars debian/libmenhir-coq.substvars
	rm -fr -- debian/.debhelper/generated/menhir/ debian/menhir/ debian/tmp/ debian/.debhelper/generated/libmenhir-ocaml-dev/ debian/libmenhir-ocaml-dev/ debian/.debhelper/generated/libmenhir-coq/ debian/libmenhir-coq/
   dh_installdirs -a
	install -d debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/
   debian/rules override_dh_auto_install
make[1]: Entering directory '/<<PKGBUILDDIR>>'
mkdir -p /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml
/usr/bin/make TARGET=native PREFIX=/<<PKGBUILDDIR>>/debian/tmp/usr install
make[2]: Entering directory '/<<PKGBUILDDIR>>'
mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/bin
install src/_stage2/menhir.native /<<PKGBUILDDIR>>/debian/tmp/usr/bin/menhir
mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/share/menhir
install -m 644 src/standard.mly /<<PKGBUILDDIR>>/debian/tmp/usr/share/menhir
Installing MenhirLib and MenhirSdk via ocamlfind.
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.o
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmxs
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmx
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmo
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.cmi
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.ml
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/menhirLib.mli
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirLib/META
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.o
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmx
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmo
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/menhirSdk.cmi
Installed /<<PKGBUILDDIR>>/debian/tmp//usr/lib/ocaml/menhirSdk/META
if [ -f doc/manual.pdf ] ; then \
  mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/share/doc/menhir /<<PKGBUILDDIR>>/debian/tmp/usr/share/man/man1 ; \
  cp -r doc/manual.pdf doc/manual.html doc/manual*.png demos /<<PKGBUILDDIR>>/debian/tmp/usr/share/doc/menhir ; \
  cp -r doc/menhir.1 /<<PKGBUILDDIR>>/debian/tmp/usr/share/man/man1 ; \
fi
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
/usr/bin/make -C coq-menhirlib DESTDIR=/<<PKGBUILDDIR>>/debian/tmp install
make[2]: Entering directory '/<<PKGBUILDDIR>>/coq-menhirlib'
rm -rf /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
mkdir -p /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
install -m 644 *.v *.vo *.glob /<<PKGBUILDDIR>>/debian/tmp/usr/lib/coq/user-contrib/MenhirLib
make[2]: Leaving directory '/<<PKGBUILDDIR>>/coq-menhirlib'
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_install -a
	install -d debian/menhir/usr
	cp --reflink=auto -a ./debian/tmp/usr/bin debian/menhir/usr/
	install -d debian/menhir/usr/share
	cp --reflink=auto -a ./debian/tmp/usr/share/man ./debian/tmp/usr/share/menhir debian/menhir/usr/share/
	install -d debian/.debhelper/generated/menhir
	cp --reflink=auto -a ./debian/tmp/usr/lib/ocaml/menhirLib ./debian/tmp/usr/lib/ocaml/menhirSdk debian/libmenhir-ocaml-dev//usr/lib/ocaml/
	install -d debian/.debhelper/generated/libmenhir-ocaml-dev
	install -d debian/.debhelper/generated/menhir-doc
	install -d debian/libmenhir-coq//usr/lib/coq/user-contrib
	cp --reflink=auto -a debian/tmp/usr/lib/coq/user-contrib/MenhirLib/ debian/libmenhir-coq//usr/lib/coq/user-contrib/
	install -d debian/.debhelper/generated/libmenhir-coq
   dh_ocamldoc -a
   dh_installdocs -a
	install -d debian/menhir/usr/share/doc/menhir
	install -p -m0644 debian/copyright debian/menhir/usr/share/doc/menhir/copyright
	install -d debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev
	install -p -m0644 debian/copyright debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/copyright
	install -d debian/libmenhir-coq/usr/share/doc/libmenhir-coq
	install -p -m0644 debian/copyright debian/libmenhir-coq/usr/share/doc/libmenhir-coq/copyright
   dh_installchangelogs -a
	install -p -m0644 ./CHANGES.md debian/menhir/usr/share/doc/menhir/changelog
	install -p -m0644 ./CHANGES.md debian/libmenhir-coq/usr/share/doc/libmenhir-coq/changelog
	install -p -m0644 ./CHANGES.md debian/libmenhir-ocaml-dev/usr/share/doc/libmenhir-ocaml-dev/changelog
   debian/rules override_dh_installexamples
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_installexamples
if [ -d debian/menhir-doc/usr/share/doc/menhir/examples ]; \
then \
  find debian/menhir-doc/usr/share/doc/menhir/examples \
    -name .gitignore -delete ; \
fi
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_installman -a
	man -l --recode UTF-8 ./debian/menhir/usr/share/man/man1/menhir.1 > debian/menhir/usr/share/man/man1/menhir.1.dh-new
	mv debian/menhir/usr/share/man/man1/menhir.1.dh-new debian/menhir/usr/share/man/man1/menhir.1
	chmod 0644 -- debian/menhir/usr/share/man/man1/menhir.1
   dh_perl -a
   dh_link -a
   dh_strip_nondeterminism -a
   dh_compress -a
	cd debian/menhir
	cd debian/libmenhir-ocaml-dev
	cd debian/libmenhir-coq
	chmod a-x usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/doc/menhir/changelog.Debian.armhf usr/share/man/man1/menhir.1
	chmod a-x usr/share/doc/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/changelog.Debian usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.armhf
	chmod a-x usr/share/doc/libmenhir-coq/changelog usr/share/doc/libmenhir-coq/changelog.Debian usr/share/doc/libmenhir-coq/changelog.Debian.armhf
	gzip -9nf usr/share/doc/menhir/changelog usr/share/doc/menhir/changelog.Debian usr/share/doc/menhir/changelog.Debian.armhf usr/share/man/man1/menhir.1
	gzip -9nf usr/share/doc/libmenhir-ocaml-dev/changelog usr/share/doc/libmenhir-ocaml-dev/changelog.Debian usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.armhf
	gzip -9nf usr/share/doc/libmenhir-coq/changelog usr/share/doc/libmenhir-coq/changelog.Debian usr/share/doc/libmenhir-coq/changelog.Debian.armhf
	cd '/<<PKGBUILDDIR>>'
	cd '/<<PKGBUILDDIR>>'
	cd '/<<PKGBUILDDIR>>'
   dh_fixperms -a
	find debian/menhir -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0
	find debian/libmenhir-ocaml-dev -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0
	find debian/libmenhir-coq -true -print0 2>/dev/null | xargs -0r chown --no-dereference 0:0
	find debian/menhir ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
	find debian/libmenhir-ocaml-dev ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
	find debian/libmenhir-coq ! -type l -a -true -a -true -print0 2>/dev/null | xargs -0r chmod go=rX,u+rw,a-s
	find debian/menhir/usr/share/doc -type f -a -true -a ! -regex 'debian/menhir/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-ocaml-dev/usr/share/doc -type f -a -true -a ! -regex 'debian/libmenhir-ocaml-dev/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-coq/usr/share/doc -type f -a -true -a ! -regex 'debian/libmenhir-coq/usr/share/doc/[^/]*/examples/.*' -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/menhir/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
	find debian/libmenhir-ocaml-dev/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
	find debian/libmenhir-coq/usr/share/doc -type d -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0755
	find debian/menhir/usr/share/man -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-ocaml-dev -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-coq -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/menhir -type f \( -name '*.so.*' -o -name '*.so' -o -name '*.la' -o -name '*.a' -o -name '*.js' -o -name '*.css' -o -name '*.scss' -o -name '*.sass' -o -name '*.jpeg' -o -name '*.jpg' -o -name '*.png' -o -name '*.gif' -o -name '*.cmxs' -o -name '*.node' \) -a -true -a -true -print0 2>/dev/null | xargs -0r chmod 0644
	find debian/libmenhir-coq/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w
	find debian/libmenhir-ocaml-dev/usr/lib -type f -name '*.ali' -a -true -a -true -print0 2>/dev/null | xargs -0r chmod uga-w
	find debian/menhir/usr/bin -type f -a -true -a -true -print0 2>/dev/null | xargs -0r chmod a+x
	rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log
   debian/rules override_dh_missing
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_missing --fail-missing
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
	rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log
   debian/rules override_dh_dwz
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_dwz --no-dwz-multifile
	dwz -- debian/menhir/usr/bin/menhir
	dwz -- debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_strip -a
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/cd
	objcopy --only-keep-debug --compress-debug-sections debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/cd/f54c08284b1cd008fbf2fe76aff37e9f2c67ce.debug
	install -d debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/ad
	objcopy --only-keep-debug --compress-debug-sections debian/menhir/usr/bin/menhir debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/ad/fa8b2068cb8dc8c282e043184dd5dacb2771e7.debug
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/cd/f54c08284b1cd008fbf2fe76aff37e9f2c67ce.debug
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/cd/f54c08284b1cd008fbf2fe76aff37e9f2c67ce.debug
	strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs
	objcopy --add-gnu-debuglink debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/cd/f54c08284b1cd008fbf2fe76aff37e9f2c67ce.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/eb
	objcopy --only-keep-debug --compress-debug-sections debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/eb/1adb3d5f0db98a448582745e79276f26bfa211.debug
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/eb/1adb3d5f0db98a448582745e79276f26bfa211.debug
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/eb/1adb3d5f0db98a448582745e79276f26bfa211.debug
	strip --remove-section=.comment --remove-section=.note --strip-unneeded debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
	objcopy --add-gnu-debuglink debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/lib/debug/.build-id/eb/1adb3d5f0db98a448582745e79276f26bfa211.debug debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc
	ln -s libmenhir-ocaml-dev debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/usr/share/doc/libmenhir-ocaml-dev-dbgsym
	chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/ad/fa8b2068cb8dc8c282e043184dd5dacb2771e7.debug
	chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/ad/fa8b2068cb8dc8c282e043184dd5dacb2771e7.debug
	strip --remove-section=.comment --remove-section=.note debian/menhir/usr/bin/menhir
	objcopy --add-gnu-debuglink debian/.debhelper/menhir/dbgsym-root/usr/lib/debug/.build-id/ad/fa8b2068cb8dc8c282e043184dd5dacb2771e7.debug debian/menhir/usr/bin/menhir
	install -d debian/.debhelper/menhir/dbgsym-root/usr/share/doc
	ln -s menhir debian/.debhelper/menhir/dbgsym-root/usr/share/doc/menhir-dbgsym
   dh_makeshlibs -a
	rm -f debian/menhir/DEBIAN/shlibs
	rm -f debian/libmenhir-ocaml-dev/DEBIAN/shlibs
	rm -f debian/libmenhir-coq/DEBIAN/shlibs
   dh_shlibdeps -a
	install -d debian/menhir/DEBIAN
	dpkg-shlibdeps -Tdebian/menhir.substvars debian/menhir/usr/bin/menhir
	install -d debian/libmenhir-ocaml-dev/DEBIAN
	dpkg-shlibdeps -Tdebian/libmenhir-ocaml-dev.substvars debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
   dh_installdeb -a
	install -d debian/libmenhir-coq/DEBIAN
   dh_ocaml -a
	+++ Remove former .olist.debhelper files +++
	+++ Generate .olist.debhelper files +++
	cat debian/libmenhir-ocaml-dev.olist.debhelper
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx
debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
	cat debian/menhir.olist.debhelper
	cat debian/libmenhir-coq.olist.debhelper
	+++ Compute .md5sums and lintian files for dev packages +++
	mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums
	/usr/bin/ocaml-md5sums  -v --package libmenhir-ocaml-dev --version 20190626-6+b1  --dump-info debian/libmenhir-ocaml-dev.oinfo.debhelper --dump-provides debian/libmenhir-ocaml-dev.oprovides.debhelper compute < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums
Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmi

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmo

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmx

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirLib/menhirLib.cmxs

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmi

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmo

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmx

Processing debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs

Execute ocamlobjinfo debian/libmenhir-ocaml-dev/usr/lib/ocaml/menhirSdk/menhirSdk.cmxs

	mkdir -p debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian
	/usr/bin/ocaml-lintian  -v --package libmenhir-ocaml-dev --version 20190626-6+b1 < debian/libmenhir-ocaml-dev.olist.debhelper > debian/libmenhir-ocaml-dev//var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
	grep -a -s -v '^ocaml:Provides=' debian/libmenhir-ocaml-dev.substvars > debian/libmenhir-ocaml-dev.substvars.new || true
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	grep -a -s -v '^ocaml:Depends=' debian/libmenhir-ocaml-dev.substvars > debian/libmenhir-ocaml-dev.substvars.new || true
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	(grep -a -s -v ocaml:Provides debian/libmenhir-ocaml-dev.substvars; echo ocaml:Provides=libmenhir-ocaml-dev-mqx95) > debian/libmenhir-ocaml-dev.substvars.new
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	+++ Compute dependencies for dev +++
	/usr/bin/ocaml-md5sums  -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums --load-info debian/libmenhir-ocaml-dev.oinfo.debhelper dep
Load from dump debian/libmenhir-ocaml-dev.oinfo.debhelper
libmenhir-ocaml-dev v20190626-6+b1 depends on ocaml-nox/ocaml-base-nox v4.05.0-12+rpi1 through Sys
	(grep -a -s -v ocaml:Depends debian/libmenhir-ocaml-dev.substvars; echo ocaml:Depends=ocaml-nox-4.05.0) > debian/libmenhir-ocaml-dev.substvars.new
	mv debian/libmenhir-ocaml-dev.substvars.new debian/libmenhir-ocaml-dev.substvars
	+++ Compute dependencies for binary packages+++
	grep -a -s -v '^ocaml:Depends=' debian/menhir.substvars > debian/menhir.substvars.new || true
	mv debian/menhir.substvars.new debian/menhir.substvars
	/usr/bin/ocaml-md5sums  -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums  --package menhir dep < debian/menhir.olist.debhelper
	/usr/bin/ocaml-md5sums  -v --md5sums-dir debian/libmenhir-ocaml-dev//var/lib/ocaml/md5sums  --package libmenhir-coq dep < debian/libmenhir-coq.olist.debhelper
	rm -f debian/libmenhir-coq.debhelper.log debian/libmenhir-ocaml-dev.debhelper.log debian/menhir.debhelper.log
   debian/rules override_dh_gencontrol
make[1]: Entering directory '/<<PKGBUILDDIR>>'
dh_gencontrol -- -VF:CoqABI="8.9.1+4.05.0"
	echo misc:Depends= >> debian/libmenhir-coq.substvars
	echo misc:Pre-Depends= >> debian/libmenhir-coq.substvars
	dpkg-gencontrol -plibmenhir-coq -ldebian/changelog -Tdebian/libmenhir-coq.substvars -Pdebian/libmenhir-coq -UMulti-Arch -VF:CoqABI=8.9.1\+4.05.0
	echo misc:Depends= >> debian/menhir.substvars
	echo misc:Pre-Depends= >> debian/menhir.substvars
	install -d debian/.debhelper/menhir/dbgsym-root/DEBIAN
	dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/.debhelper/menhir/dbgsym-root -VF:CoqABI=8.9.1\+4.05.0 -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=menhir-dbgsym "-DDepends=menhir (= \${binary:Version})" "-DDescription=debug symbols for menhir" -DBuild-Ids=adfa8b2068cb8dc8c282e043184dd5dacb2771e7 -DSection=debug -UMulti-Arch -UReplaces -UBreaks
	echo misc:Depends= >> debian/libmenhir-ocaml-dev.substvars
	echo misc:Pre-Depends= >> debian/libmenhir-ocaml-dev.substvars
	install -d debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN
	dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/.debhelper/libmenhir-ocaml-dev/dbgsym-root -VF:CoqABI=8.9.1\+4.05.0 -UPre-Depends -URecommends -USuggests -UEnhances -UProvides -UEssential -UConflicts -DPriority=optional -UHomepage -UImportant -DAuto-Built-Package=debug-symbols -DPackage=libmenhir-ocaml-dev-dbgsym "-DDepends=libmenhir-ocaml-dev (= \${binary:Version})" "-DDescription=debug symbols for libmenhir-ocaml-dev" "-DBuild-Ids=cdf54c08284b1cd008fbf2fe76aff37e9f2c67ce eb1adb3d5f0db98a448582745e79276f26bfa211" -DSection=debug -UMulti-Arch -UReplaces -UBreaks
dpkg-gencontrol: warning: Depends field of package libmenhir-coq: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package libmenhir-coq: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
	chmod 0644 -- debian/libmenhir-coq/DEBIAN/control
	chown 0:0 -- debian/libmenhir-coq/DEBIAN/control
	chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/control
	chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/control
	dpkg-gencontrol -pmenhir -ldebian/changelog -Tdebian/menhir.substvars -Pdebian/menhir -UMulti-Arch -VF:CoqABI=8.9.1\+4.05.0
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/control
	dpkg-gencontrol -plibmenhir-ocaml-dev -ldebian/changelog -Tdebian/libmenhir-ocaml-dev.substvars -Pdebian/libmenhir-ocaml-dev -UMulti-Arch -VF:CoqABI=8.9.1\+4.05.0
dpkg-gencontrol: warning: Depends field of package menhir: substitution variable ${ocaml:Depends} used, but is not defined
	chmod 0644 -- debian/menhir/DEBIAN/control
	chown 0:0 -- debian/menhir/DEBIAN/control
	chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/control
	chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/control
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
   dh_md5sums -a
	cd debian/menhir >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	cd debian/libmenhir-coq >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	cd debian/libmenhir-ocaml-dev >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	chmod 0644 -- debian/menhir/DEBIAN/md5sums
	chown 0:0 -- debian/menhir/DEBIAN/md5sums
	cd debian/.debhelper/menhir/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	chmod 0644 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums
	chown 0:0 -- debian/.debhelper/menhir/dbgsym-root/DEBIAN/md5sums
	chmod 0644 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums
	chown 0:0 -- debian/libmenhir-ocaml-dev/DEBIAN/md5sums
	cd debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root >/dev/null && xargs -r0 md5sum | perl -pe 'if (s@^\\@@) { s/\\\\/\\/g; }' > DEBIAN/md5sums
	chmod 0644 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums
	chown 0:0 -- debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root/DEBIAN/md5sums
	chmod 0644 -- debian/libmenhir-coq/DEBIAN/md5sums
	chown 0:0 -- debian/libmenhir-coq/DEBIAN/md5sums
   dh_builddeb -a
	dpkg-deb --build debian/menhir ..
	dpkg-deb --build debian/libmenhir-ocaml-dev ..
	dpkg-deb --build debian/libmenhir-coq ..
dpkg-deb: building package 'menhir' in '../menhir_20190626-6+b1_armhf.deb'.
dpkg-deb: building package 'libmenhir-ocaml-dev' in '../libmenhir-ocaml-dev_20190626-6+b1_armhf.deb'.
dpkg-deb: building package 'libmenhir-coq' in '../libmenhir-coq_20190626-6+b1_armhf.deb'.
	dpkg-deb --build debian/.debhelper/libmenhir-ocaml-dev/dbgsym-root ..
dpkg-deb: building package 'libmenhir-ocaml-dev-dbgsym' in '../libmenhir-ocaml-dev-dbgsym_20190626-6+b1_armhf.deb'.
	dpkg-deb --build debian/.debhelper/menhir/dbgsym-root ..
dpkg-deb: building package 'menhir-dbgsym' in '../menhir-dbgsym_20190626-6+b1_armhf.deb'.
 dpkg-genbuildinfo --build=any
 dpkg-genchanges --build=any -mRaspbian 2019 test autobuilder <root@raspbian.org> >../menhir_20190626-6+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 2019-09-05T11:13:45Z

Finished
--------

I: Built successfully

+------------------------------------------------------------------------------+
| Post Build Chroot                                                            |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Changes                                                                      |
+------------------------------------------------------------------------------+


menhir_20190626-6+b1_armhf.changes:
-----------------------------------

Format: 1.8
Date: Thu, 05 Sep 2019 11:10:25 +0000
Source: menhir (20190626-6)
Binary: libmenhir-coq libmenhir-ocaml-dev libmenhir-ocaml-dev-dbgsym menhir menhir-dbgsym
Binary-Only: yes
Architecture: armhf
Version: 20190626-6+b1
Distribution: bullseye-staging
Urgency: low
Maintainer: Raspbian 2019 test autobuilder <root@raspbian.org>
Changed-By: Raspbian 2019 test autobuilder <root@raspbian.org>
Description:
 libmenhir-coq - Support library for verified Coq parsers produced by Menhir
 libmenhir-ocaml-dev - Menhir library for OCaml
 menhir     - Parser generator for OCaml
Changes:
 menhir (20190626-6+b1) bullseye-staging; urgency=low, binary-only=yes
 .
   * Binary-only non-maintainer upload for armhf; no source changes.
   * rebuild due to debcheck failure
Checksums-Sha1:
 6e328d439b50a1edcdcc82ce738c4c548cd71b63 1367556 libmenhir-coq_20190626-6+b1_armhf.deb
 eb1f677528e0a24ca93ae1903cc84f56791ae086 15380 libmenhir-ocaml-dev-dbgsym_20190626-6+b1_armhf.deb
 d10e8684e63248e8a7e9b652b2030227b4e8cd94 216336 libmenhir-ocaml-dev_20190626-6+b1_armhf.deb
 716f1ada7489b9b7fe38bac70fedd2a0561a2f3e 184384 menhir-dbgsym_20190626-6+b1_armhf.deb
 18bfb634bf0160bc4d7d47ddaac9fc2e58c70aeb 6497 menhir_20190626-6+b1_armhf.buildinfo
 1224acc273f7ba1b01387debfa17a1eea033488a 552268 menhir_20190626-6+b1_armhf.deb
Checksums-Sha256:
 8852acf1dcc3e100928c878b790a140bc08037ca3978d6b1d9fc6d3801962216 1367556 libmenhir-coq_20190626-6+b1_armhf.deb
 960e126a36f535d9045a0bca2be38c4bc8130b4a45e046f886f4548580705c12 15380 libmenhir-ocaml-dev-dbgsym_20190626-6+b1_armhf.deb
 92b1ce6e4c1ee852de57f74043a2b5ce89e6255a496a36726fe5710f619f5989 216336 libmenhir-ocaml-dev_20190626-6+b1_armhf.deb
 ed055e8bf7be15b2953abe227c7af4888a7743190fdf6b4e33fe62ad0c077556 184384 menhir-dbgsym_20190626-6+b1_armhf.deb
 7772126ba64520fc1ca675158a88fda7a1edd06177933de60122902ec3945876 6497 menhir_20190626-6+b1_armhf.buildinfo
 11ef0929f688f063834a7c4d4124fe0d069c4b4e1d7dbaf9a093891125165048 552268 menhir_20190626-6+b1_armhf.deb
Files:
 0b5f68c490facadeb7c4c3753f993dfb 1367556 ocaml optional libmenhir-coq_20190626-6+b1_armhf.deb
 28c1ae95cbfaef73b487b0f118bf99c5 15380 debug optional libmenhir-ocaml-dev-dbgsym_20190626-6+b1_armhf.deb
 af66455655963e77b74fdc2a198c21f1 216336 ocaml optional libmenhir-ocaml-dev_20190626-6+b1_armhf.deb
 755a2eddbda36b4ffa660b3ef979cf57 184384 debug optional menhir-dbgsym_20190626-6+b1_armhf.deb
 311a0b3172fde5a69ec1807f2669908e 6497 ocaml optional menhir_20190626-6+b1_armhf.buildinfo
 ceb2272f946592787c90c1d67c1ba286 552268 ocaml optional menhir_20190626-6+b1_armhf.deb

+------------------------------------------------------------------------------+
| Buildinfo                                                                    |
+------------------------------------------------------------------------------+

Format: 1.0
Source: menhir (20190626-6)
Binary: menhir libmenhir-ocaml-dev menhir-doc libmenhir-coq
Architecture: armhf
Version: 20190626-6+b1
Binary-Only-Changes:
 menhir (20190626-6+b1) bullseye-staging; urgency=low, binary-only=yes
 .
   * Binary-only non-maintainer upload for armhf; no source changes.
   * rebuild due to debcheck failure
 .
  -- Raspbian 2019 test autobuilder <root@raspbian.org>  Thu, 05 Sep 2019 11:10:25 +0000
Checksums-Md5:
 0b5f68c490facadeb7c4c3753f993dfb 1367556 libmenhir-coq_20190626-6+b1_armhf.deb
 28c1ae95cbfaef73b487b0f118bf99c5 15380 libmenhir-ocaml-dev-dbgsym_20190626-6+b1_armhf.deb
 af66455655963e77b74fdc2a198c21f1 216336 libmenhir-ocaml-dev_20190626-6+b1_armhf.deb
 755a2eddbda36b4ffa660b3ef979cf57 184384 menhir-dbgsym_20190626-6+b1_armhf.deb
 ceb2272f946592787c90c1d67c1ba286 552268 menhir_20190626-6+b1_armhf.deb
Checksums-Sha1:
 6e328d439b50a1edcdcc82ce738c4c548cd71b63 1367556 libmenhir-coq_20190626-6+b1_armhf.deb
 eb1f677528e0a24ca93ae1903cc84f56791ae086 15380 libmenhir-ocaml-dev-dbgsym_20190626-6+b1_armhf.deb
 d10e8684e63248e8a7e9b652b2030227b4e8cd94 216336 libmenhir-ocaml-dev_20190626-6+b1_armhf.deb
 716f1ada7489b9b7fe38bac70fedd2a0561a2f3e 184384 menhir-dbgsym_20190626-6+b1_armhf.deb
 1224acc273f7ba1b01387debfa17a1eea033488a 552268 menhir_20190626-6+b1_armhf.deb
Checksums-Sha256:
 8852acf1dcc3e100928c878b790a140bc08037ca3978d6b1d9fc6d3801962216 1367556 libmenhir-coq_20190626-6+b1_armhf.deb
 960e126a36f535d9045a0bca2be38c4bc8130b4a45e046f886f4548580705c12 15380 libmenhir-ocaml-dev-dbgsym_20190626-6+b1_armhf.deb
 92b1ce6e4c1ee852de57f74043a2b5ce89e6255a496a36726fe5710f619f5989 216336 libmenhir-ocaml-dev_20190626-6+b1_armhf.deb
 ed055e8bf7be15b2953abe227c7af4888a7743190fdf6b4e33fe62ad0c077556 184384 menhir-dbgsym_20190626-6+b1_armhf.deb
 11ef0929f688f063834a7c4d4124fe0d069c4b4e1d7dbaf9a093891125165048 552268 menhir_20190626-6+b1_armhf.deb
Build-Origin: Raspbian
Build-Architecture: armhf
Build-Date: Thu, 05 Sep 2019 11:13:43 +0000
Build-Path: /<<PKGBUILDDIR>>
Installed-Build-Depends:
 autoconf (= 2.69-11),
 automake (= 1:1.16.1-4),
 autopoint (= 0.19.8.1-9),
 autotools-dev (= 20180224.1),
 base-files (= 10.3+rpi1),
 base-passwd (= 3.5.46),
 bash (= 5.0-4),
 binutils (= 2.31.1-16+rpi1),
 binutils-arm-linux-gnueabihf (= 2.31.1-16+rpi1),
 binutils-common (= 2.31.1-16+rpi1),
 bsdmainutils (= 11.1.2),
 bsdutils (= 1:2.33.1-0.1),
 build-essential (= 12.6),
 bzip2 (= 1.0.6-9.1),
 coq (= 8.9.1-1),
 coq-theories (= 8.9.1-1),
 coreutils (= 8.30-3),
 cpp (= 4:8.3.0-1+rpi2),
 cpp-8 (= 8.3.0-6+rpi1),
 dash (= 0.5.10.2-5),
 debconf (= 1.5.71),
 debhelper (= 12.5.4),
 debianutils (= 4.8.6.1),
 dh-autoreconf (= 19),
 dh-ocaml (= 1.1.0),
 dh-strip-nondeterminism (= 1.5.0-1),
 diffutils (= 1:3.7-3),
 dpkg (= 1.19.7),
 dpkg-dev (= 1.19.7),
 dwz (= 0.13-1),
 fdisk (= 2.33.1-0.1),
 file (= 1:5.37-5),
 findutils (= 4.6.0+git+20190209-2),
 g++ (= 4:8.3.0-1+rpi2),
 g++-8 (= 8.3.0-6+rpi1),
 gcc (= 4:8.3.0-1+rpi2),
 gcc-8 (= 8.3.0-6+rpi1),
 gcc-8-base (= 8.3.0-6+rpi1),
 gettext (= 0.19.8.1-9),
 gettext-base (= 0.19.8.1-9),
 grep (= 3.3-1),
 groff-base (= 1.22.4-3),
 gzip (= 1.9-3),
 hostname (= 3.21),
 init-system-helpers (= 1.56+nmu1),
 intltool-debian (= 0.35.0+20060710.5),
 libacl1 (= 2.2.53-4),
 libarchive-zip-perl (= 1.64-1),
 libasan5 (= 8.3.0-6+rpi1),
 libatomic1 (= 8.3.0-6+rpi1),
 libattr1 (= 1:2.4.48-4),
 libaudit-common (= 1:2.8.4-3),
 libaudit1 (= 1:2.8.4-3),
 libbinutils (= 2.31.1-16+rpi1),
 libblkid1 (= 2.33.1-0.1),
 libbsd0 (= 0.10.0-1),
 libbz2-1.0 (= 1.0.6-9.1),
 libc-bin (= 2.28-10+rpi1),
 libc-dev-bin (= 2.28-10+rpi1),
 libc6 (= 2.28-10+rpi1),
 libc6-dev (= 2.28-10+rpi1),
 libcap-ng0 (= 0.7.9-2),
 libcc1-0 (= 8.3.0-6+rpi1),
 libcoq-ocaml (= 8.9.1-1),
 libcroco3 (= 0.6.13-1),
 libdb5.3 (= 5.3.28+dfsg1-0.5),
 libdebconfclient0 (= 0.249),
 libdpkg-perl (= 1.19.7),
 libelf1 (= 0.176-1.1),
 libexpat1 (= 2.2.7-1),
 libfdisk1 (= 2.33.1-0.1),
 libffi6 (= 3.2.1-9),
 libfile-stripnondeterminism-perl (= 1.5.0-1),
 libfindlib-ocaml (= 1.8.1-1),
 libgcc-8-dev (= 8.3.0-6+rpi1),
 libgcc1 (= 1:8.3.0-6+rpi1),
 libgcrypt20 (= 1.8.4-5),
 libgdbm-compat4 (= 1.18.1-4),
 libgdbm6 (= 1.18.1-4),
 libglib2.0-0 (= 2.60.6-2),
 libgmp10 (= 2:6.1.2+dfsg-4),
 libgomp1 (= 8.3.0-6+rpi1),
 libgpg-error0 (= 1.35-1),
 libicu63 (= 63.2-2),
 libisl19 (= 0.20-2),
 liblz4-1 (= 1.8.3-1),
 liblzma5 (= 5.2.4-1),
 libmagic-mgc (= 1:5.37-5),
 libmagic1 (= 1:5.37-5),
 libmount1 (= 2.33.1-0.1),
 libmpc3 (= 1.1.0-1),
 libmpdec2 (= 2.4.2-2),
 libmpfr6 (= 4.0.2-1),
 libncurses-dev (= 6.1+20190803-1),
 libncurses5-dev (= 6.1+20190803-1),
 libncurses6 (= 6.1+20190803-1),
 libncursesw6 (= 6.1+20190803-1),
 libpam-modules (= 1.3.1-5),
 libpam-modules-bin (= 1.3.1-5),
 libpam-runtime (= 1.3.1-5),
 libpam0g (= 1.3.1-5),
 libpcre3 (= 2:8.39-12),
 libperl5.28 (= 5.28.1-6),
 libpipeline1 (= 1.5.1-2),
 libpython3-stdlib (= 3.7.3-1),
 libpython3.7-minimal (= 3.7.4-3),
 libpython3.7-stdlib (= 3.7.4-3),
 libreadline8 (= 8.0-3),
 libseccomp2 (= 2.3.3-4),
 libselinux1 (= 2.8-1+b1),
 libsigsegv2 (= 2.12-2),
 libsmartcols1 (= 2.33.1-0.1),
 libsqlite3-0 (= 3.27.2-3),
 libssl1.1 (= 1.1.1c-1),
 libstdc++-8-dev (= 8.3.0-6+rpi1),
 libstdc++6 (= 8.3.0-6+rpi1),
 libsub-override-perl (= 0.09-2),
 libsystemd0 (= 241-5+rpi1),
 libtinfo5 (= 6.1+20190803-1),
 libtinfo6 (= 6.1+20190803-1),
 libtool (= 2.4.6-9),
 libubsan1 (= 8.3.0-6+rpi1),
 libuchardet0 (= 0.0.6-3),
 libudev1 (= 241-5+rpi1),
 libunistring2 (= 0.9.10-1),
 libuuid1 (= 2.33.1-0.1),
 libxml2 (= 2.9.4+dfsg1-7+b2),
 linux-libc-dev (= 4.18.20-2+rpi1),
 login (= 1:4.5-1.1),
 m4 (= 1.4.18-2),
 make (= 4.2.1-1.2),
 man-db (= 2.8.7-3),
 mawk (= 1.3.3-17),
 mime-support (= 3.63),
 ncurses-base (= 6.1+20181013-2),
 ncurses-bin (= 6.1+20181013-2),
 ocaml-base-nox (= 4.05.0-12+rpi1),
 ocaml-compiler-libs (= 4.05.0-12+rpi1),
 ocaml-findlib (= 1.8.1-1),
 ocaml-interp (= 4.05.0-12+rpi1),
 ocaml-nox (= 4.05.0-12+rpi1),
 ocamlbuild (= 0.14.0-1),
 patch (= 2.7.6-3),
 perl (= 5.28.1-6),
 perl-base (= 5.28.1-6),
 perl-modules-5.28 (= 5.28.1-6),
 po-debconf (= 1.0.21),
 python3 (= 3.7.3-1),
 python3-minimal (= 3.7.3-1),
 python3.7 (= 3.7.4-3),
 python3.7-minimal (= 3.7.4-3),
 readline-common (= 7.0-5),
 sed (= 4.7-1),
 sensible-utils (= 0.0.12),
 sysvinit-utils (= 2.93-8),
 tar (= 1.30+dfsg-6),
 util-linux (= 2.33.1-0.1),
 xz-utils (= 5.2.4-1),
 zlib1g (= 1:1.2.11.dfsg-1)
Environment:
 DEB_BUILD_OPTIONS="parallel=4"
 LC_ALL="POSIX"
 SOURCE_DATE_EPOCH="1567681825"


+------------------------------------------------------------------------------+
| Package contents                                                             |
+------------------------------------------------------------------------------+


libmenhir-coq_20190626-6+b1_armhf.deb
-------------------------------------

 new Debian package, version 2.0.
 size 1367556 bytes: control archive=1676 bytes.
     791 bytes,    20 lines      control              
    3139 bytes,    37 lines      md5sums              
 Package: libmenhir-coq
 Source: menhir (20190626-6)
 Version: 20190626-6+b1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 5401
 Depends: coq-8.9.1+4.05.0
 Recommends: menhir
 Section: ocaml
 Priority: optional
 Homepage: http://gallium.inria.fr/~fpottier/menhir/
 Description: Support library for verified Coq parsers produced by Menhir
  The Menhir parser generator, when invoked with the --coq option, produces
  parser code in the Coq language.
  .
  These parsers must be linked against this library, which provides
  both an interpreter (which allows running the generated parser) and
  a validator (which allows verifying, at parser construction time,
  that the generated parser is correct and complete with respect to
  the grammar).

drwxr-xr-x root/root         0 2019-09-05 11:10 ./
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/coq/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/coq/user-contrib/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/
-rw-r--r-- root/root     33880 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.glob
-rw-r--r-- root/root      8570 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.v
-rw-r--r-- root/root     83966 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Alphabet.vo
-rw-r--r-- root/root      9017 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.glob
-rw-r--r-- root/root      6620 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.v
-rw-r--r-- root/root    114426 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Automaton.vo
-rw-r--r-- root/root     10889 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.glob
-rw-r--r-- root/root      6111 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.v
-rw-r--r-- root/root     74655 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Grammar.vo
-rw-r--r-- root/root     43689 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.glob
-rw-r--r-- root/root     18386 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.v
-rw-r--r-- root/root    305276 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter.vo
-rw-r--r-- root/root    108430 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.glob
-rw-r--r-- root/root     33610 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.v
-rw-r--r-- root/root   1497997 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_complete.vo
-rw-r--r-- root/root     20073 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.glob
-rw-r--r-- root/root      7342 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.v
-rw-r--r-- root/root    243558 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Interpreter_correct.vo
-rw-r--r-- root/root      7632 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Main.glob
-rw-r--r-- root/root      3428 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Main.v
-rw-r--r-- root/root   1394132 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Main.vo
-rw-r--r-- root/root      6660 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.glob
-rw-r--r-- root/root      3118 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.v
-rw-r--r-- root/root     39451 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_classes.vo
-rw-r--r-- root/root     38996 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.glob
-rw-r--r-- root/root     15314 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.v
-rw-r--r-- root/root   1174591 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_complete.vo
-rw-r--r-- root/root     18911 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.glob
-rw-r--r-- root/root      8367 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.v
-rw-r--r-- root/root    143808 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Validator_safe.vo
-rw-r--r-- root/root       210 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Version.glob
-rw-r--r-- root/root      1022 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Version.v
-rw-r--r-- root/root      1832 2019-09-05 11:10 ./usr/lib/coq/user-contrib/MenhirLib/Version.vo
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/doc/libmenhir-coq/
-rw-r--r-- root/root       216 2019-09-05 11:10 ./usr/share/doc/libmenhir-coq/changelog.Debian.armhf.gz
-rw-r--r-- root/root      3876 2019-09-05 11:10 ./usr/share/doc/libmenhir-coq/changelog.Debian.gz
-rw-r--r-- root/root     12235 2019-06-26 09:17 ./usr/share/doc/libmenhir-coq/changelog.gz
-rw-r--r-- root/root      3171 2019-08-27 13:43 ./usr/share/doc/libmenhir-coq/copyright


libmenhir-ocaml-dev-dbgsym_20190626-6+b1_armhf.deb
--------------------------------------------------

 new Debian package, version 2.0.
 size 15380 bytes: control archive=604 bytes.
     460 bytes,    12 lines      control              
     212 bytes,     2 lines      md5sums              
 Package: libmenhir-ocaml-dev-dbgsym
 Source: menhir (20190626-6)
 Version: 20190626-6+b1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 72
 Depends: libmenhir-ocaml-dev (= 20190626-6+b1)
 Section: debug
 Priority: optional
 Description: debug symbols for libmenhir-ocaml-dev
 Build-Ids: cdf54c08284b1cd008fbf2fe76aff37e9f2c67ce eb1adb3d5f0db98a448582745e79276f26bfa211

drwxr-xr-x root/root         0 2019-09-05 11:10 ./
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/debug/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/debug/.build-id/cd/
-rw-r--r-- root/root     43980 2019-09-05 11:10 ./usr/lib/debug/.build-id/cd/f54c08284b1cd008fbf2fe76aff37e9f2c67ce.debug
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/debug/.build-id/eb/
-rw-r--r-- root/root     18276 2019-09-05 11:10 ./usr/lib/debug/.build-id/eb/1adb3d5f0db98a448582745e79276f26bfa211.debug
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/doc/
lrwxrwxrwx root/root         0 2019-09-05 11:10 ./usr/share/doc/libmenhir-ocaml-dev-dbgsym -> libmenhir-ocaml-dev


libmenhir-ocaml-dev_20190626-6+b1_armhf.deb
-------------------------------------------

 new Debian package, version 2.0.
 size 216336 bytes: control archive=1384 bytes.
    1030 bytes,    24 lines      control              
    1493 bytes,    20 lines      md5sums              
 Package: libmenhir-ocaml-dev
 Source: menhir (20190626-6)
 Version: 20190626-6+b1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 914
 Depends: ocaml-nox-4.05.0, libc6 (>= 2.4)
 Suggests: ocaml-findlib
 Provides: libmenhir-ocaml-dev-mqx95
 Section: ocaml
 Priority: optional
 Homepage: http://gallium.inria.fr/~fpottier/menhir/
 Description: Menhir library for OCaml
  Menhir is a LR(1) parser generator for the OCaml programming language.
  It is mostly compatible with the ocamlyacc parser generator provided with
  OCaml, and has a number of enhancements over ocamlyacc.
  .
  This package contains the Menhir library for the OCaml programming language.
  It gives access to, among others, the following modules:
   * InfiniteArray: implements infinite arrays, that is, arrays
     that grow transparently upon demand.
   * RowDisplacement: compresses a two-dimensional table, where some
     values are considered insignificant, via row displacement.
   * Engine: LR parsing engine.

drwxr-xr-x root/root         0 2019-09-05 11:10 ./
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/ocaml/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/
-rw-r--r-- root/root       196 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/META
-rw-r--r-- root/root     41871 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/menhirLib.cmi
-rw-r--r-- root/root    221622 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/menhirLib.cmo
-rw-r--r-- root/root     10774 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/menhirLib.cmx
-rw-r--r-- root/root    107652 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/menhirLib.cmxs
-rw-r--r-- root/root    127811 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/menhirLib.ml
-rw-r--r-- root/root     69573 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/menhirLib.mli
-rw-r--r-- root/root    117820 2019-09-05 11:10 ./usr/lib/ocaml/menhirLib/menhirLib.o
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/ocaml/menhirSdk/
-rw-r--r-- root/root       208 2019-09-05 11:10 ./usr/lib/ocaml/menhirSdk/META
-rw-r--r-- root/root     16028 2019-09-05 11:10 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmi
-rw-r--r-- root/root     84120 2019-09-05 11:10 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmo
-rw-r--r-- root/root      7300 2019-09-05 11:10 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmx
-rw-r--r-- root/root     40292 2019-09-05 11:10 ./usr/lib/ocaml/menhirSdk/menhirSdk.cmxs
-rw-r--r-- root/root     43044 2019-09-05 11:10 ./usr/lib/ocaml/menhirSdk/menhirSdk.o
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/doc/libmenhir-ocaml-dev/
-rw-r--r-- root/root       216 2019-09-05 11:10 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.armhf.gz
-rw-r--r-- root/root      3876 2019-09-05 11:10 ./usr/share/doc/libmenhir-ocaml-dev/changelog.Debian.gz
-rw-r--r-- root/root     12235 2019-06-26 09:17 ./usr/share/doc/libmenhir-ocaml-dev/changelog.gz
-rw-r--r-- root/root      3171 2019-08-27 13:43 ./usr/share/doc/libmenhir-ocaml-dev/copyright
drwxr-xr-x root/root         0 2019-09-05 11:10 ./var/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./var/lib/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./var/lib/ocaml/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./var/lib/ocaml/lintian/
-rw-r--r-- root/root        23 2019-09-05 11:10 ./var/lib/ocaml/lintian/libmenhir-ocaml-dev.info
drwxr-xr-x root/root         0 2019-09-05 11:10 ./var/lib/ocaml/md5sums/
-rw-r--r-- root/root       340 2019-09-05 11:10 ./var/lib/ocaml/md5sums/libmenhir-ocaml-dev.md5sums


menhir-dbgsym_20190626-6+b1_armhf.deb
-------------------------------------

 new Debian package, version 2.0.
 size 184384 bytes: control archive=532 bytes.
     381 bytes,    12 lines      control              
     106 bytes,     1 lines      md5sums              
 Package: menhir-dbgsym
 Source: menhir (20190626-6)
 Version: 20190626-6+b1
 Auto-Built-Package: debug-symbols
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 795
 Depends: menhir (= 20190626-6+b1)
 Section: debug
 Priority: optional
 Description: debug symbols for menhir
 Build-Ids: adfa8b2068cb8dc8c282e043184dd5dacb2771e7

drwxr-xr-x root/root         0 2019-09-05 11:10 ./
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/debug/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/debug/.build-id/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/lib/debug/.build-id/ad/
-rw-r--r-- root/root    803524 2019-09-05 11:10 ./usr/lib/debug/.build-id/ad/fa8b2068cb8dc8c282e043184dd5dacb2771e7.debug
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/doc/
lrwxrwxrwx root/root         0 2019-09-05 11:10 ./usr/share/doc/menhir-dbgsym -> menhir


menhir_20190626-6+b1_armhf.deb
------------------------------

 new Debian package, version 2.0.
 size 552268 bytes: control archive=1000 bytes.
     895 bytes,    22 lines      control              
     467 bytes,     7 lines      md5sums              
 Package: menhir
 Source: menhir (20190626-6)
 Version: 20190626-6+b1
 Architecture: armhf
 Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
 Installed-Size: 1785
 Depends: libc6 (>= 2.28)
 Suggests: menhir-doc
 Section: ocaml
 Priority: optional
 Homepage: http://gallium.inria.fr/~fpottier/menhir/
 Description: Parser generator for OCaml
  Menhir is a LR(1) parser generator for the OCaml programming language.
  It is mostly compatible with the ocamlyacc parser generator provided with
  the OCaml system, and has the following enhancements over ocamlyacc:
   * it accepts LR(1) grammars,
   * it offers parameterized nonterminal symbols as well as a library of
     standard definitions,
   * it explains conflicts in terms of the grammar,
   * it allows grammar specifications to be split over multiple files and
     parametrized by OCaml modules,
   * it produces reentrant parsers.

drwxr-xr-x root/root         0 2019-09-05 11:10 ./
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/bin/
-rwxr-xr-x root/root   1785120 2019-09-05 11:10 ./usr/bin/menhir
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/doc/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/doc/menhir/
-rw-r--r-- root/root       216 2019-09-05 11:10 ./usr/share/doc/menhir/changelog.Debian.armhf.gz
-rw-r--r-- root/root      3876 2019-09-05 11:10 ./usr/share/doc/menhir/changelog.Debian.gz
-rw-r--r-- root/root     12235 2019-06-26 09:17 ./usr/share/doc/menhir/changelog.gz
-rw-r--r-- root/root      3171 2019-08-27 13:43 ./usr/share/doc/menhir/copyright
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/man/
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/man/man1/
-rw-r--r-- root/root      1960 2019-09-05 11:10 ./usr/share/man/man1/menhir.1.gz
drwxr-xr-x root/root         0 2019-09-05 11:10 ./usr/share/menhir/
-rw-r--r-- root/root      7720 2019-09-05 11:10 ./usr/share/menhir/standard.mly


+------------------------------------------------------------------------------+
| Post Build                                                                   |
+------------------------------------------------------------------------------+


+------------------------------------------------------------------------------+
| Cleanup                                                                      |
+------------------------------------------------------------------------------+

Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use

+------------------------------------------------------------------------------+
| Summary                                                                      |
+------------------------------------------------------------------------------+

Build Architecture: armhf
Build Type: any
Build-Space: 87340
Build-Time: 199
Distribution: bullseye-staging
Host Architecture: armhf
Install-Time: 548
Job: menhir_20190626-6
Machine Architecture: armhf
Package: menhir
Package-Time: 805
Source-Version: 20190626-6
Space: 87340
Status: successful
Version: 20190626-6+b1
--------------------------------------------------------------------------------
Finished at 2019-09-05T11:13:45Z
Build needed 00:13:25, 87340k disk space