Hi, Le vendredi 18 mars 2022 à 08:21 +0100, Stéphane Glondu a écrit : > 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/ >
Nice ; I also have created a page to compare Debian's coq packaging with the "Coq Platform" one: https://people.debian.org/~jpuydt/coq_platform.html (notice: the page itself is a work-in-progress) Cheers, J.Puydt
