Sha256: 758723430450439e8365aad573a1e4238308b2d5460ead08f6c975aadaa0940e

Contents?: true

Size: 502 Bytes

Versions: 0

Compression:

Stored size: 502 Bytes

Contents

xo0'TiڱVmB"pXUhK"q,&NcӰq{uV]WI$>jٳ轅qBسאY^ru7BϬsFc:	)a?ӟ=7UO1ҍdTHi"JrfюNj#LRYtfWNf=^*t 'u0DASopRÊ	z5M)0Y8AW7uαf'm		$.p
r<ӕ(G`SƻO2_9S3=22yI᧬T-I};U r㎩PG%W@spD2*QL$hoppk{i6%KJ
${Bá?'r榸'%	_JԷB

Quick Spec version

qed-2.9.1