Bug#589999: coq: FTBFS on sparc: test failure

2010-07-22 Thread Stéphane Glondu
Le 22/07/2010 22:59, Cyril Brulebois a écrit : > | if grep -F 'Error!' test-suite/summary.log ; then false; fi > | success/Nsatz.v...Error! (should be accepted) > | success/Nsatz_domain.v...Error! (should be accepted) > | bugs/closed/shouldsucceed/2145.v...Error! (bug seems to be opened

Processed: reassign 589999 to ocaml, forcibly merging 570920 589999

2010-07-22 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > reassign 58 ocaml Bug #58 [src:coq] coq: FTBFS on sparc: test failure Bug reassigned from package 'src:coq' to 'ocaml'. Bug No longer marked as found in versions coq/8.3~beta0+13298-1. > forcemerge 570920 58 Bug#570920: ocaml: error in

Processed (with 1 errors): forcibly merging 570920 589999, retitle 570920 to ocaml: error in the num library on sparc

2010-07-22 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > forcemerge 570920 58 Bug#570920: ocaml: error in the num library on sparc Bug#58: coq: FTBFS on sparc: test failure Mismatch - only Bugs in the same package can be forcibly merged: Bug 58 is not in the same package as 570920 > retitle

Bug#589999: coq: FTBFS on sparc: test failure

2010-07-22 Thread Cyril Brulebois
Source: coq Version: 8.3~beta0+13298-1 Severity: serious Justification: FTBFS User: debian-sp...@lists.debian.org Usertags: sparc Hi, your package no longer builds on sparc: | Makefile:56: cannot run complexity tests (no bogomips found) | make[5]: Entering directory `/build/buildd-coq_8.3~beta0+

Accepted coq 8.3~beta0+13298-1 (source all amd64)

2010-07-22 Thread Stéphane Glondu
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 21 Jul 2010 15:16:53 +0200 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source amd64 all Version: 8.3~beta0+13298-1 Distribution: experimental Urgency: low Maintainer: Debian OCaml Mai

Re: Trouble with compiling hivex on ! (amd64-linux || i386-linux)

2010-07-22 Thread Richard W.M. Jones
On Wed, Jul 21, 2010 at 04:20:31PM +0200, Hilko Bengen wrote: > Hi Richard, I'm CCing this to debian-ocaml-maint, because the first of these seems to be a generic OCaml / OCaml-autoconf problem. > it seems that I got more than I bargained for: Debian's autobuilders > failed to build my hivex pack

coq_8.3~beta0+13298-1_amd64.changes ACCEPTED

2010-07-22 Thread Archive Administrator
Accepted: coq-theories_8.3~beta0+13298-1_all.deb to main/c/coq/coq-theories_8.3~beta0+13298-1_all.deb coq_8.3~beta0+13298-1.debian.tar.gz to main/c/coq/coq_8.3~beta0+13298-1.debian.tar.gz coq_8.3~beta0+13298-1.dsc to main/c/coq/coq_8.3~beta0+13298-1.dsc coq_8.3~beta0+13298-1_amd64.deb to

debian-ocaml-maint@lists.debian.org

2010-07-22 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.10.35lenny7 > forwarded 569486 > http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=298&group_id=35&atid=283 Bug #569486 [edos-distcheck] edos-builddebcheck: add option to

debian-ocaml-maint@lists.debian.org

2010-07-22 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > # Automatically generated email from bts, devscripts version 2.10.35lenny7 > forwarded 560134 > http://gforge.info.ucl.ac.be/tracker/index.php?func=detail&aid=297&group_id=35&atid=283 Bug #560134 [edos-distcheck] edos-builddebcheck: needs option