atp-haskell 1.14.3

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