Sha256: 6dfc7c7da91baf362d18f44279673c2e4e9633c9d3e8655f8bd86bb53c72a9d0

Contents?: true

Size: 507 Bytes

Versions: 0

Compression:

Stored size: 507 Bytes

Contents

x_k0VI	euA'Xf/y|+$OSܗ>k)PMwt2
iǜQÕ|^{>n>6>X.Wggy%:Sct.GZsț:Oh&Y-ͬ>+!P% Tbx:E	)<3(
*3rX5q?
A4sǞ}ilW?sf
pG弯ȋϐ@Cܑ)3 jhuo|J*DiDɫ&,m⦳މ
;
a%4|;wc8w
 `A_CYXE=BZDmCk5-Z-{]wwG,<7['49*݀W;$@/eS"cBF# X+i61&#>Q\zV7xbzr"

Quick Spec version

ktheory-juicer-1.0.0.ktheory1