Wed, 11 Nov 2026 10:30:24 UTC Log in

/usr/include/petsc64

0.00 B drwxr-xr-x

RPM 74745

File

Name: /usr/include/petsc64
Digest (sha256)
Size: 0.00 B
Modification time: Fri, 11 Sep 2026 00:00:00 UTC
Flags: none
RPM: petsc64-devel-0:3.25.5-3.fc45.riscv64.rpm