Peter Simons b075eb7f59 haskell-presburger: update to version 1.2		2014-12-13 12:06:12 +01:00
..
default.nix	haskell-presburger: update to version 1.2	2014-12-13 12:06:12 +01:00