John Ericson 812decd5c1 ghc: Default integer-simple usage based one whether GNU MP is available ... The user's choice is still always respected		2018-06-11 15:51:57 -04:00
..
4.3.2.nix	Update homepage attributes: http -> https	2017-08-03 11:56:15 +02:00
5.1.x.nix	treewide: isArm -> isAarch32	2018-04-25 15:28:55 -04:00
6.x.nix	ghc: Default integer-simple usage based one whether GNU MP is available	2018-06-11 15:51:57 -04:00
need-size-t.patch	fix gmp on darwin	2015-02-03 15:18:28 -08:00