html_installed_root shouldn't contain $$pkgid
[ghc.git] / gmp /
2007-08-28  Ian LynaghMake some header-installing machinery, and use it to...
2007-08-28  Ian LynaghTidy up the gmp/ Makefile a bit
2007-08-23  Ian LynaghWhen installing, get libgmp.a from the right place
2007-08-10  Clemens FruhwirthAlso build gmp shared if neccessary
2007-07-22  Clemens FruhwirthAdd proper header so that cygwin recognizes this file...
2007-07-05  Ian LynaghUpdate the in-tree GMP; fixes trac #832