Processed: Re: Bug#919462: coq ftbfs on some release architectures

2019-02-05 Thread Debian Bug Tracking System
Processing control commands: > tag 919462 + pending Bug #919462 [src:coq] coq FTBFS on architectures without native OCaml backends Added tag(s) pending. -- 919462: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=919462 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems

Bug#919462: coq ftbfs on some release architectures

2019-02-05 Thread Benjamin Barenblat
Control: tag 919462 + pending Sorry for the radio silence. I misdiagnosed the issue in #10, but I have properly diagnosed it now and have a fix pending. I’m rolling the fix into my upload of 8.9.0, which should be coming in the next day.

Bug#919462: coq ftbfs on some release architectures

2019-02-05 Thread Adrian Bunk
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

Processed: Re: Bug#919462: coq ftbfs on some release architectures

2019-01-16 Thread Debian Bug Tracking System
Processing control commands: > retitle 919462 coq FTBFS on architectures without native OCaml backends Bug #919462 [src:coq] coq ftbfs on some release architectures Changed Bug title to 'coq FTBFS on architectures without native OCaml backends' from 'coq ftbfs on some release architectures'. > ow

Bug#919462: coq ftbfs on some release architectures

2019-01-16 Thread Benjamin Barenblat
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 th

Bug#919462: coq ftbfs on some release architectures

2019-01-16 Thread Matthias Klose
Package: src:coq Version: 8.8.2-1 Severity: serious Tags: sid buster according to https://buildd.debian.org/status/package.php?p=coq the package fails to build at least on armel and the mips* architectures.