Peter Simons bf7a0d77d5 haskell-sbv: update to version 3.2		2014-11-24 16:24:09 +01:00
..
default.nix	haskell-sbv: update to version 3.2	2014-11-24 16:24:09 +01:00