Sha256: e57c5b2594ad85f348ce5229a6fc2475723ad016dcc6b8ed900cff0a102cedaf

Contents?: true

Size: 448 Bytes

Versions: 0

Compression:

Stored size: 448 Bytes

Contents

xn1ƣJ6DU	TMh+Vh@@he;ٵ7CxŃ
"Co> !K1˕ܻ.<99ڒ@Ϥ]Ghɑgǟ.yMɪņrl̗Mԩ5(܉99Hvջ99
v7M*x@
25!ywtͽ2Q\kP30!alȡvQB|^2@~H{5}qIoeK5;W݉T+Upͷy"J0٦*Kј9.U)qVXWq^NmX!gC14K$AKk*t'e>sEE(pXkVnZCz?K;9

Quick Spec version

qed-2.0.0