Source: coq-serapi
Version: 8.19.0+0.19.3-2
Severity: serious
Tags: ftbfs
Justification: fails to build from source (but built successfully in the past)
Hi,
coq-serapi FTBFS in unstable with the following error:
/usr/bin/make build
make[2]: Entering directory '/<<PKGBUILDDIR>>'
dune build --root . --only-packages=coq-serapi @install
File "serlib/ser_constrexpr.mli", line 106, characters 85-98:
106 | val with_declaration_ast_of_yojson : Yojson.Safe.t ->
(with_declaration_ast, string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_feedback.mli", line 25, characters 57-70:
25 | val doc_id_of_yojson : Yojson.Safe.t -> (doc_id, string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_goptions.mli", line 31, characters 69-82:
31 | val option_value_of_yojson : Yojson.Safe.t -> (option_value, string)
Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_genredexpr.mli", line 30, characters 61-74:
30 | val glob_red_flag_of_yojson : (Yojson.Safe.t -> ('a, string)
Result.result) -> Yojson.Safe.t -> ('a glob_red_flag,
string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_glob_term.mli", line 34, characters 63-76:
34 | val glob_sort_of_yojson : Yojson.Safe.t -> (glob_sort, string)
Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_pp.mli", line 26, characters 45-58:
26 | val of_yojson : Yojson.Safe.t -> (t, string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_xml_datatype.mli", line 25, characters 52-65:
25 | val gxml_of_yojson : (Yojson.Safe.t -> ('a, string) Result.result) ->
Yojson.Safe.t -> ('a gxml, string) Result.re
sult
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_dAst.ml", line 34, characters 62-75:
34 | let thunk_of_yojson : type a b. (Yojson.Safe.t -> (a, string)
Result.result) -> (Yojson.Safe.t -> (b, string) Resu
lt.result) -> Yojson.Safe.t -> ((a,b) thunk, string) Result.result =
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
Full build log attached.
Thanks!
cheers, josch
sbuild (Debian sbuild) 0.85.0 (04 January 2023) on salat
+==============================================================================+
| coq-serapi (amd64) Sat, 15 Jun 2024 12:28:25 +0000 |
+==============================================================================+
Package: coq-serapi
Distribution: unstable
Machine Architecture: amd64
Host Architecture: amd64
Build Architecture: amd64
Build Type: binary
Unpacking /home/josch/.cache/sbuild/unstable-amd64.tar to
/tmp/tmp.sbuild.K1Xrqr4TDO...
I: NOTICE: Log filtering will replace 'sbuild-unshare-dummy-location' with
'<<CHROOT>>'
I: NOTICE: Log filtering will replace 'build/coq-serapi-MOPvT6/resolver-iw1YuS'
with '<<RESOLVERDIR>>'
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Get:1 http://deb.debian.org/debian unstable InRelease [198 kB]
Get:2 http://deb.debian.org/debian unstable/main amd64 Packages [9934 kB]
Fetched 10.1 MB in 1s (9112 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
+------------------------------------------------------------------------------+
| Fetch source files |
+------------------------------------------------------------------------------+
Check APT
---------
There are no deb-src lines in your sources.list
Automatically adding to EXTRA_REPOSITORIES: deb-src
http://deb.debian.org/debian/ sid main
+------------------------------------------------------------------------------+
| Update chroot |
+------------------------------------------------------------------------------+
Hit:1 http://deb.debian.org/debian unstable InRelease
Get:2 http://deb.debian.org/debian sid InRelease [198 kB]
Get:3 http://deb.debian.org/debian sid/main Sources [10.6 MB]
Fetched 10.8 MB in 1s (8562 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
Calculating upgrade...
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
Checking available source versions...
Download source files with APT
------------------------------
Reading package lists...
NOTICE: 'coq-serapi' packaging is maintained in the 'Git' version control
system at:
https://salsa.debian.org/ocaml-team/coq-serapi.git
Please use:
git clone https://salsa.debian.org/ocaml-team/coq-serapi.git
to retrieve the latest (possibly unreleased) updates to the package.
Need to get 191 kB of source archives.
Get:1 http://deb.debian.org/debian sid/main coq-serapi 8.19.0+0.19.3-2 (dsc)
[2481 B]
Get:2 http://deb.debian.org/debian sid/main coq-serapi 8.19.0+0.19.3-2 (tar)
[180 kB]
Get:3 http://deb.debian.org/debian sid/main coq-serapi 8.19.0+0.19.3-2 (diff)
[8932 B]
Fetched 191 kB in 0s (885 kB/s)
Download complete and in download only mode
I: NOTICE: Log filtering will replace
'build/coq-serapi-MOPvT6/coq-serapi-8.19.0+0.19.3' with '<<PKGBUILDDIR>>'
I: NOTICE: Log filtering will replace 'build/coq-serapi-MOPvT6' with
'<<BUILDDIR>>'
+------------------------------------------------------------------------------+
| Install package build dependencies |
+------------------------------------------------------------------------------+
Setup apt archive
-----------------
Merged Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, help2man,
libcmdliner-ocaml-dev, libcoq-core-ocaml-dev, libcoq-stdlib,
libppx-deriving-ocaml-dev, libppx-deriving-yojson-ocaml-dev,
libppx-hash-ocaml-dev, libppx-import-ocaml-dev, libppx-sexp-conv-ocaml-dev,
libppxlib-ocaml-dev, libsexplib-ocaml-dev, libyojson-ocaml-dev, ocaml-dune,
ocaml-findlib, build-essential, fakeroot
Filtered Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml,
help2man, libcmdliner-ocaml-dev, libcoq-core-ocaml-dev, libcoq-stdlib,
libppx-deriving-ocaml-dev, libppx-deriving-yojson-ocaml-dev,
libppx-hash-ocaml-dev, libppx-import-ocaml-dev, libppx-sexp-conv-ocaml-dev,
libppxlib-ocaml-dev, libsexplib-ocaml-dev, libyojson-ocaml-dev, ocaml-dune,
ocaml-findlib, build-essential, fakeroot
dpkg-deb: building package 'sbuild-build-depends-main-dummy' in
'/<<RESOLVERDIR>>/apt_archive/sbuild-build-depends-main-dummy.deb'.
Ign:1 copy:/<<RESOLVERDIR>>/apt_archive ./ InRelease
Get:2 copy:/<<RESOLVERDIR>>/apt_archive ./ Release [609 B]
Ign:3 copy:/<<RESOLVERDIR>>/apt_archive ./ Release.gpg
Get:4 copy:/<<RESOLVERDIR>>/apt_archive ./ Sources [939 B]
Get:5 copy:/<<RESOLVERDIR>>/apt_archive ./ Packages [971 B]
Fetched 2519 B in 0s (0 B/s)
Reading package lists...
Hit:1 http://deb.debian.org/debian sid InRelease
Reading package lists...
Reading package lists...
Install main 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 bsdextrautils coq debhelper
dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz fakeroot file
gettext gettext-base groff-base help2man intltool-debian libarchive-zip-perl
libbase-ocaml libbase-ocaml-dev libcmdliner-ocaml-dev
libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev
libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1 libfakeroot
libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev
libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 liblocale-gettext-perl
libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6
libnum-ocaml libnum-ocaml-dev libocaml-compiler-libs-ocaml-dev
libparsexp-ocaml libparsexp-ocaml-dev libpipeline1 libppx-compare-ocaml
libppx-compare-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml
libppx-deriving-ocaml-dev libppx-deriving-yojson-ocaml-dev libppx-hash-ocaml
libppx-hash-ocaml-dev libppx-import-ocaml libppx-import-ocaml-dev
libppx-sexp-conv-ocaml libppx-sexp-conv-ocaml-dev libppxlib-ocaml-dev
libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8t64
libsexplib-ocaml libsexplib-ocaml-dev libsexplib0-ocaml
libsexplib0-ocaml-dev libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev
libtool libuchardet0 libxml2 libyojson-ocaml libyojson-ocaml-dev
libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types netbase ocaml
ocaml-base ocaml-dune ocaml-findlib ocaml-interp po-debconf python3
python3-minimal python3.11 python3.11-minimal readline-common sensible-utils
Suggested packages:
autoconf-archive gnu-standards autoconf-doc coqide | proofgeneral ledit
| readline-editor why coq-doc dh-make git gettext-doc libasprintf-dev
libgettextpo-dev groff gmp-doc libgmp10-doc libmpfr-dev ncurses-doc
libtool-doc gfortran | fortran95-compiler gcj-jdk m4-doc apparmor less
www-browser ocaml-doc elpa-tuareg camlp4 libmail-box-perl python3-doc
python3-tk python3-venv python3.11-venv python3.11-doc binfmt-support
readline-doc
Recommended packages:
curl | wget | lynx libarchive-cpio-perl libgpm2 ocaml-man libltdl-dev ledit
| readline-editor libmail-sendmail-perl ca-certificates
The following NEW packages will be installed:
autoconf automake autopoint autotools-dev bsdextrautils coq debhelper
dh-autoreconf dh-coq dh-ocaml dh-strip-nondeterminism dwz fakeroot file
gettext gettext-base groff-base help2man intltool-debian libarchive-zip-perl
libbase-ocaml libbase-ocaml-dev libcmdliner-ocaml-dev
libcompiler-libs-ocaml-dev libcoq-core-ocaml libcoq-core-ocaml-dev
libcoq-stdlib libdebhelper-perl libelf1t64 libexpat1 libfakeroot
libfile-stripnondeterminism-perl libfindlib-ocaml libfindlib-ocaml-dev
libgmp-dev libgmp3-dev libgmpxx4ldbl libicu72 liblocale-gettext-perl
libmagic-mgc libmagic1t64 libncurses-dev libncurses6 libncursesw6
libnum-ocaml libnum-ocaml-dev libocaml-compiler-libs-ocaml-dev
libparsexp-ocaml libparsexp-ocaml-dev libpipeline1 libppx-compare-ocaml
libppx-compare-ocaml-dev libppx-derivers-ocaml-dev libppx-deriving-ocaml
libppx-deriving-ocaml-dev libppx-deriving-yojson-ocaml-dev libppx-hash-ocaml
libppx-hash-ocaml-dev libppx-import-ocaml libppx-import-ocaml-dev
libppx-sexp-conv-ocaml libppx-sexp-conv-ocaml-dev libppxlib-ocaml-dev
libpython3-stdlib libpython3.11-minimal libpython3.11-stdlib libreadline8t64
libsexplib-ocaml libsexplib-ocaml-dev libsexplib0-ocaml
libsexplib0-ocaml-dev libsqlite3-0 libstdlib-ocaml libstdlib-ocaml-dev
libtool libuchardet0 libxml2 libyojson-ocaml libyojson-ocaml-dev
libzarith-ocaml libzarith-ocaml-dev m4 man-db media-types netbase ocaml
ocaml-base ocaml-dune ocaml-findlib ocaml-interp po-debconf python3
python3-minimal python3.11 python3.11-minimal readline-common
sbuild-build-depends-main-dummy sensible-utils
0 upgraded, 98 newly installed, 0 to remove and 0 not upgraded.
Need to get 362 MB of archives.
After this operation, 1558 MB of additional disk space will be used.
Get:1 copy:/<<RESOLVERDIR>>/apt_archive ./ sbuild-build-depends-main-dummy
0.invalid.0 [984 B]
Get:2 http://deb.debian.org/debian unstable/main amd64 liblocale-gettext-perl
amd64 1.07-7 [15.0 kB]
Get:3 http://deb.debian.org/debian unstable/main amd64 libpython3.11-minimal
amd64 3.11.9-1 [817 kB]
Get:4 http://deb.debian.org/debian unstable/main amd64 libexpat1 amd64 2.6.2-1
[103 kB]
Get:5 http://deb.debian.org/debian unstable/main amd64 python3.11-minimal amd64
3.11.9-1 [1879 kB]
Get:6 http://deb.debian.org/debian unstable/main amd64 python3-minimal amd64
3.11.8-1 [26.3 kB]
Get:7 http://deb.debian.org/debian unstable/main amd64 media-types all 10.1.0
[26.9 kB]
Get:8 http://deb.debian.org/debian unstable/main amd64 netbase all 6.4 [12.8 kB]
Get:9 http://deb.debian.org/debian unstable/main amd64 libncursesw6 amd64 6.5-2
[135 kB]
Get:10 http://deb.debian.org/debian unstable/main amd64 readline-common all
8.2-4 [69.3 kB]
Get:11 http://deb.debian.org/debian unstable/main amd64 libreadline8t64 amd64
8.2-4 [167 kB]
Get:12 http://deb.debian.org/debian unstable/main amd64 libsqlite3-0 amd64
3.46.0-1 [902 kB]
Get:13 http://deb.debian.org/debian unstable/main amd64 libpython3.11-stdlib
amd64 3.11.9-1 [1792 kB]
Get:14 http://deb.debian.org/debian unstable/main amd64 python3.11 amd64
3.11.9-1 [602 kB]
Get:15 http://deb.debian.org/debian unstable/main amd64 libpython3-stdlib amd64
3.11.8-1 [9332 B]
Get:16 http://deb.debian.org/debian unstable/main amd64 python3 amd64 3.11.8-1
[27.4 kB]
Get:17 http://deb.debian.org/debian unstable/main amd64 sensible-utils all
0.0.22 [22.4 kB]
Get:18 http://deb.debian.org/debian unstable/main amd64 libmagic-mgc amd64
1:5.45-3 [314 kB]
Get:19 http://deb.debian.org/debian unstable/main amd64 libmagic1t64 amd64
1:5.45-3 [105 kB]
Get:20 http://deb.debian.org/debian unstable/main amd64 file amd64 1:5.45-3
[42.9 kB]
Get:21 http://deb.debian.org/debian unstable/main amd64 gettext-base amd64
0.21-14+b1 [161 kB]
Get:22 http://deb.debian.org/debian unstable/main amd64 libuchardet0 amd64
0.0.8-1+b1 [68.8 kB]
Get:23 http://deb.debian.org/debian unstable/main amd64 groff-base amd64
1.23.0-4 [1180 kB]
Get:24 http://deb.debian.org/debian unstable/main amd64 bsdextrautils amd64
2.40.1-8.1 [96.2 kB]
Get:25 http://deb.debian.org/debian unstable/main amd64 libpipeline1 amd64
1.5.7-2 [38.0 kB]
Get:26 http://deb.debian.org/debian unstable/main amd64 man-db amd64 2.12.1-2
[1411 kB]
Get:27 http://deb.debian.org/debian unstable/main amd64 m4 amd64 1.4.19-4 [287
kB]
Get:28 http://deb.debian.org/debian unstable/main amd64 autoconf all 2.71-3
[332 kB]
Get:29 http://deb.debian.org/debian unstable/main amd64 autotools-dev all
20220109.1 [51.6 kB]
Get:30 http://deb.debian.org/debian unstable/main amd64 automake all
1:1.16.5-1.3 [823 kB]
Get:31 http://deb.debian.org/debian unstable/main amd64 autopoint all 0.21-14
[496 kB]
Get:32 http://deb.debian.org/debian unstable/main amd64 libcoq-stdlib amd64
8.19.1+dfsg-2 [23.7 MB]
Get:33 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml amd64
4.14.1-1 [499 kB]
Get:34 http://deb.debian.org/debian unstable/main amd64 ocaml-base amd64
4.14.1-1 [401 kB]
Get:35 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml amd64
1.9.6-2 [169 kB]
Get:36 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml amd64
1.13-2+b1 [106 kB]
Get:37 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml amd64
8.19.1+dfsg-2 [23.2 MB]
Get:38 http://deb.debian.org/debian unstable/main amd64 libstdlib-ocaml-dev
amd64 4.14.1-1 [7284 kB]
Get:39 http://deb.debian.org/debian unstable/main amd64
libcompiler-libs-ocaml-dev amd64 4.14.1-1 [32.7 MB]
Get:40 http://deb.debian.org/debian unstable/main amd64 ocaml-interp amd64
4.14.1-1 [6456 kB]
Get:41 http://deb.debian.org/debian unstable/main amd64 libncurses6 amd64 6.5-2
[104 kB]
Get:42 http://deb.debian.org/debian unstable/main amd64 libncurses-dev amd64
6.5-2 [349 kB]
Get:43 http://deb.debian.org/debian unstable/main amd64 ocaml amd64 4.14.1-1
[67.1 MB]
Get:44 http://deb.debian.org/debian unstable/main amd64 ocaml-findlib amd64
1.9.6-2 [499 kB]
Get:45 http://deb.debian.org/debian unstable/main amd64 coq amd64 8.19.1+dfsg-2
[82.4 MB]
Get:46 http://deb.debian.org/debian unstable/main amd64 libdebhelper-perl all
13.15.3 [88.0 kB]
Get:47 http://deb.debian.org/debian unstable/main amd64 libtool all 2.4.7-7
[517 kB]
Get:48 http://deb.debian.org/debian unstable/main amd64 dh-autoreconf all 20
[17.1 kB]
Get:49 http://deb.debian.org/debian unstable/main amd64 libarchive-zip-perl all
1.68-1 [104 kB]
Get:50 http://deb.debian.org/debian unstable/main amd64
libfile-stripnondeterminism-perl all 1.14.0-1 [19.5 kB]
Get:51 http://deb.debian.org/debian unstable/main amd64 dh-strip-nondeterminism
all 1.14.0-1 [8448 B]
Get:52 http://deb.debian.org/debian unstable/main amd64 libelf1t64 amd64
0.191-1+b1 [189 kB]
Get:53 http://deb.debian.org/debian unstable/main amd64 dwz amd64 0.15-1+b1
[110 kB]
Get:54 http://deb.debian.org/debian unstable/main amd64 libicu72 amd64
72.1-4+b1 [9395 kB]
Get:55 http://deb.debian.org/debian unstable/main amd64 libxml2 amd64
2.12.7+dfsg-3 [670 kB]
Get:56 http://deb.debian.org/debian unstable/main amd64 gettext amd64
0.21-14+b1 [1301 kB]
Get:57 http://deb.debian.org/debian unstable/main amd64 intltool-debian all
0.35.0+20060710.6 [22.9 kB]
Get:58 http://deb.debian.org/debian unstable/main amd64 po-debconf all
1.0.21+nmu1 [248 kB]
Get:59 http://deb.debian.org/debian unstable/main amd64 debhelper all 13.15.3
[901 kB]
Get:60 http://deb.debian.org/debian unstable/main amd64 dh-coq all 0.9 [6720 B]
Get:61 http://deb.debian.org/debian unstable/main amd64 dh-ocaml all 2.1 [69.4
kB]
Get:62 http://deb.debian.org/debian unstable/main amd64 libfakeroot amd64
1.35-1 [29.1 kB]
Get:63 http://deb.debian.org/debian unstable/main amd64 fakeroot amd64 1.35-1
[74.1 kB]
Get:64 http://deb.debian.org/debian unstable/main amd64 help2man amd64 1.49.3
[198 kB]
Get:65 http://deb.debian.org/debian unstable/main amd64 libsexplib0-ocaml amd64
0.16.0-3+b1 [110 kB]
Get:66 http://deb.debian.org/debian unstable/main amd64 libbase-ocaml amd64
0.16.3-1 [2318 kB]
Get:67 http://deb.debian.org/debian unstable/main amd64 libsexplib0-ocaml-dev
amd64 0.16.0-3+b1 [245 kB]
Get:68 http://deb.debian.org/debian unstable/main amd64 libbase-ocaml-dev amd64
0.16.3-1 [6311 kB]
Get:69 http://deb.debian.org/debian unstable/main amd64 libcmdliner-ocaml-dev
amd64 1.3.0-1 [483 kB]
Get:70 http://deb.debian.org/debian unstable/main amd64 libfindlib-ocaml-dev
amd64 1.9.6-2 [162 kB]
Get:71 http://deb.debian.org/debian unstable/main amd64 libgmpxx4ldbl amd64
2:6.3.0+dfsg-2+b1 [329 kB]
Get:72 http://deb.debian.org/debian unstable/main amd64 libgmp-dev amd64
2:6.3.0+dfsg-2+b1 [640 kB]
Get:73 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64
2:6.3.0+dfsg-2+b1 [322 kB]
Get:74 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev
amd64 1.13-2+b1 [103 kB]
Get:75 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml-dev
amd64 8.19.1+dfsg-2 [45.6 MB]
Get:76 http://deb.debian.org/debian unstable/main amd64 libnum-ocaml amd64
1.5-1 [169 kB]
Get:77 http://deb.debian.org/debian unstable/main amd64 libnum-ocaml-dev amd64
1.5-1 [112 kB]
Get:78 http://deb.debian.org/debian unstable/main amd64
libocaml-compiler-libs-ocaml-dev amd64 0.12.4-4+b1 [84.2 kB]
Get:79 http://deb.debian.org/debian unstable/main amd64 libparsexp-ocaml amd64
0.16.0-3+b1 [212 kB]
Get:80 http://deb.debian.org/debian unstable/main amd64 libparsexp-ocaml-dev
amd64 0.16.0-3+b1 [555 kB]
Get:81 http://deb.debian.org/debian unstable/main amd64 libppx-compare-ocaml
amd64 0.16.0-4+b5 [27.1 kB]
Get:82 http://deb.debian.org/debian unstable/main amd64
libppx-derivers-ocaml-dev amd64 1.2.1-4+b1 [16.4 kB]
Get:83 http://deb.debian.org/debian unstable/main amd64 libppxlib-ocaml-dev
amd64 0.32.1-1 [16.5 MB]
Get:84 http://deb.debian.org/debian unstable/main amd64
libppx-compare-ocaml-dev amd64 0.16.0-4+b5 [212 kB]
Get:85 http://deb.debian.org/debian unstable/main amd64 libppx-deriving-ocaml
amd64 6.0.2-2 [3926 kB]
Get:86 http://deb.debian.org/debian unstable/main amd64
libppx-deriving-ocaml-dev amd64 6.0.2-2 [816 kB]
Get:87 http://deb.debian.org/debian unstable/main amd64
libppx-deriving-yojson-ocaml-dev amd64 3.8.0-1 [492 kB]
Get:88 http://deb.debian.org/debian unstable/main amd64 libppx-hash-ocaml amd64
0.16.0-4+b5 [82.8 kB]
Get:89 http://deb.debian.org/debian unstable/main amd64 libppx-hash-ocaml-dev
amd64 0.16.0-4+b5 [144 kB]
Get:90 http://deb.debian.org/debian unstable/main amd64 libppx-import-ocaml
amd64 1.11.0-1 [59.5 kB]
Get:91 http://deb.debian.org/debian unstable/main amd64 libppx-import-ocaml-dev
amd64 1.11.0-1 [3297 kB]
Get:92 http://deb.debian.org/debian unstable/main amd64 libppx-sexp-conv-ocaml
amd64 1:0.16.0-3+b5 [376 kB]
Get:93 http://deb.debian.org/debian unstable/main amd64
libppx-sexp-conv-ocaml-dev amd64 1:0.16.0-3+b5 [773 kB]
Get:94 http://deb.debian.org/debian unstable/main amd64 libsexplib-ocaml amd64
1:0.16.0-2+b2 [271 kB]
Get:95 http://deb.debian.org/debian unstable/main amd64 libsexplib-ocaml-dev
amd64 1:0.16.0-2+b2 [575 kB]
Get:96 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml amd64
2.2.1-1+b1 [568 kB]
Get:97 http://deb.debian.org/debian unstable/main amd64 libyojson-ocaml-dev
amd64 2.2.1-1+b1 [904 kB]
Get:98 http://deb.debian.org/debian unstable/main amd64 ocaml-dune amd64
3.15.3-2 [4439 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 362 MB in 3s (116 MB/s)
Selecting previously unselected package liblocale-gettext-perl.
(Reading database ... 12904 files and directories currently installed.)
Preparing to unpack .../liblocale-gettext-perl_1.07-7_amd64.deb ...
Unpacking liblocale-gettext-perl (1.07-7) ...
Selecting previously unselected package libpython3.11-minimal:amd64.
Preparing to unpack .../libpython3.11-minimal_3.11.9-1_amd64.deb ...
Unpacking libpython3.11-minimal:amd64 (3.11.9-1) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.6.2-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.6.2-1) ...
Selecting previously unselected package python3.11-minimal.
Preparing to unpack .../python3.11-minimal_3.11.9-1_amd64.deb ...
Unpacking python3.11-minimal (3.11.9-1) ...
Setting up libpython3.11-minimal:amd64 (3.11.9-1) ...
Setting up libexpat1:amd64 (2.6.2-1) ...
Setting up python3.11-minimal (3.11.9-1) ...
Selecting previously unselected package python3-minimal.
(Reading database ... 13234 files and directories currently installed.)
Preparing to unpack .../0-python3-minimal_3.11.8-1_amd64.deb ...
Unpacking python3-minimal (3.11.8-1) ...
Selecting previously unselected package media-types.
Preparing to unpack .../1-media-types_10.1.0_all.deb ...
Unpacking media-types (10.1.0) ...
Selecting previously unselected package netbase.
Preparing to unpack .../2-netbase_6.4_all.deb ...
Unpacking netbase (6.4) ...
Selecting previously unselected package libncursesw6:amd64.
Preparing to unpack .../3-libncursesw6_6.5-2_amd64.deb ...
Unpacking libncursesw6:amd64 (6.5-2) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../4-readline-common_8.2-4_all.deb ...
Unpacking readline-common (8.2-4) ...
Selecting previously unselected package libreadline8t64:amd64.
Preparing to unpack .../5-libreadline8t64_8.2-4_amd64.deb ...
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8 to
/lib/x86_64-linux-gnu/libhistory.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libhistory.so.8.2 to
/lib/x86_64-linux-gnu/libhistory.so.8.2.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8 to
/lib/x86_64-linux-gnu/libreadline.so.8.usr-is-merged by libreadline8t64'
Adding 'diversion of /lib/x86_64-linux-gnu/libreadline.so.8.2 to
/lib/x86_64-linux-gnu/libreadline.so.8.2.usr-is-merged by libreadline8t64'
Unpacking libreadline8t64:amd64 (8.2-4) ...
Selecting previously unselected package libsqlite3-0:amd64.
Preparing to unpack .../6-libsqlite3-0_3.46.0-1_amd64.deb ...
Unpacking libsqlite3-0:amd64 (3.46.0-1) ...
Selecting previously unselected package libpython3.11-stdlib:amd64.
Preparing to unpack .../7-libpython3.11-stdlib_3.11.9-1_amd64.deb ...
Unpacking libpython3.11-stdlib:amd64 (3.11.9-1) ...
Selecting previously unselected package python3.11.
Preparing to unpack .../8-python3.11_3.11.9-1_amd64.deb ...
Unpacking python3.11 (3.11.9-1) ...
Selecting previously unselected package libpython3-stdlib:amd64.
Preparing to unpack .../9-libpython3-stdlib_3.11.8-1_amd64.deb ...
Unpacking libpython3-stdlib:amd64 (3.11.8-1) ...
Setting up python3-minimal (3.11.8-1) ...
Selecting previously unselected package python3.
(Reading database ... 13715 files and directories currently installed.)
Preparing to unpack .../00-python3_3.11.8-1_amd64.deb ...
Unpacking python3 (3.11.8-1) ...
Selecting previously unselected package sensible-utils.
Preparing to unpack .../01-sensible-utils_0.0.22_all.deb ...
Unpacking sensible-utils (0.0.22) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../02-libmagic-mgc_1%3a5.45-3_amd64.deb ...
Unpacking libmagic-mgc (1:5.45-3) ...
Selecting previously unselected package libmagic1t64:amd64.
Preparing to unpack .../03-libmagic1t64_1%3a5.45-3_amd64.deb ...
Unpacking libmagic1t64:amd64 (1:5.45-3) ...
Selecting previously unselected package file.
Preparing to unpack .../04-file_1%3a5.45-3_amd64.deb ...
Unpacking file (1:5.45-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../05-gettext-base_0.21-14+b1_amd64.deb ...
Unpacking gettext-base (0.21-14+b1) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../06-libuchardet0_0.0.8-1+b1_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.8-1+b1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../07-groff-base_1.23.0-4_amd64.deb ...
Unpacking groff-base (1.23.0-4) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../08-bsdextrautils_2.40.1-8.1_amd64.deb ...
Unpacking bsdextrautils (2.40.1-8.1) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../09-libpipeline1_1.5.7-2_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.7-2) ...
Selecting previously unselected package man-db.
Preparing to unpack .../10-man-db_2.12.1-2_amd64.deb ...
Unpacking man-db (2.12.1-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../11-m4_1.4.19-4_amd64.deb ...
Unpacking m4 (1.4.19-4) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../12-autoconf_2.71-3_all.deb ...
Unpacking autoconf (2.71-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../13-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../14-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../15-autopoint_0.21-14_all.deb ...
Unpacking autopoint (0.21-14) ...
Selecting previously unselected package libcoq-stdlib.
Preparing to unpack .../16-libcoq-stdlib_8.19.1+dfsg-2_amd64.deb ...
Unpacking libcoq-stdlib (8.19.1+dfsg-2) ...
Selecting previously unselected package libstdlib-ocaml.
Preparing to unpack .../17-libstdlib-ocaml_4.14.1-1_amd64.deb ...
Unpacking libstdlib-ocaml (4.14.1-1) ...
Selecting previously unselected package ocaml-base.
Preparing to unpack .../18-ocaml-base_4.14.1-1_amd64.deb ...
Unpacking ocaml-base (4.14.1-1) ...
Selecting previously unselected package libfindlib-ocaml.
Preparing to unpack .../19-libfindlib-ocaml_1.9.6-2_amd64.deb ...
Unpacking libfindlib-ocaml (1.9.6-2) ...
Selecting previously unselected package libzarith-ocaml.
Preparing to unpack .../20-libzarith-ocaml_1.13-2+b1_amd64.deb ...
Unpacking libzarith-ocaml (1.13-2+b1) ...
Selecting previously unselected package libcoq-core-ocaml.
Preparing to unpack .../21-libcoq-core-ocaml_8.19.1+dfsg-2_amd64.deb ...
Unpacking libcoq-core-ocaml (8.19.1+dfsg-2) ...
Selecting previously unselected package libstdlib-ocaml-dev.
Preparing to unpack .../22-libstdlib-ocaml-dev_4.14.1-1_amd64.deb ...
Unpacking libstdlib-ocaml-dev (4.14.1-1) ...
Selecting previously unselected package libcompiler-libs-ocaml-dev.
Preparing to unpack .../23-libcompiler-libs-ocaml-dev_4.14.1-1_amd64.deb ...
Unpacking libcompiler-libs-ocaml-dev (4.14.1-1) ...
Selecting previously unselected package ocaml-interp.
Preparing to unpack .../24-ocaml-interp_4.14.1-1_amd64.deb ...
Unpacking ocaml-interp (4.14.1-1) ...
Selecting previously unselected package libncurses6:amd64.
Preparing to unpack .../25-libncurses6_6.5-2_amd64.deb ...
Unpacking libncurses6:amd64 (6.5-2) ...
Selecting previously unselected package libncurses-dev:amd64.
Preparing to unpack .../26-libncurses-dev_6.5-2_amd64.deb ...
Unpacking libncurses-dev:amd64 (6.5-2) ...
Selecting previously unselected package ocaml.
Preparing to unpack .../27-ocaml_4.14.1-1_amd64.deb ...
Unpacking ocaml (4.14.1-1) ...
Selecting previously unselected package ocaml-findlib.
Preparing to unpack .../28-ocaml-findlib_1.9.6-2_amd64.deb ...
Unpacking ocaml-findlib (1.9.6-2) ...
Selecting previously unselected package coq.
Preparing to unpack .../29-coq_8.19.1+dfsg-2_amd64.deb ...
Unpacking coq (8.19.1+dfsg-2) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../30-libdebhelper-perl_13.15.3_all.deb ...
Unpacking libdebhelper-perl (13.15.3) ...
Selecting previously unselected package libtool.
Preparing to unpack .../31-libtool_2.4.7-7_all.deb ...
Unpacking libtool (2.4.7-7) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../32-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../33-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../34-libfile-stripnondeterminism-perl_1.14.0-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.14.0-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../35-dh-strip-nondeterminism_1.14.0-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.14.0-1) ...
Selecting previously unselected package libelf1t64:amd64.
Preparing to unpack .../36-libelf1t64_0.191-1+b1_amd64.deb ...
Unpacking libelf1t64:amd64 (0.191-1+b1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../37-dwz_0.15-1+b1_amd64.deb ...
Unpacking dwz (0.15-1+b1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../38-libicu72_72.1-4+b1_amd64.deb ...
Unpacking libicu72:amd64 (72.1-4+b1) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../39-libxml2_2.12.7+dfsg-3_amd64.deb ...
Unpacking libxml2:amd64 (2.12.7+dfsg-3) ...
Selecting previously unselected package gettext.
Preparing to unpack .../40-gettext_0.21-14+b1_amd64.deb ...
Unpacking gettext (0.21-14+b1) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../41-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../42-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../43-debhelper_13.15.3_all.deb ...
Unpacking debhelper (13.15.3) ...
Selecting previously unselected package dh-coq.
Preparing to unpack .../44-dh-coq_0.9_all.deb ...
Unpacking dh-coq (0.9) ...
Selecting previously unselected package dh-ocaml.
Preparing to unpack .../45-dh-ocaml_2.1_all.deb ...
Unpacking dh-ocaml (2.1) ...
Selecting previously unselected package libfakeroot:amd64.
Preparing to unpack .../46-libfakeroot_1.35-1_amd64.deb ...
Unpacking libfakeroot:amd64 (1.35-1) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../47-fakeroot_1.35-1_amd64.deb ...
Unpacking fakeroot (1.35-1) ...
Selecting previously unselected package help2man.
Preparing to unpack .../48-help2man_1.49.3_amd64.deb ...
Unpacking help2man (1.49.3) ...
Selecting previously unselected package libsexplib0-ocaml.
Preparing to unpack .../49-libsexplib0-ocaml_0.16.0-3+b1_amd64.deb ...
Unpacking libsexplib0-ocaml (0.16.0-3+b1) ...
Selecting previously unselected package libbase-ocaml.
Preparing to unpack .../50-libbase-ocaml_0.16.3-1_amd64.deb ...
Unpacking libbase-ocaml (0.16.3-1) ...
Selecting previously unselected package libsexplib0-ocaml-dev.
Preparing to unpack .../51-libsexplib0-ocaml-dev_0.16.0-3+b1_amd64.deb ...
Unpacking libsexplib0-ocaml-dev (0.16.0-3+b1) ...
Selecting previously unselected package libbase-ocaml-dev.
Preparing to unpack .../52-libbase-ocaml-dev_0.16.3-1_amd64.deb ...
Unpacking libbase-ocaml-dev (0.16.3-1) ...
Selecting previously unselected package libcmdliner-ocaml-dev.
Preparing to unpack .../53-libcmdliner-ocaml-dev_1.3.0-1_amd64.deb ...
Unpacking libcmdliner-ocaml-dev (1.3.0-1) ...
Selecting previously unselected package libfindlib-ocaml-dev.
Preparing to unpack .../54-libfindlib-ocaml-dev_1.9.6-2_amd64.deb ...
Unpacking libfindlib-ocaml-dev (1.9.6-2) ...
Selecting previously unselected package libgmpxx4ldbl:amd64.
Preparing to unpack .../55-libgmpxx4ldbl_2%3a6.3.0+dfsg-2+b1_amd64.deb ...
Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b1) ...
Selecting previously unselected package libgmp-dev:amd64.
Preparing to unpack .../56-libgmp-dev_2%3a6.3.0+dfsg-2+b1_amd64.deb ...
Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-2+b1) ...
Selecting previously unselected package libgmp3-dev:amd64.
Preparing to unpack .../57-libgmp3-dev_2%3a6.3.0+dfsg-2+b1_amd64.deb ...
Unpacking libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b1) ...
Selecting previously unselected package libzarith-ocaml-dev.
Preparing to unpack .../58-libzarith-ocaml-dev_1.13-2+b1_amd64.deb ...
Unpacking libzarith-ocaml-dev (1.13-2+b1) ...
Selecting previously unselected package libcoq-core-ocaml-dev.
Preparing to unpack .../59-libcoq-core-ocaml-dev_8.19.1+dfsg-2_amd64.deb ...
Unpacking libcoq-core-ocaml-dev (8.19.1+dfsg-2) ...
Selecting previously unselected package libnum-ocaml.
Preparing to unpack .../60-libnum-ocaml_1.5-1_amd64.deb ...
Unpacking libnum-ocaml (1.5-1) ...
Selecting previously unselected package libnum-ocaml-dev.
Preparing to unpack .../61-libnum-ocaml-dev_1.5-1_amd64.deb ...
Unpacking libnum-ocaml-dev (1.5-1) ...
Selecting previously unselected package libocaml-compiler-libs-ocaml-dev.
Preparing to unpack
.../62-libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1_amd64.deb ...
Unpacking libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ...
Selecting previously unselected package libparsexp-ocaml.
Preparing to unpack .../63-libparsexp-ocaml_0.16.0-3+b1_amd64.deb ...
Unpacking libparsexp-ocaml (0.16.0-3+b1) ...
Selecting previously unselected package libparsexp-ocaml-dev.
Preparing to unpack .../64-libparsexp-ocaml-dev_0.16.0-3+b1_amd64.deb ...
Unpacking libparsexp-ocaml-dev (0.16.0-3+b1) ...
Selecting previously unselected package libppx-compare-ocaml.
Preparing to unpack .../65-libppx-compare-ocaml_0.16.0-4+b5_amd64.deb ...
Unpacking libppx-compare-ocaml (0.16.0-4+b5) ...
Selecting previously unselected package libppx-derivers-ocaml-dev.
Preparing to unpack .../66-libppx-derivers-ocaml-dev_1.2.1-4+b1_amd64.deb ...
Unpacking libppx-derivers-ocaml-dev (1.2.1-4+b1) ...
Selecting previously unselected package libppxlib-ocaml-dev.
Preparing to unpack .../67-libppxlib-ocaml-dev_0.32.1-1_amd64.deb ...
Unpacking libppxlib-ocaml-dev (0.32.1-1) ...
Selecting previously unselected package libppx-compare-ocaml-dev.
Preparing to unpack .../68-libppx-compare-ocaml-dev_0.16.0-4+b5_amd64.deb ...
Unpacking libppx-compare-ocaml-dev (0.16.0-4+b5) ...
Selecting previously unselected package libppx-deriving-ocaml.
Preparing to unpack .../69-libppx-deriving-ocaml_6.0.2-2_amd64.deb ...
Unpacking libppx-deriving-ocaml (6.0.2-2) ...
Selecting previously unselected package libppx-deriving-ocaml-dev.
Preparing to unpack .../70-libppx-deriving-ocaml-dev_6.0.2-2_amd64.deb ...
Unpacking libppx-deriving-ocaml-dev (6.0.2-2) ...
Selecting previously unselected package libppx-deriving-yojson-ocaml-dev.
Preparing to unpack .../71-libppx-deriving-yojson-ocaml-dev_3.8.0-1_amd64.deb
...
Unpacking libppx-deriving-yojson-ocaml-dev (3.8.0-1) ...
Selecting previously unselected package libppx-hash-ocaml.
Preparing to unpack .../72-libppx-hash-ocaml_0.16.0-4+b5_amd64.deb ...
Unpacking libppx-hash-ocaml (0.16.0-4+b5) ...
Selecting previously unselected package libppx-hash-ocaml-dev.
Preparing to unpack .../73-libppx-hash-ocaml-dev_0.16.0-4+b5_amd64.deb ...
Unpacking libppx-hash-ocaml-dev (0.16.0-4+b5) ...
Selecting previously unselected package libppx-import-ocaml.
Preparing to unpack .../74-libppx-import-ocaml_1.11.0-1_amd64.deb ...
Unpacking libppx-import-ocaml (1.11.0-1) ...
Selecting previously unselected package libppx-import-ocaml-dev.
Preparing to unpack .../75-libppx-import-ocaml-dev_1.11.0-1_amd64.deb ...
Unpacking libppx-import-ocaml-dev (1.11.0-1) ...
Selecting previously unselected package libppx-sexp-conv-ocaml.
Preparing to unpack .../76-libppx-sexp-conv-ocaml_1%3a0.16.0-3+b5_amd64.deb ...
Unpacking libppx-sexp-conv-ocaml (1:0.16.0-3+b5) ...
Selecting previously unselected package libppx-sexp-conv-ocaml-dev.
Preparing to unpack .../77-libppx-sexp-conv-ocaml-dev_1%3a0.16.0-3+b5_amd64.deb
...
Unpacking libppx-sexp-conv-ocaml-dev (1:0.16.0-3+b5) ...
Selecting previously unselected package libsexplib-ocaml.
Preparing to unpack .../78-libsexplib-ocaml_1%3a0.16.0-2+b2_amd64.deb ...
Unpacking libsexplib-ocaml (1:0.16.0-2+b2) ...
Selecting previously unselected package libsexplib-ocaml-dev.
Preparing to unpack .../79-libsexplib-ocaml-dev_1%3a0.16.0-2+b2_amd64.deb ...
Unpacking libsexplib-ocaml-dev (1:0.16.0-2+b2) ...
Selecting previously unselected package libyojson-ocaml.
Preparing to unpack .../80-libyojson-ocaml_2.2.1-1+b1_amd64.deb ...
Unpacking libyojson-ocaml (2.2.1-1+b1) ...
Selecting previously unselected package libyojson-ocaml-dev.
Preparing to unpack .../81-libyojson-ocaml-dev_2.2.1-1+b1_amd64.deb ...
Unpacking libyojson-ocaml-dev (2.2.1-1+b1) ...
Selecting previously unselected package ocaml-dune.
Preparing to unpack .../82-ocaml-dune_3.15.3-2_amd64.deb ...
Unpacking ocaml-dune (3.15.3-2) ...
Selecting previously unselected package sbuild-build-depends-main-dummy.
Preparing to unpack
.../83-sbuild-build-depends-main-dummy_0.invalid.0_amd64.deb ...
Unpacking sbuild-build-depends-main-dummy (0.invalid.0) ...
Setting up media-types (10.1.0) ...
Setting up libpipeline1:amd64 (1.5.7-2) ...
Setting up libicu72:amd64 (72.1-4+b1) ...
Setting up bsdextrautils (2.40.1-8.1) ...
Setting up libmagic-mgc (1:5.45-3) ...
Setting up dh-coq (0.9) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.15.3) ...
Setting up libsqlite3-0:amd64 (3.46.0-1) ...
Setting up libmagic1t64:amd64 (1:5.45-3) ...
Setting up dh-ocaml (2.1) ...
Setting up gettext-base (0.21-14+b1) ...
Setting up m4 (1.4.19-4) ...
Setting up file (1:5.45-3) ...
Setting up libfakeroot:amd64 (1.35-1) ...
Setting up libelf1t64:amd64 (0.191-1+b1) ...
Setting up ocaml-dune (3.15.3-2) ...
Setting up fakeroot (1.35-1) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot
(fakeroot) in auto mode
Setting up autotools-dev (20220109.1) ...
Setting up libcoq-stdlib (8.19.1+dfsg-2) ...
Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-2+b1) ...
Setting up libncurses6:amd64 (6.5-2) ...
Setting up libstdlib-ocaml (4.14.1-1) ...
Setting up autopoint (0.21-14) ...
Setting up ocaml-base (4.14.1-1) ...
Setting up libncursesw6:amd64 (6.5-2) ...
Setting up autoconf (2.71-3) ...
Setting up libnum-ocaml (1.5-1) ...
Setting up libsexplib0-ocaml (0.16.0-3+b1) ...
Setting up dwz (0.15-1+b1) ...
Setting up sensible-utils (0.0.22) ...
Setting up libuchardet0:amd64 (0.0.8-1+b1) ...
Setting up netbase (6.4) ...
Setting up readline-common (8.2-4) ...
Setting up libxml2:amd64 (2.12.7+dfsg-3) ...
Setting up liblocale-gettext-perl (1.07-7) ...
Setting up libppx-import-ocaml (1.11.0-1) ...
Setting up libparsexp-ocaml (0.16.0-3+b1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake
(automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.14.0-1) ...
Setting up libppx-deriving-ocaml (6.0.2-2) ...
Setting up libncurses-dev:amd64 (6.5-2) ...
Setting up gettext (0.21-14+b1) ...
Setting up libsexplib-ocaml (1:0.16.0-2+b2) ...
Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-2+b1) ...
Setting up libtool (2.4.7-7) ...
Setting up libstdlib-ocaml-dev (4.14.1-1) ...
Setting up libyojson-ocaml (2.2.1-1+b1) ...
Setting up libfindlib-ocaml (1.9.6-2) ...
Setting up libzarith-ocaml (1.13-2+b1) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up help2man (1.49.3) ...
Setting up dh-autoreconf (20) ...
Setting up libcompiler-libs-ocaml-dev (4.14.1-1) ...
Setting up ocaml-interp (4.14.1-1) ...
Setting up libbase-ocaml (0.16.3-1) ...
Setting up ocaml-findlib (1.9.6-2) ...
Setting up libreadline8t64:amd64 (8.2-4) ...
Setting up dh-strip-nondeterminism (1.14.0-1) ...
Setting up libcoq-core-ocaml (8.19.1+dfsg-2) ...
Setting up groff-base (1.23.0-4) ...
Setting up libgmp3-dev:amd64 (2:6.3.0+dfsg-2+b1) ...
Setting up libppx-sexp-conv-ocaml (1:0.16.0-3+b5) ...
Setting up libppx-compare-ocaml (0.16.0-4+b5) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libpython3.11-stdlib:amd64 (3.11.9-1) ...
Setting up ocaml (4.14.1-1) ...
Setting up man-db (2.12.1-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libocaml-compiler-libs-ocaml-dev (0.12.4-4+b1) ...
Setting up libyojson-ocaml-dev (2.2.1-1+b1) ...
Setting up libfindlib-ocaml-dev (1.9.6-2) ...
Setting up libsexplib0-ocaml-dev (0.16.0-3+b1) ...
Setting up libzarith-ocaml-dev (1.13-2+b1) ...
Setting up libcmdliner-ocaml-dev (1.3.0-1) ...
Setting up libpython3-stdlib:amd64 (3.11.8-1) ...
Setting up libparsexp-ocaml-dev (0.16.0-3+b1) ...
Setting up python3.11 (3.11.9-1) ...
Setting up libppx-derivers-ocaml-dev (1.2.1-4+b1) ...
Setting up libnum-ocaml-dev (1.5-1) ...
Setting up libppx-hash-ocaml (0.16.0-4+b5) ...
Setting up libppxlib-ocaml-dev (0.32.1-1) ...
Setting up debhelper (13.15.3) ...
Setting up python3 (3.11.8-1) ...
Setting up libbase-ocaml-dev (0.16.3-1) ...
Setting up libsexplib-ocaml-dev (1:0.16.0-2+b2) ...
Setting up coq (8.19.1+dfsg-2) ...
Setting up libcoq-core-ocaml-dev (8.19.1+dfsg-2) ...
Setting up libppx-sexp-conv-ocaml-dev (1:0.16.0-3+b5) ...
Setting up libppx-compare-ocaml-dev (0.16.0-4+b5) ...
Setting up libppx-deriving-ocaml-dev (6.0.2-2) ...
Setting up libppx-import-ocaml-dev (1.11.0-1) ...
Setting up libppx-deriving-yojson-ocaml-dev (3.8.0-1) ...
Setting up libppx-hash-ocaml-dev (0.16.0-4+b5) ...
Setting up sbuild-build-depends-main-dummy (0.invalid.0) ...
Processing triggers for libc-bin (2.38-13) ...
+------------------------------------------------------------------------------+
| Check architectures |
+------------------------------------------------------------------------------+
Arch check ok (amd64 included in any)
+------------------------------------------------------------------------------+
| Build environment |
+------------------------------------------------------------------------------+
Kernel: Linux 6.1.0-13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.55-1
(2023-09-29) amd64 (x86_64)
Toolchain package versions: binutils_2.42-4 dpkg-dev_1.22.6 g++-13_13.2.0-25
gcc-13_13.2.0-25 libc6-dev_2.38-13 libstdc++-13-dev_13.2.0-25
libstdc++6_14.1.0-1 linux-libc-dev_6.8.12-1
Package versions: apt_2.9.5 autoconf_2.71-3 automake_1:1.16.5-1.3
autopoint_0.21-14 autotools-dev_20220109.1 base-files_13.3 base-passwd_3.6.3
bash_5.2.21-2.1 binutils_2.42-4 binutils-common_2.42-4
binutils-x86-64-linux-gnu_2.42-4 bsdextrautils_2.40.1-8.1 bsdutils_1:2.40.1-8.1
build-essential_12.10 bzip2_1.0.8-5.1 coq_8.19.1+dfsg-2 coreutils_9.4-3.1
cpp_4:13.2.0-7 cpp-13_13.2.0-25 cpp-13-x86-64-linux-gnu_13.2.0-25
cpp-x86-64-linux-gnu_4:13.2.0-7 dash_0.5.12-9 debconf_1.5.86 debhelper_13.15.3
debian-archive-keyring_2023.4 debianutils_5.19 dh-autoreconf_20 dh-coq_0.9
dh-ocaml_2.1 dh-strip-nondeterminism_1.14.0-1 diffutils_1:3.10-1 dpkg_1.22.6
dpkg-dev_1.22.6 dwz_0.15-1+b1 e2fsprogs_1.47.1-1 fakeroot_1.35-1 file_1:5.45-3
findutils_4.10.0-2 g++_4:13.2.0-7 g++-13_13.2.0-25
g++-13-x86-64-linux-gnu_13.2.0-25 g++-x86-64-linux-gnu_4:13.2.0-7
gcc_4:13.2.0-7 gcc-13_13.2.0-25 gcc-13-base_13.2.0-25
gcc-13-x86-64-linux-gnu_13.2.0-25 gcc-14-base_14.1.0-1
gcc-x86-64-linux-gnu_4:13.2.0-7 gettext_0.21-14+b1 gettext-base_0.21-14+b1
gpgv_2.2.43-7 grep_3.11-4 groff-base_1.23.0-4 gzip_1.12-1.1 help2man_1.49.3
hostname_3.23+nmu2 init-system-helpers_1.66 intltool-debian_0.35.0+20060710.6
libacl1_2.3.2-2 libapt-pkg6.0t64_2.9.5 libarchive-zip-perl_1.68-1
libasan8_14.1.0-1 libatomic1_14.1.0-1 libattr1_1:2.5.2-1
libaudit-common_1:3.1.2-4 libaudit1_1:3.1.2-4 libbase-ocaml_0.16.3-1
libbase-ocaml-dev_0.16.3-1 libbinutils_2.42-4 libblkid1_2.40.1-8.1
libbz2-1.0_1.0.8-5.1 libc-bin_2.38-13 libc-dev-bin_2.38-13 libc6_2.38-13
libc6-dev_2.38-13 libcap-ng0_0.8.5-1 libcap2_1:2.66-5 libcc1-0_14.1.0-1
libcmdliner-ocaml-dev_1.3.0-1 libcom-err2_1.47.1-1
libcompiler-libs-ocaml-dev_4.14.1-1 libcoq-core-ocaml_8.19.1+dfsg-2
libcoq-core-ocaml-dev_8.19.1+dfsg-2 libcoq-stdlib_8.19.1+dfsg-2
libcrypt-dev_1:4.4.36-4 libcrypt1_1:4.4.36-4 libctf-nobfd0_2.42-4
libctf0_2.42-4 libdb5.3t64_5.3.28+dfsg2-7 libdebconfclient0_0.272
libdebhelper-perl_13.15.3 libdpkg-perl_1.22.6 libelf1t64_0.191-1+b1
libexpat1_2.6.2-1 libext2fs2t64_1.47.1-1 libfakeroot_1.35-1 libffi8_3.4.6-1
libfile-stripnondeterminism-perl_1.14.0-1 libfindlib-ocaml_1.9.6-2
libfindlib-ocaml-dev_1.9.6-2 libgcc-13-dev_13.2.0-25 libgcc-s1_14.1.0-1
libgcrypt20_1.10.3-3 libgdbm-compat4t64_1.23-6 libgdbm6t64_1.23-6
libgmp-dev_2:6.3.0+dfsg-2+b1 libgmp10_2:6.3.0+dfsg-2+b1
libgmp3-dev_2:6.3.0+dfsg-2+b1 libgmpxx4ldbl_2:6.3.0+dfsg-2+b1
libgnutls30t64_3.8.5-4 libgomp1_14.1.0-1 libgpg-error0_1.49-2
libgprofng0_2.42-4 libhogweed6t64_3.9.1-2.2 libhwasan0_14.1.0-1
libicu72_72.1-4+b1 libidn2-0_2.3.7-2 libisl23_0.26-3+b2 libitm1_14.1.0-1
libjansson4_2.14-2+b2 liblocale-gettext-perl_1.07-7 liblsan0_14.1.0-1
liblz4-1_1.9.4-2 liblzma5_5.6.1+really5.4.5-1 libmagic-mgc_1:5.45-3
libmagic1t64_1:5.45-3 libmd0_1.1.0-2 libmount1_2.40.1-8.1 libmpc3_1.3.1-1+b2
libmpfr6_4.2.1-1+b1 libncurses-dev_6.5-2 libncurses6_6.5-2 libncursesw6_6.5-2
libnettle8t64_3.9.1-2.2 libnum-ocaml_1.5-1 libnum-ocaml-dev_1.5-1
libocaml-compiler-libs-ocaml-dev_0.12.4-4+b1 libp11-kit0_0.25.3-5
libpam-modules_1.5.3-7 libpam-modules-bin_1.5.3-7 libpam-runtime_1.5.3-7
libpam0g_1.5.3-7 libparsexp-ocaml_0.16.0-3+b1 libparsexp-ocaml-dev_0.16.0-3+b1
libpcre2-8-0_10.42-4+b1 libperl5.38t64_5.38.2-5 libpipeline1_1.5.7-2
libppx-compare-ocaml_0.16.0-4+b5 libppx-compare-ocaml-dev_0.16.0-4+b5
libppx-derivers-ocaml-dev_1.2.1-4+b1 libppx-deriving-ocaml_6.0.2-2
libppx-deriving-ocaml-dev_6.0.2-2 libppx-deriving-yojson-ocaml-dev_3.8.0-1
libppx-hash-ocaml_0.16.0-4+b5 libppx-hash-ocaml-dev_0.16.0-4+b5
libppx-import-ocaml_1.11.0-1 libppx-import-ocaml-dev_1.11.0-1
libppx-sexp-conv-ocaml_1:0.16.0-3+b5 libppx-sexp-conv-ocaml-dev_1:0.16.0-3+b5
libppxlib-ocaml-dev_0.32.1-1 libpython3-stdlib_3.11.8-1
libpython3.11-minimal_3.11.9-1 libpython3.11-stdlib_3.11.9-1
libquadmath0_14.1.0-1 libreadline8t64_8.2-4 libseccomp2_2.5.5-1
libselinux1_3.5-2+b2 libsemanage-common_3.5-1 libsemanage2_3.5-1+b3
libsepol2_3.5-2+b1 libsexplib-ocaml_1:0.16.0-2+b2
libsexplib-ocaml-dev_1:0.16.0-2+b2 libsexplib0-ocaml_0.16.0-3+b1
libsexplib0-ocaml-dev_0.16.0-3+b1 libsframe1_2.42-4 libsmartcols1_2.40.1-8.1
libsqlite3-0_3.46.0-1 libss2_1.47.1-1 libssl3t64_3.2.2-1
libstdc++-13-dev_13.2.0-25 libstdc++6_14.1.0-1 libstdlib-ocaml_4.14.1-1
libstdlib-ocaml-dev_4.14.1-1 libsystemd0_256-1 libtasn1-6_4.19.0-3+b2
libtinfo6_6.5-2 libtool_2.4.7-7 libtsan2_14.1.0-1 libubsan1_14.1.0-1
libuchardet0_0.0.8-1+b1 libudev1_256-1 libunistring5_1.2-1 libuuid1_2.40.1-8.1
libxml2_2.12.7+dfsg-3 libxxhash0_0.8.2-2+b1 libyojson-ocaml_2.2.1-1+b1
libyojson-ocaml-dev_2.2.1-1+b1 libzarith-ocaml_1.13-2+b1
libzarith-ocaml-dev_1.13-2+b1 libzstd1_1.5.6+dfsg-1 linux-libc-dev_6.8.12-1
login_1:4.13+dfsg1-5 logsave_1.47.1-1 m4_1.4.19-4 make_4.3-4.1 man-db_2.12.1-2
mawk_1.3.4.20240123-1 media-types_10.1.0 mount_2.40.1-8.1 ncurses-base_6.5-2
ncurses-bin_6.5-2 netbase_6.4 ocaml_4.14.1-1 ocaml-base_4.14.1-1
ocaml-dune_3.15.3-2 ocaml-findlib_1.9.6-2 ocaml-interp_4.14.1-1
passwd_1:4.13+dfsg1-5 patch_2.7.6-7 perl_5.38.2-5 perl-base_5.38.2-5
perl-modules-5.38_5.38.2-5 po-debconf_1.0.21+nmu1 python3_3.11.8-1
python3-minimal_3.11.8-1 python3.11_3.11.9-1 python3.11-minimal_3.11.9-1
readline-common_8.2-4 rpcsvc-proto_1.4.3-1
sbuild-build-depends-main-dummy_0.invalid.0 sed_4.9-2 sensible-utils_0.0.22
sysvinit-utils_3.09-1 tar_1.35+dfsg-3 tzdata_2024a-4 util-linux_2.40.1-8.1
xz-utils_5.6.1+really5.4.5-1 zlib1g_1:1.3.dfsg+really1.3.1-1
+------------------------------------------------------------------------------+
| Build |
+------------------------------------------------------------------------------+
Unpack source
-------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: coq-serapi
Binary: libcoq-serapi-ocaml, libcoq-serapi-ocaml-dev, coq-serapi
Architecture: any
Version: 8.19.0+0.19.3-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpu...@debian.org>
Homepage: https://github.com/ejgallego/coq-serapi
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-serapi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-serapi.git
Build-Depends: coq, debhelper-compat (= 13), dh-coq, dh-ocaml, help2man,
libcmdliner-ocaml-dev, libcoq-core-ocaml-dev, libcoq-stdlib,
libppx-deriving-ocaml-dev, libppx-deriving-yojson-ocaml-dev,
libppx-hash-ocaml-dev, libppx-import-ocaml-dev, libppx-sexp-conv-ocaml-dev,
libppxlib-ocaml-dev, libsexplib-ocaml-dev, libyojson-ocaml-dev, ocaml-dune,
ocaml-findlib
Package-List:
coq-serapi deb ocaml optional arch=any
libcoq-serapi-ocaml deb ocaml optional arch=any
libcoq-serapi-ocaml-dev deb ocaml optional arch=any
Checksums-Sha1:
1240ea1bec0fc11e4444c3cf7a3163a54c856d70 179654
coq-serapi_8.19.0+0.19.3.orig.tar.gz
084556ea8248bd25a406c9da5478487f1e95afc0 8932
coq-serapi_8.19.0+0.19.3-2.debian.tar.xz
Checksums-Sha256:
48108b534c7859918643f4aaccd5816f425a8445a8a79a662fc41fa465a19201 179654
coq-serapi_8.19.0+0.19.3.orig.tar.gz
4961d8ad3440059b076ec092fdc7da7349e5318c64903c570be73e12c940cc61 8932
coq-serapi_8.19.0+0.19.3-2.debian.tar.xz
Files:
7151e3da53ed19f2a38e77e26328c781 179654 coq-serapi_8.19.0+0.19.3.orig.tar.gz
480f2471bd8b635f7d56ccd399a35441 8932 coq-serapi_8.19.0+0.19.3-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZGBB8SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRpEEP/judZaEyaQLEjELoZGsaYE0u6fvrtzE4
TEatxokXe0cqoNqiVCe5u8gChExEguIZCyb+ODEfIjahqSND+hGJQSAUVaBOA8Ed
yUvVRf5GDlpd3xYE7URxZxObmGePmTfoR1DXqpVyrtUqBYbSHnN/+oizBl256OaQ
A2Clk0mmMwF5dryswd9shzmLTQY0iR/u5dEM+Xfoq6pZrNCl+uh5vVhOxSwzE2m5
UZNuAX8+11+RK8Cg/iFLKjhz+8aMG6a5McZcVVgf4V8H0oEIaiEnWdKkjIP+7hfB
5gMJEB1NkPED0XsVbnFxs3fU2WlawEkmZLKZADWhoDzQ9+QERDgWBhOm3foL34GO
H4VoNYq6LZ7doNojdW702Zq5WbOOlNl3ZycgiR0OivAKvaHjH0A9cv9cImhNx0Yx
aTrcl+T+dDqRN6nsXsDwXsg/rdrpp2oA9+l8TmuVE7A4xaLKv6EmSCeE2OxUZ4Lx
9cLB4hmG+fHO3flUfTQ8/kelIf6xwBf6pCfoaG6KRjugeRK7BHAD7TWwG1+6SAZu
jA1i4qZPi4oqqHdIeBjKt5V6eTxu03whD4nChMSc5t90HrXjviqLqCmmCiLsfGup
AILSQDA4Rj0NJrocU3PjP94WzRjXXKOUKyba9sXRkL8JFYX0Vu+1vUo6rvelMckb
LlK8U+dkeS3k
=M8Jm
-----END PGP SIGNATURE-----
gpgv: Signature made Thu May 16 13:03:27 2024 UTC
gpgv: using RSA key 812EEFD8A3FBA4ACE4DF114B04C53BD7FE030551
gpgv: issuer "jpu...@debian.org"
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for
./coq-serapi_8.19.0+0.19.3-2.dsc: no acceptable signature found
dpkg-source: info: extracting coq-serapi in /<<PKGBUILDDIR>>
dpkg-source: info: unpacking coq-serapi_8.19.0+0.19.3.orig.tar.gz
dpkg-source: info: unpacking coq-serapi_8.19.0+0.19.3-2.debian.tar.xz
Check disk space
----------------
Sufficient free space for build
User Environment
----------------
APT_CONFIG=/var/lib/sbuild/apt.conf
HOME=/var/lib/sbuild
LANG=en_US.UTF-8
LC_ALL=C.UTF-8
LOGNAME=josch
OLDPWD=/
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
PWD=/<<PKGBUILDDIR>>
SHELL=/bin/sh
USER=josch
dpkg-buildpackage
-----------------
Command: dpkg-buildpackage --sanitize-env -us -uc -b -rfakeroot
dpkg-buildpackage: info: source package coq-serapi
dpkg-buildpackage: info: source version 8.19.0+0.19.3-2
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Julien Puydt <jpu...@debian.org>
dpkg-source --before-build .
dpkg-buildpackage: info: host architecture amd64
debian/rules clean
dh clean --with ocaml
dh_auto_clean
make -j8 clean
make[1]: Entering directory '/<<PKGBUILDDIR>>'
rm -f sertop/ser_version.ml
dune clean
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
dh_ocamlclean
dh_clean
debian/rules binary
dh binary --with ocaml
dh_update_autotools_config
dh_autoreconf
dh_ocamlinit
dh_auto_configure
debian/rules override_dh_auto_build
make[1]: Entering directory '/<<PKGBUILDDIR>>'
/usr/bin/make build
make[2]: Entering directory '/<<PKGBUILDDIR>>'
dune build --root . --only-packages=coq-serapi @install
File "serlib/ser_constrexpr.mli", line 106, characters 85-98:
106 | val with_declaration_ast_of_yojson : Yojson.Safe.t ->
(with_declaration_ast, string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_feedback.mli", line 25, characters 57-70:
25 | val doc_id_of_yojson : Yojson.Safe.t -> (doc_id, string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_goptions.mli", line 31, characters 69-82:
31 | val option_value_of_yojson : Yojson.Safe.t -> (option_value, string)
Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_genredexpr.mli", line 30, characters 61-74:
30 | val glob_red_flag_of_yojson : (Yojson.Safe.t -> ('a, string)
Result.result) -> Yojson.Safe.t -> ('a glob_red_flag, string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_glob_term.mli", line 34, characters 63-76:
34 | val glob_sort_of_yojson : Yojson.Safe.t -> (glob_sort, string)
Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_pp.mli", line 26, characters 45-58:
26 | val of_yojson : Yojson.Safe.t -> (t, string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_xml_datatype.mli", line 25, characters 52-65:
25 | val gxml_of_yojson : (Yojson.Safe.t -> ('a, string) Result.result) ->
Yojson.Safe.t -> ('a gxml, string) Result.result
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
File "serlib/ser_dAst.ml", line 34, characters 62-75:
34 | let thunk_of_yojson : type a b. (Yojson.Safe.t -> (a, string)
Result.result) -> (Yojson.Safe.t -> (b, string) Result.result) -> Yojson.Safe.t
-> ((a,b) thunk, string) Result.result =
^^^^^^^^^^^^^
Error: Unbound type constructor Result.result
make[2]: *** [Makefile:21: build] Error 1
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:14: override_dh_auto_build] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:11: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
--------------------------------------------------------------------------------
Build finished at 2024-06-15T12:29:00Z
Finished
--------
+------------------------------------------------------------------------------+
| Cleanup |
+------------------------------------------------------------------------------+
Purging /<<BUILDDIR>>
Not cleaning session: cloned chroot in use
E: Build failure (dpkg-buildpackage died)
+------------------------------------------------------------------------------+
| Summary |
+------------------------------------------------------------------------------+
Build Architecture: amd64
Build Type: binary
Build-Space: 113076
Build-Time: 7
Distribution: unstable
Fail-Stage: build
Host Architecture: amd64
Install-Time: 19
Job: coq-serapi
Machine Architecture: amd64
Package: coq-serapi
Package-Time: 35
Source-Version: 8.19.0+0.19.3-2
Space: 113076
Status: attempted
Version: 8.19.0+0.19.3-2
--------------------------------------------------------------------------------
Finished at 2024-06-15T12:29:00Z
Build needed 00:00:35, 113076k disk space
