From a00261a99cd7cf85813d7da6f1bb9b5a4f4274d9 Mon Sep 17 00:00:00 2001 From: Galfour Date: Mon, 13 May 2019 14:03:44 +0000 Subject: [PATCH] update repository --- index.tar.gz | Bin 9710 -> 9726 bytes packages/ligo/ligo.dev/opam | 1 - repo | 2 +- urls.txt | 2 +- 4 files changed, 2 insertions(+), 3 deletions(-) diff --git a/index.tar.gz b/index.tar.gz index 1039601d795e2935ce01643e97ebc17d58d51329..b7f457b36786fc3d3df8680308cb7dec16f166b2 100644 GIT binary patch literal 9726 zcmZ{~c{o(>A2)7a${xu&NmACbM93&22}z~03?XF8zB_1zmW;(n%d zWGBv154k=Qq2G$=K$&8VmPqS$oMYDEUfM2tCGNfW8dp~Wo;55tGj;k%iDS)xU`9!1 z$tH7oSDL03HK&O>ZnV!RKK4Vfla{o+qxYYR!R^8z0dhv=f!p{b-$|+bBj_;69=4*; zZLl+&w%~ZRGb1?YYy9b8)STMMU@W?9A-TA@L!s+iU`39R8gcNF*Y8(#^G4phxq=m{ zLieFxUOTU5hCf~M62J!u1zoJ{iKQNI(X3=W-pO=dCNi5!?ShHdJdCR)W8=fZg*AN)=Y2r zu30a>`q%E6S_at4A#9WHyHkiyS=X_hNYRU(CmN*Aj%gh9`n;95?0`*4D>IIwV@+!_ zQr!0ZW*J&d@IU9_VVx*p`-SB0wYfRffKK>$GY*8TP@KrTr?UWu`QRi4^CV-p0KDl8 zsmtHS8m=*x;t%)@f#YM-s^6i?`ww@kL@ilia|zy&6rRhTPk%78J`)&}hk1W8WqI## zIF+R_w-Qu?y=%jTSF0rM*i6!7TF;Jqzf<4MkxZ=*rG-i`=x^0S6^adeo`aUN(stP|K~bFILec>`NDZXi>irQ2ihx*kQT`t}6ldF~DH!P_SzqGv1D?QI^T_BBEl9qXLi@eRN@7sx3PAwD;ak!B-nRR4nHmcZ1X18PUJ8V zyejMh(&g%bj0J&=!@JFy)v}^NKaO2!)7ngSj+q`gZ8RnC*Uf&mA^=}$7x3t@U6^vN;)ZtuPd1h*I%w?P`Ofm=lFqy#^p>^b^Mi3Q z{~XVa$_kdByzK{lv&-M*{U{8$BU$l|-#^Fnu{R1)oia{@f}(3_w9MFo4)(4IbQ~FK zgy#pDC|%iy#NU8^u`#&Bjt+dd#vW?yQ*}R#b#wjF?mFb2bh>$gRn#e9q4h+wTace_ zTEcCjd)R@X-)06^D4RcuP-#D}V3gF!q;pySzT?U29j*PG9Rd}j7{`82n})HbVe3gR z$wHrrx-TwE>)mHxG=CD5s8l=_;wTPZ3{NLv35eg6Ht=(z$cn zhF1gM94)CoaUe$QZG_gvm0UOfRllFwCC+sL3(eTr+CyI|<;T~4WnCMmPyej@ZyoB| zThy@#yz6*j!WXXKJV-@f>2rmeYR(;3&jP+%M^b6>MMO(2Z39&f zZf%`&hwx(CC8LMF5QK)aW2}NRX0^E>>&w}3*3p|cgQVG5nbM!oULjq$NVa|$md*5X zk?M4tiwM1XR)MBi__O?SfP3Z5k&eqVp%}H(2~DA^93jg9s|mEgQYTP%Zd!}UFe<%W z^yzBNdgA2J-N^YiOM6eel=JO5iC3lpk5&9_qerd=K8$qZR1t;dp7Y77IFje5Y8Nz` zFGOXhu;xnJl->6W%qS3vsx_NT(2E^36b)XGezWTJDo483eY3EkHK zfR@2e3k;;XaN*5s_v3Ko343buF-kUAA0Wnm1Ma z2}ccf@J1RovoW8_?XKY>^rM`8pIySl$t;L)DQ=pzFS#KvhFZRinG zH4&@M{w^O@GM-15(~ThWJEd)Lq*jy z9$hgt8N#HJje;)`gcbFF3;Ofkj2JG6G;q$#K3`{T|C_%h?5z6F$6_IS>>FnnM<W$@TNIL+Dx~ zAAer!V_m7^f#(hcoHX(NF4%RVPd}`s|I1}Izju>y)WW@IO1VXwP&BQtG%KKndTv69 z%1T4?8`^@U#Nwa{q|kK%_a))a_{TvL60ov+HW2ObiU2nXo#3h(?j;kQ=jT2?*D-xf zU!ve|XrhNz%h2li8~$8~`OT$4iI11EqznHFi20vqSv@_9j5`*fGl0vudDoS)TD zwL7z($Y0IZVf`crO>aWBLK^InSdKNHqPgPRYVEDgGg&~cg#qa*56ZUeT<^pV3A07u zrWWWOT1CgQL=#Qbh-AeY_t%Y(%#Ct!Pq(rWoFacIi8-wOp0frchCfsDUj*a$o+LFY zula;J+ofpi(kZQ)f0com4gpV^S0~()&HFsD(LL!2rEjc8xh5F?keT`|z=d0^NQ2Km zINS%!^SpM~N7UP&^pd*H9tD^*)TjUvWK=wu0|PbEI#cV@Ce&3iHu1|JJu!KT^_@~-y-~9@3oO@D1HHsu zKjNpsM>d#=94}U8REDyN)+TG7Q)$<&qZ~30wzmIVU@bEcaI)3&;VtsliwE?K1MY49 zh|l(wN>v$sCb>Iz+4DMV$nTNVoOxQ6eKyc7&dl=ttD=vs9jrHh${7_Cj(MkB^f_)G z3SM&D(N-L3=vVSww5N*rMY;<{=lxpoJQC>gOZ@2vL8c$dPlnIF7=Bw-TQoy{Zl-8? z!Ze&1A|UnSlH2w}ODn62X#MK@t?`{#8atk!S1zwhcs?(41>I{vDgOG3rj5VP9WJSM zG29$ldn;&KSGlp;pHuzuv`@sER*u1q^=oBkk$G-ah0OCR|Fw6anqJQv^loWUAL4IB zTeM*g*WdoLGg!nnKYjzR^82&1>-#%1gNI4hn~&u~{Z3k2H!4pZ!ma9ts|H=%x>q#w zpw>!;E-Kk+%oY3ma0#l4z8HJw4KUcD&nZJm(}dGIK}k_0Fpbe4fowy@ zJs&Mn*BjT-my#ZU_;D6p7}GpA53E_q=pr)=)v2INg2gxA;A@T?_)XU#(+ zQB+T_LY>;&20 z+mWnZ{t5FuHS8a6gaHHfp^26A)n^{UbVL*x6ebSAgeR0qXaT&{mt2KR;6eG`Sqggb zED=g^*2~0h&Fj#zuMIG4UEWs2pgrLw+q6f|mtAgLx%VYG-!DPVW@Kw)>crW2H_`KN zog9`|oEE4T`7L1p-;%@i3b*8uz(olxalMuekA(4M#oe24ya1B1BxBba;C0+%fsbhYg% z2||8${4M4ywvEay5LW@?W?10yNP9113r1`R-LEc_P{6IQFqOT9cW-$DqpzqqK$}ZG z^N>ghGim&aZxrqQEHv^79?xeajQ1Bx!xgd|>tEH}^Zzh4I;n>*yEh*>zc=NOkX_t1 zTks<1kDSX7-}v)+kj7rA4<+2)L>Tq$+OVG2)3@E021j^n*n7ifde$yH^BXW6@GQfw zccZcs-=pKxdDj{u4qVAxjrB0zf%z`kU8M-;-QCWc)W0}7FLUh{%%KF5H1wHC%B>yG zu2cx=4y!i(Yhb+{n^R6Om3>DrGnGyF2=t*BZ*-!PNnPD4zrd}xo4csLxtZ(*+gMi} zxJuZt691B&l?Jh-0rw<7t_|z~V;s2sDvjPEC+ft+yv!fv%8SP-w;%Pc`y58YA|GaE z5)|i%;A-<@Dz_Bh5I)#9c+McVmC8!MzH;e?r5(fhg{RQXb6aTNma`H-Hzt_Wb(wzW zI3b*0(9W%ED>xB*?RlQixYNf&W5j2Sqvt(hrlEz=5IhORg7DPB7Wk8@3hlYW(f zF^cC{Il@baLVInJAh(|=r%S7nhHMD8b~`wQ?<*XK^HO?GJ=6eYsok~^bA}5r<^IAm2^jhkoKikpc` z4`rVjJWiH9z|cOL_Hh%N!fLHQVk;lU5crddb8Mty`C?X}(34Iqfn+MqJ_1<8=?{S! zp?#R~&BB4gY93IacMsMaqi^mrP==W%P#pD@u6(UzaU^XAo^jD<(YV_is-? zhXIZh_If$RSx2)EwJcsYf6R}D*S86Jc1Nqcuon%jTToyLd#7n;5>1>Qo9|rSovE)* zzX5P3^-M6quLJGG{%E92nSFV$&fvWDhHn6}KD<{`?9;vhgoJmXTY1`)DvOTkCZTP7 z*9}tBs0=owj2&+Nh%?EJT_Jd}6gkFsi@#P)D?Ud}I z9iMZVcX1V?W<1@}f`6R{s^aSchE9@cLE+y621e}As&4aHHala@4da&;UGh`;aXOY^ zUz7y@Y+cpUWq*87TV-<-J))ZL`R$B^R^y0y5K<1+8O)pDib^LOCK640SOdDwik9N} z49g)!6rysCZSgKp^l1sCK?pwq`zoiFdNONKK;j#9&bLbLk47p@*`@v%Ydxl|>9$ma z>e?<(uPd}JztF-m3zy%S&801>S_s(vvaFYio^NS3;<9H!PmKOMeevw$zJuL63DR^i z2l{UU*GKks2WQ*qP3O@D%6716%+nP`o3J%<*9j782=m0G6#tprmHML#+|^hGjMRYe zxR1c%uGlYAangB?I?W@yH@<1UILz?Nl~XJtfZOmN5x+ZTXadvj+0XqJ8#ZxN>r+w(d%hE;qu74032r<1cxbPP0*l&=1unjyVCp_r0gV=5GZ=cej zXewqz#&ru5Zh~8qN>D`)ePWx`}eBGC{aIo!5#l{32~yI1HXCt7~jewz36xKMvQ z`0$N$tpdif&`^DaUGVD7-%CJfe>4j1rrCh5vVD9MA)3apOaYm;M~v4@=xkHCBKMu4 zdr>~s&dMl>q2XgCJ?}jAbnFb6?!943mqx?sGM4Y4DtozmAuZdLY9*`+*G-)wB5XmL2dhzqA~^i-6veMUBOQ`dcj~M2|)@M=mQOsuO9`2 z`>JV-++|$Ft%K#~&QUQPyKQmL5q*cNQlnKMOx`A z9 zq{LZ`e=n=z=SX?nm&R>qr61(PFK5f_OnEDxD<8V;&#GPQCm8pFqui#C=WFPc2(`$T zHOx^oyN+ShTKsYA>0)u)GM1O7veaV4%LqC%^R(7Mv_UKWdRVbWs(Ivf(m0S)rb@Jf zeYUN4kuoSg-b=-~UVy9k;>tnLJmm5P9S#rnL?Q+!D^XZLPu-;0Y%oC)Lw#{z=kNO= zZk#TPmL%jIuFjegj>q>cVY92f_$tK zs;>A;P0IN%RrB{9Jh^8hQ$M7w{$?jxe>Ij2mHV_URnwUyFXOrsYF?dW1Xte5_@Z=} z=^eK836ATi^-I~Q#c}PI>WF@tlG&*m_A>svw#6}6R^$2=U0qf$X1?lsz|*ZHg_Kif5+cE?-|kZ%}N10oTeoM9wckMLo}`sD?e! z#|)vtPa;@ExPB`(n7^5N(07y}i)r1cpQuQDog%f~8s=Z47RUnbXv{#eJ#3T!520m| z>?Y_b3l*m)Jpw)U419*zEwdz3pB(rtAAtyIuG;LexXMPq#s6P)m;=iu^;xvqK7l91 z({q=ZSJdBQ9A_LrXxeLMU{Vr&GN$qE*~81}Ym$dqW8f|FJU-8Xc9=rqqUDD6J6D;W zih#?a^`mj`qk1J>VB%DNLe+_2C?@Z8zQ6%qxWC1PH(;crw0U0U^1s`l-cw!3A4>`ipa#IA=D zhzNYTI{w8j)S=NAR<=Gwg|7JK(F`uJaBO0VK!x2ojeQm*4!dU7DRSg&EY-`5-dfPC zK_9znq1E;%djTav9v*Sdw-1I=D?G`*YZA2ufmKE1=N62p$-~$V*MJIQyTqdMVL-tW z#L`6RG_t@|!8xe^vKt_OTjb42CM8f2xKtH(0m;X7qKREfL~=sLeT262sfLBMPsslk zd9x9gNTXmfkGG#D)3*$Z(SPBnnC<7Z);3{MEA#kfX6!lq=k}se>Wi&ypA3QP+i3&} z+wdB$e2!E58&+D&&V~|J(dzGE2M?G6vSR2o<=G?n?3Pu0F)$K6WimwlD5ZPHJ znEv(Vs-IFdd&d8QeoLu2WUg=6uj*eAs;IQ5Yg8}*^$~GdXX=}O-cf2q^o89cM0EvH z1fiL^2!zqJDdoZme1sv)T`nRIcwN#lj18qWAw+R{8y~Crmg}Lt`DdqDKUB>6?D9P4 zjo{9$^JibDjq!)>7)?G}GQf`zQso>R#WyE^a3oXahfWfNhH}6N=}!7w+N@>8-%%>&{9R4~ zA-qWnpORY2%#dZ!^?R+}21h?h>job!%Cx$6!GGZ5U6+jq&x0Sni~RV?=?3CG)CQU8 zBgw{mMmM+<^K%Fv(yM*|88DUi_nimBQgD=+iws`ef>~n$6Re3xoCnDVt7XR~NWD

l_F~J;2E}<-sh^1GT9l*5iIj;!B4Lp+r-U`Q+f>y5xWY^mS@C&sBn33JGECG@Z zq`Zi0ED`palrvI_5-Ah>wKUrT-HrULbEsbxNEYoL>_?&wdDi`?!xQTHy?9l94CYFt zJh^`)pPhzEan7enpP8fsLK%yFE9>1vQ{DZH!fYGwc!%%kg%8U3mcrkWLYQ1xoGWVb zUD*7gv$2L%0hZApNQ7>V&nVwl5!zOnvLRCH2eCsihJ;3@bGdXPKZrxhv$13K+SQ#BS$#30}+K8aMJ9*@QDmDR~+GXS>L7YW5K}#gnQ*~(?OgkvO1THfe-1`cSZyc0!vd>#RWyqSpy}1uj ztYfs>>2h-(JtmCDR~7Pey_p1l*6HA8o&+VAFhn)i>V`y7nsoC7I^&2Zd%^S3%qMBpZ}1j+O`Q?NYD$m8-mxAFJ)BM(p5 z)GquX$XbG9D=+Y}3*Uddn%X~=euuVQ5EYBwo;V)LzqAH|(FCj!>|>mc=rF_-rNng3 zG%mtu>qoHS1C?P|S^eQNAlCq^kz6k#Wo*0%sD)&0-L(0p$%#ncfc$#9=ej%ng9%Me z(&nqwF8y;+A(@~*2f+Z&VN4zQ-!}f~K@#S{zL(MgG89n2N#hz~T(fN9tN*G@uxVkW zj(TN@n_WOP_?ia%IO^guH{*g^AlMK%4@@XgcW%UizEfeTYfuFl^qi8|&raQ&dCEEmB|0uelS`CZdy3ek-Mo9GdhZ;o#NGI)gi-p{g= z&;0v0bHeuE3nQ;lT%aCQbx6sCLCY$uP$vBN`FDw_5`vue6IuL*T0pXbJY7t} za4z8s&9JnQqPepDT;eXBIFc_aub^KuBd(9eIQU^pgCY?5#=DKbM%!!;1A3W3H>PD& zxlB&9d9HsG)ZjmT%ObJ4i#=Ui*=rh_m=&*9r9H0ccch=-_|JD2Cj7;edT`NqPM}%0 zpg!kRnl#@854a|dmcOfvv9ehB z5tlK^;F*b)S|1z}s&josT?q5)*Ss8oTQyHC1+IkJ3;*4ICY-j$A1o1UF;OTM z=Hxo79%4%5m^bo2ZklXe7PRWEl6U^glh40ZR^HoizR;)3l)h{Qz7*<)V`20JT6O6Q z-ZtwPz#gO)=vS;L4g;r=P%8FI#ZPp7)VbenW#C|0s}I|U*X6jHYy z+`P9Lv3N~3zXHg{Y1SLS%6@_k;AY_<9Od_b*wwwC)Z8D&Ab&II$pC&x3@atv52`O; zq+1`CTgT>%E3b>yVmn*fKNg(TzCW#p8Mi;{91**g`&)HN zYhA$DC*7<2PS*%CY<|pTciryW1%QbKq6hb@0EJ|rBA2gu%lzWy7#Z1h(dk}oI&JU8 z_~t-d%W=MV;aZj>6D>Y5DDYbGh?AAc*I-x~q36!;XdzYEkwA1`WWF0lCR7EH3_Z2a z-1lc};6s^6oRfTo*+bxoxXg)OGr6Y;EGgM{zg5^FdQyTz<1|sHa`V*GPbhf(GLGRq zLUG!n$e#bp9^c&UP9~WKaImi6^dwgxL_)Vx4dB}f`zFgKhMtcuq#&P``Z;CveNcTW zD$U0FQ_G!HhsWyo6bnC%KGmMo-bz)g&>c!zzcf=*U!3S*^|M+)DkE0*pt&MjdGq0I z9(sdHB>#xD%=P*_=HvdUR_XAcq-Uf=7OT*`W7+_>IdYMY-DDm;;++FW^ASccpS?8> znd||fe0l=@{~Jm?KRz5rM`WP;KST3&-~a#s literal 9710 zcmZ{}cRbbq|NoC8Qnn)VBqU|;h(jr>l9ud*2xSyPJju)+84Zq+QC3D|b?ljuEqi2d z&T)=29^a?e`}6zr_t&{R&mZTU$NfC+xBKmSyCWlxQ{_63nNcA&QrF_gTNB&JUTK*T zMK%eOv4N^i$#d}{Tb-SMOD?+Yie!I079hYZ%&HME({7z8aG^JjYkZULI89V*Vs~2H zB8kH>tTpk9#$MZiZ;!4TNUdzB>5}RZjcWh#{Lskrc_HN>UFy|<8{ai0_v+N5Ptmwz zrM<6jCE{u(x>(OauEQ8}aABSoC*rC)!OROpS$4WH)_#%+}K*tFj zHeRf+%$;Ptw_ePH|Bi?l9e=W0{Q|TcQ=shr%qZ#S)r`VE1RFXx(>Fci@!}uadEAYpMIE? z@7Oheo_{Mvd+Ou!Mny@$fLp{@#lcn21zdX2>g${T1 z_hrx9-Kx7{rhTT4Wsmn%T`&64{@FE`vaT}eDe>igCW^b^XIT+6A>K@Dxurm)X`N*( zCM}+C(&UuU&Zp!!L}{YMg6QR`5{YHwq*ocE;e0N-Q`FH_i5TtmOn&b_NU15a?+15l zw;+M3*|!Sun66g=%Y~X2b>``n9p2gn?TQmq@k2GgF~UZ^BCBeRDOVmFYE_sR4q&R< zaWXYD6tgdNuTRdE)m4q!u^no72-v-3Kq1}mF*{c$ht?d%#oujwDy^)EY_pfoG- zYr?yRPidq`hwJ-aQpHdFYuD-CEQbeVAV8#i@T0xCglZae$5V_la>y&F+&zKf6_Q;% zk!rp8DnAbO?%*}k4!V&0Gg+c-H~`$&Y4#AI?f+!u+CcrJ#XSNFlF`iNQ)@C_x7Bp> zjY^v+Lf;@h*GV#ZjnOOZuH+Moo?HpDm9j)xhWW?6*_vLD*dmW(lf-S38Ap;@Y_~S& zgeQaducFyVf+;_)jp&9@h=c>wSt;h_h>_`%oZ_T4X}}>HH78}h@@QW{udKPPhTjXL zrt#PJG{2e3n;o*a$Ky;MQMJMg`O&tOLFYPtj1-5d&G_mla<+X;H=}X=6pB*RC> zZx3(!#`AOdPxGarJ&+k z8hDjkc-x1O>c7or+b?l4m@K|SYw7b%hZwUve+|6-{iE;UkJB~0eAo5eq^9EaCx;&5 z4Rx3s&^b9oO@>7D2F#FdrT>2zx5rg%gi?H zSWeDvZ1K=-qfaE(kH~vE4tlZz3mZTgInN*$=~wUS5t`;C`#Z@<=@lU?czQTAHh10q zOF7cA_R#fN!M;df78*U!aEp{5Gw|7LvhR`1IO)N|$(esde!j`mn@Vq0=zC0gb12Nu zo0KQK*`AD_D}AsS#}dqJxa28jv03Z5t4ZGN%J0I|QV7M%&c$g7a_HuuHtM;*KAEwj ze@?awH4Ah;9kH-mx4t%Cb`41}n@G+3@q*x?y%}^!SO0~7&JXzfGEl8<9JqLrCU+10 z{Lu_B%(Nh${JR)C^NKRi;Rs)W?oyz|&W8g#I3=f(i$Kf}4T`N^Z&P=2<2TNDZV2QR z#o2V57JLH+BU^9R_GtZ&n(!^&Sz&Iymy*a& zE&Bny>KY9A@4sXh(g?x#J|CMN=I6p21Xs_am`%R>WG=FcoBT-BtyGicb3Fa}SFHjL zXZkk8mhY<9PoXa*{HhaA8&gl(IHu3y<&54x$`BhsaZO(z;bvyvFPLCZ+X+t^nw2(C zqV>#bM84xJPEg+OGf*C%zo2R0F+TUeH%p00JmN&#$W=9=&N0GH~kR1wqtRS1ot^iwzv$H5itRwGMDVOjGt_w&13 zw|h99`*o+3(vT9(8KSM3o08)51rdo0$M0p{{pp{uD$D4RVh|LVPl5Pz7Dre@z)b|+ z;GHtD3_?(gWLLxK421{PLnj6~K-XsQ@SW`fm#HjXmvzajTaWEVoxHwk z-UT@lO2&yk!MeWl`lS+FBA|4p-lH|_T zhDp)J7qWvgz>YhJ8@DH1lR!l?KhD;xCW`1 z{oOkBMy!oPc@iw8sBELzqrQWVwEEc{%PFuFkFAF;4l03|DQf8rgPwAXI5v4deD$(L zklbDdOW28ftGEj91gHLdT(qQ{+FA{kV1FF0nN_t!MI>Sbb>?6q9Hdh(PvWf+jR zu0AgkcN03LTZFcn7K+g>5xa=edf(iB?VoR8ykmJ72dYN@r3ah&IqfdzTE1Y_Q=*sW z66`n}vVP64nh4)?|1!W!u-Ia|e$|K!n2BGlRJUFctn20QEUVCk_$0EJQetQrx)++jvP$&KlSpyNI;q_jhXp+{O2$MrH@zo{;D@e z()MJovHr{K;kf@iocWW0=vt~6efhE=^30ORE2wV5Y2fy>sn7O-PPke4Vv$xKno88S z=-VMU$I>VHF8OQnpGQcqrIa2h$(kB&(@HWSgdnf%OGUI)j`Ay z)AL7~RnW$3x{h1>bYhhBR{e&Id}@GH_z?e#`hYDWo1f;N7aV*+nUee^P=4^ zm4@9PjT$C7Mq?S?Ge(@`c*P=d(PjyM6Jdwq;NJsCyKKpbl`s80GNHhU{ug+V*G4Ji z3?}6|K88d-Iza@I-I)r*ztgV#1KHSVd8Rqk`#e!fr7hqDLuN*(UvGBgyssZurPbgEf*fA1UuGezNEJ9%F(L);P1mvyU7XLN+C!wf5K8M$}d6;kI zRygWi<1IHlYYtro-$9{_!=*&GM1?9sW_XHizz+*8kG=3(alfkub&*p`wqunh3lhFj zP?qHPjk(xUAIMAyDWd|Nj~`$IzBh| zQ9-^lNn~9061CE$ir?+K>KCIQeDTXE#u>Yc5qvZ4T`wUzbRdCu1)*5|oCd zqGZMYnmpqq{J8FCbj9kVCI4L`uI)&Cy(5v;@)onsl+$Um=gGl3tEA~*;J%35d*HI$ z?z8dLe)iCnzy9z;3jxw%p-LsX_7?}NkhZFMj$B4LnSS_yteDaRm`Rj-!e4P)_~+6K zK*7n6H0_>FDdWL*gLQeu-_)rqY?Ai(DGR!*NotSQzCA5$$i=bQs?fe090JM4+S$qh z@VL$TAo&L5_r;Q1x(BW_z^WndlmfnLiH<_$qOZe1!7#}{U#S7)Yh~e!^)#7AMXk?i z%*rv&8zvww3iX+dS`F&ZN-nBM#{C>cRCgsrzS%5gXMM1JxzCx(SzX$d3~?{I|77|1 zn;O=H3Iuj~(7vA1IQ(^wDrXO^X#um4eFa(cH{uKqtXu)(oXyZBLnLs0N>54%gyvS# zj90tfmNdRFLa@lBpUJZT8H#qAZVV}~bACp*01VHSkk?M;8U=j#4OKg8kWmUe&p^Vr zdd6*Ji2@Q_+v0*7eKjBSr?ezCBHH!DPDRk`x7|gA2_FAo;&%28yBWE86mK`j# z))NpjP#(y-@q{?SwHXRBC^0-y<=`^Gvhrr~5;RE%irJ$s?A@dAS+i(qx@T2 z>bB%xce~@N7Ijls+_S%YHLk_SRA6eNxiK!P&TcT$DV5Bai2O7%`uZ1Xls%Ep_y-@@4tXu4%i19)3TptyXa5 zBH$&$UeM0yAkh=h z@1ONiM6dgu;+aD=EzY4{wJ8cxuD$an^y*OW3lI67618%Q+4YV?-wDrTo3`uZn0nnD zuqja4yaz2$`e1gDba?3ff4ZB9#kl8zOs#|sDEe@^@K8!6AJCFK{i0HUQ97eb`d#J) zK7Z`9xB7=k;aVEw{yA(?yTmVRo(=9FZeLKqBwdmFo~2FohSc2B21?kV&!?+mgau(& zT_%wNvTu-aTne{y>sLr^dRGIC%lN6=a;_e z8+1*PdrH_U#7IfGXEO-jw%^+lu|5r+e9A;F=R_!JZ$G)%PvWnN{o%fAN|xnKS9U;B zOO_5`&slGbJ)Srt?B}%-rC-<{zsY|dTQ-ciJF1SN?33m0)9si3e4l(hXOpM-0XN!{ zh?TUg)kOA7N4swCWU6xS$8BoK@Xxi?^`?$&bojiK5d)TSVV{3tWw#qug50I`GaYV~ z(DyA|7WoaT#W&rJmr`bdoO~WA(DKDOD|OE|aL;2ZPEssIK3ai}D@Op^RC#S4J6AA3!M4A zw!Rw<68A`9#RZj3eh#BOs&#pFp}rV4i+)B4v8jNHLkC;QFD)O!s@YQ{@qNv`V5~@n z%ol1l_mP1M9oal*ud-C0&JMvMD|^E}Q$1AECW z5-OuEfZlHRF;*;|BiHJF$a9x9oLGidb$ICaY2Rh#P9@q3b;@RZZEySDnASDLZ&%9I z>J~2wF%t4BZ4O93eLAdu&(PO?QjLmr7sS%algSJknOEKafxk0nwys{bKJu}DZk~b9 zFG!5|)SC*%gaHCh${29TNnorLzhkMNi-r7Q17%16die-KhY%(-z>~fyP49K+)Kx04 z!Xm`>rr^6ZFfygu(SWi1-32l=$t)tPB~bo#a|&0tyFW;@FD3UHf{|G=RBf$EL5aZB z{&9txEa18=Rl`C%NgYJ?JDfWN;#i~>#csfV3;JKbLj*KG&9TSOX`XUSJgFCEriXy- zKj=p(BA9+Ua~`}~+W%okm6Y8sTbm^(Q59m#`gF86Vg2?)Ma<$JQ_)XtsUlGPFSphb zpik~${@3%t1hhLmf^Wb*&kWGx;b4fd9hLxJ(umGOM!we{L2<#7W~FS$LzAl0gu$ZZ zg?l+j_3o&6Z_U^ritiCnuv)Q-zzhF|wmfS}sEd&5=0W<-G>Fzb3F4h;?}hGIia7j5 zQ-r$KJO^I^bT)imh1KsE+Tv-$Yb0$XZk3><-~hD+A0pv?M0q14HGVA~;0KtDxqozQ zT`#E)B+z|-OiLT?k#GM!>C&R=D~=a0Tq+{BC8F;vw0u&l;@qd4-*>)q8F~@AOH0<` zaVgiIlaUuwA#<0wMa+NtUVx9Ic(<@Ozb{674zBF(oAVX8(c&V*J1Ef>7gOljVTw~! zy%uO-YcQPk`O2N&D!H88rPc_xv@bXk+M&9^cM%MvQv!LgW0=V=;s8xeu~hhI1+5SO zU(Ew>z0&;1+QaH-EWqdQcAo0tEUWS_rZVC4%E=KA_vC0*^_vyK_oGtojLINnZqxiu zKw=C|OY~#LTqU3QH0>oR6&aX)N$a7~em(#1(O^PAO~Ny25E!H}vqI9Y2qE?A$^WGw z)`;y#giyh}hf37>MpkWi2?I{4#bE8@k=cJnusq9(-^unjWEGm2%%{puHJ&@%k}bph zE&z^A2bdGsam&HH97-{QfJuZkH+vZT*!Lh?o`iwbdk>{FsZQm4_lkf26)$V^cZp=1 z%cHBpMrLV0v#4JC;OCa0flv2v@~~*zsc`-V_s(UI9gA&$(|v{=(7XnPOM%B0aM&T3 zchM`mSWBlokaMGM2f0s2wVn{@YrHD8a(alNTc^#%YFy?~VKp{0wmf*^l=`3Li>tU* zPTe$Hme$g+gomCqH}T(_v7n7t?;P#zCDbm@BJ_VWCk*3pZWZ0A<-7BLAx;M79rUb8 zAqk2F#!-j(;@ezQ0e9a(Uh#1US7Htq&Kgg1FuUNE;fYWlHdEII1n|Am3j9Y{@eDfb zy%q)(%whe!!H+ZI0gk40NU)Kj2veaeNwl#xo+095nR^aV`wWLm=O4MxEf$=@BO}Wl z8;8%zr$cPKf)DbA$KU9mofX~nO-mo~N@}K+?@N#{_p82?+*LRw@8!18utxpsm~|0D ze((;RxhVHxfY}}-N!J+dcm=PKQfAYoXd+u`7RtN(=Z~`Gen#GSKJsB=2cje6s+6Qr zf?7nPt^3Ti{2F^Ln^+G+&6(YLCA?7s-C?IPUoFj~xj;~dbb-L*61rG}OQeFAYZ6{^ z3n4W&e7~;X?)ny}B;5hCQDN9o1iT%IXqb$YOkmS_$Q;ULA!=F1?!-^e zFtXj~I39WDm4me92QfOe6+Q92=S&*f&%3RLzmVkQ>)K~G3~pV0IZ;XXPNLb-e_-c& zi>J6|I#=9e?UTU~gXOO)+b=#O##O{c9r(%Yv49%`RZd*=Hr7y6y?&FohbB%|h_BnC zZqi(2#E7x@n^y3@|Bs(cYwbCnj+NT@*kuFR|KU^T+8rH>jk3ABI3mg0FsuJ>$%^Tt zMNcv2=E5$lpzW>8Ytl9PT?=FMQjQYNwg#IURcvG9*SynhS8Z$DH2k<;3>-(^TYK}a zsLUp!lTU5>e$hfarZDkoVdOFD6;Y?ze1s0yLip>$N*3YUFgBS5QxwOGb;r%qW>p?~ zx*y!Vi+$gA`uw_B@7~w#oh8W~5_noAm`E}jhUh3pUkq_u#!8C^4f{LLNxWs;mr-cu zpdl8FI7NYR<^}LDi){z>X5(_oiR~2;8Xj@w3n;>E*YJG9)Z_QrYo#8LF*9}#lWIi| z##W|gxJh;^te{X!XnnfsX@T==I>61djbTr90&Kr#1t~A(lb2B40i+nc!FjMz?lZ|- zP{MIOUq^Sr!Piva)^Ff?$g=W z*$ex_Y&U|gHNHZYc*QPD6+@Iudc)2o=&e3vr)QK0@jcBl(#QT4-sGaPTKr;+lm+>< zW9C8fg%j2vGgxOWeLr*Vy{O^#z?&WG??i?zP2csT7qpJGsGmt>8FKQzRrB;_`PT9M z+1{2qQ&#UudJDdB@fdPd)&)44kEqo3s4NhPNS5Y)3?ELi8C?AHom}%U63s203a1OS z0L`9i4-DlHA^744VC*{||0?Q|Aq)6%Yf6bJeS5X;;^f0+)oQhKH;wrIX|n9cq#ll$ z+UHomhLXyh4_!6|t8?+?`J`|oM2t&B?_y$&@teiieeMWA?p=-6Poq+SzlEz68v1WZ zwj!q?x`!kn=3&FwPZ8~=;-5ox&FrBZKEjq=Z*U(g6Igk{*`@yAI&KSk9xvUrOwVWM zNjvy|fwwa2L~}KRk3yZTzIC>gv2IqXrxXb3euRHRB73(f8$)}O>CVMaU((Cv(_8PZeo1GE z<>H=_%jqeq`PV~ybc>ff;p=*k@eNpNPpLY67NL2g0=O0N&|p|4w4?ok5f3|WagJSZ z!7zrL-Qo|M-<7|g$sO}7u;<`G0`m!OcYj{qOtnizM4dPAGRHZ+|0U;ENk{E|&PnMP5O&w{_8=N37Nl%V8VNa+a(ER_)@GlB?OaF$9G`N+aVNF~I{s})ZFn?B z3ZoVIqi^&47{>_{Yn6&y>4SEU11Zi+c2*xPlaSpGo_i2>%porf@BS?|wkkuo?QdrS zjee3U%`-K&euUxV!rK$2Wt{zY1C6c?2C6aHWM9duJ_LWeU&_+-%%Dbs4&gc4N}0@W zH9TSw1>QyIVjL}z45mkv%29kCZZ38gpa3>nV9I?v|}g|?Hg$}tWE9meR%4^R?P zT>JrJ_bUgS=Q7FQ+7Y`O&SPv%*w1Qy6~eR`CnAJ?T{W^8QEb#C_8=4!bSsriL%$NR zeaFj@ufF)Jn??LY&I+0O9c0WS4nz3X=C>r@T^H)LLy8Q|;09HOL}EWV=zH|W)FfXp zn-~vuR94%-wjVGCF?%1M`vq9$>F@f&$Of3W=3oTvqI9uyPL*{U6C)&4D<`$p*M@aWV2}p-mZ^_zwGpyipbx#|V01)77>{(#Vf9EWRu+3Y( zO{Ps%Rh#)Tn{4yt$#9dkN5@kB(qWb+C$snJE>LB~)$samR)ygSpgGOPaPw5(WeSR^ z6(r_0QKGW%*#-1$gE7Sga6j`84rRr;%nClJ^n#DaNV%{vLIo2V$e!PbQh(`MZuUtF zIaL;LwneU@QK!sEzXKDt4fAR!Yvct;lF+MQMS}g=`gD<~N&*6AqE}3-m^?Ug?VYKI zlUzJ$dZCyB_Jj6%U zJFfqS|8#@|5qH=rFFG()ru_=w8|?S*7*1sEA#nZqDy7)s6_ zg0Jl&<{??TErbLM=RCL+BDN-pB2(W7KK$_bO@28)9Mqn7Ny4BnW_Iy>%u1ud>rXbG zUFcf*7V5*PF17Fr%PRU6%UFJ^x6iU^B4VtbWN6^zZ%J{yRvzIFrxieNapv6mic7YA zT^Y0cZ5Zvl{fAI=*o`DAo?@8f4DD8Mk0#O?h6K#PA`gJ2Pn3F(z8M(j#9f z!edSM_S8mDWC9h7o#?lCq%OK&XCOABT4wupxUc|-`#^SuV|F?MY`S|X8#!L$N9&05 z{`4?KG7=4*HfREL&j=**h>V=U>^U~$rEH)pFDFrd90Z1b-i!(i?AYz9*?z}-EOIDu zVf!UbPVY@KfP7u0{o)oXtt@Jl`u@Apcbj z^o)u})=3q4t1@i=@V&@B3>Eq*wI6-FT@5S9&_dw2DsI~zVZbPi0rxYiEJ!l|RZ}|GA)q9FtGJ5u%Q*evyHF36j{2oz4X;c!MbK4JrG33*cn{7_?6! zi@?diCp55&O@?=4!kyqv-c{-jv>@T7rO|e5zxqgg(o2T)h=}Z3lk7)V9;+;buM_~i zrPL`Q@S*zT(MH=5()`3jk&}m$#4KZ6vKqy)ycIgyzP`IL1WCSSttTpV5k>P3e*3g- z=I+Xrt$q!TF-H9{I!JNnnaT9Yn>&PR&8-iuTsRDeS|Co+5)aRR>JM%G6+FuIDmG}~ z7)73VAU&H7id&%QV@J0j2B`dI625Tx)WY$Q4R@ma*=5}0l#-v+w}V@)SsApW%=sC& z=c}3zz;CWdImz>8YT!dXJU;s=b&kFDP&5-MSF3*=q5;NlD5$2ATSpBh1>SWtkq&f& zX)5EdvWO(C=x{dm(j^L*G?rQU3)KoTs`L>w%6G)zAMCxQ(@UfF-((><|KDUW>q{UQ zcrwzj7sI|1a+6%{AZb$`Nx~q6-La%*r}D`SAt#k5PG)&sr{E8!Y6 zsmw6=8S`eLdzrOj!H2Etg_I*Lck z{2JIOoWQmMx9Ia{8#pHX;?F(#s#|o3HaIKRXaA>dVPfgbGGO5QX$!V~G81NtS3VYw z_ksM_JOe4T>25*-g*}^Gv=xU$N1WU>e15Og-YZ}WKZT_cuwXq-OB0}R_W$ptT8fOi MnY8Xog{PtVe{|u$pa1{> diff --git a/packages/ligo/ligo.dev/opam b/packages/ligo/ligo.dev/opam index 8bac6626a..404f29b24 100644 --- a/packages/ligo/ligo.dev/opam +++ b/packages/ligo/ligo.dev/opam @@ -21,7 +21,6 @@ depends: [ ] build: [ [ "dune" "build" "-p" name "-j" jobs ] - [ "mv" "ligo.install" "." ] ] url { src: "https://gitlab.com/gabriel.alfour/ligo/-/archive/master/ligo.tar.gz" diff --git a/repo b/repo index 023207fef..d36c58e55 100644 --- a/repo +++ b/repo @@ -1,3 +1,3 @@ opam-version: "2.0" archive-mirrors: "cache" -stamp: "4adc6caf" +stamp: "cbfe45be" diff --git a/urls.txt b/urls.txt index 09e8864b2..e67ae7212 100644 --- a/urls.txt +++ b/urls.txt @@ -1 +1 @@ -repo 0ca3c6cd566615779f6c7459f57db3a1 420 +repo 1514f0af5bdf96201176e6d21cae503a 420