Bug#1085437: Removal notice: obsolete

[Ilias Tsitsimpis]

Source: haskell-presburger
Version: 1.3.1-11
Severity: serious

I intend to remove this package:

  * It has no rev dependencies
  * Seems unmaintained; Last upload almost 10 years ago
  * It's not part of the latest Stackage LTS
  * Upstream claims there are some soundness bugs in this package

If you believe we should keep this package in Debian, please close this
bug report.

-- 
Ilias