Sha256: c54a6d509c8134547b4b84c038b5095ec129c7d06ad479475cba427bd9e31944

Contents?: true

Size: 449 Bytes

Versions: 0

Compression:

Stored size: 449 Bytes

Contents

xj1Cxl1
E[xl
		C:Nnn([dF'}B%ӧd/RHZ*tuý:	,!5d3\;lI4y%S[KN4kpG%	{ݖ[3(J
m,-WP0M<;-؈[^f${kj9l^nR+PPpAuHVn1;U
0n:I	
/h;yK;]] :dOu#hϜi&E还`vn7P;s.$2dS2RzlY

@}
14IyB.uh
/.7Ԁ>+9w//-ZS~'Y͹Y+M}89tM/ӣY
_S

Quick Spec version

qed-2.7.0