Information for file /usr/src/debug/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/tools/spgen/source/user_input.ml
Name | /usr/src/debug/coccinelle-1.1.1-24.20230624git0afff7f.fc40.riscv64/tools/spgen/source/user_input.ml |
---|---|
Digest (sha256) | c20bac5a467aecceb747c8871dbd4691676c65558a342d82018b78ecfdecafbe |
Size | 9.13 KB |
Modification time | Sat, 24 Jun 2023 08:55:15 UTC |
User | root |
Group | root |
Mode | -rw-r--r-- |
Flags | |
RPM | coccinelle-debugsource-1.1.1-24.20230624git0afff7f.fc40.riscv64.rpm |