Logo Paket

PaketContext Type

Record fields

Record Field Description

Cache

Full Usage: Cache

Field type: DependencyCache
Field type: DependencyCache

DefaultFramework

Full Usage: DefaultFramework

Field type: bool * FrameworkIdentifier
Field type: bool * FrameworkIdentifier

Groups

Full Usage: Groups

Field type: GroupName list
Field type: GroupName list

ScriptType

Full Usage: ScriptType

Field type: ScriptType
Field type: ScriptType

Type something to start searching.