5 Commits

Author	SHA1	Message	Date
Aaron Tomb	7d62081632	Bump dependency versions in prep for 2.8.0 release ... This includes the version of Z3 used in the Docker image	2019-08-28 13:24:58 -07:00
Aaron Tomb	bfe57c3c90	Update some Cabal freeze files	2019-04-17 12:40:31 -07:00
Aaron Tomb	3af02e9599	Make GHC 8.6 Cabal freeze file less strict ... Now it'll work with 8.6.x	2019-03-11 15:16:12 -07:00
Aaron Tomb	361e052a78	Bump SBV version in Cabal freeze files	2019-03-11 12:21:23 -07:00
Aaron Tomb	8ed4dad321	Update Travis for GHC 8.6	2019-02-22 17:06:36 -08:00