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

[Tobias Frost]

Control: tags -1 moreinfo

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