Hi, On Sat, Aug 22, 2020 at 08:20AM, Sean Whitton wrote: > Could you confirm that it's unlikely upstream will fix this?
I just opened an upstream bug about this [1]. Is it OK if we remove this from armhf for now, allowing other packages to migrate to testing (e.g., dhall) and re-introduce it once upstream has fixed this bug? [1] https://github.com/well-typed/cborg/issues/248 -- Ilias
