Review: ocaml-testo 0.4.0+dfsg-1
New Package Report
.changes
| Changed-By | Stéphane Glondu |
|---|---|
| Architecture | source amd64 |
| Distribution | unstable |
| Date | Sat, 28 Mar 2026 09:04:53 +0100 |
| Source | ocaml-testo |
| Version | 0.4.0+dfsg-1 |
Changelog
ocaml-testo (0.4.0+dfsg-1) unstable; urgency=medium . * Initial release (Closes: #1132106)
.dsc
| Package-List | libtesto-ocaml deb ocaml optional arch=any libtesto-ocaml-dev deb ocaml optional arch=any |
|---|---|
| Section | ocaml |
| Priority | optional |
| Component | main |
debian/copyright
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Files-Excluded: docs docsrc Files: * Copyright: 2023, Semgrep, Inc. License: ISC Files: debian/* Copyright: 2026, Stéphane Glondu License: ISC License: ISC Permission to use, copy, modify, and distribute this software for any purpose with or without fee is hereby granted, provided that the above copyright notice and this permission notice appear in all copies. . THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
Review Information
rejected — allocated to awm 14 days ago, started 14 days ago, completed 14 days ago.
Final Comment
Hi,
Please don't strip debug libraries, or provide a lintian override with
justification.
Thanks!
Other Reviews of this Package
| Version | Hash | Allocated | Completed | Reviewer | Status | Details |
|---|---|---|---|---|---|---|
| 0.4.0+dfsg-2 | 36952006… | 2026-04-01 10:56 | 2026-04-01 10:56 | awm | accepted | VIEW |
Public Notes
14 days ago
● public
Lintian
Command: lintian -Iiv -L '>=warning' --show-overrides --color=never ../$(basename $PWD)_*.changes
Exit code: 2
N:
E: libtesto-ocaml-dbgsym: stripped-library [usr/lib/debug/.dwz/x86_64-linux-gnu/libtesto-ocaml.debug]
N:
N: Libraries in .../lib/debug or in .../lib/profile must not be stripped;
N: this defeats the whole point of the separate library.
N:
N: Visibility: error
N: Show-Always: no
N: Check: libraries/debug-symbols
N: Renamed from: library-in-debug-or-profile-should-not-be-stripped
N:
N:
W: libtesto-ocaml-dev: no-manual-page [usr/bin/testo-diff]
N:
N: Each binary in /usr/bin, /usr/sbin, /bin, /sbin or /usr/games should have
N: a manual page
N:
N: Note that though the man program has the capability to check for several
N: program names in the NAMES section, each of these programs should have its
N: own manual page (a symbolic link to the appropriate manual page is
N: sufficient) because other manual page viewers such as xman or tkman don't
N: support this.
N:
N: If the name of the manual page differs from the binary by case, man may be
N: able to find it anyway; however, it is still best practice to match the
N: exact capitalization of the executable in the manual page.
N:
N: If the manual pages are provided by another package on which this package
N: depends, Lintian may not be able to determine that manual pages are
N: available. In this case, after confirming that all binaries do have manual
N: pages after this package and its dependencies are installed, please add a
N: Lintian override.
N:
N: Please refer to Manual pages (Section 12.1) in the Debian Policy Manual
N: for details.
N:
N: Visibility: warning
N: Show-Always: no
N: Check: documentation/manual
N: Renamed from: binary-without-manpage
N:
N:
N: masked by screen coq/cmxs/prerequisites
M: libtesto-ocaml: shared-library-lacks-prerequisites [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/testo-diff/testo_diff.cmxs]
N:
N: The listed shared library doesn't include information about the other
N: libraries against which it was linked.
N:
N: More specifically, "ldd foo.so" should report such other libraries. In
N: your case, it reports "statically linked".
N:
N: The fix is to specify the libraries. One way to do so is to add something
N: like "-lc" to the command-line options for "ld".
N:
N: Visibility: warning
N: Show-Always: no
N: Check: binaries/prerequisites
N: Renamed from: shared-lib-without-dependency-information
N:
N: Screen: coq/cmxs/prerequisites
N: Advocates: "Julien Puydt" <julien.puydt@gmail.com>
N: Reason: The Coq project comes with a kind of compiler that generates
N: files which are ELF shared objects. Unfortunately, they contain
N: many undefined symbols, but those are expected.
N:
N: There are a lot of false positives.
N:
N: Read more in Bug#999602.
N:
N:
N: masked by screen coq/cmxs/prerequisites
M: libtesto-ocaml: shared-library-lacks-prerequisites [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/testo-lwt/testo_lwt.cmxs]
N:
N: masked by screen coq/cmxs/prerequisites
M: libtesto-ocaml: shared-library-lacks-prerequisites [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/testo-util/testo_util.cmxs]
N:
N: masked by screen coq/cmxs/prerequisites
M: libtesto-ocaml: shared-library-lacks-prerequisites [usr/lib/x86_64-linux-gnu/ocaml/5.4.0/testo/testo.cmxs]