\GAPDocLabFile{packagemanager}
\makelabel{packagemanager:Title page}{}{X7D2C85EC87DD46E5}
\makelabel{packagemanager:Table of Contents}{}{X8537FEB07AF2BEC8}
\makelabel{packagemanager:Introduction}{1}{X7DFB63A97E67C0A1}
\makelabel{packagemanager:What does the PackageManager package do?}{1.1}{X7DE60E5D836ED9FC}
\makelabel{packagemanager:What does the PackageManager package not do?}{1.2}{X8323508781A076AB}
\makelabel{packagemanager:A quick example}{1.3}{X8195CF9E84431EB8}
\makelabel{packagemanager:Commands}{2}{X845671BB7CE6C298}
\makelabel{packagemanager:Installing and updating packages}{2.1}{X7FD6B5807E852DE4}
\makelabel{packagemanager:Removing packages}{2.2}{X7AD97D497EAA18D2}
\makelabel{packagemanager:Index}{Ind}{X83A0356F839C696F}
\makelabel{packagemanager:InstallPackage}{2.1.1}{X81A6FF1B81D004BA}
\makelabel{packagemanager:UpdatePackage}{2.1.2}{X7A3A079387DAA79A}
\makelabel{packagemanager:CompilePackage}{2.1.3}{X84CA6E417D8FC84C}
\makelabel{packagemanager:InfoPackageManager}{2.1.4}{X847EF83681889E47}
\makelabel{packagemanager:InstallPackageFromName}{2.1.5}{X7D61C07E7AAA7575}
\makelabel{packagemanager:InstallPackageFromInfo}{2.1.6}{X843B648B855F9C82}
\makelabel{packagemanager:InstallPackageFromArchive}{2.1.7}{X7CF49C797835BD49}
\makelabel{packagemanager:InstallPackageFromGit}{2.1.8}{X869C71188722CFAD}
\makelabel{packagemanager:InstallPackageFromHg}{2.1.9}{X7A1F34D27932BA01}
\makelabel{packagemanager:InstallRequiredPackages}{2.1.10}{X7B70DED5806B72A7}
\makelabel{packagemanager:RemovePackage}{2.2.1}{X8011AC33841B515C}
