Information for file /usr/share/licenses/cvc4-libs/COPYING
| Name | /usr/share/licenses/cvc4-libs/COPYING |
|---|---|
| Digest (sha256) | e36e9ab422f18555f6b8b58385e37b0b83380194d7ff4d8bf3486626787b6f33 |
| Size | 5.43 KB |
| Modification time | Fri, 19 Jun 2020 16:59:27 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags |
license |
| RPM | cvc4-libs-1.8-15.fc38.riscv64.rpm |
