From 21e0a0b7c4aea05acc5fddc9b7536faae18017c7 Mon Sep 17 00:00:00 2001 From: Galfour Date: Mon, 13 May 2019 15:13:55 +0000 Subject: [PATCH] update repository --- index.tar.gz | Bin 9725 -> 9727 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 d85d9b8ee58b3efa2b863d269fdfa586f9dd53a2..cfaf8cd2826209198bf458080e47444f1f5d8dcc 100644 GIT binary patch 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 literal 9725 zcmZ{KcRW>p{J%YmP&StkWfmgq3Xvjdka?4pY-MvVDUwY_iE9*6cJ{bNR?;QoX3y-+ z<>KD^{vDt1@B91j_t$-#`^UNWyx;HFa~@a}1I56b5laf{^^Enzv5w?$QebgTRI!~> zy)gY$yw%&=Ddm#RxY&mYN$`t9QVe?@LZK8)Gl03Gpl`^bXW!EdKIoo>%$N1$QL~~ zVDWLiRg}yr{pLLvS6OxYy!Qk-iuoDwpQpC%XK9%#YwpE)_{RiJxNr%H$TQ~pPkgNX zbv4#K(d9t;h~Av2mCoi5_yfmi0|GshTs&`WsFbf7X6Dzs%gVxo2&IKS7)#4<2kG|V z1EM{?l|@%=1pS?>7{_XeO5^MMe$_QX5sy_9)Vor^2nP37K~^TGuX8&#v)iZynY|f5 ztDKb|9NKq&yV3Q9Kt~Hzu+C~QH|-LKE9?GcjjJTV-~;jReWs(g5b>|`_bTf((S0~X zuIc4#&sP4;sI)F=r%h!oX_E(Y+{;;%>eZO%dSA*+Oe473h3|Xyrp}9M$vQ~$IH0P<-sTi4zY6H0!`pyffMQoyWG&}tODN8 zYfv12y&FL?npL;fCOSIPIih;Xyr<#k*vqUKL-!mWS$c##@|>96v@z(rsE76B3^a?k zMC9gIuR8W4`4az~n=DCm*%i=xYwN4>WaO)oEa&;hqEp98$FqUJr%{Y~M69jS-gC6R zURmE)SiOId2F2j8-shc|4Fa|oVewq_d+q6)W&=t8RDOXs2DyaWrYfAlF@L1Cx83wK z+*#v&&^PE)ST9JeM@*d-zFVmOAW>-kH5y#9J7|sW&!LB0b6>SnTWbIxCl7R z_!~m+H-x&7W}a*?=~X{kcU$1a%b~RuoXMJ-$64v_M!(y4yiF}; z^o0GH$#V9q{Q*Q?GAXi`v7nNb&+Uz8w>eO6Jl}xcesLgt+-$m5`YV}xn!&w+|G-;A zI+k`aU8)#Ng=^HdbcIO`P%GFHab7JTUngUKF~w+`>CPg&SK;J3X$?Lgsr&;K-m{B# z>pO%sqZUnJ;9&>-QaWRBXlmfAEuyG$^e*SRa!+D(){QmVZ{8Se2_JQBk5`SUjGb}m z3bNJa(>`0_3Si}6MfSXL;`l-xB2U077!t^)*)qpUTt<8xnJp+@JP09SOBnaj>KD|M z$zN3)NLFnWZ1!|+8=T5@ z<&LnB)pD`WsrsqrWxRC88<{%$?|1zLu9Z}THG+&yM}wE-qa)gDJNgEG{6fXS7nmXi z8bj2y*0NoEHoQADt|}A@91-$oH*|`;dwf;B#0QlqF07w9IG)-K9_>GuX<~LpIRm(~ zQGqyi{3xRDY6MOGF8Ypj7zB+eB=N-QQV>^-v9XW?Mv+HE)akY`*1Nx(-8*ZX4>Vna zb*dbNQUx7qKfK;+tw?VDAT&1hmvZFE0*UMUGlHx2v|8M{k3gO zZS2f=3=>M!yg`4qPa8ht5|>M(KH(Z=ijSGRO7J_nJ}FrHz2+8nia1iBdfIHx*}eKW z-i|VdfjjGf5Uc6KIT>Mz*`k@}0+qxDC-=b&ojYyvujiZGd5*;8Y2>$-?=>2)!U$M+pjC z0=g(?czmp{M|plWUEdXdC+mi5k{0sIKt=6-%C|w5SCu_sa?4|n)281}u|2e{w3SVc z39HAxny@RdC1bBJ$geHx`-oH0}3dq#dvK%l6q*{9Hs$a#a2VXg93LltdaWhDEgxl%4|h;nP=#E z1NTMr-y82J9nf@w*^vQzTRt%t@AFrWOmlPitW8{K9{c1QHup{k#n<;{dMC|zyQxz& zNP)4kw!ACmu4pYXHaJdAusyG!;f+LOLd4HwIx*Z+HgTj+>cX06ozA2*X4~uR#@&ze zZ;Ubx3u2C9zdlcp8%nt2J|Ebqcb3r#4^-Fk!`B;d|KcdI)9?b2eUs|gw8Sok+Gr8Z zw}O)RlSLAXre@tnJM9t|pT<%X^R?9HFhjw2eW~vKGESxm_{remU4Gk3=%}fGK6H5B z;@8b-DHT>@nH9C`LwQT3%bw+v@4Ymm1b0F`t+fttJ-t`g_ZlndQE{KTK0n>KMML88 z_>)>#2xNCC))W2S2k^w;6MUnWiH_Gep$+gJL%XLLg$;C~x^Zym+VDG&;^m)(PfYJ( zma6Qjz?Zw-0S#sCZkVPoA-%Fowr8~mcnIZ>CT8gP2~DsWuCwb`Tdqrtk{%e%^#7}B z9}}&YTSyl2ylwH9l?evU)&$@qUAHoZ_IV#Kr;YFgK)wX+joU zCz<|t>l22K$j>wKcXsV?wM=X3<3cUXFQz*HB|G}ABP10M;(oigjoirZRa z%PpUOGs?1i^f4_f@Tsw|Y6lmu^6~4XGys$(z0C~7lYOGE5gk>xNF`e8`|gzz^KdKb zV@c?b_bkHON@M*$X%*UN5~!K@=R zj`&6te`z-yi<}Oyvi+X_@Y1laM7O(#$x)3Kla8V9lkN7{Odr}5g^4#JRSP%W?-BLS zx+S*VNaKCwHD29OQ1syE!{Pabs7p^$XomyXMtUW8$_b3>dsmL)Q|+goB~~;+3hQxYEZC~Z5w2MIh)by!q>4jR6p_1E4aNNRXRxtPHcReI4fG^Un6~|*i1Xu z#jL!sg59IyNl&!YX6|g`+d=H!kcQ+Pdx(`sqNciH;-?0uj+fdwsyUk)c@<1~99a4? z=wHOGFr6!c=zP9`B&uvVS{t^r-hAU}Ms8>2J*qeb9FvSn9sK{NoVNwaOHNP4SB#j{!y>gd|I@6!L=%IWD z5uwMf%(?hNaci7f6X`j-itmNj;s;)Q-(S`}UO{fqTonnEXihDUR=ZD@ot-Aex# z(%s9G?C_k$9!K%~Sn#pf%b$PX zMHh?W0v`E4AS)f&&eO1e{Dlh7yH2d;jj0BGbQ1=U_Ozs)#SGmnC%raMUIOwp1ox!x z*Pta;Z;28LkSXYGM=iy=Y7ryY@jK`QswMqGlEj_Xzk>hp=i%9BZ-_Ku z--$PDzoDK`cZ*yEef0;(Iryn9AYmLwvXH*Cidwx3ZbU)=&yUAg;1MrO03$>iyq7_V zCeO6yXa25h6srR?se2;lB15Vu4MnWy5A<=HVXId%?mk0`_&Yq-i=!YA-bcj&TM@Fd zq!&zIs~I9`NKD_3Ia-%}_VG^Wz+qhSE4pLJK7(VUoaXBQ-O~v^*s(!UIA9LN=R;5P zj+g9dAoG{a<^CA@4x7|hS>|D!-#40`f$q2%dc?VmW|im?mg<)^ddk;wg__5MzpMbW zfIj>0r-%R0hd4$9bGm47F`{sxf+t*f8+S;I`@p;l-rf9# z>QsH4cEk|ja-~7P^;C(Q$HxiA?YL!FRO$$Z+!a zp#o@jPa=+kWxR<`5XrgZZanjR@6TCwtvEvlD~*-H0WGDSsEQD)06i*@VM-*zOw1N3 z2SMqHv3zoj%YXkwpc!51{%LtLN}kPIOwMX6 zI}!~ltZW0=Vku`RCo_MBL3zcHR2nGJnOmEx_DW;TKZd*+<*{Uf=<&hM%o#93v!A~2 z%fNA>;Wmlz?8Z=f$DPOC=ek1&7cYsNsvWc_4@8bP&dWJ$QBU?}=yuh`2T*+=lWByEv+H(Ht{&08*&i=Y zFGK3}0(5-(<4Ntki@$+OB7h>ZC7R>gJ;23`NGSO{a0G`OH?Dw)`aBd$oKKi)YpxHo zF%oOgb{7t5Fu_s!9mM~@1Lw`g`RS>Wg@362EHX5Ve=$QjG9YR}r5W5(7$GkffYmKB ze4hG?wA5V0(wR8X*Y zdK95gc8scqe+3LgUnG7TmL5tst`v3rYIB%#ReyyAK3rQC2;2-=2^om?6{f zgq(ZO!Z7cQjDwHGCmW{|tvSD{rnyrv>uP2_t$s`AT>GR+Piba>&asDKYL?-Kb;C%~ z^Xo7-EkKvNyXYff)MxaGQmK%+cDE z+r1QkrGU7xw-mESM8!@Nf}F8t)GY-$P*Sd@O!3cv;#;e*M-ZQbzJZ4fSJ8qagHOsE z=d;Uvm$OT4>7IO~NfU=7(U;6Wp(^Gqf9!`ZO1oR4Yi_D%P{wX`^pq8dQ~Qb!JSNjK zhBiYW>2mrIo&5AWiGKJXVFt>rTm%+Sml7Tv`^KM4g$e@T6s-y%(jM5sXbNr3-KNYH z(yggCrM#tD@dH0)?|^!525{kQJ0`}+zfAg;ps3*0}SO>!==|3wGU zTHTx`nM;w^9&k8Pv+STD)q-$25nhekusu48wWP4%|M9Mjy*E2OY{o7>DyqZh#D9N1 zepaJ@>C(#n3a5UiJ!?n#n*1nsgX`D5^XG@@wh- zA|fx0qBt2@w$U@@MMP9QFpD`Nl-%K>2)!4C@=r{_s>L163zAeN zfgk}Zr}+QU(BKXrNQCDx1_Ew3M$eV+=q^M8HtRdg&!PiRJbCpa@p$v@=>jY8jmv=y>SGPS2@ z@~Xerd^(Ogh`Ga(!-RS6blsgRd(_t!!J|{J1aN*^p>mGhDX!n`>}pw*=Ku67BlgM) z#=gQ#lDnz9EnZt&7GDVDlWJ3?4#Tx@RZUs>vk?NHfArguL9*)d^;)rN?By@?WIAI0n+Wp<#f zm}fD`Pv4QSs^r@hr0qG(e>zRQ8P_G$>iHz54jF{saeR=4lW9l#2^=lC+vUr#Zg0dX zWc=h6@xoJmZ_?IBhRN%2i;2i-^?zvzvd`n*`z~4b%U6*?pi(iyENKVZH!l(q2Ule5 z^_=1rtvXXed8d=>+*BD&sI`vI?ptF7JUb$aB0a|v zCECLNmDsoUM>cm?Z^Ybk-ZX@_Ucub<6mqjFX1(bA(=1}d%KQRW!_UmwUoz0k9UId% zDfow4`o8Q~GWAZqN4hQ{&3w`MMTVHggN3ETDlf5AqHB?Yv%M6DAq~Yks&M913-Pd|}ZQkwm-&}dS7vpwox3*Jdwu!)@RydhxI*g(t zn|?Ch-!xNNIB411Mlll*37`I=rVm=;0S>a_V=VK)B$sU)9<+WfjcMypjEYxESpt4| z$Mels;|zue>>Auo#eE}=;k6%Jf5{X>zzD?P{r?OG9aK+K} z`%GD=rR@Hh=U=AxZhn9_1(D{8A~h^?B%+4EeaRc{}_IEhes>xBW;e(83;J?7f7KOPNBud~Crqw5r2%sDcusb~5CN0- zi`t>14?;MAqs0r1^3ljK4Oq>7}Lv7F7x+M~Sq#MB+=`*MmfR zl7?2*;p#X4u(+*7#sj{~ztud(bv;}EZ{j`X^>$6*`MrCoLtcwkNzC{j*%I0JzB?r) zh&8(4KvG!MN9_`V!P)b)!66M@TbY-=eI})SC-a|;E~Rcn)w4b%0hOIe+c_z=Y3NxX zL6@uBK#GEU*)~IwlKuO5pcfecxhJ}yH^2b5ux2EPI$2W!VRQC(0rmLbGwWua6MD0O z_=OwP$=0QQafS<@m1tq4dxWf`{>_t)$BaiWh#(g>FFsmCP3#cZJaxUlSI?B3wz}rA zSDg4KjPjpmK;e%V@ckBTcUH)?ISemE7dh9DeZLzC|KOR!TpdIi=R)O0;u*;9Up<8+ z;>tsyKwOrreYa?%tOFTDQhf65wU1JF=G{KtfihRB&l=Qxdni>n^8m5DLE-B}FBo$C zntgs2_eD!;GHF4_NI>7xf(5bUr^8u+5az6QS;8b*fao&zllC`b|`atS4uo!86GPan3S z;@%CLcHOvwj0x(aY;7{w#$#Fyr8<{Q2cU>S0ZIWbCj2GiUkAPij@&0Q;1Ag`6LcPf zE)vxt;$1;C8CC&5gXW)I?ZuwoS@kwW%A69pMI};jMdEk(qo(!`YUD@vsM5T-5s^o% znw|9De8{qhBmNVnHHVn?-uVPlob10})E|GNVkz;k{~SyvJyiUtpg|lln~a#o>^ej8 zk#$cgiOjTC$i{VI=WEykL%*3Li33cZXg?GbZ^O)L5d~0K>3VG%80R35qj>Y>XPzFX zf3SblVfw))jTds{{g4xT(hA{-KvV_hOBgVU(TxEqPWmA#9?w?+xl2M^p@Y-NSXWPzPmmNx`>&?+z6w~$wqG=wp`#Jb40+l?d$2I;ggm(}riHE* zTF4co5U8zuR78|z`2h-{;6Q+$Bb0bY1QQ^WY=6e#FV^gy4)US#lu=4x{NK%6dvd6b z8mdGo8*<5<^rhF-js#%I)dAi;?IO=EIH@VW2dC~wY@-xaTFANn9&Z4@)#4ng8$f~k z&3I74A`#Dc<_aat0o_4{K&hv+nGS;9@A%lSrFNA2ltA=D)!+XI4~X}y}pDAn`oi_vT@rv>}>tgS9ifM?47*P zZB&fMULYSB5&}`|C)r!j#x|nuH34?A27fwGhN)=asB)sE=w?y1IKN^nxsd-ABqutT+^(x_(_5Dd~!Tgk8m(8xah3+S!kw1;RV<&IbGW0F)<73;%SgyTxh z-pK{5_p>byyWt)B-PF6k)MvzdvQN*fDLmZaTfWch#QV%xiEdIq;l~{ON(JcU{cpi} z|Hr1&LJ`Ctn(4==b02I#w-gll3>+T8=)M9f$h*aGgV$>)$KvA)=DoSRsbAbZZ`|kl-YeY9LtNA(#_{%+ z105=;c(^?W1v(ZHhtM{3LgghjMW!_a4baUMufjK=@K4VfuX-8YPZ=~x*kx+0Nsu?6 zcHOO*ZyQw&^NmS_HOdwTs4{L<2FtJygKtQsu9Mq4)}Ms$|HY~HC+PGSLZ=5gBm3y) zlj&52N~`bC>hhk(fud^(Ar$sC6z!pcPvF+Rgox&I5?gF}s|PLk*+<=B_PH%BbdE3v z^h{9q{=8GUvzxW5K+MzIuENstr;iIvsToE-n+aw!{T&RX}Yx9TawotWVYZykUfB z*0mnGm1r+n{Uq3P-bUMAhYZrn9ERmNHRCN7+G{Uu0w*+1Gt{YbJ4m^O+|Sh7>Fkkf zsGy7DTzgQCEpU>u^fMfzKQafLsGXD({~b&;4WVhC{9=OU>? z^wwxAhh3LAHbhbzcm!Hgf@IGxuG_~5&3R>7B;?d8SIFUC3aNg(%ql==Qt)`X)VOkc>>%=g~a7eo_bXUgf?WC95n04OOV7(3$`L$3Zrr NS7GsiQxK>q{tt}hfsp_J diff --git a/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam b/packages/tezos-protocol-demo/tezos-protocol-demo.dev/opam index 87b66c8be..ccf8ca4ef 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" - "dune" "demo" ] + "src/proto_alpha/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 cd357f7e7..c9ab34c90 100644 --- a/repo +++ b/repo @@ -1,3 +1,3 @@ opam-version: "2.0" archive-mirrors: "cache" -stamp: "79ad1b08" +stamp: "9b42256a" diff --git a/urls.txt b/urls.txt index 7b798464b..d3495a030 100644 --- a/urls.txt +++ b/urls.txt @@ -1 +1 @@ -repo 874fff1bec58b57c0270f0e324dd938d 420 +repo f80beee3129ff358790dd677c5adfd5b 420