named-characters.json

213.68 KB -rw-r--r--

RPM 76134

File

Name: /usr/lib/python3.15/site-packages/mathics_scanner/data/named-characters.json
Digest (sha256): 71e49aec26a98ccb99b7689747e9bf7b332485be23a525cb32935968aec1d981
Size: 213.68 KB
Modification time: Fri, 07 Aug 2026 00:00:00 UTC
Flags: none
RPM: python3-mathics-scanner-10.0.1-4.fc45.noarch.rpm