Processed: Re: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover

To: Gianfranco Costamagna <locutusofborg@debian.org>
Cc: package-sponsorship-requests@lists.debian.org
Subject: Processed: Re: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 03 Jun 2016 21:15:05 +0000
Message-id: <[🔎] handler.s.B814680.14649884314020.transcript@bugs.debian.org>
References: <[🔎] 5751F303.3090905@debian.org> <1455410490.21427.23.camel@dimjasevic.net>

Processing control commands:

> tags -1 moreinfo
Bug #814680 [sponsorship-requests] RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover
Added tag(s) moreinfo.

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

Reply to:

References:
- Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover
  - From: Gianfranco Costamagna <locutusofborg@debian.org>

Prev by Date: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover
Next by Date: Bug#816652: RFS: compiz/1:0.9.12.2 [ITP:722451]
Previous by thread: Bug#814680: RFS: stp/2.1.2+dfsg-1 [ITP] -- Simple theorem prover
Next by thread: Bug#816652: RFS: compiz/1:0.9.12.2 [ITP:722451]
Index(es):
- Date
- Thread