From 8552ed35067c8f4231cc1bc583960ef66bf8d91d Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Thu, 23 May 2019 10:04:14 +0200
Subject: [PATCH] opam package for version 6.101.4 has been released

---
 _oasis                      |   2 +-
 lv6-ref-man/lv6-ref-man.pdf | Bin 323624 -> 323628 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/_oasis b/_oasis
index 776e9fe9..75e68350 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        lustre-v6
-Version:     6.101.3
+Version:     6.101.4
 Synopsis:    The Lustre V6 Verimag compiler
 Description: This package contains:
  - lv6: the (current) name of the compiler (and interpreter via -exec)
diff --git a/lv6-ref-man/lv6-ref-man.pdf b/lv6-ref-man/lv6-ref-man.pdf
index a17ddd7ac69e75aa91712d9fad3bd035caa58282..755c74a2d137b726f18f598365d32b981d59122e 100644
GIT binary patch
delta 3663
zcmai#X;c#G*2kHY#95rk87FWkP&CIv1j{i?&D1=hVp*A)Q|ZwF2L#QO9LOo9a;UV_
zPTJKnG|aIg!=lop^e8H2o-C)VxAWe!-gmA0<$l=z{a?Sm_w#&s)_QiM7~Uj?7nyN-
zFdz%IzbeRVf*oZ^4O0yDoW;>^13kTQTla8rB&8o)ZjbEH(5g`Ha_)aIaC-RVT3_9I
z;8@U`l|L;ea)0PLo%_6D00}+T^g^CcTSioZAj-8!1nFb+@?3&JMM}!Bb=RK!ewE?Z
z7VO?vvjT(QKe^Vq+xWO~#-|KeG+YZMBFvaUBlg7UnGSrh@~^4?Yzf#+JW$Z8x9+`7
z!D7bb>FblDlj`V`*+_cd_*CTPY=Lu42H21i%)uf+@GNg&t~c=S0R0MZhc^%+6j<0|
zF&G>cXNj>f$6(CSu<gF5D8z`QXhRgy$p(XU#Ms&V)6(HN3RzX&N3?U_;cn+h+ClJe
zb0gSeNH+F%1cLnzI|o}gHye`OPD7Xf+7b@i?h_q%G%3c=7KbTjFQYkKA0P_U)@pu=
zl;6Q;MVbGY60tt=J*A=x#jBkuYR>T4Nb{$CSF8=aa)gAixS&Z?bl|nWG8+MMZX5d#
zW_uZgF70PL1q()z_>voYwqys=RXS8NZ6*iZyQNj(Kf9b~D__696H*p!P}0^^;%SyY
z_t0vjv~B1R6Ya&HVYPMy0)O4_(l>7(b0E_qlEa*+`<Gm-SxUJ`uVSp0A+l(Fi#ySy
z8F_*q_k0}IUguq5r5e@{0-a}_G*2l$0v7p60j)YX9XELE&d3wEGqh^H2eWxJR@R#D
z!3uA94ST~ZQ0?-#qbEhCFhoHWU2ePc*0x3l$9w|*&N^w-PPhY?QjOcQM9~%DwUwgN
zk!3UI;%Or5NKVW*S^|3WCbHe<i=o6cr9`Cm#J#pqglo;mZS+J$PB(u7JuxQJL^iEo
zaL^tV?31_1Cs)PV*eB0HPa@*0F3q4CQbAQd*apXn21k$wD@djCYAWo!>Vk>AccQM3
zinC8FW9Asf(`SQvu3`oeU#9K%()YOww4QlA_>C~@D09LjrL6vP%mvZO$n}6U_T0Sp
zzT2r6>)(ly*pEjaD15Av=O1AD3WOKJk?npyr`(D!cHa8Xb6%wF>nn+loTtC*9*WPo
z)M@V(K<f06s$)Mom12^+TDw@)*RF%i@A#fBx|Gs2^w6(~$`PHeaEebNVuggQPeZDe
z4(b)?=)M9gd8N!hbb6XhwygqB?O;-Zs6su);m2HBHl3}TWMX?R>%w7=lY)K22NmA}
zjB!Hn<7knRb^%uoBm2mYHz03KThe?3xN0Q@oo^NZwf9AAC+p^9(4NCPfl+1>l8ptS
zlrpFG+KCDn8ov>zCp%yu3mD2ZqDkIs;}`MfvS~X6AL;23HH`tX;az$a^l_L3+^Cjj
z`gZ^I*=lh~TE;!iB8=gYOC?R8wx?}rW1ufs-pNUe@MwG7ki6JLsV-d5yd~pthF8^s
z3R!rT4DFQ}R+h?C@^;onolutisRB__*q|Muv#3@WXNKj)<gtal;hfmzcR9v;$ok3>
z_$SP(IS4hNt-B-D#>XPN=IG1Hz+;z6A6XAx&iHNR0Ns}?-&hj69zD^D2+Z2*FP{{5
z8(cuXN%1}`%v#uYDyvzx1uWrDz$#3_T$}stz|{}l(w{!7uJvtutCKbmC+M-Wed~98
zHiqic^+_cx9KZ67mT}SbbNJ@lO|hXwW;Z^hEw>`+_K%ah928`GRJ3Km7c*{<3Y}pW
z=y0;qNESN&P@DPWt0}((x3r-EvaS#91zD|1W)`oc$wN9QZ=>at<*c&2d6~mxnM1(f
z9=mwGrcAqd@Hk{ata(pS$n2txoW1p0o{FNw$aqs8xDfgqd>8o0vH8U0(6;U0!>9mb
z7n{}QU+Qu8^3rAL@0X?eZZ6Lf3!#_!zpE{V?fX+xQ2yCWkeW~c9m9nA)RELSHwx#_
zUs(^JlEkft@9(T$;w{*gTb<2Ni^|>(cKLi(?0J6?OqndsDAYLz5Yzj?dq22RSu4!B
z)~9>3QU)(~-FTI0p>O@&69e)9!d9^~sJ^m`{#lpLM*%ixDW9D<%cnW7ctP<pO|)TN
zrZ*X31q@ueBxxOtD(*Kc^wqDtub=r#UF=h1{}N6AKmI>(;#;a32iw~qx0rJ~#-O&m
zA5%z;(0}w@wm%w=mkR`dEqcu2-h&*JHG48CixV4ntjU%l*?GKc4B)MsaSX_r=O<7I
z#aqUJKa#aXicUQJ7OkYrj9U4mtW7aM0_;q8-jeh@Ws78gvw;Nkaf=}OwP7Rht{B%?
zCN16lwLPh{e%K~Fw;IsYJ!DL?3tm$vQ|p5Cq3~sIr5U;z&2E3H=7?&gj4ioBgy1FI
zybl;nT=*L5y5`8MxH<CSdb(m2w23{$aZB^qlp<VLkz{UQyBKy47Dv+<eD`T|>Q+{A
zy!^QA8D2OIdSObp@M}Vv`sPgK8=`!!f)e78hG3TbaA5qRekMpsMi=Iw9*^SmNg!%e
ze;$|S4$S?V&Yiy2&ralwewj62F1hzU{?U7eyZrxFVE2Agy?W+T3qOKoJbNpw?cuI^
zXBEB?(_JN3Cyuu4Lr=s9Kcc)TU<y;_YmBm9)H#gaGaB59O3K~V$L^Vn+(7Y+b||O}
z`sPc2{Gso2v3gt6V0WeZv2-H!jHGw#v2hnXFxSHGc610u%t_N_oiTZ5#0*nMPu_Ok
z2BgGW0*rM%9CQ;LrVjw&9qzz0;grC!#643j{JEQ|QIFqyP)>~#zuX!K(KAuqfxJT^
z79B+Y^*OOKtAz9iGe-3}@(PKV&(u`4Murmq15p1>2G5ynv~DGPQuzH(ki#o;8nq<K
z5c8hub90+$B854ivSj+fo6k90l~e;P7UKk1SEa{1GzNA_23ZYfo7r%Q(|IF0Z2oRF
z1GW*;ome`salnMbKIEa!M5&Z3BUyzeJ8e>l{PRr2*VtU*%fKH@Usbs&&s$Uy*EgND
z-kr05-(=fBs_=|uI;&B){14<8H(ia_t2sX!yN_Fgmst{c`7z`=ahbI~@*-}uVG|p#
zu0VII)uRWivXQpFhcwniN0)VX0DJqo?lYHKSRJIDKWaZs7}n>%Ge#bEu6mBERf`2_
zAZs>md};)Z)yl@opf_r$p463>nNI%7TYK!;=I=%yD3YB;z?94*0#K-%P7Jh*7bgII
zqdlmFOTpo_I#MVUuZ+sds@2j3Wz-tz%I@X?v?1<dl!Gjz=X5-%3Q{aqaFBmWM`IL^
z@T@L@zZgR0$*NUQEgq=_Qbz9%39DUvVTqr-(vL452v~SSHKvL!1S@k3WQ``ej@axV
zw1amt9vbr@puQZV1}VYIh<z{3mvK9z8;>FK0vI1kxF*pkPXufqgHXc#PC@NL<oPkK
z6mx|XlpO-*!vGa?n<ywtM4l%j@*+2zf-*wDb~Ad}+(Q(U79x+xK(e_w3Q7?HBQP?H
zxC#_13XI6x#rROjosL4SX~SIWul=hEFk)(2ntW(__>`pDJmfGsDc^`FGvL316=o=m
z>AT<U_n*QF&nlGaxkvZ=Kf?+WeLSh<Yk6-9xG7PMB5ezMMraN9<x$kjOZy83&a8he
z3GE!UjP4=$KK3uh21Y8BYP)at`BSlh;R?HhwA`Ef{7+y54=QMAx`+4q2V(;R&L0S9
z<Z3r_{T;EPj@;iO8#&tZrVI-f*DKOWi?YP~K<@+RLp7DH^bfkURJz$U0y+6oh>=bR
z`$I<>LJ>(#^X>2-x>90#vwh$6*V$yKQV3^I3PCC^x9*85_xgy_R!I#A;;c#`rW&gJ
zHp9Ei4AXrn9@DROJr6iOD`xa@tUp2wsK@IRcUZ+8Jl~=n!S1=0e}Chot7E1_fD&90
ze2-&(|Djh9;Yl~mdHJN}8t)=uGT`q7@`hQV|G+q)>R9Ma;4k}`u1ZSV_Wf&aXI4lZ
zkC_=#ho^&NV6hf0*Ln3<f=s%vQQf}Dw;e7LTnV2xcqUPzpo+M71_%M8{^Qs%v#X%W
zJXhpTofi*D_pa>qs{C2!JC2gn6E^<5RdRz`<ayo9MEJux;zV$7ySH4jvbpeKk>K;q
z?2n5kIBRq1L2r>`h2T4$FnpG<kVJT!PS}{p4xjWAZGO$ZU|=duwT@UEma9HxD&24=
zth8ru-jsvxWDBTY9%N_v$~|b7%hmUlOa-q~E8<rtvW*YT0km+d{=I?>x!t+&3k4<$
z@~fwNmm1)HE@klv$cX7ja#s&~IovJ6eB)*>?Y=v6Q$Qkkj@<kytk-;~*a!*QU!m_s
z#oCr)ey8@1ABE4Xt$n{LC!g9InbEs819|t*Tk8b8EKQAC=B&2utGOsn1%BYhGV#|t
z3l>%GlC}IFwP&6*3>TLoHuKZauISD&!@5&}^Dk4-57OK_w$?4zICqYjXjIn-oAvfD
zv9*#<Gz7Y=bjR6w_vNqLswG+U8h4Ia)KA$>9EX2deQ@p=)E)mYSQq>#@*PDSI3pA%
zu3I$RPFSZ}G|1L`apEMNa$G6<w}d%%lqQCy>NP?YX^Vu^UyCt4Verg9|Alxo;n$$>
za)9{=T6HE6nmBabF=y=l-z$=~=;N5YTm?(?^W6FCPy<l<>7fnaq}^Y}WPk$53E5zr
z;Dj`gO$QI{1?15jYZ?-|Rj2LK)d$wpE*66GhS!c^<W|*7Yh-2t(X~}aV|Id%(9iX~
oc$SjhFs#MDzZ7dW^I$UiCluUSj^X@VgcxnHhnbp^_Ikkn2UY@y&;S4c

delta 3675
zcmai0XHXLgvrU795PFf&34|ss2$E1k3lIwtr3eZk6hV<LO)(*8XrZHUBT6DgL=>VT
zU4uqNq$#541<6H}fT##aRebp7zCUlineWG*J#+T_JhQuv0=asDT#+u&vi!RY$e@@c
z1JZk29I}%-qkOmI^>I)Txa4AlMUhh^9J&Q->bFwZ!IJN^c{<V?_x$zx<GPJQqu%dU
zKN?PCZK+zHUD(use0n+UV+zagmpv>UTC+3v+*tlW;mAjOi!bw^;**LM3$-rZ@kX6*
z8sa$I>T?c|JenQZCNZ%o-=}Lr>J^`5f`i?ojnTbJMx?5`g`EI57oU8t+QuFegkd<^
z<ZbCzoqMFQyqM7^^&OubV#e3!RWxON%QLNkS=PWm1==oft2GevY1q&lV}-G>#O^dR
z*E2KIGk}}!iwSiJP7Kr3cd<4%!{E#;&HuHu5??~rqz(|AEq39o2v`gj<K#?m*=6ps
zd$*%G27|RUx5N=F%<MI7|EuLF+;neP^s&SU&0V{2rDiDx<y}({1ofWW)1>(|<)`K2
zTWcj_1((;<_3k%a<`44sPw@*%hrPTFMRKl|(e>w4j9Ks(J8BfYo%9#*vvgvRe_$@*
zsF;GkAw-@e;{@}D>A;!zvi1EMi(xbK8<P{b$^OAB`$}}y>x*>GyT~3c_>EqtXc_D~
zUvU*5m7{c89L<y7Lk(%%Fd6V75$4UgHWtYl@f6?eiMqo;!<>_{e{<SZ=CzVC$BbFt
z<e09SSrGRmYn06xv!?`DoanKqxaCaL9EQ&2{E+Q*OmK+M+)a!s4cCr9?Iz4y4}=dp
zMbXDBSvLg$ZUX<-%P253q~BNeZ}wYB>+COD_x9hBOO*MW>NyV|a2A+xNBBkq+5&xU
z0N-T9Ry6ngS`%|jdEf*4(wG6|hQ(>TDHlg6k66i&<M#&qaAoN^I&dv1J0c`$jucj_
z0_z%28Z+?1d>}ZMRq;u`HdU0#uNYA^exWK7!Y5`Mzf^_F@vU==hbtim`TM0WT}xHm
zD>rh#s+yWAS*gb;9lc|5jAw-TLA;c<V9Pb8%tX%RDCT^T9;ten$Mg+?r45W&{1Elc
zj&%4O7BO=~=idIP+`6QBL+(jRnmDU$>=e3+n7wcK)ww{eI(6Zf8weHts}>B)@TDc?
z1OM*lLl4KkJh>;M!nqD|yR$E;vLdOo@4>#tOJk8#mUV2R3+B}#wzBlNTC=tCxA<{P
z?2(f1zvr-TG6rG?kq_G4y;k%lg4e=S`-;tu>C9M{Y-<HUgp;?bFLGJmM3}=}qGl#b
z>9iLWZ@^E;?*U4wsdD75kH)kE7c~IPn?E(lE+5rsab?Lsg6CN!v+($CcY<r6u1C9Y
zRD&ww8tvV>A22<%3GAE61iV<%qP@pmt{CaWO<XB0taSMpYNpqM!wn&0Qcdv}x&lh<
z2tziH4SsCI8oNDI#Vkd7H2iMJ(mY}RJkIqV$+W7x<|}fdQ`2K+=9KuGctUakZar6L
zAZAwb+;d}xVPH~*2|MJ5T4DkWG=tbw9iYbR-mZL$nJk(vI$j)99y<R)+^wiG)z+=*
z=kA2d`xgRAmbd77kM26HrG|G$USJ%?JwQK8SUnYk91~fgd3k&a998?s1|6bL;Ad8j
zlb{VchtvI~ZaH>$Mvc;c;q|_TlT4p|DpP+0OI(Q-v35wND|#e-6>6OnXuj!>vbjmU
zT#fnCp?*&iIB^=0=&?AwXQS1P7dI@ipMF)R>efj2Mr*nNq6Ek!D=qJdZ#qzDBf{Vz
zn_(AuMp)x#2Q`Fo+DD46#H;S58^kK^&0Hdj){v2nG;sl{4dT<I+=eh}1HJAMZG+#+
z_)L}?2Uztej)}JNBuUy|0p=gt!>Oih0Fef)1xVSdr|kP_>&L!6G>Y@Mzi9dk$Xw_Z
z+yD?#m<zTa?B1^0zO|#LT$xdqvdvl5d2dzSXUyL9kK%CZqNr3u@VyG+9sLa{^*0CS
z<T}-a3CclT_Lsl&KJWU=C?#Ds<eVwUb|FRJ(e+Ivbh0$PQ02acAmb_6bIQjqXEl44
zJ2;f#;}JMEe8N$oQ1L8;NypGYXF-1~g-~^=pEw#q9oaRA?jHYW8LJRQI~6P97mIAn
z@TM86%h~NtjanR=<~|E4edFA`jZbw8%L`^8JE#Npo>M5o8up*`RooY_#gft|On*ql
zgXeK#(j)+yNAqgV3uuFx&=i`Do^3u|9$KLpHt#r;sZ0`I$*?9#tz?Q0!&vxT5y0&o
z5&?!f+6V!c+2X38tR9(Ic~x-785_yO7q7vI*Iz>uGm>P5x1#{tK@b?#7frXEP79!R
z5J$rPy7g!f;1l%t0FQM8E9n=hpw}b+tAvhbi;?pW9RcL=6?wK5+DVel<Ax@gYvXBm
zygco}ehCVPZ55g_#A%jZ-{ILq^{rP%GfjbtL|5_MJnvY!#yyMC<?6|5QJDc`=(uPy
zKpk6<@X_K!weXGUaXDjEb8KjA7#>!YnU2aUUzRR!7eX|taIAc+zQDau+peIpv*OAF
z+w0f(5?LyeR;vF0J0bB-<tcS1WT7SZsN#~d(Cbe>bbuXI=~zfy+dmr~Lq-+A4rSeu
z=tH5&SzAbR?9p89e3i24>he=rCXb7IW+|KUJS{7P^s|ASyLKFCY3Mca6Su$Bxz4GN
zsC6_GsLHJn5|5KRa^kSuEY-JA`+EW31`@Xu^%#2UX&4O=twuig2$tn6nKiCUo=Vae
z+{$BKPm_#Py@*Y>r1WFQVe=B55$|PiO_@3Z0{I>cCQEcxKOLA{bepCKGzR%Y?!qEu
zhEZ%+eBOT&sK%hTQlSoq07hcWHIm8g6<Q$BA5zDpsQ}YK2MKrv4FL=S-G`hJyXLWq
zGm{tusg0D9LCj1H&q!KWNwdfhLu>ky-@|n5i`KTiNKgaheJiLPF>TJq<1=_?q}|VG
ze$RNOtr?E*XCM14)6Q9hM#0^c2yKezcYjAyg`0{*k@V-N8OO<+3utyc`6av`8oYP<
z>)#vI8x1X@!+LB_a-En^Zdgya%d^v?YQ<R~uLJ?(Z9q*Rlt?(M*<i7E$Fgbw;Gc(T
zf&7%Qb85wI8ZWw&b7rru*7Po=i|qpwdrU~E#o8EQfjJ3i=%|qWmb$1g(W$Z>YAOl3
zl6z)dZ6aVh-M`pC3%c$w!XLjA3wXzK9G0}k>j^<wyx>@fs>oBkj4E`34PB<&$AT&$
zzsLXt{U8~J$Q%(Mlz<}wRjgDv&!_^tL<Sns(M9yIW{?RjPax|jasofuXgs_+dx{<N
zLXI6cJ!|~s!GTx>;pXxwYO`20?Gjo1-^{YsDk626FrWwtlp<Hx5mq0KJnqk!D&t_o
z^gWP7FNRYYM><U30omutxLV2)hU!})iTfC!QVuUve<!k!$e@&PDnj+OkVJRJ!(vWs
zsQwOQpDP1Z%yAFZmp~Go8T2BKW~e?G*@tIL6>_L+A^Ph|M0<u)p+SVnH9&%gW7uW+
z^>;(dgVl{q-HibVEkit`qmc78q<%%I!H%I^$axY{Kd)qH!$>ROTnT}1Jn#2?6^&?7
zaen-S#KpYYK(yF9bDzi?x_(`qGiXVy_3fjdXE8atA@zJELkwdhkF!Oo?@($mVfg29
z9A8uFo0SZW7#+EsTa@}brJHpmXN<oyC!TUQ-l>~UGR3^wgYcGhzQFf0>7B}W49<fp
zN*Ss9**2$;pF4`wL&^*0AzEr8#q(Ba$QBg!taB@=?`j$P#=ZU11DhS-ETav-^1gWp
zN}`6lw>C*~Ij`$xgCC@PeIA0Q9xn1vdsL!tW4gGr>DsHo9*H~^MJuCdzwzd_;J8Oq
zjK}|97$vIwnJNWi9-=ZQ6xV;X{+Nc9a4&FN>(;w>E@rJ-Fwn@0q5f8nN)UU@(>;6s
zG^1zDIwKDSH2J#lW#}IYC4_!&Uue~!&Ps+~Kxmt9gNV6&Z?nOpI>e>h;l&HNTOx0V
zde0J^?)Vf-RgJ3k7HK&%5J>aTe+epVF9Eqb><j9*%9{tSZH>P0kH25(Mu#RItos%3
z23K&{TSHn8=YM_RcIcGr{L#Gnttgj)WYlpglKZVYdt)^F*CiQ=Y8h&N6*GdB9dRW;
z;xIF!TP;oyAain(iCz1Uy<&y34$K#x(YyM&P$ugJs^CZ=cH^(?kjX-9;Eop)@-Grh
zua*bRZbtHRCS5D1iJR^03^#32jclx?JjOy6Q%S3GsXVJY)&D_8yHuuH%9Xjju59xw
z)?E10b~o1z6N^dGOVo|5cdw>efwk<t@C5L8(@)1xit0?ipA^2VLzTTMw@aSur54B0
zn!4(8q=D&Yr_6n=7}sv~P#yHUz|VA4?m{M<J-Ph~gYgnKK&KtMc=@<rdCCU17lb}H
z<pV7`T0G%RlfyTy4SpVTYn`jDSxV?=2_mX*U5U1Ie<rRWr215sbuE8au<-EMs))AC
z!>uu*Te4FrP0=lMNA~1S2CuoI6^X4iuv{y<Pn^B64cB|Fbq&^z2lRFS3qE}(YsY>3
zC642b1)U^+=p3->$jkq`kVpK9LA7P?4$hr3KtC*-BNK6!waqN`Kc|wHTvtZ5P9vVj
z)#_AvWqO_l1XaGY=OyPa>j<G>T7mm)c3FXY7I2dGau*Fn?wh$@76UQR5b?TyuBMbW
z6`!WK7i{lZJJW+;Bgz&L`(}DT!%Zn0ZwtO9&fc!5qT0zUZN-%S1{<hUl*7ZKLlY9?
h!-7x#VKJ2B@Px$R_{5ZQl?8|x%o2`9yLuAf{{t}idJX^p

-- 
GitLab