Information for file gappalib-coq-1.5.4.tar.gz
| Name | gappalib-coq-1.5.4.tar.gz |
|---|---|
| Digest (sha256) | 05708c69dd428345db5a2093c4dff46ad317e17370c61cfd9f9b007e83957a67 |
| Size | 80.13 KB |
| Modification time | Sat, 16 Dec 2023 20:47:54 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | gappalib-coq-1.5.4-3.fc40.src.rpm |
