Sat, 14 Dec 2024 04:34:15 UTC | login

Information for file /usr/include/CoCoA/ExternalLibs-MathSAT.H

Name/usr/include/CoCoA/ExternalLibs-MathSAT.H
Digest (sha256)121e6ab4facf5b97046de9d5646a12a311480bca03483125e42f2959ac57bc87
Size4.17 KB
Modification timeMon, 25 Jun 2018 10:09:24 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMcocoalib-devel-0.99700-1.fc33.riscv64.rpm