Processed: Bug#956674 marked as pending in prooftree

To: Gianfranco Costamagna <noreply@salsa.debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: Bug#956674 marked as pending in prooftree
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Wed, 13 May 2020 13:36:03 +0000
Message-id: <[🔎] handler.s.U956674.158937678518005.transcript@bugs.debian.org>
References: <5ebbf70e1611a_4072af4cadef3d4352a3@godard.mail> <158685122467.16811.1333793284383818078.reportbug@localhost>

Processing control commands:

> tag -1 pending
Bug #956674 [src:prooftree] prooftree must build depend on coq
Added tag(s) pending.

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

Reply to:

Prev by Date: reactivedata is marked for autoremoval from testing
Next by Date: Bug#956674: marked as done (prooftree must build depend on coq)
Previous by thread: reactivedata is marked for autoremoval from testing
Next by thread: Bug#956674: marked as done (prooftree must build depend on coq)
Index(es):
- Date
- Thread