boxing-characters.json

452.00 B -rw-r--r--

RPM 76134

File

Name: /usr/lib/python3.15/site-packages/mathics_scanner/data/boxing-characters.json
Digest (sha256): 468e78a3e723eb62661344e1fb6e9a04034b43fe1e4d8d0cb4fcb43196deebea
Size: 452.00 B
Modification time: Fri, 07 Aug 2026 00:00:00 UTC
Flags: none
RPM: python3-mathics-scanner-10.0.1-4.fc45.noarch.rpm