Search results

Build the "GAP packages listed elsewhere on GitHub" section from a JSON file

Status: Open.

#16 In gap-packages/gap-packages.github.io;

· wilfwilson opened on Feb 24, 2022

Which packages use http instead of https

Status: Open.

#10 In gap-packages/gap-packages.github.io;

· olexandr-konovalov opened on Aug 12, 2019

Which packages do not have default tests

Status: Open.

#9 In gap-packages/gap-packages.github.io;

· olexandr-konovalov opened on Feb 25, 2019

Which packages did not set up a redirect to new websites

Status: Open.

#8 In gap-packages/gap-packages.github.io;

· olexandr-konovalov opened on Jan 22, 2019

Which packages do not have a known public repository

Status: Open.

#7 In gap-packages/gap-packages.github.io;

· olexandr-konovalov opened on Oct 11, 2018

Add a GitHub Actions workflow to regularly regenerate this page

Status: Open.

#5 In gap-packages/gap-packages.github.io;

· fingolfin opened on Jun 27, 2017