Re: Updating menhir
Hi,
Le vendredi 18 mars 2022 à 08:21 +0100, Stéphane Glondu a écrit :
> Le 17/03/2022 à 17:20, julien.puydt@gmail.com 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
Reply to: