emacs_commands.ml

3.10 KB -rw-r--r--

RPM 72345

File

Name: /usr/src/debug/prooftree-0.14-13.fc45.riscv64/emacs_commands.ml
Digest (sha256): 9c391db035a22bb3e43f30627a84c66b6ccd9b82a80075332fa49bd38ca74535
Size: 3.10 KB
Modification time: Fri, 23 Feb 2024 13:27:19 UTC
Flags: none
RPM: prooftree-debugsource-0.14-13.fc45.riscv64.rpm