[project @ 2005-02-18 18:30:40 by ross]
authorross <unknown>
Fri, 18 Feb 2005 18:30:40 +0000 (18:30 +0000)
committerross <unknown>
Fri, 18 Feb 2005 18:30:40 +0000 (18:30 +0000)
commitd7bef6cd53cccabe95ee937a7328266df3c0e9d7
treeba4454f672f7aa21903be5703fa43fdff17333a7
parent719e2b47e2771c36c0e452a919420178ba474d94
[project @ 2005-02-18 18:30:40 by ross]
Rename package description fields as in InstalledPackageInfo:

options-ghc -> ghc-options
options-hugs -> hugs-options
options-nhc -> nhc-options
extra-libs -> extra-libraries
base.buildinfo.in