Processed: Re: Bug#864839: RFS: yices2/2.6.0-2 [ITP]

To: Andrey Rahmatullin <wrar@debian.org>
Cc: package-sponsorship-requests@lists.debian.org
Subject: Processed: Re: Bug#864839: RFS: yices2/2.6.0-2 [ITP]
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Tue, 25 Jul 2017 15:09:09 +0000
Message-id: <[🔎] handler.s.B864839.150099514229185.transcript@bugs.debian.org>
References: <[🔎] 20170725150538.gsmaadnhxgrt7o3u@belkar.wrar.name> <9cbc6aef-5c80-f726-acd9-1760282b6d68@csl.sri.com>

Processing control commands:

> tags -1 + moreinfo
Bug #864839 [sponsorship-requests] RFS: yices2/2.6.0-2 [ITP]
Added tag(s) moreinfo.

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

Reply to:

References:
- Bug#864839: RFS: yices2/2.6.0-2 [ITP]
  - From: Andrey Rahmatullin <wrar@debian.org>

Prev by Date: Bug#864838: RFS: libpoly0/1.3-2 [ITP]
Next by Date: Bug#864839: RFS: yices2/2.6.0-2 [ITP]
Previous by thread: Bug#864839: RFS: yices2/2.6.0-2 [ITP]
Next by thread: Bug#864946: RFS: libsml/0.1.1+git20170608-1 (ITP)
Index(es):
- Date
- Thread