Sha256: 7f845780032eb17465657767adefd6b9cb2007f5ec33b6dc284f7a8a46868c21

Contents?: true

Size: 642 Bytes

Versions: 0

Compression:

Stored size: 642 Bytes

Contents

x[o0+4eMvM\$(I#2!$4:^0rښ&qpMG{񂓴Yҗj;HA'8&[#[=TvUPHY85:Vuc35zW u9}H
ѾKx[AzH’F"X$UUO*|-0c=cEprW5j#x&P-*u|Bqe2H#HÅ47~#rMFqJ=:t.9\s"ԉbP(P=qoެBghO4*pvgU=g9t:B(((jEs.9_ǜ$0Ɖd3BF(*BuJ ro
I`6TWHW)ffH2!dfoƭ3-|4e-gɰe{.DWгl[n+no"l~]ql(w@]H-4H6wǜˌƙdi;KR+J\?g<L'_Ub'~ݫUwUsXnffE`$W7*[G

Quick Spec version

refinements-4.3.0