Searched refs:exInstPkgId (Results 1 – 2 of 2) sorted by relevance
633 , IPI.sourcePackageId = exInstPkgId ex637 exInstPkgId :: ExampleInstalled -> C.PackageIdentifier638 exInstPkgId ex = C.PackageIdentifier { function
707 , IPI.sourcePackageId = exInstPkgId ex711 exInstPkgId :: ExampleInstalled -> C.PackageIdentifier712 exInstPkgId ex = C.PackageIdentifier { function