varisat-internal-prooftotal uncompressed bytes64.9 KBtotal files14Waste by ExtensionVersions0.2.2Total35.3 KB total in 7 filesWaste in all versions0 B wasted in 0 files0.2.1Total29.6 KB total in 7 filesWaste in all versions0 B wasted in 0 files