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 ---
