Thu, 05 Dec 2024 00:22:43 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.99710-3.fc33.riscv64.rpm