Commit Graph

5 Commits

Author SHA1 Message Date
Peter Simons
3374991a85 haskell-sbv: update to version 3.3 2014-12-13 12:06:13 +01:00
Peter Simons
bf7a0d77d5 haskell-sbv: update to version 3.2 2014-11-24 16:24:09 +01:00
Peter Simons
d2e731e111 Add "please don't edit" comment at the top of every auto-generated Haskell file. 2014-07-14 13:21:41 +02:00
Cray Elliott
69901813cf Update SBV to v3.1 2014-07-12 17:22:20 -07:00
Austin Seipp
57cfb4315e haskell: sbv 3.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-08 10:12:58 -05:00