Sat, 09 Nov 2024 15:53:03 UTC | login

Information for file /usr/src/debug/prooftree-0.14-4.fc41.riscv64/ext_dialog.ml

Name/usr/src/debug/prooftree-0.14-4.fc41.riscv64/ext_dialog.ml
Digest (sha256)5fcb8cd5973f5abab75ee915526f6102f64f78ade117ca58c289081378933326
Size23.49 KB
Modification timeFri, 23 Feb 2024 13:27:19 UTC
Userroot
Grouproot
Mode-rw-r--r--
Flags
RPMprooftree-debugsource-0.14-4.fc41.riscv64.rpm