The package haskell-presburger 1.3.1-11 has been removed from kali-rolling. -- More information about haskell-presburger: https://pkg.kali.org/pkg/haskell-presburger
