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