1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • Architectures supported by the coq package

    From =?UTF-8?Q?St=c3=a9phane_Glondu?=@21:1/5 to All on Wed Nov 24 08:30:01 2021
    Hi,

    I've seen you've restricted the Architectures list of the coq package.
    Is this a temporary measure? Or is Coq definitely dropping support for
    bytecode architectures?

    If so, a RM request should be made to remove coq binary packages from
    these architectures.


    Cheers,

    --
    Stéphane

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Julien Puydt@21:1/5 to All on Wed Nov 24 11:40:02 2021
    Hi,

    Le mercredi 24 novembre 2021 à 08:23 +0100, Stéphane Glondu a écrit :

    I've seen you've restricted the Architectures list of the coq
    package.
    Is this a temporary measure? Or is Coq definitely dropping support
    for bytecode architectures?

    It's just a temporary measure ; I hope we'll get them back soon enough.

    Thanks for caring!

    J.Puydt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)