DFSG NEW Queue

DFSG, Licensing & New Packages Team

Review: ocaml-testo 0.4.0+dfsg-1

New Package Report

.changes
DateSat, 28 Mar 2026 09:04:53 +0100
Sourceocaml-testo
Version0.4.0+dfsg-1
Changed-ByStéphane Glondu
Architecturesource amd64
Distributionunstable
Changelog
ocaml-testo (0.4.0+dfsg-1) unstable; urgency=medium
 .
   * Initial release (Closes: #1132106)
.dsc
Package-Listlibtesto-ocaml deb ocaml optional arch=any
libtesto-ocaml-dev deb ocaml optional arch=any
Sectionocaml
Priorityoptional
Componentmain
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

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

Back to Dashboard | View all reviews for this package