Information for file /usr/lib64/ocaml/Z3/z3.mli
| Name | /usr/lib64/ocaml/Z3/z3.mli |
|---|---|
| Digest (sha256) | 2658121bd382a4d5ff7921fe8b30e89805fb1bc05a2ac35d4b5e2b58662aa9cb |
| Size | 128.04 KB |
| Modification time | Mon, 18 Dec 2017 14:18:30 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | ocaml-z3-devel-4.6.0-2.fc29.riscv64.rpm |
