Processed: limit source to alt-ergo, tagging 882162

To: Ralf Treinen <treinen@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: limit source to alt-ergo, tagging 882162
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Wed, 20 Dec 2017 20:18:03 +0000
Message-id: <[🔎] handler.s.C.151380093524313.transcript@bugs.debian.org>
References: <1513800930-1063-bts-treinen@debian.org>

Processing commands for control@bugs.debian.org:

> limit source alt-ergo
Limiting to bugs with field 'source' containing at least one of 'alt-ergo'
Limit currently set to 'source':'alt-ergo'

> tags 882162 + pending
Bug #882162 [src:alt-ergo] alt-ergo FTBFS: Error: This expression has type Sim.Core.t * bool but an expression was expected of type Sim.Core.t
Added tag(s) pending.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
882162: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882162
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Prev by Date: alt-ergo is marked for autoremoval from testing
Next by Date: Bug#883755: marked as done (alt-ergo: Includes "non-free/Non-Commercial-License.pdf" listed in Files-Excluded header)
Previous by thread: alt-ergo is marked for autoremoval from testing
Next by thread: Bug#882162: marked as done (alt-ergo FTBFS: Error: This expression has type Sim.Core.t * bool but an expression was expected of type Sim.Core.t)
Index(es):
- Date
- Thread