If Cabal is happy, I'm happy. This appears to not do the wrong thing.
In other words, nothing is changed by including Paths_haeredes in the
list of other-modules.
CommandLine
DNS
ExitCodes
+ -- WARNING: the Paths_haeredes module is automatically generated by
+ -- Cabal itself. We don't want it included in the release tarballs,
+ -- since we typically want the paths that the user has configured.
+ -- Nevertheless, Cabal will complain if we don't include it here.
+ Paths_haeredes
Timeout
ghc-options: