search

gap-actions / setup-gap

Other
1 stars 5 forks source link

Support more options for which GAP packages to download #27

Open wilfwilson opened 3 years ago

wilfwilson commented 3 years ago

At least no packages, bootstrap-pkg-minimal, and (what is now the only option) bootstrap-pkg-full.

Ideally also the latest released version of each package (so, possibly newer than what you get with bootstrap-pkg-full).

PackageManager is probably also a good one to include, for use by later actions (e.g. #28).