Information for file /usr/lib64/ocaml/coq-gappa/gappatac.cmxs
| Name | /usr/lib64/ocaml/coq-gappa/gappatac.cmxs |
|---|---|
| Digest (sha256) | a1597c3fdc2c5ace989b623c5b34d37b4600a6bf7b5675d9059ca54ee2ef17c9 |
| Size | 204.83 KB |
| Modification time | Wed, 24 Jan 2024 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rwxr-xr-x |
| Flags | |
| RPM | gappalib-coq-1.5.4-3.fc40.riscv64.rpm |
