Ubuntu
petsc package

  1. Bug #1854997
  2. Comment #1

Comment 1 for bug 1854997

Revision history for this message
Christophe Prud'homme (prudhomm-debian) wrote :

Also note that both 19.10 and 20.04 are affected

to reproduce:

docker run -it --rm ubuntu:20.04
apt-get update
apt-get install petsc-dev