From 96f545de1e4248971e9f2f43dbd072bbf11ffd94 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Fri, 17 May 2019 11:08:12 +0200
Subject: [PATCH] opam package for version 6.101.3 has been released

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

diff --git a/_oasis b/_oasis
index 96a91bbe..776e9fe9 100644
--- a/_oasis
+++ b/_oasis
@@ -1,6 +1,6 @@
 OASISFormat: 0.4
 Name:        lustre-v6
-Version:     6.101.2
+Version:     6.101.3
 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 8f7ff75939ca40422a976938d91132c6519c10ed..464a952880bf4daa7f1b66ea8cdf171cd2e21fcf 100644
GIT binary patch
delta 3774
zcmai0XHXN`)=i~`UL+6#gcgt%q$CI!T7ZZUu_1UNh9V%+i=dbgG_*)ZxB(@hi4~$E
z(lltWASHk(Do8|>fQW*K6w8P6?pNlUH}ih%b=Iu2X3zPtX7AG^RB99|73u@Gl@CdR
zjHyY5K0Emq@;#q_DkpgHLbk1SETXUW)}YioMMz3(%b8csH+L?+e$5JWweRmc(YJxo
z6@nq-%2U;8D!KhF=d_`%`_(0^*+qylh;HH5&)SH$Wv3fzywsf*24<~%$BUCraoZgC
zC6#@<d+6H6Saq<w+~MDu`2Mon@lF<{<7$!8edvYG!R!fak7LY2@W?=fcS)X!{lmQj
zyZ=_c=a}{Dj-A{wTq5TETbtz1drT^C;hjz_l!6;zll~<-gD&Z;sU|QQRUGN{Nf6}Q
zK$3qN*XFPhLpgOi_`bz*Lcz}EYTE_pMH%h$2P#Y6$|+^;24?LB{wdIAfm?S2A)^8)
z#sZ76EZ;f|LH>)jdJjWZ<$P_nxopE>v94B5PBsJr!N!{4YKbE_TM-D(Hf}Z+I7e;!
z|7iJ3%G@h7`bc89_O{JlC74)rId2LgLsfc|Jin^`sC@j_YVlb9`BkLh-KO*W0lxPX
zKfgrayU!S!Q&UPu&uN&lq=vTCsqS+|f5Fevi9!B>xrDzYRs4-1$|MD6iG31!QcQg5
znzz<c=*;~3<OFWAZ{WhNV!gG-LcKGtiU;$5>#tFCjCP%=sKH0&sGX43=gIF3re0k)
z>-QxQ<}JC~tx_`LDF?DA8V&-DbB-y#=Co<d>m+B6nX>kgV>;_*LEK}kQ8r`DkrH5a
zwA+#5o-<K*P<$@un_`Dk!j5ol8)8&Rm~J@AhA?l}A0}{)qK{d#t_cC$1pf8mD6n{N
z-vPzf?3c23*`IW7d*4(_RCw(}otNr&5n6CZ_$K|jLNqskZ#H5tmV0Kki8-d;|BhWb
zW<<GSbpmhB#Zk(`S2C3Nj|0BBu?(GdaIGm@!ewbr6jrMW>mpAc(?4X{e>j#^@c~_*
zD#qkjj37*h5YS*gG23()A+E%?%P|#HLH6*y<ts0ys(LAn+^w!nrOH+rGD=2oS{>n;
zV7?J6)4teqO(`=Gb2+LxpX5iXhx3>Rf+W)VN36by9mtN@@i8=f=8)cP@2K2{<auN6
zF-n>=t8^?$znYl6OYrP;piTo)^yvyrga51r!!jPWro7|d`ndQ0*r$iL6*M@PK<+np
zC0A7>cl6%db+vLVf<?89O?1UPTf$bAL~1tMseg_i$HX2gUi>|WeUZ^0I{?4e=Ha_y
zIB|G26wzB`aYS#%u6R?+4<a19UVDzq`V3_XI>ju^zNXWLDqeselHUN-Qd5=4o$pO)
zyU%F>nAd)2lU?6y(&9=}fCQgYY8GMfT^<CtKm*S<(Wn-b>K47P)f+H9xB={)$pj32
z)uFw?ov#?_z)f5zDX4ONA7WwHg2N5MV^YoWWt{=V4urw&Jx1TwV@=)fBQRehJTL#g
zoTYu#@oAjfZIXF)dEEkhqC?wrW+qAcMLZ!TAGemP*B>)0d-|#A4goMZ!;Bq#MKdu$
z0yG2LK=j8`4Q^Du#7q`W7e*EZm50o~lXfqxO0{>d{$Z1F-up{H@$xUa;e%VwtEpjK
z5oL^nxO@6f622$Jz{j8~G+)mTfuox5*`U4j3H;1TBuV_T-obQ#x$90{9Z{q7pLoNC
zFp~L`52eT#5{WC(P`e!|bXCvf1(D7%q4tZusO{IzQ)@Aw+L5<qffFZSiJnV>o$Iac
zyf}f3H@!x$`ua%MdTY86q6Ww$t1a)0Z`xh39m?Rrn<dWiOt7X;_GpRXbPp9?h(~zQ
zjbc^3GQX0=>d5e`G-)B~4rG6~`W=|b9nkY`u{%=NGd_})#sRk7s$*iUJXw<N0>JWJ
zTbMbO4It8h^#D10<ndiU?ETo621jw8cbCk60-0YP3$FkO$C+R3-#NVeZvWDOe*D4=
zQqDf-yWShy+Fn!kwzsN+)Fm;w%ZG1Q5O1Q_<&ZD-%qewfiW1a=Ivvk1@;+|++vIq<
zV(@8mko}kALeI|6(2&WJ^a72$TEdJ+V4o=mYR>oUS?<7K#(vMhF~LzMl>*gM5GEZ%
z1Dyi>u@s0S<$mC3FeJQlK)-AJy>+Zg6fG$h>K6;Ynz4^&j8t;4NsU?>o8~?VE_vb7
zyorwt3U(nY?f+N)AEDpTX9`7F#lB7dj{5|*`l|K;L+uN$xc4+pQl13R=h1wd^8)Tj
zn9)?4O`dE#S{_`X88>g)o2gEcUdgZ{$*p9H2_#tfZQ;PpsS*wrciJujoM%fTKv~@i
zvC0T=`^oLHi9^r9iI<*>CuSroif%*!HlralX)K&>Igu97P8<pS`}%_c!2Y0~-8|M6
ztgIh3LdCFK`DZa*pDjr~yY~<vkFUzJuh31FZ5}r^%Um5#yXouW2=+@*IcTralp#&C
z_Fa_99&BvAFq&x&R3*Ae+wk_qDqY>V6kU!?(TvIrAd8QSr2vrF{Dk*b?`lOa%p;Xd
z5ti7H*id|RW;!abd|6&O7A++4I5ZbvR(Y=oB47SQ1d*nC6zDqSS9MfexMzRqB3~v;
zL)I4IkNuZ7DNn5{AxmF&Cjys}rN8#*T|3wbLB~Sk?z~<195kr_wyPVAMDGnr$@&Gi
z#Qv45dsd@#y0$zi%dDrUdzP}H%+s-j$v^4Ox#hqSFA2FQee}lX2Ddrnh-P~;LA@2S
z`5J2O$kBsJv(y6xx{LYz?U1;ws2=g8N1-%Wv?lrV1Bomb*{pE`@>DWfcs-AKDNQy4
zaSoeqP3gmqOU%o3guhY1HD&4v3FO-n5{g7O<cYwP!W%SIpee{7a!VpyL4abr;q(5z
z@KP>h2X!yNM3T8mGP|)t3k3Q@8kjT<U^-|I0nebpfI*<Ukdu-ZJ-_2DWClQ*BPC=I
zGZVuzkr!3btTH6^wGWWrNa#5hu5Nnapv#aqt)Mp8v?Uvl&)}Vu_c*D&nDIncI}G2)
zKJrnajk6>kCFP+;xTAW;W>H_Xp-P0NQ=g({oF=b*(Pzh#ho$<&4|`27yk4(ezuY1w
zFl76X8ze<a0z=U@pAOIJ6&Inh8U&2r4r&6Spkb_Lqov1NmJtDfxA!#z`NzjjYZkd{
z4RxjD%+`Fbd;B$Bau=A`ZAL;Z)yIhPElEIQCzb4%)FqXP4vjzQ7GKFdxklBT2-uAI
zPd3nsZXkg9<F{e~uXs)ZSv$O;2$aP;91B4}AK?`c;uCD~Wx8W5s0#9v41m%1kR@Q5
zBSM%Oa72i}%7yVvD!^aKKoh!tAw9GiWJb#qD*8c>;wP_~3ck-Kv15jm*n!itrl0QZ
zj#UwDEGIQfM$;<EROx@h%UZ37Fkngmp(N08rH1y<#%Oq?KVzztgAGM{!il~N=TeS*
zD0&CH*N0J4!V!g_t>MI73{VM&7lPgj?<F!Q#hi)|v<{r;!MI<<i48$-f%m#GP(>V%
z5VQ=O=)#~Ea<oIxV0bT{F;&1>4Mwl25vh(0=K`Z}vx|TPPp8oH%4@F%mj`OEHg#PM
zfaw_H8SMp}h2X{&waX3+^#abr;Kq41<L!*Je9nbnsr9FQ2cAX4S~OgG9+J42XX~&Q
zM;GoxWn;I6?{h{iiS-A1>1S9>jzMrEU(Fc9SkL49qBORvT{dI*=W(7>8k^OOsV0o}
zT+Ve$V}shY29gWL--Q!TxfSo+#V46#p6!I~Q*<fg`<XqS%IE>-iL1()ApPu{kCUG|
zK^r0CmG9q}(ET7>35o*${}{f}denN1f=4;fqIugicngYp%B7XmTT`lk<+k^9|3*7F
z%VgbenJWq&dQ{#w4?!r`alPu3Wta0huU-D99V)y0$2<f{Jy__U_MjNO-F#_l)5T{4
z-7<L^s<tN4e&fw|4#z#1V)XofVU(!x=T_}7<~}NOLUrwD>$ho%Vs077tzoTe>r&Qt
zD~3M&T!_EzgJRfD%XFXaKZnVaX1$U7LYi_z*s}N^DozMlZ2QuxMV*xmD}(7;ZUWR&
z`Ej$+g9cdTjj*CGxxb(<2OpmzIN#h~Bv(DE`M6NWg#m+GhWtZNp<V>IP3R}oZ;coC
z-0oaGAoc$DGlS@m#61l^<K3lHc6im1*24G;_uTg;xy}ET*Z3>SwLb+FNriJicV(}S
zX8){Ikf~Lmo~>qvv$Df4oDDz74DZs669y<8n`B~F-(|1ZqU-|CicT8Vd@NANx`N6-
zRDfOoJ3Dx?02{bvXhL}?!MvtCXm%rlpEK!JHBH=TV`sSQifLtIt(7rWikK=|wQJQW
zgQ>oE3c4i<wQ_FE&9P>Gwqn(lKkaaB%{Z}$B>$DVp7rY4R4cHa?Io1}UNrx31f_~(
z`u(8r6?arSBDkH(Twl#Nj?Pq#>!Hg`KL>U0bJe&u+xtk+?|eV=QKhm>DfZ;%ZyJo3
zxdJ-j)X6)G`<bV1WM3xQe@!{is=dWWs%cVi&Cck@5%<=)`ns<P?JYq><gW|S)*er!
zwM5kYwWXcQiz-&0p1&%ht@CiJjOdo^R7z8H3*Cu5xs}0du4sj0>y4~eOYahAuWZ7l
z?u(rR_2U7(UH`!T-edLS`~77i@utEKlE3&Iu=>#Of3MU-{=}gA(pP)tP8;dpFP$S3
zan|+CEaacv%1db|rP`$t&*19ys(mwkP5^?ch8=k+XP5Ov;$T|7$82_KzDE{tk~X}J
zh9dXQTq=!$7->O$@1CwJp-si7sd|AO-Rft$VQg6G5^UE@H%QQQeEntq=fv3?71dM+
zg|EM2N`8ZlG%CuaLZd?x65~S;AN#{%D3MYLiHGA8kC!9AKqMq>tflnz-FygA{{>`>
Bxjp~@

delta 3713
zcmah~c{CLMyPg>g!&t^xM#R{%l$seM`#!Q{%TgpYgvd6suQOv9hRPPoIz#s5Yx_o&
zq$wf0n6flf5?W+QB3Ji!&$<8HbM7DS^LfsDp3gb&dCz;Er<x7_hYinE1Y+}_3V~FK
z;h8peNhl%ex4ks&2egLbJe73w9Ou?^SKHRhq<vgnEQEwv{Oj-d^3u^IOTXiNUi84A
zv&WWXVvlAI7EUH=yp268q-xZ1q?ij+?OtN6)l<k5u9B-L|8?ZOUuFl)e{ZEc{$w3y
zsmoJMpAflpJ|SsN5ajs9Ay_=gq>iRXRKB4zxRJ^dfJcVh=nGe`^RDSgr720LyQ*gI
zthRm=@c-DXvYXe3m<{PF?WpeK;!V}z{%8@bXU05xrTEyNf4gzGa{^Z<A}=^-V|)FJ
zPPGrz$z$Yx#RtS|ZkS`dEj$c<ccA|4g-T`zU&wTQ$Lk&B6&iNK+avHV3-+W~0#hu3
ze+zV29PO4sPSz+F3X4W*<sTd8l>QHGw;bo(5j=;+nVO(c7|dymv6hLpi3Sd<ZlbQO
zjzt@vMr&$ewGEJZ|F6WI_ms7F(6umMq&gOrGis)i-?hlePYhkxxP2-_Sl4#1FG6^R
zR?KQX`e||Ih2@&{+H9Z_tUb>m31D0|UmZnGVdU-tgw2pi9o5J{hOp{q__(q>XIWWU
zLniWL@*tn6xSz89l5YIV{NmPCV&tbdb=}z0gDq?O4tcqlelL~%{N!H_=kM{M&1ftT
zdOJ^*B%4=7beVH6$fc*T6g?w-gFvsDC*fT-t>8)FF53Xgl221Ii{En<+nyNsIlJ;K
zbINy$9OHS588j9ExW(LtcUiVVuy9Fa1Z62=)Fj|0E4)D0=y-F8=d|wwa)c+G**Lxi
z(4`g2MI`$uv2s1T^H{1wb9ljKHRgHW2y&3;43Xwu`A~dQNK(<q?<>b|S_8Zb*D8MJ
z?B^?@&E5svMl#Lv%sk(13eZ!Xd2(EjM*t=t94_uF4W=;jXvJ09oK%|MyqKRf(46LX
zdw5I=SkA<nYY$yzN2O^Gje&;HDBJo(mfjE?pXegqtX+_UPh-h?wqorP{XF0PRL2tS
z$P-LL%hwY_>g*HfEvv$q?<bnwn6?v>@FDmNveK|Z{9a?X$W}p>-wOXp;faK)!O`J|
zMghqz5t}cEOY>)LieXi1R#gqMV1@J=$YX13{n42V66a|({_nBQ_v@IpLKBUS5XW}O
z8Ot>-8&R!$foUAfwi)L?8lLgYGep0Yo-x>Sdp<v{YvDThaP0iYj>`n27RXpgBS+za
z6yk}oLfvlNSJWOxfJ*^-^8;P}-nwMi9_Bjb_Qe<1SzrW%A&oj|Dv!rfeR>d3HBy%N
zMc{k2HjXo{EC|BQLmZDw)+dFCbOOtjHUTfJN7KEWl2rR^>o!+@QZVhrTDKIyj}&9l
z4-W(~MvHe;ca%n+=MRfT%8+qf7=%S2@)LPo3=F7EGU$IWxg1@kRdHFS@o<z>iAu$~
z-(Av)^$REZa^ILdMjdyZ2<?otZE36u<C_MR>*8%)?$m$L?BrNT{K&mcvY|^Zv)=OW
zYH^Y|o*B?x@p62xZWBG6TOJSXI!-G{9<Y013aAY3O-TE_)v&}Tif?+{^du@pdq>n)
zZR)VE20Ywb#4nFOcE-b5AXUY}hgG_@#{AV>h2-Hc;dDqqZouc`F$DdUIqy1P0Jly^
zJK3kdv2^Tx1fck_E@^ngo$lUpD`Q!<7%x8kDnPfPxE%eZlbG;e8#Fh=*Qxk>Ib$pM
zCz*pTC<XTJH+WMUyA>>$Xo}~7QeY_MH=iO_Ld<*45umRqTm-S3R@-Y`F|#2jE$pH}
z)`=<vVQb0+8~XC8b`#Gqg^w-g0vcosH?c7;z&bW>2X7;Jl@0EI1d%nG1WuEVgm7m{
zjA+CH743;YXf<aPd%eeh@!C@<oA}0Ii|vYoWkGzBIrxbvKB<pqM14Ldek5m3KJ`=d
z*Y%#9D7(dY$=Z63Vn{HsSSk2B{fI|;O`Ap8lfC;T4yCLvvO(4Q^VJCn!AAx;{fW~`
z=rcQ*9*zv|66SB9(YF4ZpB)R_K<OyG?+WudQ5om%O0VugmowL%OU9^GFOK!fa9_ns
z(MhF%zeBwz_i+$;krZ?AKcW4A$Y{|^z&bqFC9v2f&>$W{PwT^F*hm-ZosJIp!TPWz
z^cS1+Z-3%M5HGim<aFGG8Q4U<J1E!&7DPig5KHJ+?>=@wd6db#cq2s?Q|%Jq(^EMu
zr8gAdeybY(I19XDr0)y3MTcN1U+7$GfCf5$8%3ZA9+v2i*JN>Y8fmilVtNdkWHv$W
z-A4hPzN_4wPP#l{<OsxaO90Pg;t*S*I%{nn9z%5Nw3_g~*ZAx<@cfmJ=$?YQI8f8L
zs$HVWt|B*|5xnO}jUM+BZHVlOGF=nFKXf+W9uHkjC@$H9;)k4l)}6X}hdHJ!J`N)F
z%M-Q|rQ={t_Ns18yp5znyjhE8%vOg#p1+>LPmr7iMzOVqohPg_%G#fl+q4m0vNNAL
z^8(`qq($yMsZXKjcPw+t5bb*yBvYVyjMV3l53?1UdmqzdtY!%v3xsEkWK&=YNPz27
zY3i76q|0IxGb?mj{*7VD<WZhQA*O8VGk#5rnBhcqqYKZx-rk}G%vTYqP}}@Pi}zH;
z*aOiy#@P@rLMO`rM0j}%fV-hCS8TWXRN>9%-h#C*zpTo>u#}Va#H<%;01-m<;^xIX
zGw{2q_ZE-j*9DAc%Pf9*%!NRZ6gMDZ0oA*Z`AjzQC@Mr(gfNYJ;jEv66*ybeeFW_z
z6@=S<VT1jaS~O)W93qc#!*SAb<w}3$eMNf1)Z{MW+ERUCV{&C?xb#%9|D!=Xl(fk7
zC)5L7geBISFM9oweGF<#wU&Ts%I)GRZ>B<F5^~+RINFY|x#dq46u&L#=tK@4R0McW
zaz&17!~EpnR=CEOk6@N@3hRej49<!6DA??VM87wVoC?bNh0NZuSd`B($Gu9udv0Xv
z)D6>*87z@3l=P>IB5#?*{OWIR%A#9p=|$%8?Y;S_16h{GF*3}Mtga`oWnN!s@Fp3+
z;^owBaHXjR=SrjB+U&L&^4=zSpg7y)zpKhQcvaG-&7`BxjD+wZFFkseju0&Dko~b-
z752^DvvXPh#E-3oo0Y&^JiJ;cdPTCcoOhCRu}Sp)n&E!!*E#44@$j%gGq{py$DgN3
zXPS<-k&e<u+sF~4z=%ZKCcZUrtdaOKIM!H@#l20rY!5yRzGZF>Hd2dIfMSf|q&|fa
zL~fD}-A9Uhf-R!OKTK-HgI^_TqXfl_1cu3G1nElv@u$Kr;9Z|Ua<|<-fcW$hz>wUP
z?(%(2a3dg|SlSJ4q)4)lb#P7f=&%6o<YNZj1rT{-BZw1VKB*>1qSlRCkjK#SR<@O}
za-e44VF-CE<0J;`s6TQT%U;Sl5>_@;ha5(amoiFXz>3<E&A98Od`!a1f-0QNAb2TD
zNeq}#Z)7nnyp)9{tW2rnnGB?tGLOW75fzikAnsgM{)4bGpk`+<Mz2~G465{8a&T}}
zGAkjPe$(rZ`6fE&$#V{fnT&^q%b5P#Xa5B~83omlHudhae}kS3g>FeXj$iTVE{nKY
zJ%>;|O-;MSn7UTIC6T64>2&<ZoUDFDUgM^fYm<ErdeRG;i!fDuVNXO)UV%D`o4$T-
zPxMDmUWAH@nI=ECzkr@}hQ1ale=Txd`Ha7^lkLs(w$=HF6-8<cjbY_kosAgea@A{!
z!msx%lAm*=bBhTEXjB9LCB?SR7McmABgKqQB)a^spia68QLg1(uY*-`*fTy=Zv4US
zXE<NQ2`kr@>xH<lPwwjyUgnRiaY~77HZNZt>nqDJJ2L2W{aO$G<!WtO{=pijbUyS8
zCl4%-tENKp1g)i2E_mO>uBMohf9lJjbv);<%RN2Y)Zu~d^-MAYcOCojTV}Z*b{}77
zly0&Sd*MSd_mOAWptHOUg&vk<#pLcP{NcluC*tDZ>p`%va@^SEIHU_4@@bowc4kJx
zxLd8rFs?%Yaq)_<obZlh8?!=-IOl`JHF2*eNQPO;OT#OpM_<|_P03I$B1YtYn4GBf
z8Lrc!U1onY8;I$I=cGHe?<S4~iG(>a_HUS5X&4UOclte;G<0CadRy2OsKNNU0ogLN
z_T6zec~41N%1!#R3Q==}=o*xa#;7s^Wf}W%CVeUJh=fy&jTuN+LP^u_gx-=^h<os{
zumf#I724z7#oj-}kz<>G6c&v9O|D!sIe<er_6D9#!v*%y3#bb^FS+>Rbv$+$N%B`A
z=1TB0s>T+G_>&8)97vy?(oOwr)StLsS~>(SbM|hWiGMe*yTTpjqwV0p>+3TlD|^L?
zdt;m8ts9U~L8VtjSr2mQh>VR^q^w7?_ClO_Z*px?dN_o5b{{f02g#=j2T1H`dQ_aZ
zbK<{FN=RWrBS0DfhoLpj)wr}PzU2_}z@h!f{mr2xbJy>T`%8AdR;c)CaNljnVQi}-
zC@?=Q<?>X6SWVQr``lYuQNvv}@5Kr^y-K%0&xpC{h6r?q=I8U=2=MOXMP&qRLx-aZ
zQw1)axS&mp&pkwqoucW7MX`eq+y4VI0}mUDW(HRO24<Z2K%tR3JLl{?D1vl;6#N#L
zpLh7BV!KGk!<L4s(z)wsJET&-^xyWfGknL<e53~T>CT7H>))dd+3Ai6Lf_rx4WZzt
zLUj2XI&xL=KVUtY^gRTf=k7+ds`e*I<6(1h(J9$q3iOVmQqBpI-ML?W1h74LAey?=
uiWgYEptm2;7umU2boUBT1HQp7UOS+67v$z2eB(qyG*P^Yie`3ac>fDUrkkPw

-- 
GitLab