Information for file cadical-shared.patch
| Name | cadical-shared.patch |
|---|---|
| Digest (sha256) | 325eb088b2886def151b65982dfbcead774eb7cc82662e4449b98640373f2608 |
| Size | 1.88 KB |
| Modification time | Sat, 15 Aug 2020 12:51:23 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | cadical-1:1.3.0-1.fc33.src.rpm |
