Information for file /usr/include/openmpi-riscv64/config_ipopt_default.h
Name | /usr/include/openmpi-riscv64/config_ipopt_default.h |
---|---|
Digest (sha256) | bcc04d0e01013a604c8b80a2905d9b26b25b005ebee92b909d9e801dbadbbf0e |
Size | 1.07 KB |
Modification time | Thu, 18 Jan 2024 03:56:59 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | coin-or-Ipopt-openmpi-devel-3.14.14-1.fc40.riscv64.rpm |