Information for file cvc5.spec
| Name | cvc5.spec |
|---|---|
| Digest (sha256) | e7e5320328c1ce99b71cbb2cade4c27f927168b871cfe44e6da70e0fb75492d0 |
| Size | 9.13 KB |
| Modification time | Sat, 08 Jun 2024 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw------- |
| Flags | |
| RPM | cvc5-1.1.2-3.fc41.src.rpm |
