From 9b42256a9a493db4203eada2889873930d9a9c20 Mon Sep 17 00:00:00 2001 From: Galfour Date: Mon, 13 May 2019 15:10:11 +0000 Subject: [PATCH] update repository --- index.tar.gz | Bin 9717 -> 9725 bytes .../tezos-protocol-alpha.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 428dae367e934af4905961b9c696e65b1bea3d91..d85d9b8ee58b3efa2b863d269fdfa586f9dd53a2 100644 GIT binary patch delta 8812 zcmX|mcRZEv|Gz!6DzR;JaTD5V1e)}qEaz0Yf7+pQ( z{43*ujsg|Ucj|W>#`{+!@TC1oh7DPa3R>X|uIe9ZqO$UEDxzt?sK@IV?xNL-lo8Gd z2N76Coz(KL5v|r8m=ZC{D^uSfveW0?hu}0wT}`c5d)Zn!pJCHL_Q6%2wuP<_x|Lv9 zqSsKU2lRx!3IW?!WS!oA&QAW1Pns0F)nVEPJDN;-(of>!h zD>2^wq8jUwI>F_xBJ z_cI(K2gQ2)DvK`L2nD!QF^|`fl>V&k`B&EnM?F+cRPRa!qZr&P1v%N=zD{T>F00$P zI5cM?VOBXiKP0^G%vPh@Q^AfFnh@QU5I*`P9ygA?3mTWnLLvJS6@8{-*H8&B@^>ri zHPL-IRG#UDE034|&Zx95>7-9(FX>Q*ay`n}mFm@4=X#&XPE4bC+ePkp_omH@Y0Ejv zoN|P^LU$A9CyK6mox}v33ebV724YBJovKyz>OYcXk6R=vStc2W*}4DS;8Jyt%G%A3 zspefRKaM6MqKs=E#?EhCv=R<=1OcyK(i z=>E{Ihg@06&tGB4lg@G)&j^n^HF1kXj`GmkaK$4 zJK&!K#mGNKu6k0ov$s-efd1=cjEt;?)t~*H0`q$S)7b=lLQoGLVC8)To4~ySXXp_7 zuc6aL1-zZtpdx;`6-73lRkzk5Ik_-6K|Q5D)5sItrB=-0yN(YmJ;NS&P0ViC+~_-} zkM%kkWR_rw%FC}_aq5Rc1(N=rm@H0m-4WD(W#^}2JNiXQ?&O(=VpBvV;%pG`Z4_r6 z6>qC_@EWVHS2pw$QSV=*gP0uG`h1ddK;YIQB7v82w>@LSY%uw+%1`j}Mjqk1smjTa z*a7LSEq8ql4~_(1^i{?*c62Z@Mlijg!w`G^$7j1ynH&S}bv$&*mct*B6x&{URx(ZV z&%%tc(ZE&2zw>3YC7&6-`6$R#1$zJfAyK~((yzDhL)lfAxvr{3Lb&6?Y$zyh+*h^; zGzpxO>82k`ikf+f+k8rSvSdmV45a$_h zv67%`LyLgN3_9Hqey1Val{{m+&Z2K!YS4Glm?UOCOSt?q$^W|G(`Uo0%eeci?w-eG zx*Pqk-}EuHn9&yrV5P`Atn>$x_$lP*Ugm;I4gvR1eK6Q! z0ovLg?;2BCdy|so&{mrddt9HF0S6C9XwOS$oYJvFi z016{xi<$S(>SxuIDPL3@$X0Dslsh@xgm(+>v4`xlQ$4FF@JGxhvY$iw*LvTeQRL|M za-=MxbhG}DbNfwW+?&0*9vo6OHl@klb9aYTr6wA}d%a687vPt2%)tEmEYLt|h{&sN zCF|WGtl4}83pR$SX|LwE`mXzQXk1qKCU{85pIz52^6BwY^_Cb?qB^_Axlf$h z2^s4@k#*mUQ~5n`ZKDD4-1sq6-{mN}{2la7>j)SmQ^^uZ(}lV{LpJiZ@B$4rdd5Z<4u{om$TZ>2!|_)rBG~(Gpbl zD&SNqEd?PyyNacx2vT2s3!e52g@ZQ*gA{I2%}4^)ZFFixke6WmqHYe!Ze9|UyTC1N zUYTN8t$y*e%L)Ic2E{#S&*E96!)fgUUws2RRo|N4=c>G2Bbsen`rjl=weNg_q?_Wu zT{+}D_tdBIP*A3dohhMoCV z-86XEza0Xf^mkKge3VOU)5!n!BZP{SPYnu9^2sN*(QD=nW}@s^%H0Dv2xv2mTx@QC2U9@s=K6NmmPuQ?t@H& z1;>i{?k}84iqa3Jcao&SC8CRRNB)fW^(fEJW*EBRZ)RV0OV$o894xQhOZ_^;{=Bj$ zLjK?Q!}RG_Q(X7#D(&P_Vk7FY&nN5)>?qiaOqW&{4Iy6%YPwH5XuEd_z&JW`ZK~2% zP5dSTR4VWR(>$Iv^_)m7VpEhe52>%8Q zf+(itPBG4;yR8Gg{j`HH3nQS!xkmxvcASJ~9l&0I@mQSS1|+M8x6NT109Je@9NaDN zfGCJY+J|H4OlQb!S?=Gd;U^7z=g_~ezM*zRGYI8G2kvhA#-6)#x_We)kH>d);%xKy z2fv89H@c8O-^=Okbd#;7PO)GG=E~Z#uGm{*wV`n#@oGZtp9&gYN=7F}{U9=k;~sHI zg!-l}tcum?PRd}mypONn%A9{`oMluHdkDpSd6FnUoOsh?KB!UuII|TVsIKNmt~KEP z##3Xbkp&>ffQD#VY#&Q&yoeN7h9n2F$>OhRIkwQwJEX-&akQj-ZS^_KaL6q`n%h53 zQs@GIFnRivUH29~Z0es6AKA0`X)rCV!eJu2tfn>mX{qF&SJ~uSZ_OB??Qkz^ZD=3Y z(|dVsx3Q8DivQ5{@zMGz?c-wgQm5S+Ju)&sgc8+Wcc`^`+xn=6u^Oygx{IPP znw`*u>*I^rQGIlbVm$uJ^TJ3y9!Bs`OtJ^ovhb&E1AbB1ooQj*>_0$d(=gqos>QMh z3%=*DM_(~oJ2YOi*U7J=ff1-}8EV}J2Z}!^>MI@o^zaDuSCfoVOtJ;k#nbY@Obv{) ze}^RdHOWdQ3s;(v%^0F2mBdnT80F>(1n~QbmhqtS?;sSjQjm(vrO+3Lbtahe1{F6! zVZS{Q%SSCViyU{21$7D(0m269aR(UrETK8QF~?3?TVoP3DDXgK%c*0<8y~fJTivBS zcL!=vj#nHqm0aJ44)Ve}SSI9v7TNT_xvz?Y{}z3A92_G#)%nJNV_o2@E?X3;cSL4- z&{Pl5H8U>ZgB}PWowMpozqPf-m03RdYMgEVATvEX=#hztY6maBGV#SyIsnR2K4v#0 zQhZ-uAvvjTl8d#~_dF^k=aG;VEl~>o>phFewvyNZO594iY!Ue6%n5RI)weJ*#A-tE zLfzrka1XlQrH=71YpwKpDZ)BR<4|B!@uyA$QIsvv%B~{+-uV$f$!-tN`-e5!EV@R1 zwp;CSS-$kC3KK6ys}>AAZj%g;yC=0>P3M2^{inL4py=+8dn5A;G0=J2RQi!XuF+np z?J@$h`tHTUgfxe#$BEUuij>&8=BgN-+xB}(#~Kvu<=Tc=pUu8+brtAX9j>3a=N-~s zkS3F?gd{b-N}3g`3aF8}`OQox&(*A~v7Fnp+_vYn^hVxnvgKH9#P(YAxkE0q?aemw z?KNu|$ZE*ea1d2|CKIwC4@kD<7Ns~QqAce9+V50t&X*S-LsL_SCmXXX(wTZ#DU zpQ83ke#D{5b-Ht-!HqAE*E(~xf6%9v^g6kMLl*M;jrCiaLMMMjzUJdv*9d31mhm^n z-Dr1)`>M^275-fFt=t)H?TOCwx9(GzE`mgrK>7pG?%q==j!)Pfa8yr-LJ!5C{TM(N zohynDd=PM#qI76CPsg446N>z#MXKhHtp%b@U))e$0+(tC9?2C~ znjz@Cf;zBEv}UjjXL%KdmNLZtK9;yz%8);mCfx*-Zg;mJP`z8=Z6xy+;+j|qgkRq6 ziq}p);Mhi<8_XsfzamL0z#6Hy9a@TW({VLq!7|AL_?b5eRQ%;(?tg zMOn%lVW`~3Rmc<6{|7C*C)!ye?+1epaKed?in~`AkfEh z@Du7(eVBg86y*wCY%pv+R_yMXIl;UY{|^z9Hj1HiU%ra$Gvf7#pKibV;Xu_}#ARi^ z`q25Zrq_@Ljir6m%GHjs@|Kzl2BhsFfqe5s@d?!%%lbu(A4)<(N&m1|lT&>?v$w5J zysdNLG<67`T*K7|Z=DRe(Wczdk{`2f-=|;4)Bf}&Vqe1#vaXicSZn`4g07zNKJ4#l zW?kVNX_1cptk^E3nY{Q$9;}qr;2Z?)A_2B9n^Mk=AH_^4#52OH9g`(MDUTw_5kBe88u#PP0wq(l{l!}zW@27cm^tM|zqj0EH8z(tVaF!J!vzGWf0r++9g zYc1}1n8uZUz0xM1`NmE?lMU>SXj9oFJF(D4bpxNfC$vY_^EbRy@qs`$w%q;0(jev% zmyfu-)n-mK8kAev1#-nv&rnZh{fHPmfUv{T>7ZD5Zgr~KJDnq+2+LJ!qEw<7aesS; z6O7XBW$gJe@f^|F1__zd7|!Ul{m|z`clexB?RNaX6eb zpE%XlTpwX$EZ(5wArjVbA4l!KpYRBY+{zCoP6!=d5#ti4mf|v!BW^hem zl(JX=RyHZfiBe$*J~aFms&_XmG+vpIHo^F8ovJky33-vB)I*Llpxn86AH&VOifXLG zkg)9GG;r?0Hij~!IK@;WzW^qZUnqVHkrB@DM=6H*{mJ3jC90m=_NONM-=C9You56nA-uXN?!@w8(T4e!Z zQYxDZ<=_Y84Zey^xdT0UA3ks|_Y?UavaBIgKeigAVvBDzCmXf#M!Zhy^8jl=LNHNJES)cr(n(jfxs;8O#sQMLyORa5_zS7JB zgHsRF)GX6g>xR+fCt3)1ZNQMSv*;^n+-LlOTEAXQNGCbB4b3H0t=z=i^9u2=*i>5U z#(_$+ng94PnaM?)yT^FTwI;lw(+9r;(;Dm$<(Cxvg@SH6X^xO9e#hhWn}eP122qR^ zC#E%afb%V&6??ck<$gOAV5vYce{Tt9mjuO4dcNtZ5x3`L(e{{WTGS$^M(T!dsiEYURv>hG!J zHamJs3nXa$BnBT+7@5PHVZ3x@J3yyAsvt9t>?h8^rruR>0Xm;}m*|&pbT?E`0H!4B4odVa+(81zz zn|}d1XHrc*h&&Keo&fo^48Kv)XUCwE%CssUqxS$Q9T$_X3VtT-hQ1JHh zCYr^IB+=TC#2jyqfNB@(|cI%U3INZ{|wL`OtsYv^P7yDnt#)I{RXC$^m zva*!|QoqwF^bN{bg;q(W^%PBB4)C7Oz|jV?c3AS89YyW!GImN!2D z#VK)y!-j-=u>py5k74!>vpOIv)>%x-qc>!%D&=}Pd20^B#Icj|b=8}3UBaziwy|}g z!T4>byV*F|_E3Mp!zB;~H%Klnwx@iY}pI)Dy0jz*7epHAi?~&1SdT z8k4LZSSOo?zL4C`FAYJHBognNuTwV2sT@cSsW`TFhb0?Y%ITkZQaHV9@DAA&Or9%> z*09W#eC-^m{TvR9%zxIeIsTrpJ7FLN31va%I5nMN|H`XzSDVdbOo+O6eVB5Nq$# zV;flSJtM>~b>02rru9FH{S`NvstK;vwHfWa?1rck!W8(rUNg^}ee@L@l44J`qa!F%6LS=@cg@(ltUMF8Rl7GcX3D9Kqq@S>{WxLz}&P z^)+SMTmyV`(&A}bjJ{@+m=0Q0DcnCyqR%6dp6R_9A~}#Xw5twQz6M0ZZ!R+L3taf6 z=J`j@tM&hKv~llOtAbB%-%cC$UWBZYS@At`#d2@`wu_5Vs|+DQUDl&9A~jzN0cHN*bY;cWuY zj}BawlVJ#c32xvPR*i+Aqg^EsHfDbn(Ej<&xn|}yp+6ghU${z}0$G>%#~UqtRH8?a zZxgZ)`!|mAW3yBG!36n;d5N(iT2hDL#xbq_UVT$a`pT;3?zg0Y2UU8&aI;L(vHwz zvZC$R7rsi}SQMWeT z*urC4jifvOnGQaslq=9K!*cyM1^*)GEpXyH;?V($Qx@nXf-W-60qRXbH3d?$QwSXMuC@%}0k z6RqJ23jb;zN*ZMOK>x1b+ZMvC7F7VJA8uEsfk|#CF@`_?(##`b#yf`x9j5PW()nKl zseahi*tUvLo(RU2W1zwaU>vI#3sRj8!{|Q7k%XM?vA-s;SOr*(Gcm5IPL;g9QP()C za--KHQZF0YFP%#cx&CW!a6>lw+!?GBF6^;qP@vft>c`$nuHEYgUVbKJ|Jp{<#HUaC ztx~@;Hg>dX#FXfhUe{)<01k>>p++-Y9+9lDLmYAd3$xBp=+VG8dU!ygg;GuqgZm*5 zib!(o-@#`S1Q2B82`AkY#RSTxIB+`t#+u#M4ZUYFWtf8~P`_vz*S~ddwoc;yNu!KFDU)Mtg%JPR&lu9Mc-l)=h z#sTAqEtL3j31s(g$Smv<394c{Kpd$b<8*rX#6JDnK?*W5!0FN?A->ij$x~o{+w;IBXTq)lj;$H+$e~AN zWGByQPGA;HaoWZ`Cvb?ryAAeDhRH9^V1FM_1p~- z0K>u{hMR2^^(T0J3)S|5fH>NPfey$h4Go-Bj^qf#EL8gk5}RgHL!IUG$~tMH&8y*a z-LHes*`{OOt$69c8t=n0eUU_h)ydGgkkn<5@?}iFhzQ)0$UYLv-YysuBLq;i;yvok z*g(#eQw5O+#rFWVR0P17O#rWKe$@3CLsY|4lh4N$TL1p3Q53nje65FP*RH0v+pcbt zXA(L)If}c`kv3sGilFN?Yj%jHrhf2BOpS#g-=HG3d0vy7ioP7#h6RUzk zW~{f7E1WP=!Z1HV!p3!XLXY0D9iX5$kA4G2Yb5;vT1mO%xyQH^4Ndvl$VHL(60swgvv(;dkbLY@)<4X_)wZ4tcR0^z#3==luV( zz4WlDAE29l2%UIm1G=T*9A)s}5W(;T(7-+@mJhsGg`B<-&zeKMdHiXG9-i`Mp#dBk z;#py(bptaYhRwS#qE`T|+m?{+E7n_7=l=~K_%Dh<_BFjAjzJ@Aw9nJ4lf0XIb?(tULbT|^!zhRiVn>)IP zZa%uCs&FJ;0dFur8x9m*NerWMsG({P7qUfK`w^m=Pe^WZeOlRX!OuSEj&R6pX<=|e zFrjCHyZ7du%Us;8RRv=oU3U|axdgEh3ruMnxtbT4xnYa3oiLRTI0(kEfopP)?#zQH z;a~`E0Exq98}2bVC8RY&=f!@2-~w&xZnVh36O`#@!hi-YDfJ0+c1-fe2J?>()E=tL zzxwwT7%sk_6a{ZphM;@7)I3p$0e(xIoa}ln}I20kx3~uoe|vo2vJH z$qciuTRl9NST9BWC^2){LfdJR43mr8rVk@AHu}hn1J6f1@6o}|%=p-6oJzaT@?pY6H z`-B#R+|Ow)`p~D-ZLgBlzFDsIF)DS_^{98r6v6&fgVQbeRSg9_sX9=u2{!=-%Y;D& zcl0V0d`^OQ*Pb#ccobapGZE35tWe;Q{z*OZvmqqYFuLZ+LK}>@n}eUTHTG}k3scko zdX}8}tMrv4Zc9AtqG=7M1Y1*s<<2awIm8Ojd1qN9=GH2g%j2I3tA4$}acR2i9V~sl zTppk9-M4h{G40Sc=e#gA7#6c({k;$Mw1EHdhQ#=nFHlv_kdB2h{+L9bj4k*cqDzQl% ziwkubl5D=9Lr6~kW_^Ep+CW?W6qPE^O}-GShWJ)d^V=l?3Ke4vOf+242A2ag)3=2F zFfoKsxP{C%_62p_QU&iT8>%~`x`dy}_vgoY$tMx(+LsEJ38G>JYjWccFSlk}=0s;^4_y7ii2&B4UWx>&d;0z4rKM zki&?wPIVwh>;#R&%#R+YAcrV6} z0(QG<=}6qwQ;%nxHI|)a{LCu>H2H!H^84HUz&Z!)Xy=PKoX0ie3(zi4#F9lHFR{ zGpX~ox-sege&1uH{ZX?DBK{b3>HNE*#!gB6Pv7z^9fkct4Y#%=v#kqCk=;=yI^n~p zGL)*IpO2$qMzf2BCLs;JCEr|Gp*EXQab<^_$I5F@%EC^UsHj+uJ@S>$Mgw52bPcnhRqqMQ>Y7KaL2M2q7}!I3Z6m!4 z5~^aXhei9XK%#H#AQKo)Zx|-JJMr!tyu9ILe2uS`lbwTy&&aHDU+XNZ=dT{wjAjdV z!NI}#_LW2XuMjcZ#_#1`q2Op>NBrc_`$-CkDqPdgFEZ?2{?0?_G{kluFfVI zyQ`A=z2-L!wmBP6FHBTC-`mXNFc6^LoD8Y+CG$ESI#iwBLi6{Dz`e;a8kV_oI)OE# z@%T~d4`X&c4IdkYiTKBKLZ97w`(BqVKJeBNNyrEwLvMzt2@y8dZbc`4U0|y8+qX{i z?4kSdx=69;^K(aDy{O_kWv7|MvAw#d0v@(Jmvd;$N5=)2rp~(Iz#u^-L!wrsb|Yn) z%DKJK^@pRcGEmwUqpSmLPv4NMjiarb+evm0@>W8~_iw%+)0wz+gE?1{-B36!jJ~kA z1tP_v(}enq1oaBoRmSI~0QQ04)3?IGED~;k+)r-Rd_1k(;NZREDCVu8_&R0UqUJ*W zkHX^h+_)NAD6MSgscJ9-fSYD%`bQ!d6q>%<6oVKGW&+;#$5C9+xS02YS#5gPFa?X4 zBV`PGE7h7F`yg<+j`{m&`fADoWx5RPSTzoTyE*zt9v%6g~?3y7~^)YrerOJS~1v-Wj&HG`r95QvLZsoEwaO{?}IN zuNX&}$OA9*g!G-G~9$u3p31Uz)OHjtSG>z+b06`JSsJV=r-0gcGn>11nI_kIvzWp`F5d3CqJ+2sj(0C zor8}1{j$)~KH6w5M5VT9TV7H;JW%5O+k`t*>}(%qh-NGAw6q;yum~nJ^q5Zs3lw;a zfB$B+xYm97O=B?!e}%+(Q`>V;m5ApnWt`52`~MeZc$DScYiF2sKjGcNIg&vCWm3zbAGWLT;%vk>R~SjJM~@ z{QK-Q`g7>fFZCezM(r-g*G~S11yX+EAOe!))RnC@13wbH_Ovsd?HL)n)z3#w?MjGS$I zonz@+AJS$@xkT4Oz54_Xnb;iq9WO`iHh6Z28yFoB3BK(MPnFC-@)N6A$xFwyaHtk zOci2rT-$tIZ!UlG5w?p`SP)#}#>cWxcC%U=`f#MU{b|UxqjDg?@nbOrMpB?ww3LY)Q2-mDE<;OO%FVdHr`clMm!iR@#Tz-wQXU z7xQ3lZxpC|A$uldsSR&r=(y@UZ_DGp(fOgmU${G`;ub%ye__}xK*z{|?&rwN)wFGA zXt02}0G06jXf&cp1Gmkbk3bckQ7}CQE)S zc*ykz6!t{!qBJ5yNpop6WOLSigUGNg5ThCXHbk1$)d^Zxe?oU|_RDT3;}rriHYkBl z0SN0;eagn^_8r8EtCO%Sk;_ov#a33uF)){=j2uk#7to$rKe1s+0CNdD^^j=40t8|S zl+r5(U0-qHJE_}m7L_dCBpEE9|3y)5KpoqCL)G86x+Upi%&3#=n-eO#&sfKud#fAV zv~zF_Pj9&T{Vwn&TC=F7hmDw-OlyiHn4uf%w9dsozI)H&Mp9GT^_ig11jnzhSkcuw z9^NeG=hsq*zDg&3MD*R8gz-ZCnn6(OK-JB(#hdvGo3#Xi*I^}xfOq$9qc>q;vo*wS z9n}wR3qB_o8ke;^NAQVZ2YtrA8)j*F9IZwswNfJGow-3=R4Y)Syf|B+O{Ho} z^IduPf)Y~@@#&_zJ_E3p`)dlC-1xu z2_vC6tvl0q8AjH@;4Txs~XSzvr z($g&XoyZo?IBJ|2bS8w=Q%xPpe;o@{X7MQs6j!WCgR}s{wKIepxa32FaNYvfKIng1 zMz(uH!MK5Ou4sYGxc~#nCs=+8avWggTisQS`f!OCCiXO*7ZbSHY53mcwVBm zN(&EM&btpAXP-N&e0XLP1C=}{CnKLevxTu5(zJ(Ky>wImKz(wr!0nvOePRmPlw|B- zPTt>a#?P~jQ3ti|4t*SA#9l{{-!F5`@)O9B$7)MtM*2kAmQ<3a6%@sS%=l?@@>ELq zA8Q%>pwdZy*2HY;@j>AtEO=6(ed4?>!!@Ns(HT)k_bm;GO{Rm&vG&#SESsMR zDeRm-XDz;?%;j5~=^+=;G=DVO%zyFH5%)0*uCi3CMcS(y`c@ST*1L- zvbYwsJsD|wifD0@A-#}ZmTta_`iGX+%h!JpdUq!v^e(yb_v(T7_!;smalieE;7{Jz z6r8w2>4ycZF>@F0Q?PxKRnH&o@;0o*X7%I=)BVMAEIo#jGBeTOv^-5J7Nd~(>NJtk zJMk%_3NwAHORe+S+&PPk<(@>ZDpFG7S4K&watQA;&xmj9MQOb`?t@XM{n)vwQ7PmP zMdnE7c`+Ck`}VlDf2hmA+ zExIBKxXCi^R44Rj(bxOp}h(?;7M0>Vg=7+CG`XAtLQf>_rLrG9UD_qQ;yo2*9069018jm?779UC}7XlijaiY_JaTdL6 z)}7PSJRv*wFLVy$U*Aw44asAc+C2KO2Z*cA zUm7{)xIkSm+X6{Yw}7OZHegCeNua*372>5P;T+_C!osot0O8|OAgtB-@&M8noW)J? zO6vxNUB3)*5(KTnjTIETR>SsNxADzU%S7<_T@GqKFG@jc{jq2-iMJ~5o7bi(S&lnP z(E&v%S=P97-g;&D(ciOz!G4R;cZ=H+R(XYXa{o}@8B#;T+ho~$$F|G9C#7oSt#UQp z=fwCN?MPbITt)Rt$GEL;*P4-mC|)jD_!^veu%GnnY5-&09m;LP;?_`*F~Xos)2I~S8)oqypV1M+OH_S1@w(& z^$0TafSoYv%C+za4DBKJy?vfqxtC$x)~wf3V}C4u?T#i*ia$yv#MeV}Y-kX1|BoL9 zw1ak92N&aq;GLHNpMaIaKjj_2i}oNhR^JDW2(9H14j|jN@@Mx{jTh(K<-TRwRSWQE z8R&mCEOO!XTl-?zf3!tE8s+R zq<5qehKQzn1wJsQn@}Gr>-Xiy>*;#?v&mN6e}4pNi^P{q@-O?KlnFE3RHi7%=a!n? z^np_jKllA}Bbk{V$;{zqixR`C=v52%v$Fe?YqRwTXLr8z4QoOmr|z1sWc_^+6m23?dKru}}Qfaaug2j#cWbJ``3sOx<@FtwW}Z2g7pXN0yN^yI6}cOV}<# zopQ+X<*^m4ASiDh#SB0+unO*QKekhydi7m%(44+Y_%t92{;~HTpI*)KS@#-7E7T*NW%)Y*_t+d^8o^w}BqUG0i4!qI0r>AhzV!U94M{Z1hZ{WMn77%+`Oy{#jE0sTW1xvU&E!mi-1cT&d~RGQm+Sie=CI03h>?jYN`?X%}j=v{m#`RwA?n# z#Vzc-6k)l&Dr-+68w&k(;GvQvJTKfEl55Tqn|-Ti0{<%6l!q8*+Z?++D3-#P7sxv< zUgI3jzP2ST8Xh&A^-Kwh33RH}A(X`qb8=mYRn3>>TMB--+nP-0;AA+w7@%Xez#L4V@& z>O^~K5E`aFzChBd2q)pSf5!?bKE5}ZJY2g}j{98%92@s=CwE3I`wQ}5EcFylTdohjvjiUcSHoCZ z5|n?V_5kzl87f5W;yHEu%$m}YreDEjJWgH-V)_Pu4Jm3=12?vC3!N7OxDY^>Ng!Nz<)D6-uGN2T1cwFK+I z3P$0;#z2;gRnTWfy^OuVx`K|PL1edUu@Q`J14WuaB;)*3A?g?Fa97&f>@u~2+~bPY zPS7a^cz!;F9^P0dOhJq!yR`JvL?GJ#6-}N~LpESk-^)Y1L%$USecZrRG|xanIH1do zghh%ltCdB2m`3ujavxdX%?ZVsdCsoKQl}D@9Ji;v$#Nqu*UM^t9^FrHuDcMo&U&C` z(7kj;=P?!6e0z!{dMvqP#>gf8iqdB15@j8&b;*gsmm9~-g*gwOXKX=|$9~2*UfEYq zE4S&m{P0qlSp+xazVI|d>hN~|$^c{Guj%L0#n+@HjT2R)l5M@luNPK7yBczj)daWw%^{tg(!~e*wAwQe zC~sSjkcO9j?%`NYtXKvF8BF0yXg7%3a=+j?Uhr`k-rs;MwdfFxKR51Z!!)5-s%eg{ z3*3+u?RHFkjIKEywCz)NH!Z?Jax_1F+si{)y(NBBWU7=L zj7XB7DQaAnlt{Eg)f9cJNmi|@oYS;%VO)5g@+o!Y!Y|4L^Y3~Bfx5+87k(fqfT+iI z;N7YO9k{|M{o5sWnh%&SFR_VRoT4{ z|BXsi^)Hi5#av2k<`Rdbun;V!{l}#gv(}CJWf1LslteX;3V7Lh|Vha{jIX34+k@SXqj=#ZQ|MB;NYY1fatIJbdtze^IG9D+$u} z%pq%a(x08g8IkQ8-97(F302bIWj~@^$j`#P&z`2)YxBFWq|G-Z8U3@M<$gTjnk;YQ zQF%sCUxWu^k81Nk$)=bE!kx7|GnibxGzvjUOJVJ zr-0u7hNc|8pA8Ufd4EqLK=?OVC4U|NVVI25&>nD9K$~9w* z`F4l2sl{0L%#^w->yps&z;=p6baI_dg9sX(Z^$nXnc!mMoMBN%!ngp*?%(ci54JBVy;_EjrHZt zt0+FHOEq@7@8A1$yx%KLzkFDAG`V{HKETD)_zWrP(Cj0BgNUL6W*0CS`}gen0?E!q zXc`#ioIBEqqC`!i`@Sh1CAOlFQ&7few92+fHTtP}kf z^cu8qXVeOUx2yl<$3`v8D7D{w2a(=O6gan5mFu@Xw|bJ%v&t$wwS^zHAE_(FWs15@ zp^NWay(IFeYae@T3y~t-Fz?FU<8CecScV@mGEVd%`)7Eh;l>YwoS$H>Gk{7*TYxKyWu&la>Z>`?G(-|KT+TvfJU z>&UM}DxDM+DtlGtUTVX!>9CV!aefb!F{vI~H1%mU7Tky-Rt@OBPtz-V`zI?Qolu^6;2 zGd2lF?E7z(zasgMC1XxCzDlS+{+a%DIe&^vsZcCBC5hq*VheI$>h2B7!uOyfRgKOS zQU-5RXc6}K&kSr)AW?<2I$2Ae3mFg0Q6e!(*BlUl3INCc8i}h7%u$m&Kj5gU9hzR2 zi?<(t)?~p~n1TXdsqCK%eRd>i8Le`BMykN{G~$>Fh;UBJg0A8SoTs@;F?Fg_T9=^( zB>!_YG80UoDq@593xb7A7!hBS+X8ib6;yw5M=LnCT$D~T@MTF&iE~)!?t7OZU7<08 z6K~$^;B|p++)?*NdmX>s(S}cI)0z0Waz}Of@2a&$0~GRA+!Z!^r0)UkUz+v&#wYu> z?xRkNtZu6rf1N!9q2R%1MpvXXCa#epSiFXDRleycWDQ{*uOb_IUw{*OoC$CmiGe8U z4V*)NE7aO>gAdo&hRxKm{U;ASQqII%-tXT_oH-}BTg{^S8za^clBbgfmVBeMC+az2 z^x(@4MBtR+zWZ@8B81=AZ$+|<*8c*Yomq<}#zgF+gwm7W<4oWyTcfdqgsh zR9+@NQ1)UUrw174>#)`ZE@!~{LG`IZeW;(`U~a%06EULf78&*{`Br} zaQj`bdT{-DGyaO=3DnCUOArAvfQbpf?4OiJ{OyW=f~=D34`48u1xIk{RRH?a$frl) zfi9fR1hQ}3T?A^Mf8cJ<_oy*}K2PX)#@#{|1f;kc$D!yNvj zsCRf(*b%|lTutF2%aMKT!sZsxrQ1Xo_NbGjQs2?=JfG`;Xau_Y&TG&A%zw7fbyh&) zcUsK~n<}xePM^{&9FzGO#wdTp-yu62krk8$X^7zDKVhQvY(?QSlIP_uy+BNX^0HL% zF86>m__hd?F8@oM&H+mqT@#;!1;(ty(IwY+n%^_HD}`=on%n!m2&Pw1@YCf8{y8dG zZ3<6AA1|Kn-m_RWym58Vq)Y?5cAQmLjLq0AJo4q_P@i0_?%#Ic^iy@)po{q9X&+JP8O3w21X zHOzIeN*fuM)ZkB~smZ#Lq4Ak>Rr2Jp9|N|OkT~v+|{=?>qH;ocMIRsUmX^d#?DrgL#SluY?g%cZ+Ne1$WI; zHO|2)HI@N(>m`PpxzJwoeHUTMx(Wl0pNE)%wPXK#z7xm4OtT*T`R5b8;(I_p`r-hi zEjJ3Yp8cohBlf^scI2LOCk}D)!YoW#^c-1=-Pe~}mretw?^LvEKRwBk-z|8={JuEJ zDGrS8`4B;&#} zQFOWyW-{-0&JDqrjE6}+rR0wY(Gt))Dxb#@Dn$eJ%H(Zf9G})BT-poQ zI!2@+K4-Y%6e<5k?=rD5EELAE1102K40F}sC257Ytm)fv0%t1*SNcM-MnkPyCXXqy zam8L0b{hwPzV&hg zl9$wygfASsLok1C3aunqhGxa7{~u`ktp`5 GDE<#vd5Zi1 diff --git a/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam b/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam index 8e91c1c8a..756db9f04 100644 --- a/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam +++ b/packages/tezos-protocol-alpha/tezos-protocol-alpha.dev/opam @@ -21,7 +21,7 @@ depends: [ build: [ [ "%{tezos-protocol-compiler:lib}%/replace" "%{tezos-protocol-compiler:lib}%/dune_protocol.template" - "dune" "alpha" ] + "src/proto_alpha/lib_protocol/dune" "alpha" ] [ "dune" "build" "-p" name "-j" jobs ] [ "mv" "src/proto_alpha/lib_protocol/tezos-protocol-alpha.install" "." ] ] diff --git a/repo b/repo index 50465ccc1..cd357f7e7 100644 --- a/repo +++ b/repo @@ -1,3 +1,3 @@ opam-version: "2.0" archive-mirrors: "cache" -stamp: "053eea26" +stamp: "79ad1b08" diff --git a/urls.txt b/urls.txt index 6f3b42b2a..7b798464b 100644 --- a/urls.txt +++ b/urls.txt @@ -1 +1 @@ -repo 86a784de043ea15e6f711276d7561e8b 420 +repo 874fff1bec58b57c0270f0e324dd938d 420