Search results

Better error when failing to download the list of packages

Status: Open.

#150 In gap-packages/PackageManager;

· fingolfin opened on May 7, 2026

Can InstallPackage please accept a GitHub repo URL?

feature requestNew featureNew feature

Status: Open.

#148 In gap-packages/PackageManager;

· wilfwilson opened on Sep 8, 2025

Why is UpdatePackage not idempotent / why does it compile a package even though it is already up-to-date?

questionFurther information is requestedFurther information is requested

Status: Open.

#147 In gap-packages/PackageManager;

· fingolfin opened on Sep 1, 2025

Protect against race conditions when used concurrently

feature requestNew featureNew feature

Status: Open.

#138 In gap-packages/PackageManager;

· fingolfin opened on Jan 29, 2025

Implement InstallDependencies

feature requestNew featureNew feature

Status: Open.

#130 In gap-packages/PackageManager;

· james-d-mitchell opened on Aug 27, 2024

avoid downloads where possible

2.0

feature requestNew featureNew feature

Status: Open.

#127 In gap-packages/PackageManager;

· ThomasBreuer opened on Jul 2, 2024

Change PKGMAN_Exec to not merge stdout and stderr

feature requestNew featureNew feature

Status: Open.

#104 In gap-packages/PackageManager;

· fingolfin opened on Nov 2, 2022

Integrate PackageManager with the new package distro

2.0

feature requestNew featureNew feature

Status: Open.

#84 In gap-packages/PackageManager;

· fingolfin opened on May 9, 2022

Can we install from DOI?

feature requestNew featureNew feature

Status: Open.

#81 In gap-packages/PackageManager;

· ChrisJefferson opened on Feb 21, 2022

When PackageManager is loaded, could LoadPackage give useful tips on failure?

discussionNot exactly an issue to be resolved, but a discussion about the future of the packageNot exactly an issue to be resolved, but a discussion about the future of the package

Status: Open.

#69 In gap-packages/PackageManager;

· wilfwilson opened on May 20, 2021

Allow automatic retrying of install package if network error occurs

feature requestNew featureNew feature

Status: Open.

#61 In gap-packages/PackageManager;

· james-d-mitchell opened on Nov 18, 2020

Change PKGMAN_DownloadURL to download into a file

feature requestNew featureNew feature

Status: Open.

#59 In gap-packages/PackageManager;

· fingolfin opened on Nov 7, 2020