From aa7ea94034b0224b936b0b228a645c7f4aeb0a2d Mon Sep 17 00:00:00 2001 From: Galfour Date: Sun, 12 May 2019 22:43:02 +0000 Subject: [PATCH] update repository --- index.tar.gz | Bin 9313 -> 9603 bytes packages/ligo/ligo.1.0/opam | 28 ++++++++++++++++++ .../proto-alpha-utils.1.0/opam | 7 ++--- packages/simple-utils/simple-utils.1.0/opam | 5 ++-- packages/tezos-utils/tezos-utils.1.0/opam | 5 ++-- repo | 2 +- urls.txt | 2 +- 7 files changed, 37 insertions(+), 12 deletions(-) create mode 100644 packages/ligo/ligo.1.0/opam diff --git a/index.tar.gz b/index.tar.gz index c118d5b3defddfad1d0cebbb1bb9bbada380a8b7..a91642fba0685c135d46fed6bd12ecd56d9a1dbe 100644 GIT binary patch literal 9603 zcmZ{qX*`r~`1WmutRZAyQz0s%EMrTHt(6oel`UJcX1i@!lPzS)SSq4S_EHSllV!3K zW8b%#F=LqJddBbnf1Y>GtNDE9&3)b1b)Cm~9N+VnOkiX1D;Tw5VBUDQmO9a%-a&nl zSC~-#B+WL>@Sj8GZ0d*g@!#VWr=R2GKV%;Ym*AG;)nlCQe4H+EvM)twV)HN?Q)2rE z{jW~%FM?K)S>p(8J$%Q&QtG!UE&qh7Zk66*^_0ifJIKX*Yx|hU#(vI$TJ;`ltzIEl zv-56bjwkQ1xu-X({+S(>fxO01a6q)U)74D7NK@|3u-=Smc3e!*|3%BL7>=cKb)cJQ zr{!v)5c>~bhKp@^`G^|glXAp5@ku6fS^rgXN8FDbipXG7t&86n{JifJ?X_7nV|5-j z#BVia0tgmc^IpN^A3BSlm3i*}R=a!x^3qR4X>XPci2Hl+F3iJnQ`PNEC4%UX;OY<^&%QP25k(B_$++%izOZhnt0TgXmI`R?vf-ST~%eWJzs+yfVm%I!D0euB%g z`#6)Gb27;6Z!f;GpAD3p*EkuBfT^#fxkb2V6zf;p_J0titQ7`yMFlUKJm(7+tx!MZ z2z7ex$ahucB+M#>df&!HxfO{9dc8hh%Nmj{Z+ns`WAROHi{Z+@c8sjw-wQe`NkX1y zMuSdG?ZSAro;6#hqPm}iFMrUNXt2$%!=8|}e4@4K(Y2^VIMZbfk26k^lF_&)oZ4VH zxZ`=|Z%Auz7^Ga;7{D=W735uEVYm}6W?*L)e9djrOl11mLi7k$SJ~pR5LuU~l9}nT zI>}N;dcNd%(Zj&yaCEw>qsMUA}nqL<_gH^JVknekDZZvw<}RKHkE zr^99bV`y+lV&0TT-b=ErUWQcwDt=(2PVCfco#j{u6*%f%Y*2uwwx-M`G+)DtS?*pD*ccbxYpYcYP^1U%doOSbC_j;FLpwk zQgN+*nR(Lag4l(jrkd9u+w3g3gI>&UHzsB$By{O*BkB z{>kr!`OQ0OPO2+yfhseOMv(6Oiuyw%@$qFBfbjV1!tfQv)bkMNTZ-*~u}hv%$67W*?b%!iPbcgg* z{l!hu;QL}6KNXZcD40VM-tFiu-Gr?#f!d<&Ss_vElFL^eYlHYQxrJYAH`=Vs z-FzohdGekwW=8ckneA>Oh-r$%+?XYwv6DD^;3%IH_+ zx|}`e^8OWxM`icm5iY+dNWS!@5jFpi;Y@}hHVRpnx{IpyN`AD%{Q9rfj!({`+Mo3W z-B*+-wYo2rya!YMhEixlNhTp5l#h#1DG}x#vv8f<`T6ze#rUyJ>uX$AxBAb-M!XZ1sa25)`fz6N#sbZdUy9Is0T3V7nxN~0u26IRDY=tdVBk*;Bhjkh8ZlF@*&axGLbi3j)39T!c%aV7 zqucc2M5xxH?GJ^gYv(I<_`mNsWROpie9z+D)=$Ki|5nu3lxk91FaG?LVsT-MvWAxn z>m&o8fiU_3&aU^--f1x##e;YfsIiZr-YprRop%i5#3BZ2QAPR`1fTB`Bv$=!#HdI9 z-e+4RXZ=>n%;^2_rS8dx{wP`JdyCR1*?! z@r|bn>!|P;SWG_ZS>0Cat7Y+T`6U@Ah@3n53~iw~Ij3rDQDuuQX&lHoEZL3f%#qC$ zMEu2%K*MY1hPAl#9EYvB!7BocAv@fdqn+lF4>I=+(F9%GawMm1F_ybwA0vcBRW}+y zWQ5RF2uDcM=b3GFOWS|;yf!$^9M|a8@J!lV2QB35Z=dC4>-HWMCRcguTU6Srnh#M8 z!NzJe2Tojlg_Pt3E8N=%J};sZn1X@hg4+lY-*LD!uzuZzM|_F|7IA?%Xso9HIz!%@ z-XI_5*E&Ya;_Ie4$`(UOYnbYVGiA6Esq(GhYs7`hC~p<+LeSZd&qTgL-u!A}U|MzV z-=q6k-B%^@u*Y%>7;LUI*2UlV_BVmGOABF)o|f@2DL+lSzW2erZ*llRrB{g5XQkc9 zZ=Nys5sIN#?kJWq2YqrA`xhd!ej(=4ER+$N{75Bf;Ky-2y*%J%I50zozl`3%)Yxmw z|Ly}K8C(>kk-|76AkU3MxNq;FJ|3dMrxRKN}N1%>I zvV12YP7 zXi0XAyhII)QFwNMNuV)7L?!T-kl)d}VPgu7CeDRHO{TtII{V^pGl;Y?8creD8s^9>%mB4QWW@!GP0hy|fU~m{T`HX(RWM z1@sN>c>?UN)1~s!iz!;|1_Suizf6IbFmN5q->PEr>6m67>nQ$Y3sCReLQ8q*g6k%_ zk19oPRZOxhQwOWXaJt^$3D>2<~Iov+Q#7G(mSn>TVX)73j(hXi7?H(O^D#C6<5(Iefm zBa^YR#Ko%?>vHQ&396&*F+BFk*R_(qoPApM#_p~v@mJ?}co6txL*`8p=e|E}X7XUfD_N70Hc({4pv?Aa?Bp^J(<_ezWrGSdzAl3R{Tv;FNhP9BGgX z-KJKa9C-L=Xj~3e-nkW9>^9R?aL1mpJJzDQf_qPGp1mulEY;<6<+jhe-5<|Ty`;y{ zv^1x2SATtuzN86;-eU=P5bMDpLiYNLWV{Gex(t!m5q|m(dJ%O0hu^33*zd zZB*lml-|sF&cd6`jOj<6m0P9U1R?~y#jUR1T4(IRY04wWVl#|fBr#!)Fb&DK->@iC z{3V+hd@DmI7SX$kTA@1(BW9vdd3qxA+a_pHganT}F#(t1emDw>v6SM8Wbnl(gwl~E zzU?VN;g1RW7^flh>X_dTk#BK~ZF+=#RL$F$SteoKtss35=1QVj$yQL;IEt+p>HYd$ zFac=|c*JL+bm#X}i&7@tCP;0fxDsVAtVDavMUYG{LDKwXD4;3!P^y(pWOvD9v<4}$w z+@8=xILShu4-1RgU+4?pS10g+}{ zEVxrBO-`^voCP_(V5Q!rg@WRH_YjQXP+tOprz6zzRSH~*3!H`h__h5yXu$Eb8AI^v zqPop9vHctx@w>|_A8kV0*-l@Zvou{AmEAA)=FzG{jx4^%N^_>02^4E`{xgd`T96|( z7IS7pBI=&gy8ygk(2Ho=cCHfDtM%2hUG_US#@*mPuKBx}Cpl%tM|g*_g}5~MRztrq zIV>Uc7csXwN>qXA^Yev&o!f8tnW@$x8HZ&`+^7RbTtWs1eiyBx(2}wW$@#g!q6iPU zE`t)|xeZvgp$7kNG7#$ox87%Ms66?l4-maekXG%XJ=k?QIH)+O!d$L*$gHXF?t3S< zmskBBL=J3u3&Ln?U4ObH;ig$Y9>X>bZpwsH%dQkVg$iU(19i8z^g7ljBi`)YbdCi+ z-81W+Yt!I%ksWP-pP?Zu5Eh@HTI=*;vOnR}W%R49^F!>O|7P|4lOD{HBm)UkuCy2~ zDr~T%gZ4%JG#L_o2+60`f{Xi5-9F0sBln)W8ut7N$xf10ng`N^}5c^A)peQd-KOlfUf0u{%hT)~n@dx*FXmoT6Z&Cm9)?%z&n#(E8QdPvRDaEZrV| zA~w_|6q|8AxX1Wrt2U{x?1g15AEYFXnwOtsQ}u_JwnLT@KF2pHJ?s2U{EJYJ`VMqc zCWV^Bvy{b{rwU947@BBD4(w1L0}mGQ$%XDDz8v`ExV^1_L!7rIXOi9H>%5X@hq&me zLz;G$>WvNA--0S^(L6pQZ8@?5XOB71UfXmI`{Eu@)kO0(SA`kRRA#PSZXa)G{)SF! zzzvEP-%pX(xfHvGyl-*UzJo#1U=QXl z`=4Ewos4^askJT$p@p1C+g&s$rNM8;<~9<}VSj1A_f<71d}`vw(m#Ju{xhgoDkprm zGt2`@J^zKtF;v4-5uWQ<$!;*nNiUcpc4FqD{wbOw4yAq{u#>hZvm~T~__q*sZOZ9> zO#ZK>wga2&3x%GDCETcqk3O+8}p*A1AOhh#FGzV7!M5Cfkb@+taza5 zDo%l}tNo=pZ325N(SKMKlo>T(A%`6Gx4Sx4D@)HW)Yv)wD3Z#*VqT5@?8#rh_0?{N z?A?&O^*PgC1+7eeXSp-gk~eZy#pPp$z}CZtz{+!iRSQ|M(R^$|!OpXDke{e2Eb6hr zw@%*Pwv$^HuR32e zmC}Nrn~{$>8!5T%@l;q^)L`|H^L__^n9B=P@ z=FfBO9|`4!>B*&#+XQImt*KTd8VvQnvdb|KN>b>S3k^mVsZh4PA(bA`=TO-zj8q9P zoXQVwmKMhM)X@FecA$pc{6VW~UxjJWi~BzT*u4kF&NYEzqe!CFEig8Zhpedz2ktlt z++z`WhLPLk@7Sr4W$3nia;n$)y?ouH71mQkoMuB#SvDL`J8bo@NJxV=vU+=}4D?k< zf!qI?%%XnaG%*eC%Fw$(3s~BwCv^t{s?fo*j4K{ZH_;uq1B|CWQ=fQ0GbqJkBk-E8 zLvT0o2;a!=!0>B)6WqS9>~)Ul!|k)H_ki?h@4MZg!WI6LPRHmcXSxJ#;19uuzZ z+9E&lX2o+oY-VE<5Vu4>{9^gXfBD4d)U?m>*#}~U{fV_f&(ADV&88>w&xM{beDNw& zM)BF(HnecIKm+A?#q*e=ocwiC3MH`ZNb8%Vkle#{J%h6$5>ahFSX)X)LqV_H^rts_ z^6{!C+@d4c7Bqy>7K$7t12{$8iRaa_{=)IIV(zNfZ{?yRU<>8ad%UsI%lU>XI^6eo z=5BJB7Bf1sTI)W4@74kC%pBgm1Cj{f-T+pz5%eK-$#qtzN`Ms!8Wy34Rnrwpwn_z;1FN9B%EFN(8XVqMMrLoXUT5@T_-}O z3l;LEo1(%{a)M>)GAKj3P~r6RQb*IOh(Nu@55Pr9^k}jM)0os{2&oESaKg_g`pR1p zbGn-?6~52zv@#!RnrIP{1ZFC|-&+_K_WHis(<~CBh)A70S&@UJD!LC-{Ckp&5a!bC zgrZw^LBIPlC@^Z+liXoqSkGZ4|80Hn_k1aTcHXO*U$u|Fj{B@dGg=Eh3lAwAyF0is zq#Uo^r*pjfocaA0cGZ~{J`I|rO388Q8?V7VpfM4(M-LRWFw~<364ymQH7E;j6NV0}?{U*+@f|JKaX z6t3vL&}puF_=n5BMryopP4hA=*_+narZ?`D$STR^o#8fSY+{^|^Uy^1Qub1Uu0Tjo zP0Pp10I3(HO^LsI2Fu+ZkBO7M4qL08JJ%U_({LIW=edoH5U)-T4Zt1osrtt=YkyCt z=@FL{;x5U0Y4`!ovGb6BmuBz_u@C$Ae3gosKHyNmx{;*Q3&!hvR-sXDdQHj{P+gOb z^??jxommMeHZEF+ruN{r$bGQtnn2l>eZa-MiaL3dXIuSrte8L6;m!fM32{dLW3oxmL1wh=2%WU0Z+1x%Uh8S_V(tXe;v`5nJIcD*(? z0S@=qvr-pA-i{O`YmXPVeOlk$BNQ5cs9E~xX`h9W9~DB{dT_sV`(4tqbLLcnljP6O zHTCH_HFd>~Pqw%h!ZYG>92cU31=mw~B{?>O#%)$OnEqOf z{YqoLDl{J-uwTb5XP%e*^ZOC1vY$;_?GNo1-_M&On--fZw|?LrLx&nn$`~VQC>d`2spo?2Gu6+g-F4GXZD4Ic%?*?B!$p3oBDk`$Y3O(hMbM)03(Ro zfKj)>KrfPubxEc1_RrR#5`C6S>{FSgSorpN#Y9Zn+PaS?owK0aHT%KkIO9>2clSNa z*BuJV{0|QvT=%J@ULi%(8H1fxF4YXjOLy^s6x2IEWKiUYVoniiNi%S5GlH$*Sy4bz zp2zP6Cr$*Le6`s3$4R_Fo}R=*N5%X+;7BunLi6q)CYD=bhc{2O#y-26ylyDS8b`zJ zFQE$m*LUA&bbYhIe)4v?TKXC;jW=I#SRwHt}o+Ry#&5uI`BO%jm-l7ZM(B{eCN#OI= z{2xY!zck67XKu^jv(Y2+h>&>_LvkI;osJ0;jmN=zwlHbhdEdxB@KL&euE&E<8Y;QY zYK*~_xBq`k`pQFZn%!*431wwMdhL_uSQsk*X1KcDs*_PIxvcs{c+&L6882DND`w<` zv$X%(oFO!&|2K;dhv&3m3&dm7%8}8XQf|JMD#qeYu78 zz7Zw{Do8LKjNTy%^vV98Go_6V#vj5r=&{ng5?nQ)qcW3`J(5M@J_rZB$VL)Ozb>^y zguJ_u8CxOv+hbOzAfM}_&MWpeft+srz`;&LZqH#4{kbv+l=WE_%FMNt8!#0|^GO7) zT{|Rr<~);&&hc~1);jZ1M=H+?Ri#I3=PnLSUuC`<*IQDKMfqWKUxo3L`p^&Q8`D0D z3L4NnazNdlhtcOVhsiv*rt^V?KZ(LK5J6M9t`-kOP8~@)#@L6TdA+a3*Ix6O9_bVn zms-aQVCcrh7_Uivdcan_9@4DhT8T)NefVdGEi%|R}UHs2zZD9S8aSwHU&=W#me{tds0t}5D{sR=zMr4z- zGrZv9mp%9-`XHE}F zCS*Cl36oq!CH*jY6yHx6b<$J+2BY39V}JTweZ6yL54)XepOAoSYAYU5)c%0jj&^RT;mSsCS?}w|H)xx0jpxME&Uk-kjiZ(uY2cTBpObpQz6Ob_psh9OLoB5Z zCXmF(H3t8A|23-u3DE1i*jQl{Qsd#qN-7ioEIwlh&>!N%N(W8G6Cmnj6J0gb@<10G1Eu)Dw7lGFruvtXRsQYeJRVtasL^z^+@*YK znhlc3jY=|@q#`yy(NxGZCuo`s52uHKO$D_S<`3(A`_LEVWl(7RmxyQzr@J#80pS|~ z_0zZM$v#S_w9&JF!Tp(LfYjuqvuE-wuRDS8czdkplo!}NElzD*gy^Oz-`J2SME98# zWKHzG%5|Rzs#6Y77t^KnspiwFM7ZX`^O|c-M*|wKtIl3hE{r%6yppjQf41tw@wDQG z!lj@gjgw*B+XJ`NX}61atm{!`tKg#{1tp@sVF9x0c16>xfyH?xE_xyyvsGD4P zco{&g@mcB}Z-mf*)OpCFUlxf?A% zR|$^d!9I2w#X%}UYQE+_|>P$PkasEtG0#dm&T01y2Q-CK51N8&c%@NbCyJ`p-@ zKB&_g`v1kii|B=}f167YyA4Li8-=+DcKm1GKy`8fZs}p>NkiBGbC?b-UAR3+%#WWtLM* zET)L8Z&-}Kccx9Yo$2JNHzQpZ21X9RW&=^^bB@7*qJ>dB)w7>K*O=&v>g|rjBI+6O z^cwGgxLTMQ@}}5WfN_?Ijae?l1-M8tP_X*iVm99b77q-B8 zwF8^nLWNw-<)oS}+Jwy-@l;46wWx;EM+8W0X+2sX&})6ZxfJ~nN*LIU>U-As{!monJcp6-VJZRoZ|{Avtlkf+O){dHv%cICS#I7(gIi&oCl|GBB_Vg1onU_osVWe z0a;Wiqm4dH3Kc$#dZc)#~p*ctN-+|#>{uwg4V6hBr0 zg+#3e3!3+T8FoYEUU4i?Vx}jP6JyZk9=t&vxIU$i8`MgHXG#>q6zbX(Odo}bLF;8& z69#GD-Ex;*5#5Kmo}qQ_c+J74+*PTnB;##`hG;q`DjMqt`fF zmugee5+96q9xVp!y_7h8V&JAybkgB>IyF&FhLSM>Cc-`sx5M4$Znq|ao$;)OBh~cP+OHmrRVo2? zM!P2e!=6P|7vlkBwg+jh`X+dUV&#nGxid$wLw|y0{dLD#Ov#rRe#elhr9tY}&sclg~~#&v6j+TLkBL8L!l?;~vI5 zDDbMD@^=4H^;f7${wQ9S>l@IP9Lyg<6O#Ecs1Pmx{Vc(nT0*= zkYt;rKjN19>Z{Dkj~_!{PW?l{8mqE5NC_TKxWN8?D)FjN^2~Rvn;$1vxZ&jQyCn`e znxI*H!tkli-N`m@dU_JIK>~^>=}_v-lS!P>*u;-(cF@TYb!QZYeFd7zQl`a>n?4_A z@K2?$rJq_V88O>?6!IJ*U;xGJMtcLS8H#e)P{0_CUtMdFwuhRm#GB!inL~FW$$i6w zy3c1sJ9ob7N3ekp(EWn+K*WtsY$@&YCqT6fWuSdk|t5TnhaYi zgL%TVWTng9k@Bk8(1oei20wXbXFJktot{t_cQ`O<<_hJ{-@ny>c zgZ6sC3tV&|Z?>O(XhfDD?by5X?WaZ_1c)!IDSz{cfN%$t-X;)(O-+w(`nj6K45GXa zhg?}-q!v%{~^y+Y^m8ce97 zn8z%IwqHg3=eQKqRvg4oO3QRczI7j!(5B~+i(>a;8qvrqwqnabtG5)*n(-N(lxcy= z4QS-E^{`d1JxKD8CkX@1DQ$8o!7V^^6({&&pg8hE;Mt$2H7g!-n)IO}Czwa}nM-94oan-?yJ$76Am zbq#qfU+RN?PqYHJg9-dEgA;EChE36kaRu3({*Nrjn-XA@zqyw2|p$b z-bxW6W1?3$@X3z{rzSZ!O(N^caE!>+r~V<&H$)da(^}>9uo;9$F53*|x4qvpQpfGe z5)2v&7!rbsLp=G;O!PG!f84&F)~lRh>uZ?db16t)KAdK#i`jw|1AjNG$H21CvEG2LeVsiRp&@AjAcZ4t0Ne{UQ! zf8@d2?6_pgM$ZhI_$%tHgU9BAi1jf4uOpSYquzxL{e8OBv)7{+Tq=R74d>9^BQt_ny$h5^uaR#nWK2L>~p)*kt6Fxxre;EH8%e-2E+x{0=PX_nfxlPB(Xj zufymzm2gm+PlBKNT3o(93LFNE`4{o}NsCHXo;JbgQ8;%ltsc_qodGTfrGmqpIS7)T zq~!~4x<`jazJF9wCa*M-9b&S-6ngmGwBu`JXV3bK`&zJuzEgV#gFDH738^?F+6+pc zm!KJzzTD6Eg995NRdfotAm8)Aqp&?|I8r&mp`M9WobLo0j;+Nn(u_afuC}@DLq68@ zrHq4^N@#>bjk`Yo)R)CA^Exfo3s$^c9pe}jchrDi%U}J}l{{B5DAes6LpmF1BNZt{ zYe{Pvcd8=`kHqeVj;GZ=_xlhZ+At?&bT%;A4QsTOVW&#H4I9`=R+Undr3lpSPuc>5 zKW0KxYOy`4S-h2o?yHL7iz>kj7Le?>(G?E5v_8qH#()U6+p$U+_--((M1PnhbSb@27Gf9qiDnnMUX{`H^A$fS9dYZMh6FOTIUICbrl z`-%Ya$FAZ;Jt+=gR2SS4T*XQG4q=V~&CFjLIJcdF3tWc=%et*EO*ExYoO`A?pM_k#6T&j9I93Ych5vS1UJB{MGn z)-4{&KZ6>Tj7tM1QCidBC&@l0LdVqoKvD^?^fp? zYWVA7*s>voUF|;F+uwLX?4tP;{j6Z{`j+eygTK+wCnVR+1OB|HivN1znJ{`nQ~Sl~ zM28M{=HaMALoJ#USO*d3?7GQ$oBh{(b9y9b<}2(EFIrAQ&mx+AM%16t53WX1@iXDb zSL34KrT&fK>}Z4dxY>Y9_j}fX=J050yjqa+5ZTiSMz4}-eIlT!IO3Z~!o9fSqh06r zj?F)qnTnd-F#H|fPqDZrJEou|WUe@`W7t*!nO3)s3TPEWgw+oX+OYIB>l zWf26Uf2OXg_#Jo(b7{rf?F=+aLCJ??U#m?kpR%5xPpEmH!uH0DLAjEHp z^tFWlog_@Dv27v1(gqi)T1++|pzYHD@{E2{aKb`T6X>=H7R1FTIfj;Wo`!l0W-d;& zHJLJJC3%;x6c}N$cyx)Htgilzo8|)FuC4i^oC~6_kF0=oBlZmWzzU{AJqv>kTqIj% zCj!T-vICfioF#}GF44(rfdqeoo~&n0_(uz(tB3eYS|YdqEcg+0LVxJ^-M5X7lDt_p zJ@Dp2`)7@_4Xa&Q7b)U6r-^2VtotlW=c(U>Z^WkAsr(i5ecKQzXJJmo<2&fel44Z! zJB}eRH2qr@0n5un@H~x}L!hNmPI9vCT$jm=pU7=jARi^9^~}#Wm_Y_gp3F>P)29)u zT6*a;?g-bZWsoISmp(xTg5oB09mc*{%0L4rn$zZx6qIRcgF&lX{Fz za!D~cP5L?5?bKfC^u^(7%C`BMjX@cj?udK#>si}MdsG6s7sr^b6u~Qw1gM%8zlsq` z&%n>^?K^qn(~@(G0xDWb>qO7S6{d=ONsjU@rFD;5>CK1ckF~Fa5@I}H+pYUqKZC!B z8NXw`KZ=%=`V!?X*vH3z-Z1!atoP*)N6apd+Pp?jCYR+dJSQ7aeLta;hxqqJJe#(7 z{ytbO_OG^dsJQ}Lv;4jpus1|vb|gM2RNy-ex&y~A?0`aSIjE=9k-67lOzIkH05Jb? z261F=eHha-J_#~+vA|}&JM576#a?jsQoKia?)*u!e<~ImtSnVs1VUX<*FQ=mT(+Hr z?)YAPA#yttjC^E=(Td_<3I1j2Cz10tVgwCk<@1zf6!bKjN__kal-jg$!#y9&nU=4m zxfU(X?tSke{jAzNiSyL4F01GEy|P?#(^|y|IRlbue?70B_dC$TDZZ+C<}sW5sIuoI z^mf{}Qn2qQd%`3-sSi>fhw%oS6tUvh89Zmg!J^D6LDZz2(5w??4{!||xVejPh3M8A z%Hc^pT9tY-bNTIw@KXon7oVuE%5d-J>{|f+C(g*8WQWq!N86 z<9%8I1BxU`q}LrwTy_QYr?+4w2Em`}U<0hB@*AF+f||;8kehfm z&}EmK!Qn+zs9oDM*A@$`z|6Rms=oZ-jgx3sSm2VGwqosL#NIjE8Exfz+M zS7eFSpTSLQs@0K0;>Nz1-ff7_=%ieTM(s9fHP8)-_<>Vt3CzB9Z&j;MSPV2diRVq- zAD}H%7XdC7Ve3Cs(OQ5m0(ae4<>1gf`fW-J3G&*ripVkylkh0;ISZGv)-#jxK=8I| zBJ}7>VKH9m5>v0Hc?;a|h2@SDp}0v7;M5()igHo?2}<9Ccqyd)jWk?J%QpD({Rx6h z^OJ;IyRP1?S0;kPraTjjRauUj5edag|sX1q(@!UGkag}im^Bx1)pks-evM;@fhxj(8W(B zrZs`F5jy%%@U;|J<>=9o5RL=MYQti+WnI=0l4(9`+d}&?eroQTlQ&+YP}WL>mtZ1$qMCjJKzROoqm6cYhUsPIHUqsM8ffbDxQfi^W)gi5aySO)Tc<*sLfJ;VqqUeu(N zuzwfQ0iE-JZLIK~ z@a?GT!lsYXQhTlT^PbuMH(wmw3GWIhwZ$j%gq>`LmSi@e?xTsUc%i;aJ7*_xHiXm+ z2f!5XsxTOQ*3bsoa!v!M#5W+$vi{80Uctc}f01Z8yOA;5K>22LF8PsJ4+OAFF`-%2 zopzE9*ned={H89J7blVD^9I>k%-eW95^HUg&h^(xyp$k$Ue64iydnQJ$0*v9b#sAF zZt)EcqOF}hB@%eY?ng=1EkA*Yf;8e_=caQA{WVasxI9Gz3?+N-*#BQ^Fvb?(G(mu4C zBwNvM=9qMu#ozOj_0Y@#G>G2nui{~$6;_e148U8vezDMRK$~^i7{bSi6tp)Gimo73 zAmU7Ps}sme6zPp@+kC`zI6BvMJ~7g(4@-Bs>D|*>mdKv1 zi;j4oX!rY?qTFbM*V?bfG`SAty#g|4Y**`E;6RD3J^jdGkw%h#&?%uG8>kWB>y*x7 zs0nU-PyufRHQ5mN6thU~h}LJ$B&_H-K&f;P4m$CpH0WXwr;zDX!@R|DrSwSix8)6P z!zUy6&7F{HtfP0WDUkOL(5Zbg0k}le=NHcu3Uo@*x-$hw_t5eyrdFB${_XZZ$9QVq zX~iZ89NFSfVNLQ~$TIZp14CnyoflQl-qnP&X{co{zBSB$G`4kU0WG!xba|*4tm$XM zS30r$7YUTu@Y8{FcRn5Z*cZ<1O(e7Gt0U~qWNMlmkA&6qcd`5X;hJNCJcyl`A}i&t z;(pB&8d-oj{{?c1?W8LufNVs>p^X40bsHQ?;os4C@xVEkXEUh2ov^4SyoV=&!kEKK zfS%)(3v?oPAz1uBb^OPk<VuHBu z4#p_79LjKNFM5M-+Rqb^K3Y&PO=5;d$S*e_gn;8??jD!q{0GBD<(nqf~2U;z+bLj-0RXeqXX|tm5oP$#Y4(UDeQh?1eE2I;jGtMbi!L> zD>EGz-a>50wS2oA}O*v-YXO zC?(k_Vc9n56Nu(#VYc#zVP?$SaoH7MJ*0-Hp({hsK0d)UlnG^KfpCF^)K#brt@=fcz9~j-CA%883Za!Fi8EP)f4MVHvSwlLcG6u)NE3cU0~DEIF&&B z@z)D)*%Qb~N@Ev$S#|W2=(5@;zE!iSbWl>bfe+(Z;q#`b|FDgcSnuxUI5(@`UGYo9 z^%S-(A#XR!w(9NB*8L*w5&I%_mj@3Lwz8gi{1qXOk#}hyrvL-OMJE!}%c3K)2qqdiNu-HrxKv8&_h#g@#f#EjRbIt&{|$j7irBMnDPo8+DooNwV?X zyN|7p7j@5zw$KDj_v$4lf993R<6hTQd|WbXzERF#JzG4`%~-=YGc}#vY@Td-;I^|F9pATJ-+Pq+kWulx9JB(uNCLz zYBf}k1W9nKYh=wNQJrqJPL?1s2zAGb$b2)MRJ{6%j6a$VSq8i^W|oT?2ibS>8lms; zlMicrW3y~-B6zcTu1A*syBW@ud}1R~UVXU9w_sU($@+#av&XRcdx?|dpN3xSz40Xb zd9y1MH1Nx7L!7qK1>#e<*x{b{=9HB|wdw8fU?#cT_6_)8aCH&A%DDR-xRgzRxLsSQ zEyqi+5IKk|mm@eZDvVpAGheCBqNceoUyn?H?~y^yBZ!q4RsMItF;PNga7Y9$n-=sgig8cs0349axEP!9HASoYZ|rs!mRi zPruZB_ma9Gq9y;i)tL42`x7WrO=)$n&PkoekvPvWUzgi-&ZG4bk6FB5LOL|}RqXjk z?(0uwkQRJh33HzCz=w`xs$ccW7yO1iFId)`>_7flmpi{>&-~iIUpF3)kF+_D*3Wd_ z^ZVe;#2CO5u9-5NmywK9%lHj4hBYiK+SxlShXp-zs}x4Ubt%LEu#3k5t#nq#M}aM< z)G-(~^L*IL{@699Gp8o=*qUz8T2A;?vw=v0$^1$6U8q`x-1Mz%@^D{@Le4{}_VHhP zUg2gx3$99R2RdAiaSHYAV~m{0JJ#ogrCMEL@flnQ{MP&nIK7Us)I;_jZPOqTG$0`z z_Y(Pw-812xRR5tK%UxHi9X`hAi6CFk)C?qkdI~t2lbL9}idWHE+bbPPd+#eI|7i}o zs3-rjQS#_@@iU+Gz|W^D*Va4Mv+q1m2cL}O%@fzhZ&`5Unab!;`jgUbYY=&JwsOAj z$=OO?%1`CDwpE^QaiUOO_`d}`X9Nf2)`kv+X0+Du{Fh6MHv0_yc& zI`w?aibxtRP^A$*N#sOmI06suRTlHm2v#cBfeah{-DPOklfLKtc~0s3Mh0juH*0OE z?(zwum;bR{!)3+Ar;!q7&~4??z!FPeQnHdGMk3n|ixuYrdX-v9o-;(6=uK>sgaOFPo}#`hsJB5GK^azE>+7h6l$x#)#Lk}HeaUgapl zx8u3bnPDN^HzF84@nyTOCl%To3lig_Q}MgbJ;q%hLONmif}=ynC#;kW=lv@vWh^c18JRu{XntmsWX3 z|J>2SU^%*sy?nEYwW0!O@NOVUp&)}pqX9T*jDhYfL56yYX~wRdb6`ENQW=6z{^USz z=@_HoUb59gR=w|l`5V*-l=lr}Ed~0zR_owJ+b;PMak~}Z&WNN{z5Hs>BiRQYZbKBF zWgy;rA3Q;ScyUM7CmV>63f=(AZJ1HN?uz4&K~N_HU>B!Z2kEA7NcuUjC+cpPxJa~<4? z=U#`ZhK`T%>R@CJdS-~4>xtF*82hyxeCX6V<%FN5*=-5z9y`a}yb%j}0MdX?&mWuRukJZOj8PdHKt1MCWgew&T7S0%(f`nb5z~(Y-y7o zl#L5{H#OWWX}7S)WFn5dBAVOo6J%_WzLZ@vzcqb0*heoVk0C9l;#(q``~Jvb0?BJl zV3>c*tT2)QR`gg7q$mbKa0l8e-yt4g3Uche%)phwB`$}UOtZEKI?+mH5pd#h&*(&n znx;tiVTpdON5d{1PjwpmvYvL!;|$ZSqx&qef(vq{f0iOgT3mE&GICFaW(QwArl_wd z-de9M_eulK{z@n3&>>?U1Y>#~0Hwf5K^6s6Q^r8wj=g-;pofHM+d%a;5JSQ*mrG2s z0+3O)^3G8?-r443UBlh4bc$4Ptq%Kr-@YG=^sqT)5p@{P8abKzNZ6v{+bK2#6sGqr z1FK#asNtI&7lLOB-$8%&6-w&y`Xg{jsvsKllu9FMMhKI1Mu%-|F80D|P@3+SA`+|6 zq40Tsr)BAbD{dm1_%5=lvmt+to1Qqqn&z-tY`&gNYPq>0&0be-X3z-Z`c}AAcgi1@ z*n!Kt(74qdZX|l|K~nQVgQO*;hA_lWRw6;nx%Y61l)yG9(o76vyIINB@82__eC;$~T`PVtmQBqp zp%O-9G4nAKQa}QY9i$3eQo5bj4jeeaT=#K?JOyY9V!&XjD|8<|IycDP`Y z@JJqZk=QvE0Qba5wo$^BQM4X`%;>(5dS|N_u5wMEb-{IT3wU(@vGkloj~1U{ouL}8 zo~(Tq%p@t>%!2m@$Ck*|zR&so(&EQZ$R16u1QOZ_rL34U;-!FpXUWnANltU`yOF-z zi>rxJ9`g0X>=XAlUn<#5qgwCp<1>o2<=nG6S=Ag5eu}-cIDOJa8@%O4D#eyUEB)T9 zI38x6!H-3V0}M*JL!?L;71-MW-Sg%IA^-eaUzF9Q-||2!re(E6?{!|vs%vHI-cez0 z$%Dbt!_@uAE7v|rwhT{+2Ug{LNS&h$6sq9gU5dzV%UF<&vCzfKz}fIyrGY&pnZhuj zf_UfM32Xz}s!J6)MVo5v3uVm8&3R{C(;f|(<}Vwhva;bb(j!La*B?FMwcgEqo?d}d zd-bv-;IYAr>4~3>NXp;SB)V{hGtPBzdR(+3x3xQvSXMULm@a30blOPVW9`oiDwELa z&Tp_|th`+%kZ|ljkGOsfIV-2`7_FU9OGI!DS2eYPu#pE6_~xsFRBsh_zRWR-Me<%_ z6R$qN;(EmqE6PesXQ*M|XEb!+aq*sx6-8S673jrpPxaOIc;etL pT7Eg-oy`|fw@A6F5lTwDTpZySq=o= "1.0.1" } + "menhir" + "ppx_let" + "ppx_deriving" + "tezos-utils" + "yojson" + "alcotest" { with-test } +] +build: [ + [ "dune" "build" "-p" name "-j" jobs ] + # needed in the repository, but must not be present in the local ligo.opam [ "mv" "src/ligo/ligo.install" "." ] +] + +url { + src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.tar.gz" +} diff --git a/packages/proto-alpha-utils/proto-alpha-utils.1.0/opam b/packages/proto-alpha-utils/proto-alpha-utils.1.0/opam index 0892abfad..27c7a6f53 100644 --- a/packages/proto-alpha-utils/proto-alpha-utils.1.0/opam +++ b/packages/proto-alpha-utils/proto-alpha-utils.1.0/opam @@ -1,7 +1,7 @@ opam-version: "2.0" -name: "tezos-utils" +name: "proto-alpha-utils" version: "dev" -synopsis: "LIGO Teozs-specificUtilities, to be used by other libraries" +synopsis: "LIGO Proto Alpha-specific Utilities, to be used by other libraries" maintainer: "Galfour " authors: "Galfour " license: "MIT" @@ -50,7 +50,6 @@ build: [ ["dune" "build" "-p" name] [ "mv" "proto-alpha-utils/proto-alpha-utils.install" "." ] ] -dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos" url { - src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.master.tar.gz" + src: "https://gitlab.com/gabriel.alfour/ligo-utils/-/archive/master/ligo-utils.tar.gz" } diff --git a/packages/simple-utils/simple-utils.1.0/opam b/packages/simple-utils/simple-utils.1.0/opam index bb279dc46..fde3a1163 100644 --- a/packages/simple-utils/simple-utils.1.0/opam +++ b/packages/simple-utils/simple-utils.1.0/opam @@ -1,5 +1,5 @@ opam-version: "2.0" -name: "ligo-utils" +name: "simple-utils" version: "dev" synopsis: "LIGO Utilities, to be used by other libraries" maintainer: "Galfour " @@ -49,7 +49,6 @@ build: [ ["dune" "build" "-p" name] [ "mv" "simple-utils/simple-utils.install" "." ] ] -dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos" url { - src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.master.tar.gz" + src: "https://gitlab.com/gabriel.alfour/ligo-utils/-/archive/master/ligo-utils.tar.gz" } diff --git a/packages/tezos-utils/tezos-utils.1.0/opam b/packages/tezos-utils/tezos-utils.1.0/opam index 1cfb41c70..52d2de32b 100644 --- a/packages/tezos-utils/tezos-utils.1.0/opam +++ b/packages/tezos-utils/tezos-utils.1.0/opam @@ -1,7 +1,7 @@ opam-version: "2.0" name: "tezos-utils" version: "dev" -synopsis: "LIGO Teozs-specificUtilities, to be used by other libraries" +synopsis: "LIGO Tezos specific Utilities, to be used by other libraries" maintainer: "Galfour " authors: "Galfour " license: "MIT" @@ -50,7 +50,6 @@ build: [ ["dune" "build" "-p" name] [ "mv" "tezos-utils/tezos-utils.install" "." ] ] -dev-repo: "git+https://gitlab.com/gabriel.alfour/tezos" url { - src: "https://gitlab.com/gabriel.alfour/tezos/-/archive/master/tezos.master.tar.gz" + src: "https://gitlab.com/gabriel.alfour/ligo-utils/-/archive/master/ligo-utils.tar.gz" } diff --git a/repo b/repo index beda90e75..b34071d8a 100644 --- a/repo +++ b/repo @@ -1,3 +1,3 @@ opam-version: "2.0" archive-mirrors: "cache" -stamp: "a010bf23" +stamp: "9b8da745" diff --git a/urls.txt b/urls.txt index 404374ac6..d6e158cd4 100644 --- a/urls.txt +++ b/urls.txt @@ -1 +1 @@ -repo 3481cd3994b9b124b0a4a8270629d984 420 +repo 97d0e1cd8315beb42cfb2d5179ae19f0 420