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