Your message dated Tue, 18 Jun 2024 09:04:01 +0000 with message-id <E1sJUkz-003gc0-AE@fasolo.debian.org> and subject line Bug#1073269: fixed in coq-serapi 8.19.0+0.19.3-3 has caused the Debian Bug report #1073269, regarding FTBFS in unstable with Error: Unbound type constructor Result.result to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 1073269: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073269 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: FTBFS in unstable with Error: Unbound type constructor Result.result
- From: Johannes Schauer Marin Rodrigues <josch@debian.org>
- Date: Sat, 15 Jun 2024 15:43:44 +0200
- Message-id: <[🔎] 171845902492.36186.6905341246361919205.reportbug@localhost>
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, joschsbuild (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 <jpuydt@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 "jpuydt@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 <jpuydt@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
--- End Message ---
--- Begin Message ---
- To: 1073269-close@bugs.debian.org
- Subject: Bug#1073269: fixed in coq-serapi 8.19.0+0.19.3-3
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Tue, 18 Jun 2024 09:04:01 +0000
- Message-id: <E1sJUkz-003gc0-AE@fasolo.debian.org>
- Reply-to: Julien Puydt <jpuydt@debian.org>
Source: coq-serapi Source-Version: 8.19.0+0.19.3-3 Done: Julien Puydt <jpuydt@debian.org> We believe that the bug you reported is fixed in the latest version of coq-serapi, which is due to be installed in the Debian FTP archive. A summary of the changes between this version and the previous one is attached. Thank you for reporting the bug, which will now be closed. If you have further comments please address them to 1073269@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Julien Puydt <jpuydt@debian.org> (supplier of updated coq-serapi package) (This message was generated automatically at their request; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmaster@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 18 Jun 2024 10:49:29 +0200 Source: coq-serapi Architecture: source Version: 8.19.0+0.19.3-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1073269 Changes: coq-serapi (8.19.0+0.19.3-3) unstable; urgency=medium . * Fix compilation with recent yojson (Closes: #1073269). Checksums-Sha1: 8bf93119c3a3fd5cf19194370df7e6f939532bf6 2493 coq-serapi_8.19.0+0.19.3-3.dsc eeaf7018659ead567c3ffa4c2f30fabebf57c5e7 10200 coq-serapi_8.19.0+0.19.3-3.debian.tar.xz f966a72aa835630406b78a90408b55fc98aa2efc 8958 coq-serapi_8.19.0+0.19.3-3_source.buildinfo Checksums-Sha256: 1154c4b73f08d5ac08e3ebadab5c02b65cfdad46aff50cd4d6e4379a7b36f543 2493 coq-serapi_8.19.0+0.19.3-3.dsc e6b849f64aa421209a17d1855fd062d7dcec43c198082061ddc1f4c057d4e59f 10200 coq-serapi_8.19.0+0.19.3-3.debian.tar.xz bf8e517fddae8a0b53b77efd25ae84619418dd393bd0b59e21fc6ee424829067 8958 coq-serapi_8.19.0+0.19.3-3_source.buildinfo Files: 65b1446c58b3062628f65e0e2ea142f9 2493 ocaml optional coq-serapi_8.19.0+0.19.3-3.dsc e1864d60ac30541f9e4ac148de505705 10200 ocaml optional coq-serapi_8.19.0+0.19.3-3.debian.tar.xz deddf9829d4b4ae548072ad37e606321 8958 ocaml optional coq-serapi_8.19.0+0.19.3-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZxSjkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRrtkP/ROV9LyMFWVRw76PfjTxnnhxYQ9wmzVl Oc7xs2f15F1H4fauWyACrCcQjtQmL2o7CtgbaZ0ACoI5JrzgZKLpA1V6+weXyOIt 50f+xsFNXgxmIAlfqr1X7mUrf7dN5kWVaivof3eGbqKHmZrbz4GO1GpFfMUjY7qU a99gytadgf2l2GzcHBYG2RfxkPNaXadi1taTCOhyIlXC3SP4R96vmuguofehB2F/ A+7wj7w8FedIfbD0jvYqOUKjKSzpFrthNhi6fKe69v8lslIaX6ajjpPCB8WexAad MMDwdUWxXyMQOtCndGujC1QYmtAq9eKv9ski9Yz5Rx4KM08W/BEO0eefDpR0eYAI NNhQGiyyPN0Nv4hkHf50PvuE2MsLkCC1SRlHxPQIyynRaFB15KvqgFoWP+a9ZdQS MpD8i6f24GczSeAmALyUBIVJV6d+1Tw9NQViNRbH/Hyg5J/vK3nHOJgHdSX0PU/N 29feD1syBP+0BA0Y8QBc6xhphRsElSax8NxDOkpMY07M+R7jJJz3TOrcmYzydPbP R2fUvYKic5K/TM+lcMQ3lDpzqfMgWGnvkBih52NLN6mWX3J8W4BDBtlyKYNcuM4Y QSgeFWSVckC+bJRGaU5qR2BS/qs3gLvCBWC1qfa1v8ACcCPNsydBRK05WFUaAtGA FCVGvLR39Z1p =9K33 -----END PGP SIGNATURE-----Attachment: pgpegLlmYi4gf.pgp
Description: PGP signature
--- End Message ---