Information for file /usr/lib/python3.12/site-packages/pygments-stubs/lexers/lean.pyi
| Name | /usr/lib/python3.12/site-packages/pygments-stubs/lexers/lean.pyi |
|---|---|
| Digest (sha256) | 0262f1521d855f7f2ad01ee7b2543bcffd25b60b77e54850292e522c389bef69 |
| Size | 116.00 B |
| Modification time | Mon, 01 Jan 2024 00:00:00 UTC |
| User | root |
| Group | root |
| Mode | -rw-r--r-- |
| Flags | |
| RPM | python3-types-pygments-2.17.0.0-1.fc40.noarch.rpm |
