Fri, 29 Nov 2024 17:56:10 UTC | login

Information for file /usr/share/man/man1/ipopt.1.gz

Name/usr/share/man/man1/ipopt.1.gz
Digest (sha256)e930457dced9800f7ce2a88eb1881fd77e0bcacbdcdab7118fd219b34cc5d392
Size401.00 B
Modification timeSun, 29 Nov 2020 19:31:52 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags documentation
RPMcoin-or-Ipopt-3.13.0-7.fc33.riscv64.rpm