Your message dated Fri, 07 Jun 2024 07:34:06 +0000 with message-id <e1sfu6w-000ne4...@fasolo.debian.org> and subject line Bug#1072668: fixed in ocplib-simplex 0.5.1-2 has caused the Debian Bug report #1072668, regarding ocplib-simplex: autopkgtest failures (missing zarith) 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 ow...@bugs.debian.org immediately.) -- 1072668: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1072668 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
--- Begin Message ---Package: ocplib-simplex Version: 0.5.1-1 Severity: serious Tags: patch Hello, looks like zarith is a test dependency (but not a runtime dependency). 102s autopkgtest [08:43:49]: test upstream-tests: [----------------------- 102s File "dune", line 13, characters 27-33: 102s 13 | (libraries ocplib-simplex zarith)) 102s ^^^^^^ 102s Error: Library "zarith" not found. 102s -> required by _build/default/solveEmpty.exe 102s -> required by _build/default/solveEmpty.output 102s -> required by alias runtest in dune:15 103s autopkgtest [08:43:50]: test upstream-tests: -----------------------] 103s upstream-tests FAIL non-zero exit status 1 103s autopkgtest [08:43:50]: test upstream-tests: - - - - - - - - - - results - - - - - - - - - - 103s autopkgtest [08:43:50]: test upstream-tests: - - - - - - - - - - stderr - - - - - - - - - - 103s File "dune", line 13, characters 27-33: 103s 13 | (libraries ocplib-simplex zarith)) 103s ^^^^^^ 103s Error: Library "zarith" not found. 103s -> required by _build/default/solveEmpty.exe 103s -> required by _build/default/solveEmpty.output 103s -> required by alias runtest in dune:15 My proposed solution since this look like not useful at runtime, is to add the dependency to tests/control. * Test depend on libzarith-ocaml-dev, dependency used for testing. Thanks for considering the patch. --- ocplib-simplex-0.5.1/debian/tests/control 2024-06-04 06:26:17.000000000 +0200 +++ ocplib-simplex-0.5.1/debian/tests/control 2024-06-06 08:03:17.000000000 +0200 @@ -1,2 +1,2 @@ Tests: upstream-tests -Depends: @, ocaml, ocaml-dune, libnum-ocaml-dev, liblogs-ocaml-dev +Depends: @, ocaml, ocaml-dune, libnum-ocaml-dev, liblogs-ocaml-dev, libzarith-ocaml-dev
OpenPGP_signature.asc
Description: OpenPGP digital signature
--- End Message ---
--- Begin Message ---Source: ocplib-simplex Source-Version: 0.5.1-2 Done: Stéphane Glondu <glo...@debian.org> We believe that the bug you reported is fixed in the latest version of ocplib-simplex, 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 1072...@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Stéphane Glondu <glo...@debian.org> (supplier of updated ocplib-simplex 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 ftpmas...@ftp-master.debian.org) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jun 2024 09:06:39 +0200 Source: ocplib-simplex Architecture: source Version: 0.5.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Stéphane Glondu <glo...@debian.org> Closes: 1072668 Changes: ocplib-simplex (0.5.1-2) unstable; urgency=medium . * Team upload * Test depend on libzarith-ocaml-dev, dependency used for testing (Closes: #1072668) Checksums-Sha1: 7843b6213b652bba6eac11e6bad2a79bbd32c118 1985 ocplib-simplex_0.5.1-2.dsc de83550b818bfcca36e6c7fc8b4d7f7420508dc9 2608 ocplib-simplex_0.5.1-2.debian.tar.xz Checksums-Sha256: 293845d89138dd5ee90e758536d526e858c245574d7c0211ed06c750fa21b565 1985 ocplib-simplex_0.5.1-2.dsc a7b4dec6aa9510af8f23119fb77d5b9dde96cdf94f8c1141ec1637d8cd86b534 2608 ocplib-simplex_0.5.1-2.debian.tar.xz Files: a0d3c07b328afee8b1b218331dd19683 1985 ocaml optional ocplib-simplex_0.5.1-2.dsc 75de50c6a8904948c58e263bfdee1cc1 2608 ocaml optional ocplib-simplex_0.5.1-2.debian.tar.xz -----BEGIN PGP SIGNATURE----- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmZispESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBxEMH/Aq9WtxghrwREnVxSOWVDDWMgEz5e1AL VWG5ZO3S4eblGKkSDieSt4i0bntMQkzZhDm/P7dpVF9uW7Vd/PkKr4n8ZP5zAI7o ghuhNayWtFef1mHYc4GggmsJLgPAI2Xa4lbTqpy7rqsvu+jGMM4JhSCcgspzVUir nT4zzjlrGCojF++GKRVdQh6VOEtgOjA6cWXG3NEPp3AKnDECqsRsmGj7/qSj+Pb8 hth4aLvRgjppdqwh9Ri6mbPZ90RBQwpB5lgnCX2n99rIX4zrFrAXYVcdNWiCZvu9 wnuAWqW/S6mY/c0t/AQh1DEd/8F7+fx0gnKZlHZTKKID35vgLSNk3rQ= =W5bR -----END PGP SIGNATURE-----
pgpvRiMUAOrGH.pgp
Description: PGP signature
--- End Message ---