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