Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]

To: 944876@bugs.debian.org
Subject: Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
From: Tobias Frost <tobi@debian.org>
Date: Thu, 02 Jan 2020 12:39:57 +0100
Message-id: <[🔎] 46f115528282445960371fba9ce697a15f59a42a.camel@debian.org>
Reply-to: Tobias Frost <tobi@debian.org>, 944876@bugs.debian.org
In-reply-to: <f3e4fd24-6da7-8e6b-80a2-fa7b07aa065b@arcor.de>
References: <f3e4fd24-6da7-8e6b-80a2-fa7b07aa065b@arcor.de> <f3e4fd24-6da7-8e6b-80a2-fa7b07aa065b@arcor.de>

Control: tags -1 moreinfo

Tagging moreinfo as currently not actionable (needs an update from
Fabian)

Reply to: