diff options
| author |  ross <unknown> | 2005-02-18 18:30:40 +0000 |
|---|---|---|
| committer | ross <unknown> | 2005-02-18 18:30:40 +0000 |
| commit | cca17660c8b2732f8dc0631bd350a2cdcf9b7fc0 (patch) | |
| tree | ddf10d0ceb998ac4209c75945631088614ab1451 /unix.buildinfo.in | |
| parent | 7395f03ade97bf633aee9b9c5269534de4a452ae (diff) | |
[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
Diffstat (limited to 'unix.buildinfo.in')
| -rw-r--r-- | unix.buildinfo.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix.buildinfo.in b/unix.buildinfo.in index 005c2dd..9fe31ef 100644 --- a/unix.buildinfo.in +++ b/unix.buildinfo.in @@ -1 +1 @@ -extra-libs: @EXTRA_LIBS@ +extra-libraries: @EXTRA_LIBS@ |