From a989886f7fa27ea06c7134ed800929e0ab3f0a34 Mon Sep 17 00:00:00 2001 From: Galfour Date: Mon, 13 May 2019 15:22:13 +0000 Subject: [PATCH] update repository --- index.tar.gz | Bin 9727 -> 9732 bytes .../tezos-protocol-demo.dev/opam | 2 +- repo | 2 +- urls.txt | 2 +- 4 files changed, 3 insertions(+), 3 deletions(-) diff --git a/index.tar.gz b/index.tar.gz index cfaf8cd2826209198bf458080e47444f1f5d8dcc..6012fc2ec0db79a33470b011a85196ff4ae899ea 100644 GIT binary patch literal 9732 zcmZ{qXH-*N7p*~%B25uNYEZ!j0!oz@niMGkQITdqdJ}x5w}>dcBcP&2KmkRHfPl0h zy-1S|Lg>BMBqV3wgWnzZ-~E-blQGW8*;#w8`OFnWGy~P==n)Glnzi>UNn_0^Efl{G znb8Hd$>Ry33a)9>Nx~cL?W5nX{-k{0t z3)LPS4sqS5u2otKd;JJAE;zPSkYQ?tIm6=wg!alxx>Z?LAKXu)cy&y!x+kpt5Kp+c z7395~I0iT!sw5(Ds!WgOn{KVTUH7vr2h-1aFn)h~9ymou=W{jRB(gbtYC^TTATjOU z=EOGdCsS)X=|W>cp-?0zuE$;@4r}9HrQ$C3IO&=}o28a_P1}y=LFe4u;lYNhuZ;!XO#DcPci@z_pcgk4vrh%}kae)m^u2~M(OU3jf+c?sJSt9%uI7o66y&}Y= zIq_YFD{(abBU}vE*zseUL)LtvJ@lm$;YQDt|Lj{KW^DR4ddo4IOhKRXcaNL;s-dfx zc25Nnh5fmcOR^sd6kLdz2q&^cO)Q{9{S&+@M&?Y-t# zvfdA0)k5jSJ-!x|N9gQmr5?F0zMagsG0eFus#|I3dW*F}XoITdZ#({icQ0$rVmz0- z*l@s=i323thQ}|SHoRS>%I=_G;e=Svm~G94`?kD~-P@Ke=g~=dwd{KW)_MX(m(QE$ z=PuzbY!6>sQe(vaJgh#xH8NqbTEY+{Sd~x`=^hzd-lfKuU%e|@wFmC|O$X4Lzb-D@c}S4*57T`_4C*i;tcjkeJ@6bq^7Y(S)c zidOEqXWL|bkHuoe(ad#kz*+>mT6=Jd_l?L*(JA4@Q94A(*_Mby3T}U5%5~}1Qf#>p zq9;|6Ij1TtX9uf}W1l=khcpl40tV#nzx#~|vm0d{M!ysq#w47fr(jrHFkx;FCV_FL zGQhS@PqMt5X0csiL(CU=%$|v+y|&Yc$`p=sZxD?v?^nI_pi`ML8a2)mmnr;{%f0RM zy0ZxRvQYRW%D7A*zol?09_4DFk{>kcp&p|LR|rUKO_s;JmPwSSk_!cTeJ?gJXO@dGPq#|1PjQoTi~!p(AiuQ& zBR2J+Gq}ozF}yVMB=XGFkV2>R!Q2f&sHPR76za3vpQSvTS!Gokv3-55@bTjIDJEP# z+d0(8inbH7)^~5_&x0jhIxQqJCp4X4g2=h~vohoRqcURNx5{4~2MThPB7fa!y;$Fs z%ji+~N5h^}?455cyJegA`vT$we`eRlo$9}SL$jfzxiphBj2~qO-HU&ybjd+Ek};m9 z@yCJ2x$jwA30e_KuR05Ax`tcAnjONG$v-O;j9kXI*W&&%?y)@6QD~$<2Z2~`&zCv( zIB5+QkYh!4AWNfWpR2U<+^;2aPVx{ejc@Hhq>$Vym|1fl=KTGy1keqelQgd+H^;88 zk183OBNErRTR-QRuFq@^y`1eG_BxAB@p)dP{>*3?WqJ=_3-HH>78t4CbYa5go&l{$ zxx*5Soz^qGdF1#FuSulvaw)EnA>kbK)O^3(tK~RkoUu-b59M6_ko%K1`o5dpAGdhs z7PI3Y#NA_SD5)Qr!O2G?gAK9I_H86x` z@jvOHnciQOT+)>8nRF1lpvClLG4gwE6;p@Y$|K>M^{;X{#3nygGKccdpPrih3ee$S zhnbOsqs~`(~82o!EIl z-$oOUm&ZK#i4#|yJ8M`dXTvQ5CBNiPFqY=J-Dwr~@|PK!NJ<$EDf0F^c`=BW`LxBB zLZoAI9+q%%RI#1}S-sx>{rMHMubw4JjacKsZN;d}e=0$hR5H0*%Q)FCLqV+|=-?V&V2*revkno$|f_7-)4-RawLam)3GFioW zQM}I+y1;Z2d&mOz|ZTUvk<3_-U)Oi9NB`39@{s^bV6H z*Ti)x!Zn%xaa&0gr*cBjywr~sQz5BRBO;WfQNXB2slvPtta?jwz2%tZ=1G z4XykkxKHAC^0T)e_&dHDrj!Hn9VklJ1Ov|V+k)Rjyg?Kjg+e%~@`)t=x$ z2jaNY{l#D++cNH}Q9Q-`+Errr^P>(l0y#_~`+k^{9aJC(VP`qAbJ=5RZ0!xwB`Rf= zLVUwEL1*W0tQSA0_p7Z`N$JL`xjNDZ2s~hRoXd#0Z(=Q#51c89-A^J# zpO!TFzDsNQCr_g?J(Bs9Uwl!$+!EvxGkW{8g`NK6+T8Q@rdIh}iR0Dh#iOx3#^PBA zey02RoPN6K8GJ62Yn7bPEqhEuov!-+4ZRw{%W)j`V-og-6YB*@D;F))d+YbY-npFf_&=&>UKYW4T zYY*5B8eK7%Tp}+xW;5ZzRViD{lN~7(tQwLmyz`i=y^Q;aHAaDHWS%tW`=h@JuJ&Gr z^6nVY?6eQJp(|sMnu1mmknU?322Q7tK?XYW!6}m4-J;$D zdxZK3WJH=Az*5OhuL@&EE{b3sC*7A~sy#23We$L=nhMvQlEB_1n zGmTrjPjT-HA#XVMOM(&?o{1+eW_q6)pLKhX2gky$`>!{(2`HJSb)dLaKb!t}+jrAD z9-8{w(7bl|#%mZC`rDT6Y}*DJ^HWLFT~$xQ~OqIP#hdh2@HoeV?-%W8Y4Uo zj^8yL6-9fxWFDklK4D`vbaEhyi-n7QS=l6{cv~xhSl-_&(u&Y|+?6Yp{`7Jc-RrRf zDv?unQz0jPr=b3Z_N;AOFXF5aG6E>diX5xoCNurNo(S^^{N2- zs|l0-sgoLZf=fh1^zMzx6L$@1$rd{P&Gr$t@zQb>Wrr;aF7Y-iM0gYjx~23YfZ_QN zN}frMRxrog-b7xj7;~XUEDh8?hxSpOyzRFDlF&rwWJ8N1`*qiq+7jh99 zKVRnA3d&ZTiq+ysUb3V{ zMG!H^+o|ZU&Z%@!KfqqB_~iaYo3@n2k!R~X4pkYuOYs|nA6S}WRj1R^CMx=)M3*M4?;u^21YfT0%%Jc{bvqUDXk9;3+vNgP ziNzlVSQ#y?ccawTtrGm))J=HfKs-_#$_ zmk50wm9e{VAqQJZBkW1B(OmOdGe}^U$yCp=K z;P%|Og+|GF96t6Xn0~~mzU=PRHP&WOk~!x|%*``k8gCWvI_AB^&q(%pxV3|MVE3Nh z5H!#MEPLb{8eNe_LS+9_eDRBu(=><`v$bS2KGTnJW^q^qftf zOvbM9^s!ByJt;7`_C*mkP8OZdiQu+W7ZfBCPV}e*-7siauM3A+n@4$84kz8#M%yH6tVhJ zwps1!V|^|KH|i7O{dK*&ZvfvOhJOO& zC~(dmQ6`l4MxbZo6g?;ZcyIdMMHc zT(|Ze_7EYUt56xTk?eVPX#WK3Yk&@*voehmZBUT!OLBSee^JKPZpTF#KN%IU3nvU_ z!R?28;HL!8{ok2?4NSv{Sm&cNzX^Wk6VRQ{$l^!MG1j)JE+mHt+WiGQMUq`Vr@O9b>*Wv0#0dnX5!~{69Y8 zuzy;$oqLI-l&?U5frH8*rF1xcPpdA_;cftgk{+K_-T_XAKsA=Mihq136?9X9LY~ed z+%6dtcO;NwN8L^W6c#JWQO)U5eXBp`5y)$=qvs*Ul|S#m;GG)b!m-4AJ)_8m?$JBi z*O!pN*sErrFeNh*W4|z71~Pg|HVMxb1%{OT|RDr=aPZF)5DOl+T0U$F4U8%|t*&`tKlR$Casq?kGO{qv&U28JR+{ zy*a!rWMc85B8$p5fH1v)=}R}>m#Twpl>AX7az2CNQfT*^4i3&LXH+0AX&yUp+JT03 z8@sf=vKOeLYlu8+{<;s zkh+7KfdCnq&9sLd$Zddb&tTl5JAhs=Os%lGJRx7IuTEl&zFOjyeW-Qzv`2fd4RoJfX2bUBRhK+d&^b4*8`v(n|FtU$YFZ6iMsIpOEtVZ}!&; zb?tGR0>-?TTXdF}xJe-vI~Xy#`ZyOwg39X>+YTAC8^spkyxYCKa_HTR+_5~w{ggJE zwhT3KF_UDa=oCAzN%g!cM-AHqZzI*o?K)Y4$uBxmyBuHjv2ja*7i|*X1gyT(C7?ve z-=3~q^OKwntFq;*RouT5^i4k1IOGly4@7T}&&7bsO-iAL+TqYcd>^6EMU`C69$O6j zS};y!$YAnNZwPpmOHbh8){ry!W;FDVs7~yTeja8kR7X(WuX4-&~M*JCLdANk4HH5sDB8x_+@GH@tc&yvc%Yf;OjeVK(p_sD;K@3%@I&F_BopTQdRfIrIB?k}=iE#H zMv?wx+C-%^WJ+TZMJ7sRK8*{6TbZvi!pQKJK=zWa6Lq)M+i)BUY9?#MG zL*8o2L%8ejLhQG!^&~mYlk?*H9!@A7dj2a zMDFv493`_pOlpOPbCOmjtvhPZ?$?YDwgkj*00G9b&5c^t$Y$cYc%A zvC}WcBv{KIz8Ef>;}}tx|MW>LZ?3EABBEa$S6yj4(T1z>ujSoc+hZI3kF{o6$tZ$j zmwNkrLqK!?h*$YvKSZ8W7Pd-!T^UxqmDYgp*b{_Qj#rSZXXBDcPw( z2;t@LxYDzmFeF%}mmvMfzhDbIGlPp($YS-dQ7?69@Ho+0N zt2-6Ctc4rfOBJ=XS^2?JBF<{gX+=?|Q2HI+T)5tLi!WO#Y7-XDTOJGy|QQ5+C zxHXp+@tt#YTqrsBu-}k$u4aZw-NITU!S@Ts&`O)P24Wj2)cWaECJ_}>mPvH=daGZXibJ7nYp&|2qe1(_N(d*C%CgfM#& z?HChq*M>qXX@yK|~FH`+1G+F1fB)R0_5MlyyI zy1hiZplntMDa|7dnP&@Av%iwx4tRI(ro^;}=bV?@1-{Y^MJvfSo&hCZuiv8CVpYJp zdW*tgn8jKP-jdx|<3qPH&DURROD$$BhRIdd{~UL8l0KrWR+PHD!iKFU(ErBDGNE2z z>-7BN0)QmMemS=VIXE`g3?lpR z>CtX0#FCeP-c40~ZH;u$IYqp8D+p=2uKEZk(%V30oH?Og{DO#!E6?R%eK!T3TAqcK zgvKiECWvr912g#s(7CCf8A#f&I^HqiUVKpb#+k%b>46w(pVuN+&U>G`MeN4pJj z;ovPz26Cw+laX+g((NpD5_HU6q}G}w-uM-9nTJtHI(lBa!T5f_X@K$^t2+rb}$K9tOTf)dN zu+9LHuq!KKNDB2`OaMRJdDEWG48Ca16}g7$iJzLk7{64H@=dq(>A+S?HBpl$I+UU= zFUsqdE$;DKKX>{(9Tji=C_`>vN?-i6kK7PvaTD-zh6h2T3sU5D?PvA0bNSG2VL0 zkb0l%(UEO{kej3{t)TkX^^1XH4^N$Z?N*-3==Y*C^F^;qe4Jdlcb;st_ll0e_}Yt@ zWGXg?oG(duZR{WIKEvqB>zf8qLINQ14aI%%--h?+c0+5~exhczP_m8xA)S z@L2b;J~HF6m+8@@mf1M`$kzYBeRN}`?wUl>Ph+Jv`G3Pp$mOg6 z)#k36AVHQ#>3jYHB~L3a!Ys|@ZSkkFC<~Ltrr3AA$K2Dg!W%;q+|@3x$csTw2F7%r z6|Na47C{bsRjU6kKlTz1-~Yv_S7~5x-cV)*<*;{_0b05vC7+^TvX2w71CAAtduJpq z?d68!msxjD9&S}OAZZI!LgFPXaZCkVEw=?kd0ALxYar#qudjvD69 zOipi{hRthu7GtSoPziFtB{7_=Ou^J)ocmocs_Ewe7DhwOl2!2$;4lVPY-lw+bUSAR zEvTP4p$##&VGk>xhrinYnOgczm&(#YbZ+2k(=>J8ITJkx3QB%sSAf{vp8@5u?~S5+ zyzfJj(qrE}NtD8+BkhB)8UUMNze5H1SX}MRCE;$JJmw4R{Q&J=FhY;oa{pEI^1_X1 zteJ9okf%}jvGuA$jv;tL%+n|Po9j7piLZ~?EiDCyByc%R{7~0}am8T_p2ob=eoF~> z?a>1qHg^CY(>Bat2;lXaSKIKv%dMxF$5!^8RC?B+H{WfGrs?F)FvqJ3@o{^5Nz_Fw zu;YOwTB57swZ|UW;TSxB)IK~YP@(}hVN7AyDFKY|ScnLiTV$-sCXxO`l!Kd{j7O|e+_gmlqo#-dIQfxZAOf6hgiZS zv(G=kBxfUMg%Rel2FXuVQS->{mj6P)-Q0L^B7tgHL3*|PQ~s)0=gLoV#pd!?eh1T} zQ_~SO9|tR0g6e~2FSu)l7YXB|TfG8IFSJ&?Te$zpQLI1|9*(rKy8LcnmMgZ0?fc)i zJX$+SLuTVC-xD}Beji9pPFHblZDC^ZoJrbniyKL$A;Os@9?EQ9`nQFz>1M(G%s2bk z#uu>ra)fh<@gL9NFC`15J(Z$n{4lwn%yCLr|GxnccuXfmGg|rLf^v%rKuy-=cYiRHi-dUR^gsEY-~2{LE$bSXj)kZQo@Ai?|GxAD QEduJl4ILk-2*;@Y55x literal 9727 zcmZ{qc{o)6ANK7_wutN|Nh(`~C^9NbNYbXVj5TD>zKmn3Y}vCUjHO6q4OvI2knH=u z@B2Q?%=tXW_xH#1$8$Y@xsK~HbB_7E@AvDz??Ht#P?Uxa8d6ZNrY^@0|A}uTd!=QD z7g)rNMh7X{B~HbPuK)czRD9v(mguKs+5jQeGsjf|CYsFSh0e9da1XE1F;GSPiEmAd znIoOB4dJKU@^3}y;VPRJfMfw(w^ z@pVPVHdbxqe{m9*=>~N@SX!xwc^$WjV!0KmSk@ONjU`npg$8t1P|!*tHb6GCu=GLH z2wb5s{92R5^6a>bw3L}+c=L1>nVY+Z&@vtQN6Wy_uJ&SEGo&D5OM0cWx1F<66pypx z<{neVYnF`4FW{^ zGn=?zd8aMe+v|JeMQ_xc{5fwNx_BWjzoAvC{ikPXy0$!_U(NaNyPA3Jm+TqbrE94oMN^$zch#AJ}`-m#OBp;Laa-U$%6*><*0^vc*ZCg*QknadWq_{3tJKnnWA7H#Qm z$DanimAmd&9UP2egiXp0?436^r|QsAUmisOpB19jA^XKt!2F50 zGO@NgJkFK7iwUc~5p2@OY9z*cxIRA){A(1_*^Hsa$JjE%-~(K=4JWjy-k2Gsmn^D0 zw%WA3O4+rRw=mH)8NO~+OnstPVbMnIshdQ#D5qvYt)JQo^;oclxpO|_U(w?gUIgWE))(a6OC)~?&uL|BpFl?(LiO-` zKMk=x?SxPY=oK7;3rs0M?mb3d9hZvdSo+O%wY_!7KK5e60=@xUVrs8w1}I(^H7O@v@n+y4iB!Tj{L$ODzrBDvb1uQj$$l(S&Zw(eheB-I*WXE znW!nVSz7P7^0whCw{W@iX&*}=uLld9ZhnbVvu)L99ebqlHC3dRWgG~D_m-|+-PXM0 znR2S2_Uy4x!7P8Jn=2W1?yGKplnbnDJQf;o;ngR~$|c9wno{qLQzm`8HL?!1?=Pz8 zdp@(gG2sfAvM`a*T0OSVkE*L@6jFif7SBrI&C(Tg3{5Z@sv)xs2NKYtOWQz>nN3;c z>IuBycERY0vR&T6v`|Cu0`8W4fJ|KGU843s3f?Jng(YO*VK{;2T51Cd)<4!lleLSULOwJd<;6E8(nU9a5J^0_-c{N^ z&hM5ZY;f>*cy&zdssA}Dx&^^Hk?7Rd6+*kgnakLfZhA%6R8fPSB?yOyyWkUt!$3*n zk3I&HTey+(-u^!7Zd-z5m*$v!8cOn4uGpW=bCE^xB9Gxe4c{}oWG|FOILG0d+?*Q%PY#E zzBrhnHYnAmboLXSCiz48h~*<8uCu$T(#>^-2~KNbrX-Z&&dRL#wk@YaH$!(mb79is zxy!M^R=%|Q=P3GP3cqIdjSP2GI5+*4j~iMFQVAbA`-yZv$I4|{a`3YtgKZ+cX;($V z#UEUFkuUMR0ksdWu&ybyyT@fj5^$EspAWRht=y$zxHFG#l+A!~94y0l+Xhdq6lGv* za}gA(iw!}XqO4mu^Q}D(9pt$<{s6%U<{1Cuj0)~bo~Jqkf_eJt2=&us@<0$xB>|_v z_%R#4tTT@;p*X;6ohbpE83MW!t^jAgR1ay%{)EMRsDkGqFM!i7r$#0WLqgS3pIXtq zJAg?z)b>`}<&#$b%k9qo$bT>=K*KsS?Rt%o`CraP>=lJSuLOPe88@yhj!yE#E;v#r zvm2(#Tu9r0@+#_N#ufdOmF!`s``e4wW1=*Q#V?GjzWdd5YZe<6Yx^za1iD(=#hu;g zbbG?M=hb5#=kC7z#od0kM;+VPTXvhl?c-zw>GOWb<&3;dD45(+ly{ zHBG=$Oup9ya?o!9HZ{I)_*Y&N!mx~e8W3o8_6H9?Tfr4oY)f}l!mfS^Q_+1-Ss>-E zc~=!DpRCk5Y<z>#-z-;ZZk#bZ| ztfIr|f(g3vghS~n`}g(Gg@+|Vj&{Yvh0>fw2ejCKX4coJF`OS1NBpVB_eDs7nGI(Z z7}SDsOXroUM#?=uSa`f{Se>wsd(h*E3+_ycDoQaNWu2hvI;82<2R9zmBLhDF;$#na zkm;jEktvuE^(3tnf2$8U=N$`&(jAmE*ZfDU=%XWl(0^%9 z$#w@h?!_4oi~^9qG9{xYiGajs3DWG%k7U06WjZM2(<}!5`c6qeA`RHnZ=v5=r-Kil zw*)3o6XRG}{}as0Do{>XJ5cOvPmrfnGKc$V0gi8X0AKcejd{Zr?v~pCxt$io_9RN7 zDfF;iE2xqM{K%?!F$emp#8jr%r|*(h1sQ~He{sZQO4qiDV!H!ps}|_)CwMvw*?uX! zH?j`4G$>oSsxWX6T==5L9Q5(UldNu#(W1$AKxPBCI3x+nq{F2gasqyG1{MCg7+x}^ zKU>H0evy)2my(CMQSfU)%gVWdB$ei(?-ze;bY$Lik8GE9-jnGphQXx^ZcksuX(=`e zz@>u7M$Ql-R`i{lK^svM#gQ9tnMXGiMRdWD%SlqJAloJyWT;+0z)KP<2!(T1hnutE zxK43zn!`xJV(ns-aj^2C;#Jvyw`zzdbi9qszvUQR=<_(&?CA9P@cYeUsyZHKo4+H| zTtyRPM?*yR=59OQhc!7JVjDhOlw+Lrw2RO)`1CICOLHszqdyYb`MalICh7NBZl3U7 zvfNRY9TjurPmA8Xg71en&hhcis24{8s z2tHh*zt!xvoeT^OOM}%bpEpOgY1OxeU6(1Ti3*#)poQ+%Am)F6M^?r^XY&)0zv=e? zTFc_rttsDF?M<)za?!+kSdF(|_{7X!Dh%uiH5zqk5UC6NRg{{N%iDZkgrHyr{NQ zy+046NQE*WsW33kYRncFcCr9fL79(xngTR-DAS8kVr0IgHc*fk0CYpuhanT6amS!V z(t76$I;>-DEmoaq6)LI74Os>a7qy6_2M^^ z{yt8E=t+33|IPRTm;jHmn)lGR$YKq$2D>;zYJ%?T!#QA^9b5^zFZ&&)#Qq~+u$sd? zUHP&+%_IY#GM+kwO0EIUq1eiPP=u_i-D4N>u`T{nog{ibHynW+q7_B910c|e1%tQPI zvzfR9b$^Y|h*C zE(x38u94R>p=>}z%Y$Fx4IhCAr&z#M9(cZhtM&$crs)o+f@U%2-eX1)w!uc^}>$TYWxXqEEb z8kGAnQb+$JJiTOBSN!9yp00S*7oZNkO;HJqJ818aZ32(8Huq3N86OyPwsE#9a0Q=c zIX;?^o($0?0{d7u)(zY-okH;BT_UA^df?fK`3qe#HRMLR&#-mFN`3;06C-D%C zS8?LUsQ!&6e%Zvu(;KM|n@D1*JpYgiE$c}*j?fjz_nZ}-=OL-k+#l#is1JY{-XocD zO)UhUE02R5RWn#|jIyCeL%||$QitQYr(4kU%H0s?4lt}~g2~e5;)eliRh}+1(%G5+ z#$%WUtM2;cVV+ZSY6yzdtGQPhTjXP}@W|7JVvN0~?~9jw)Ckrj=kLDabpIEH#scPe z###yKSxdd#YC7jfzvoB&YFoG+JA!53nhW^WEJ)E|KPu|o4JJ&F&9^P@&D2&VJp_g4 zRPSQE-+P)0c3n#n)hqj?KxMs^!qEpAo!qa=cloygc=>jq$C=8+3jNmUAH3W6awZrf znrsT1l@#6s=7y4b@;4%5bn-pBDugZHM^E|AfeA5tzQ1K&S?hHy6NG-3uBh5xg2B;7eNh{t?sic3iH0 zcve_Cs&~9YjC;tsuOhO>W8mB&*~{;jN8hk1TF!1h)p%#Dp>F)Pv`uybXQ7G#w(K%@ z*VY}?Ta2%mlw~(J(Zh1tjz2F6E7cD_@IsD5Wist1(2{L~vHZaYPF0}&ia-&bL$d^u zMj z^tx2@@>?YwEnmsg*$nccoIaOnlR>R$@O)!~Hmf-udSZ0s;>|0sdYC$PqQoddkM%wR zwn64KOtb$eb?4Crva0)B5y^Day_GbVGh975;xqR0leJ-tw; zAw2=}zwv?u$3Twae*~!v=e-x|SZ5alB}A2r0xCo6InoZK_WR&Q4|IhEL8H?Fo5r&y>Ao3mTjV@tp53Uv2JQb-uYSbA!RNLF&SocdRU z6B|s;f8p2KF8_T>s216hk8xXmWJu~4bpF4a;_QR^gy9DfM$5T4he;N z`8*06vH&yK9<*i|Tl?*$^j3k9baVBcao=bBqPu~oY*)|G!^eD#-F&}O(xI{NeAXK>6imYO zUuMn=0Zswn;q8CWjxtYxZ|nMI4u8p|7jfg^W-j#GEG9n~7&rwVcba^C{Lf?I?8wN3 z9q*)pKt@xzyw6L?1+vb%?E?*7scxWz1$zHp-h0ZiK_wz9Bf&+!;;pR*3BEuf|lGfpJu-}&f6Oaa(}X{ zmBKhWGOFiuJG}bn?-JlWT8+GWiN>J4_(&i53A&+lQ{X~N5cR#g6ejVk0Y}M@S)fa$ zwG2vlVDNN7=SN3X6;llwvlN;nF*KZX!QdlQVJ>0j)3{wOUqCN)U)RcCq-OJ_1YdLg zXtV4SaO37_gx^JcZjr4-`RqZ!D%Jv#PyqwP&4?lh#(G&`3T-e?1XbBgWCRhOk-2Zv z`1y*OaLzDzL|ss^u}b(3s{buX%MiiP5pa?BxW7K^2K@mCh*H=Q#ef(+v7`snCI00^a!lmp&vNsk zA=hO!;iud$g?%#zAN8#EN`@)5q`kG|75h3#leA$P$`7LC->EVnZ#8r2=yX<)54g59 z5k1g#VL|jj=NpjVKpwrJ?Ab0rTnFFoCMH#ig6b0i-Z~>v=q0qwz5H zeKv4E4fsr;8+u%iyhS#75xxH&_-ueADMUfDSc&4TpiHs=mN_6>4I%dM*Cvi(TkEVu z)xW;?Ybet@_2)I(olg2ZjW)z&iB&A;bo%kf&T@?v#@cO52E4*G?Ry0p&p+ij(V?PS z?s~9TU?{ck-96JBqid|YA<5&S^F;Ek{KB>74z`(O;BqP2-EjH`{m&FpgYwSUnAvM1 z(G`(%2bpYY0s? zhHBJE=vDK@d?Ax!x@cW-Qa+MpcwL%#Q*9worxbY~n}03gLBRckaUdZ>68;B{Xj}Cr zv0rGsn^b6f1FqnRC;?vckWCrd5AN>_KmtyB0w0&E!rgqm{wQe->Fu$dp-%&Bg||@T zQ~}O8;W2V(!h@&gs$;bjU)S%&j!!VNt2Z;ez32MkBIfCNy6cMW7zDhcGOhb)XU%&1`?&6Na)A*PI5yf@#=`A*( z-co7DO>bciHPmZ2c)Q)$yC@>iDpWgaB-*dfT=?bY>)G+VbLXYZJ_H-oSf6^A&xlqUvikjLW&dC|Q~gufe73ad`|(c-#|w=L*hFprer{Nik_@*()#R5| z#a}P0n162J$Tl00kej&rm+`>pyN-yj#Mf=ns_-IYP?TpD;}JM|9^0p8OI>{O`y^|>bQ@i;~p)$ zfV;zZp^nGykNtmCG?xWlk6rs2;&eM{P2?nfD7cNGd0=q?QV8T>yRK;0uC^Yk8HrFwBxVO=U-D9}5sA2v>^kZ063B*>>Gw{akP|+3o zetzCghNRc0F0tPI$Yu?UKxOe>-uP$S}B8 zSTe_={1Ydp-cw8cXfwe zver(?>4k8 zdw>dbaEp@LpKg(6H<$cYt-1FqurI02{=~Um-hp&5eDE}BE^*eNbZC@>x&DlWix+=4 zp5wB7{LFxX*L}0*ml~(Oirw-)mG{B$-VOJ@o6l@EUW9o&eGK^W&gvnOJyd($RY#hQ z`Q#4pH1y8^-ltpP7_wl>pC2U;nnmCgE$bn8`xvGV2Q;uE9!VZVUaS_Mo;c`+qTcoO zH>q9riy);_zrvF4!s(Op~D*zkow& zt)5{JHHZq)W!>EEvtmEktx`mDzhUPJV0Y!^)W0QxGt*IqpWLTRa^t~-{$W#Tq|bLJ zOJls5kzPVZ5;05fZd-uqTUVX^ku>m9I>_RSC<4vS{>WW#?}8@O5}-xymTn0gs6aA{ zh4lq|&XW?_mjn5Wxto?|8=+?b-&9WY$^ntQJ*Hly>X4*AsyZB@&cBOy6o%mJ=e!A< zub=Z|(`_T%-3`YjIfVej#;Fy@B?SGm^tSPqPdQHA$d$o2e*PQ4i^&i#v_(yR#Ll0% z60TX{VGx{qu-n1Bv##t~Q{vdv>qi)(AikiXWmT-X35YUL%HfsRVM_ltmw1_Xi@^$tGaX zuO5k$^B9?TX&ru*UE>y)YCk9iS@b@x<%*uTJxzqUEg>|u(>$g`tL=P`QKfhDO zN|=%hrzJ1ErnVvgL+&~7&bkSn>h1PKh=n(sbsM}uA_R@?iR0jERogs>1xVN)oepCJ z@1=8`dPpT8#Ija>&1AaP;_LN=(XeO3Pw1nESn>0tsh_sXtSK^Ms`;^NW!4B5ndz3C zlc#Zt1iC>8S1lDm=8HY&>Um-GFoL&QvO}<#Dkb7xa<@sk^8pCiewGJW7t!CrT{oaM zoE}2MEc4U7<%RRV{I!Dz0l#rxP8`a|-1b2Y?hr2uD$o8ydcP?0F!_wt%cGW{;09om zLsC~>0c3nmV!(Tn+>yo4-T~N$SSX`qeZpx&rHa@!cIvnA;nH&BL}^^EJB$$#B#+HO za-Tt_>QU^byiY2eya`9~rJ6uC+xYC3M)01s2ce+=5~kn^qXJdCKBKx}j@rYH*V3b1 zMwir|C13Iy68Emv#|BY-XGULtG>vxC!hIqR=fjS!S`2l7>p!?38FPHtJrC&|MbI2> zh|a9be=&t^cY%xDXOORY9mbm_m#l4dqg3`Q`X{eMIPvmVoK;mfvhfP^W0sfqy2I`F zbNEcP0X*~RJZs0k@tU6MjsB-4YK7|zC+^sC>DREF;Qw8$+r4weIoKsNLvv(vd-UhG z^P^)W%ekb*3D` zP8u(vm!toewe=mgM>fwx*2yfpn0M9#fZiBQyNi=Y8WqQ3ek!Wc)iTQ)LX$7_ek_z} zSfv;Q_v(kUE}y?Uy87yE90i+xPHx!vZ8n>amY>xccs#|_INCu|J}hqw>jxc5zv!_7 zdtbaH6tHmONeX)8ix=3^FdIvdW;L$Snjh@XD|)j}XPij`}HreDd|;ul?jatGtjtss3*kn)W9u3p&F2 z<+5nUuAsHY3TtIN`_CP85~sd+L{ngfb55Ir_9c&?|6abF=>VlAYXVIU1?b)xc#N#n6BbPwXtOLS8BL;cRJ<|FQ;PDMVee=j| z^@57qH!0S~CDw82w7j(VTlq|b<}`YncKU4#qkcPdb_2%|@eNw*9#u2jx^ldH#)rMqLE82VZ=$nZzmJsMo;)bEMoR<+0KF`B&$=eJ;0}AG2Y&wsla`F`{YGz9^5V#&1wB@ zp>bwpo`(l83Vd%QI5wUkxVH0$0y)P5IPU8mvaD<#!rP^Qy7)o;KA4+^DnRAbafbizk91-Op#JJRT~0xuqWC`)8-L~i diff --git a/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam b/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam index ccf8ca4ef..613b4247b 100644 --- a/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam +++ b/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam @@ -15,7 +15,7 @@ depends: [ build: [ [ "%{tezos-protocol-compiler:lib}%/replace" "%{tezos-protocol-compiler:lib}%/dune_protocol.template" - "src/proto_alpha/lib_protocol/dune" "demo" ] + "src/proto_demo/lib_protocol/dune" "demo" ] [ "dune" "build" "-p" name "-j" jobs ] [ "mv" "src/proto_demo/lib_protocol/tezos-protocol-demo.install" "." ] ] diff --git a/repo b/repo index c9ab34c90..921af25bd 100644 --- a/repo +++ b/repo @@ -1,3 +1,3 @@ opam-version: "2.0" archive-mirrors: "cache" -stamp: "9b42256a" +stamp: "21e0a0b7" diff --git a/urls.txt b/urls.txt index d3495a030..65f5183cf 100644 --- a/urls.txt +++ b/urls.txt @@ -1 +1 @@ -repo f80beee3129ff358790dd677c5adfd5b 420 +repo 4b86fe5af5a121007a16578ba0f8cecb 420