Information for file coq-8.20.0.tar.gz
| Name | coq-8.20.0.tar.gz |
|---|---|
| Digest (sha256) | b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914 |
| Size | 7.48 MB |
| Modification time | Wed, 25 Dec 2024 01:55:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | coq-8.20.0-1.fc42.src.rpm |
