Processed: Re: Please add coq-8.5 to jessie-backports

To: Benjamin Barenblat <bbaren@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Re: Please add coq-8.5 to jessie-backports
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 04 Apr 2019 19:15:03 +0000
Message-id: <[🔎] handler.s.B827861.155440514831454.transcript@bugs.debian.org>
References: <[🔎] 87o95lvbcf.jfx@benwick.benjamin.barenblat.name> <146653586167.2053.11562473870679586504@ashryn>

Processing control commands:

> tags 827861 wontfix
Bug #827861 [coq] Please add coq-8.5 to jessie-backports
Added tag(s) wontfix.

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

Reply to:

References:
- Bug#827861: Please add coq-8.5 to jessie-backports
  - From: Benjamin Barenblat <bbaren@debian.org>

Prev by Date: Bug#855096: unison: segfaults after connection has been established
Next by Date: Bug#827861: Please add coq-8.5 to jessie-backports
Previous by thread: Bug#827861: Please add coq-8.5 to jessie-backports
Next by thread: mingw-ocaml is marked for autoremoval from testing
Index(es):
- Date
- Thread