Information for file cvc5.spec
| Name | cvc5.spec |
|---|---|
| Digest (sha256) | 8a5ef6f0a94e5dbb644e403dd76d040057f1f9b2dcdd952f035b777159fbb45a |
| Size | 8.89 KB |
| Modification time | Thu, 14 Mar 2024 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw------- |
| Flags | |
| RPM | cvc5-1.1.2-1.fc40.src.rpm |
