Sha256: 680657dd200053c1e1aae3ea81400e6c738078f65d673477b746a4b59d02a7a9

Contents?: true

Size: 426 Bytes

Versions: 0

Compression:

Stored size: 426 Bytes

Contents

x]k0C)BРlPҰAh1nvn|1T$G-^t&]}9ڎ<=

wB-G89#d,"Ӄ

Lɘ|&g3!axz]e pUz9€~<^plwߴyC
T& 5~/~0PpEۧ~!)IseExkr;͢/GcrΒ+~dxgpWTGO8{y۶XՁ%BjpǒRKn5kڱnvZL+EM
-O+j:p-(
꾀EͲl%„iBމZUoA}7
yK%,5t8lTT-MW0=J<gL

Quick Spec version

qed-2.5.1