Information for file /usr/share/vala/vapi/dino.vapi
| Name | /usr/share/vala/vapi/dino.vapi |
|---|---|
| Digest (sha256) | 9c2fefa1f6155c74c591ab1894d8f9da9de8ec9ab8675383daaa7a6a411129d6 |
| Size | 51.09 KB |
| Modification time | Sat, 21 Sep 2019 00:22:18 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | dino-devel-0.0-0.13.20190912.git.a96c801.fc31.riscv64.rpm |
