From f1f558ce4df49f40b9798cb9af75092e72048991 Mon Sep 17 00:00:00 2001 From: stertooy <5571903+stertooy@users.noreply.github.com> Date: Tue, 9 Sep 2025 22:03:40 +0200 Subject: [PATCH] Fix instructions on installing package using PackageManager --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 10c854d..4c09403 100644 --- a/README.md +++ b/README.md @@ -127,7 +127,7 @@ jobs: - shell: bash run: | # Install packages via PackageManager - gap -c 'LoadPackage("PackageManager"); InstallPackage("https://github.com/gap-packages/orb"); QUIT;' + gap -c 'LoadPackage("PackageManager"); InstallPackage("https://github.com/gap-packages/orb.git"); QUIT;' gap -c 'LoadPackage("PackageManager"); InstallPackage("cvec"); QUIT;' ```