Le 17/03/2022 à 17:20, [email protected] a écrit : > I updated menhir on salsa to the last upstream -- and in the process, > it got a +ds suffix because I kicked the prebuilt documentation out menhir is a package I explicitly excluded from my package update frenzy, because the latest version is not installed in opam-debian-switch [1]. The version installed in this switch (20211128) is more recent than the one in Debian (20210929), but is behind the latest version (20220210).
[1] https://salsa.debian.org/ocaml-team/opam-debian-switch/ menhir is not alone in this case : there is (at least) ocaml-dune, ocaml-cohttp, cmdliner and camlpdf. The latest versions of these packages are uninstallable (together with all packages available in Debian), probably because of reverse-dependencies, as you've spotted with menhir. These reverse-dependencies will have to be fixed. opam-debian-switch can be useful to analyze the situation. However, my plan was to start with cmdliner since the next version of belenios depends on the new version. Cheers, -- Stéphane
