Processed: tag ftbfs bugs

Processing commands for cont...@bugs.debian.org: > tags 769218 + ftbfs Bug #769218 [src:gcc-4.9] gcc-4.9: FTBFS in jessie: Error! CRCs do not match! Got 264aca47, expected 95962ba4 Added tag(s) ftbfs. > tags 828550 + ftbfs Bug #828550 [src:socat] socat: FTBFS with openssl 1.1.0 Added tag(s)

Processed: tag

Processing commands for cont...@bugs.debian.org: > tag 918633 + pending Bug #918633 [why3-coq] why3-coq: package should Depend on a specific Coq version Added tag(s) pending. > -- Stopping processing here. Please contact me if you need assistance. -- 918633:

Processed: tag

Processing commands for cont...@bugs.debian.org: > tag 869207 + pending Bug #869207 [src:ocaml-visitors] "ocaml-visitors: FTBFS on bytecode architectures" Added tag(s) pending. > End of message, stopping processing here. Please contact me if you need assistance. -- 869207:

Processed: tag

Processing commands for cont...@bugs.debian.org: > tag 812203 + pending Bug #812203 [dose-extra] dose-deb-coinstall mentioned as "dose-coinstall" in dose-extra description Added tag(s) pending. > End of message, stopping processing here. Please contact me if you need assistance. -- 812203:

Processed: tag 620716 sid

Processing commands for cont...@bugs.debian.org: tag 620716 sid Bug #620716 [libapron-dev] libppl0.10-dev not in unstable anymore Added tag(s) sid. thanks Stopping processing here. Please contact me if you need assistance. -- 620716: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=620716

Processed: tag

Processing commands for [EMAIL PROTECTED]: tags 404474 + confirmed Bug#404474: hevea fails on cyrillic There were no tags set. Tags added: confirmed tags 404474 + upstream Bug#404474: hevea fails on cyrillic Tags were: confirmed Tags added: upstream -- Stopping processing here. Please

Processed: tag

Processing commands for [EMAIL PROTECTED]: tags 381467 + pending Bug#381467: bibtex2html: please provide alternative dependency on texlive packages There were no tags set. Tags added: pending End of message, stopping processing here. Please contact me if you need assistance. Debian bug

Processed: tag

Processing commands for [EMAIL PROTECTED]: tags 357420 + unreproducible Bug#357420: tuareg-mode: Toplevel frame won't update itself in Emacs but does in Xemacs There were no tags set. Tags added: unreproducible End of message, stopping processing here. Please contact me if you need

Processed: tag

Processing commands for [EMAIL PROTECTED]: tags 238097 + fixed Bug#238097: ocaml: No annotation file. You should compile with option -dtypes There were no tags set. Tags added: fixed thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system

Processed: tag

Processing commands for [EMAIL PROTECTED]: tags 238097 + fixed Bug#238097: ocaml: No annotation file. You should compile with option -dtypes There were no tags set. Tags added: fixed thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system

Processed: tag

Processing commands for [EMAIL PROTECTED]: tags 230356 + pending Bug#230356: coq: New upstream release There were no tags set. Tags added: pending thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs

Processed: tag

Processing commands for [EMAIL PROTECTED]: tags 230356 + pending Bug#230356: coq: New upstream release There were no tags set. Tags added: pending thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs