atp-haskell 1.14

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