id	summary	reporter	owner	description	type	status	priority	milestone	component	version	severity	resolution	keywords	cc	difficulty	ghcversion	platform
707	"cabal-install config setting ""documentation: True"" ignores base library dependency"	KiYungAhn		"I use ""documentation: True"" setting in the cabal-install config file (in linux $HOME/.cabal/config) since I prefer to install documentation locally with the library, and recently found out that this ignores the base library version in the .cabal files.  I am not sure about whether they ignore other libraries but for base it is for sure.  Even though the package cabal file specifies base >= 4 the cabal-install seems to revert back to base version 3 when I use ""documentation: True"" in the config file.

In particular, I found this bug when I was working with the RepLib package.  I had a link error when I was using the ""documentation: True"" option in the config, but when I commented that out and worked with the default config file everything worked."	defect	new	normal	cabal-install-0.16	cabal-install tool	1.8.0.2	normal		cabal-install, link, dependency, documentation		unknown	6.12.1	Linux
