Search results

Rebuild to fix <code>apt update</code> errors due to expired Let's Encrypt root certificate

Status: Open.

#30 In gap-system/gap-docker-base;

· zickgraf opened on Sep 30, 2021

Do not install suggested and recommended packages

Status: Open.

#29 In gap-system/gap-docker-base;

· olexandr-konovalov opened on Nov 16, 2020

Upgrade from Ubuntu 18.04 LTS (Bionic Beaver) to Ubuntu 20.04 LTS (Focal Fossa) ?

Status: Open.

#28 In gap-system/gap-docker-base;

· fingolfin opened on Nov 5, 2020

Document somewhere who is allowed to push new builds of this

Status: Open.

#18 In gap-system/gap-docker-base;

· fingolfin opened on Sep 4, 2019

More setup for Jupyter

Status: Open.

#17 In gap-system/gap-docker-base;

· olexandr-konovalov opened on Aug 26, 2019

Monitor version of flint

Status: Open.

#11 In gap-system/gap-docker-base;

· olexandr-konovalov opened on Jun 5, 2018