relax build dependencies to allow base-4.8 (GHC-7.10) and transformers-0.4

MfesGA / Smtlib

Parser for smt-lib Command responses

MIT License

2 stars 6 forks source link

Closed msakai closed 8 years ago

msakai commented 8 years ago

This relax build dependencies to allow base-4.8 (GHC-7.10) and transformers-0.4.