[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

diff --git a/base.buildinfo.in b/base.buildinfo.in
index 005c2dd..9fe31ef 100644 (file)
--- a/base.buildinfo.in
+++ b/base.buildinfo.in
@@ -1 +1 @@
-extra-libs: @EXTRA_LIBS@
+extra-libraries: @EXTRA_LIBS@