Bug#919462: coq ftbfs on some release architectures

[Adrian Bunk <bunk@debian.org>]

On Wed, Jan 16, 2019 at 08:47:37AM -0500, Benjamin Barenblat wrote:
> Control: retitle 919462 coq FTBFS on architectures without native OCaml backends
> Control: owner 919462 !
> 
> Coq actually does build, but the test suite fails because I messed up
> plugin loading on architectures that don’t have ocamlopt. Upstream
> handles both native and bytecode worlds by installing the same file in
> two different places; I found this unpalatable and just removed one of
> the copies [1]. I didn’t realize at the time that the bytecode world
> needed that file. I’ll look into fixing this in the next couple of days.
>...

Any updates on that?

Thanks
Adrian

-- 

       "Is there not promise of rain?" Ling Tan asked suddenly out
        of the darkness. There had been need of rain for many days.
       "Only a promise," Lao Er said.
                                       Pearl S. Buck - Dragon Seed