Processed: Bug#935873 marked as pending in menhir

To: Stéphane Glondu <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#935873 marked as pending in menhir
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Tue, 27 Aug 2019 13:51:07 +0000
Message-id: <[🔎] handler.s.U935873.156691359815799.transcript@bugs.debian.org>
References: <5d65343cf264d_3aa2aea191900f4150b9@godard.mail> <[🔎] 156689107269.8209.1051635676861540143.reportbug@malt.loria.fr>

Processing control commands:

> tag -1 pending
Bug #935873 [libmenhir-coq] Missing dependency on coq-$ABI
Added tag(s) pending.

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

Reply to:

References:
- Bug#935873: Missing dependency on coq-$ABI
  - From: Stéphane Glondu <glondu@debian.org>

Prev by Date: ocaml-mmap_1.1.0-1_amd64.changes is NEW
Next by Date: [Git][ocaml-team/menhir] Pushed new tag archive/debian/20190626-6
Previous by thread: Bug#935873: Missing dependency on coq-$ABI
Next by thread: Bug#935873: marked as done (Missing dependency on coq-$ABI)
Index(es):
- Date
- Thread