Information for file cadical-2.0.0.tar.gz
| Name | cadical-2.0.0.tar.gz |
|---|---|
| Digest (sha256) | 9afe5f6439442d854e56fc1fac3244ce241dbb490735939def8fd03584f89331 |
| Size | 692.52 KB |
| Modification time | Tue, 18 Jun 2024 16:10:19 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | cadical-1:2.0.0-3.fc41.src.rpm |
