Processed: Re: Bug#919462: coq ftbfs on some release architectures

To: Benjamin Barenblat <bbaren@debian.org>
Cc: bbaren@debian.org, debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: Bug#919462: coq ftbfs on some release architectures
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 05 Feb 2019 14:24:11 +0000
Message-id: <[🔎] handler.s.Q919462.154937648019280.transcript@bugs.debian.org>
References: <[🔎] 87munapbo8.jfx@benwick.benjamin.barenblat.name> <27e61ec7-b166-d634-0fea-73a79cd6bd04@debian.org>

Processing control commands:

> tag 919462 + pending
Bug #919462 [src:coq] coq FTBFS on architectures without native OCaml backends
Added tag(s) pending.

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

Reply to:

References:
- Bug#919462: coq ftbfs on some release architectures
  - From: Benjamin Barenblat <bbaren@debian.org>

Prev by Date: Bug#919462: coq ftbfs on some release architectures
Next by Date: Bug#919462: coq ftbfs on some release architectures
Previous by thread: Bug#919462: coq ftbfs on some release architectures
Next by thread: Processed: block 916369 with 919462
Index(es):
- Date
- Thread