+ -- 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