Processed: Re: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]

To: Tobias Frost <tobi@debian.org>
Cc: package-sponsorship-requests@lists.debian.org
Subject: Processed: Re: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Thu, 02 Jan 2020 11:45:03 +0000
Message-id: <[🔎] handler.s.B944876.157796520127946.transcript@bugs.debian.org>
References: <[🔎] 46f115528282445960371fba9ce697a15f59a42a.camel@debian.org> <f3e4fd24-6da7-8e6b-80a2-fa7b07aa065b@arcor.de>

Processing control commands:

> tags -1 moreinfo
Bug #944876 [sponsorship-requests] RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
Added tag(s) moreinfo.

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

Reply to:

References:
- Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
  - From: Tobias Frost <tobi@debian.org>

Prev by Date: Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
Next by Date: Processed: RFS: ycm-cmake-modules/0.10.4-2 [ITP] -- Extra CMake Modules for YARP and friends
Previous by thread: Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
Next by thread: Processed: RFS: ycm-cmake-modules/0.10.4-2 [ITP] -- Extra CMake Modules for YARP and friends
Index(es):
- Date
- Thread