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
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
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
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+
-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
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
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
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
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
9 matches
Mail list logo