This package is not in any development repository. This probably
means that the package
has been removed
(or has been renamed). Thus the information here is of little interest ...
the package is going to disappear unless someone takes it over and
reintroduces it.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/b/boogie.png){kind=link}