| Name | jedi-init.el |
|---|---|
| Digest (sha256) | ac2a5caa3073ec2e633c7f1b556cee86d95e85883f25fdeb7d7fbf10a2e1dad4 |
| Size | 3.91 KB |
| Modification time | Thu, 16 Jan 2025 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | emacs-jedi-0.3.0-0.13.20210503gite942a0e.fc42.src.rpm |