summaryrefslogtreecommitdiff
path: root/p/haskell-smtlib
ModeNameSize
d---------debian242logplain