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.
- Bug#944876: RFS: boogie 2.4.1-0.1 -- verifiable... Fabian Wolff
- Bug#944876: RFS: boogie 2.4.1-0.1 -- verif... Benjamin Barenblat
- Bug#944876: RFS: boogie 2.4.1-0.1 -- v... Fabian Wolff
- Bug#944876: RFS: boogie 2.4.1-0.1 ... Benjamin Barenblat
- Bug#944876: RFS: boogie 2.4.1-... Adam Borowski
- Bug#944876: RFS: boogie 2.4.1-0.1 -- verif... Tobias Frost
- Bug#944876: marked as done (RFS: boogie 2.... Debian Bug Tracking System
