Sha256: bd19941052b43b9a37de243a09650560b61e7c5d50f07586bcb8620e61b7263f

Contents?: true

Size: 679 Bytes

Versions: 0

Compression:

Stored size: 679 Bytes

Contents

x��UKo�@�r���F
���C���kQ�<�,n%�Cd�'���5��V��֟�����/$�$���}���<�q���}I��{YH�'f�imx���ձ��>B�5�a1$���:,��e"m���΅��[�y��H�1�=�>y�/
�?H�Y����<�60�"���A�ƚ���`�rn��@1��}V���w�=��{�5�][��Ժ�E�U_�ޮ�ҩ�S��6	:*�?@
I	��Q�I�Xo�<	"�-�a��ѡCW.�u6���FS6O5����yj8)
xn�+�|��5bV�L�z��q�CiQ������nٳ���Q��*�	�hТL�m�D��A��f)���+��S��Sc_B%���o�s�������F��Rj�ԛAU
�^90
5H������)��*��ŎP�/�R`W��$���c)6Y"���B��{	�j���T��=)��t1Pgʣw���\��_W������0N�b&�
#�8K�kn�V��ҧ����"<�8dbŇD��A�3�F�w�*W܎�4�R��퇇k#��RR\��k���ש'�E�?�i;[`�Qπ�8
K�����ٔ�&q۟-̬��C�8�2���^2�}�br��l��`�4����y@0σʼn^1��c�2�)�&��Z����ߖWe

Quick Spec version

refinements-7.14.0