Information for file /usr/include/openmpi-riscv64/config_ipopt_default.h
| Name | /usr/include/openmpi-riscv64/config_ipopt_default.h |
|---|---|
| Digest (sha256) | 422747366cd351a5d6b0ac68decfefdfc9b70d855bc3aafe0cc718a49027e77f |
| Size | 721.00 B |
| Modification time | Sun, 16 Sep 2018 14:20:48 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | coin-or-Ipopt-openmpi-devel-3.12.11-2.fc30.riscv64.rpm |
