Processed: add patch

To: Matthias Klose <doko@ubuntu.com>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: add patch
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 23 Dec 2013 23:45:16 +0000
Message-id: <[🔎] handler.s.B707347.138784208612372.transcript@bugs.debian.org>
References: <[🔎] 52B8CA12.20502@ubuntu.com> <20130509071349.GA3799@xanadu.blop.info>

Processing control commands:

> tags -1 + patch
Bug #707347 [src:apron] apron: FTBFS: ppl.hh:775:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >'
Added tag(s) patch.

-- 
707347: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707347
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#707347: add patch
  - From: Matthias Klose <doko@ubuntu.com>

Prev by Date: Bug#707347: add patch
Next by Date: Bug#707347: marked as done (apron: FTBFS: ppl.hh:775:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >')
Previous by thread: Bug#707347: add patch
Next by thread: Bug#707347: marked as done (apron: FTBFS: ppl.hh:775:7: error: redefinition of 'class std::numeric_limits<__gmp_expr<__mpz_struct [1], __mpz_struct [1]> >')
Index(es):
- Date
- Thread