atp-haskell 1.14.3

2 Reverse deps Accepted versions
logic-classes -any
th-context >=1.14