1
module Agda.Packaging.Config where
4
import qualified Distribution.InstalledPackageInfo
6
( InstalledPackageInfo )
8
import Agda.Packaging.Types
10
--------------------------------------------------------------------------------
12
data AgdaPkgConfig opt
15
, configOrigBroken :: [Cabal.InstalledPackageInfo]
16
, configPkgDBStack :: [NamedPackageDB]
17
, configProgName :: String }