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

To: Fabian Wolff <fabi.wolff@arcor.de>
Cc: 944876@bugs.debian.org
Subject: Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sun, 24 Nov 2019 13:13:37 -0500
Message-id: <[🔎] 87y2w5xhv2.jfx@summerland.benjamin.barenblat.name>
Reply-to: Benjamin Barenblat <bbaren@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>

As the current maintainer, I definitely do not object to this NMU (or
any other NMUs associated with this package). Sponsors, please feel free
to upload without delay.

Reply to:

References:
- Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
  - From: Fabian Wolff <fabi.wolff@arcor.de>

Prev by Date: Bug#945418: RFS: golang-github-sabhiram-go-gitignore/1.0.2-1 [ITP] -- A gitignore parser for go
Next by Date: Bug#945432: RFS: systune/0.5.10 -- kernel tuning through the /proc file system
Previous by thread: Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable programming language [NMU, RC]
Next by thread: Bug#944930: RFS: libt3highlight/0.4.6-2
Index(es):
- Date
- Thread