I'm trying to package rocqnavi (ITP #1142199), but I'm hitting a
problem with the compilation:

$ ocamlfind ocamlopt -linkpkg -package "dune-glob yojson" -I +str -I
/lib/dune-glob -annot -c log.mli
ocamlfind: Package `dune-glob' not found

after some poking around, it looks like dune-glob is supposed to be
part of dune. In the current package source, I do see it, but nothing
ends up in the binary packages:

$ dpkg -L ocaml-dune libdune-core-ocaml libdune-core-ocaml-dev libdune-
ocaml libdune-ocaml-dev |grep glob
/usr/lib/x86_64-linux-gnu/ocaml/5.4.1/stdune/global_lock.ml
/usr/lib/x86_64-linux-gnu/ocaml/5.4.1/stdune/global_lock.mli

I guess there's something to be done to package it, but I lack the time
to inquire right now.

Cheers,

JP

We believe that the bug you reported is fixed in the latest version of
ocaml-dune-full-builder, 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 1142347@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Stéphane Glondu <glondu@debian.org> (supplier of updated ocaml-dune-full-builder 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)
Format: 1.8
Date: Mon, 20 Jul 2026 09:01:41 +0200
Source: ocaml-dune-full-builder
Architecture: source
Version: 3.23.1+3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1142347
Changes:
 ocaml-dune-full-builder (3.23.1+3) unstable; urgency=medium
 .
   [ Julien Puydt ]
   * Package dune-glob (Closes: #1142347).
 .
   [ Stéphane Glondu ]
   * Bump debhelper compat level to 14
   * Set dune_layout_version to 1
Checksums-Sha1:
 16df57e9499ef0bd8357fc30ff346548933ce7b2 2280 ocaml-dune-full-builder_3.23.1+3.dsc
 04c3c0b6fad8d5c4d2bc0a4216e9fafae3f185d4 2676 ocaml-dune-full-builder_3.23.1+3.tar.xz
 5fbb2ff925eff86867313ab2ae5f7ec6ef925900 6024 ocaml-dune-full-builder_3.23.1+3.git.tar.xz
 936285e589654b6d4fda560a89844ba83db9b167 17614 ocaml-dune-full-builder_3.23.1+3_source.buildinfo
Checksums-Sha256:
 d7f02caf98326af97fee816160fcaea0480b6e27067e2cb31bed210fd863b678 2280 ocaml-dune-full-builder_3.23.1+3.dsc
 2b53eb93e8232bba34387d2ceb29adcbd09b395b7d22a6878d93a72642cb1476 2676 ocaml-dune-full-builder_3.23.1+3.tar.xz
 8e501c3093b3e1deedff788a594b7f33a988c98b79f0c5daa28da4213caf7876 6024 ocaml-dune-full-builder_3.23.1+3.git.tar.xz
 431e7e4acc74029c809b5321e515a20e5ef77910ac1437e5234153f3442f49db 17614 ocaml-dune-full-builder_3.23.1+3_source.buildinfo
Files:
 ab330dc7e9bd617bf3531c7dd44a7abc 2280 ocaml optional ocaml-dune-full-builder_3.23.1+3.dsc
 240b9a143cebf7f25da592fac5132ed4 2676 ocaml optional ocaml-dune-full-builder_3.23.1+3.tar.xz
 81425e2cb32b3416bf3c183aafdf38fd 6024 ocaml None ocaml-dune-full-builder_3.23.1+3.git.tar.xz
 e48b7df13e628618814d18c8f3e3eebe 17614 ocaml optional ocaml-dune-full-builder_3.23.1+3_source.buildinfo
Git-Tag-Info: tag=1ef37ede9ab75283fab5cb2c19920e6dfec24eea fp=6de24e97eca886cc56e6250e21b8eef1b1893081
Git-Tag-Tagger: Stephane Glondu <steph@glondu.net>
-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEN02M5NuW6cvUwJcqYG0ITkaDwHkFAmpdyIcACgkQYG0ITkaD
wHmhog/7BJg4+UUSGVW4yoMfsO9oUVlaYpbDIPMnZHffJB9wbYq5aKDarcpqpxn+
dPci9njbuNTku2ZhgSjqjmAs2rFoptk1EYPVeRSYkrA9pfJy90Zw6uLvIqhVTrQA
W2wn77TcJmAn5BmQbOfXihtA11JjZyy9LGaJLC22K9n6xwa7La8vhvEt4v4vSkNB
BcSfZ6VNkkPlM/ib73dtB3+SlBnEx1lGKH5GbOyffLZaffr5uqSrUN+zvyJhTZcF
UPw4DbIPOA1qh5g1CsHXWHMmXdTkAobGAlFyxCTHJgbgDDZMBwzQIlo8XQxCnyXO
ArqMCGK2SPQdSaq3bwtBxdBzwS73q0wxP7kzcFmoMcdcyKpUZ4QNLG5skHMPElmh
gj+2G75TM9rYio74ilopGlxRznWJV16WliFJyoEcS3oL4CFK7iUH3PPCtZWPLVYP
IA8U/mmcqJGhxQBhujsbR8OKKKFUXFqGbBRNlqPb+Wva+UdLNIGl56prM89cKKaL
ATcgwSqpyF+GiBkWhL7WWruqYFvuMLsr9dhionG6LRT7EyUZqK/tdmGxSbEPhdUs
2kwWoGRXT3jAnlPB3qmVjsT2sYRSa5zUxspTlt1r1wtOXn+gq/dTH5p1YCAInXXS
LSnkkVupNZebzn8uBhGqCiMjOV1h1gvlTavCDq7M1kAEghd7BRQ=
=5nNW
-----END PGP SIGNATURE-----