[InstalledPackageInfo {installedPackageId = InstalledPackageId "hobbits-1.0-inplace", sourcePackageId = PackageIdentifier {pkgName = PackageName "hobbits", pkgVersion = Version {versionBranch = [1,0], versionTags = []}}, license = BSD3, copyright = "", maintainer = "emw4@rice.edu", author = "Eddy Westbrook, Nicolas Frisby, Paul Brauner", stability = "", homepage = "", pkgUrl = "", description = "A library for canonically representing terms with binding via a\nconstructor for introducing fresh names and a restricted API that avoids the\nneed for alpha-equivalence.", category = "Data Structures", exposed = True, exposedModules = ["Data.Type.List","Data.Type.List.List","Data.Type.List.Map","Data.Type.List.Proof.Append","Data.Type.List.Proof.Member","Data.Binding.Hobbits","Data.Binding.Hobbits.Mb","Data.Binding.Hobbits.SuperComb","Data.Binding.Hobbits.QQ","Data.Binding.Hobbits.Internal","Data.Binding.Hobbits.PatternParser","Data.Binding.Hobbits.NuElim","Data.Binding.Hobbits.Examples.LambdaLifting","Data.Binding.Hobbits.Examples.LambdaLifting.Terms","Data.Binding.Hobbits.Examples.LambdaLifting.Examples"], hiddenModules = [], importDirs = ["/Users/eddy/rice/nominal-patch-tag/hackage/dist/build"], libraryDirs = ["/Users/eddy/rice/nominal-patch-tag/hackage/dist/build"], hsLibraries = ["HShobbits-1.0"], extraLibraries = [], extraGHCiLibraries = [], includeDirs = [], includes = [], depends = [InstalledPackageId "base-4.3.0.0-1ea085b64a078bd9d5eaa9d8d525e35e",InstalledPackageId "deepseq-1.1.0.2-05098fd181f7a90abfdf1482f46b9727",InstalledPackageId "mtl-2.0.1.0-53db6a067853ff76cc2a84d2eb4d3dbf",InstalledPackageId "parsec-3.1.1-feb87b0750c4a6becf906976b2dd6e10",InstalledPackageId "syb-0.3.3-f550926985bf2b6a02a79e58143b9352",InstalledPackageId "tagged-0.2.2.1-b99cc5d0afca8afcb6b81fac05c923ac",InstalledPackageId "template-haskell-2.5.0.0-f262af1f92a427f5cf4133bff041044f",InstalledPackageId "type-equality-0.1.0-a69589747ca60eebd5594393768bbf2d"], hugsOptions = [], ccOptions = [], ldOptions = [], frameworkDirs = [], frameworks = [], haddockInterfaces = ["/Users/eddy/rice/nominal-patch-tag/hackage/dist/doc/html/hobbits/hobbits.haddock"], haddockHTMLs = ["/Users/eddy/rice/nominal-patch-tag/hackage/dist/doc/html/hobbits"]}
]