Issues

• Rebuild to fix apt update errors due to expired Let's Encrypt root certificate

  gap-system/gap-docker-base#30 · Filter by author zickgraf opened on Sep 30, 2021
  2

  

• Do not install suggested and recommended packages

  gap-system/gap-docker-base#29 · Filter by author olexandr-konovalov opened on Nov 16, 2020

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

  gap-system/gap-docker-base#28 · Filter by author fingolfin opened on Nov 5, 2020
  5

• Document somewhere who is allowed to push new builds of this

  gap-system/gap-docker-base#18 · Filter by author fingolfin opened on Sep 4, 2019
  1

• More setup for Jupyter

  gap-system/gap-docker-base#17 · Filter by author olexandr-konovalov opened on Aug 26, 2019

• Monitor version of flint

  gap-system/gap-docker-base#11 · Filter by author olexandr-konovalov opened on Jun 5, 2018
  8