Eliminate covered attribute

Author: sevanspowell

builder/comp-builder.nix

@@ -224,7 +224,6 @@ let
       inherit configFiles executableToolDepends cleanSrc exeName;
       env = shellWrappers;
       profiled = self (drvArgs // { enableLibraryProfiling = true; });
-      covered = self (drvArgs // { doCoverage = true; });
     } // lib.optionalAttrs (haskellLib.isLibrary componentId) ({
         inherit haddock;
         inherit (haddock) haddockDir; # This is null if `doHaddock = false`

docs/dev/coverage.md

@@ -7,10 +7,6 @@ the builder in `comp-builder.nix`. The doCoverage flag enables and
 disables the Cabal coverage flag and copies any generated coverage
 data to "$out/share/hpc".
 
-There also exists a `covered` attribute on each component, it takes
-the existing derivation for that component and modifies it to have
-coverage enabled.
-
 ## Mix and tix files
 
 The coverage information for any derivation consists of "mix" and