Information for file gappalib-coq-1.5.3.tar.gz
| Name | gappalib-coq-1.5.3.tar.gz |
|---|---|
| Digest (sha256) | 0d602986e39d1bbf70d9e65fcb59ca40dc425a7b00198a814090b64a9f13f051 |
| Size | 80.09 KB |
| Modification time | Fri, 31 Mar 2023 22:11:57 UTC |
| User | mockbuild |
| Group | mock |
| Mode | -rw-rw-r-- |
| Flags | |
| RPM | gappalib-coq-1.5.3-7.fc40.src.rpm |
