Wed, 15 Jan 2025 00:21:14 UTC | login

Information for file /usr/src/debug/why3-1.8.0-1.fc42.riscv64/plugins/coma/coma_syntax.ml

Name/usr/src/debug/why3-1.8.0-1.fc42.riscv64/plugins/coma/coma_syntax.ml
Digest (sha256)8be93a8d8ead0d8841f13a941be3e8bf6e8e6d236ced76be44c0f4040269932f
Size9.67 KB
Modification timeWed, 11 Dec 2024 13:21:37 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMwhy3-debugsource-1.8.0-1.fc42.riscv64.rpm