Information for file /usr/include/CoCoA/ExternalLibs-MathSAT.H
| Name | /usr/include/CoCoA/ExternalLibs-MathSAT.H |
|---|---|
| Digest (sha256) | 32041c75e33dee0087ee0cd120c741e2775d2affb832980167c0491c6e500c2f |
| Size | 4.01 KB |
| Modification time | Mon, 28 May 2018 08:47:25 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | cocoalib-devel-0.99564-2.fc29.riscv64.rpm |
