petscdmplexceed.h

126.00 B -rw-r--r--

RPM 74745

File

Name: /usr/include/petsc64/finclude/petscdmplexceed.h
Digest (sha256): b8c3962ca936d6a47e1bfb8d6f1f4cc667f1920a7922f753eb1704c27002d93e
Size: 126.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