Processed: Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)

To: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 23 Jul 2016 21:39:05 +0000
Message-id: <[🔎] handler.s.B815684.14693098769373.transcript@bugs.debian.org>
References: <[🔎] 20160723213749.GA18505@harbard> <56CC9832.2090904@debian.org>

Processing control commands:

> tag -1 upstream
Bug #815684 [src:why] why can't be built from source
Added tag(s) upstream.

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

Reply to:

References:
- Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
  - From: Nicolas Braud-Santoni <nicolas@braud-santoni.eu>

Prev by Date: Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
Next by Date: Processed: tagging 813820
Previous by thread: Re: Bug#813596: coq-float and why cannot be built with Coq 8.5 (Bugs #813596 and #815684)
Next by thread: Bug#715070: Bug #715070: Broken library symlink detected in libapron-dev
Index(es):
- Date
- Thread