Information for file coq-8.18.0.tar.gz
| Name | coq-8.18.0.tar.gz |
|---|---|
| Digest (sha256) | 00a18c796a6e154a1f1bac7e1aef9e14107e0295fa4e0a18f10cdea6fc2e840b |
| Size | 7.26 MB |
| Modification time | Tue, 12 Sep 2023 14:54:04 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | coq-8.18.0-10.fc41.src.rpm |
