Information for file /usr/src/debug/ocaml-dune-3.4.0-2.0.riscv64.fc37.riscv64/_build/default/bin/coq.ml
| Name | /usr/src/debug/ocaml-dune-3.4.0-2.0.riscv64.fc37.riscv64/_build/default/bin/coq.ml |
|---|---|
| Digest (sha256) | df35260fc5d1aa9240fcaf906707f1fa9e7e7baeca2e7f713bfd7a59ae01977a |
| Size | 284.00 B |
| Modification time | Sun, 09 Oct 2022 05:06:36 UTC |
| User | root |
| Group | root |
| Mode | -r--r--r-- |
| Flags | |
| RPM | ocaml-dune-debugsource-3.4.0-2.0.riscv64.fc37.riscv64.rpm |
