Package cannot be installed or updated
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
petsc (Debian) |
Fix Released
|
Unknown
|
|||
petsc (Ubuntu) |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
when installing libpetsc-
Setting up libpetsc3.
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
[Errno 2] No such file or directory: '/usr/share/
dpkg: error processing package libpetsc3.
installed libpetsc3.
Note that this bug has been reported on Debian as an RC bug:
https:/
Currently PETSc is unusable in Ubuntu 19.10 (and Debian unstable and testing )
Changed in petsc (Debian): | |
status: | Unknown → Fix Released |
Changed in petsc (Ubuntu): | |
status: | New → Fix Released |
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