From be9753149ce2c079ad7d6bccd3b216994628d1d4 Mon Sep 17 00:00:00 2001 From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr> Date: Tue, 30 Apr 2019 13:56:53 +0200 Subject: [PATCH] Releasing opam package for version 6.101.1 --- _oasis | 2 +- lv6-ref-man/lv6-ref-man.pdf | Bin 323639 -> 323624 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/_oasis b/_oasis index 09b36e98..bc889d81 100644 --- a/_oasis +++ b/_oasis @@ -1,6 +1,6 @@ OASISFormat: 0.4 Name: lustre-v6 -Version: 6.100.2 +Version: 6.101.1 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 b25a9e05a37214909329b9ff23efff9d4013a155..2cbb09837af552a476de6a429c1667e701b5811f 100644 GIT binary patch delta 3605 zcmai$S5y<)wuaLn2%$qvD4|0@TBr$4dWn>XA_xjG6hRT`&5a2`LzS*!BSIoo6d@`_ znn9x?N(Y54NJNx?pfqW=i{qYq?s+>8^IL1p@sByy!@uTStz5}Eu4KL%(2%ZV4ALUU z<+~l?=!?<5{*;b!We1&J8*gwr<pq}><~nSNbu{RV!AnnO{eJg)LwPpL%KuYJBJ@32 zEW+SNt^ZDV%sDA^@qngKH~&3+;W1)Cm2UKkQ(|!Utu_LDavE3e=<e4tpr<=tTYq<? zThDvJYGZzAHErg%Vz2YLGG8%j@q^cAQk#4~ITVO>L<y#}Po>w~n2vs;J2H#mM7Q9p zR=(jjo_i&QzGMnvgj<;xDr_e?e1bLk4+m^Q53~-b_pTEvYE}*aG?b5BVae|v(lt_w zDg3llykYvF?l43A=qpQ|*W`C?>yxGm(cVQxQA(0&UchuO;GY2P1-R7<2pJg?Fx1Bw z8k-m!(Dg<jvj0A{dX7N0MLkWic18|ZLtA}QI|F+Ydm{|S!Bk)0-p;^S-`3I2-o#4L z;=f8x3hKEAN1TogRWvljVT)FgXtLVhe&Hx5Y0B0QlzEHf^Z2E0ndkJWU)zNfxi_{^ z8r_XII0GE_Sx#=zkf)axU*^qXDtb{?r&Mrwe-+%z7QJG<K*b06`e!+w+$Zg;1(70% z+X{FIs0!v-7w@<$tOd_6?aoZ&W?l`HyA`VL)a9#QwwE}b`&(^?q@?L~nOt(yIy@6` zK}d})b|~=9u5Q04!EwoeWp0#^8cp)fn65bv)XF?3@s{~ec1bBdZ9=Eii+H}XY5~ML zS31t1O<0lqjL!C0k(@H8tByk#Grvi6*u)$RRW!ke7lo*VDw{Yine~SZ*@jamj7uB1 z09Fj=?npQo8u-dv;w@v6EMk_itkmLuUouwwt;dpJza3YfHOkTMSK*>rejMFV3;wLj z+l@IBGW{PI*C#Ydw~a1X>#=Yodgx}VB&XN!n?tFF%|VtiX@95)#fDVcDqUL37Q^%p z8}y%wEG_wju1@05;gpQZ=?u&91#<8iIwNvWNsd{j&QKZT2#4%0cD*(U?kYLjT~V1N zQl>#G8ozIJnyrobhQFS?V!_fO&4(>!!ZVk}Mk_|LbG!otlKV%EzVUl!gdO}G96EnO zwZ%O=t0sO)i*=5aEL2)N5vNvx&u|+WyX3D_gW@gUhRJfqnlYtXBgUi;oClweKAu>9 z)*>#;yajT)??#R<D~a#ud*pWK`b1c%S!Ap|W^4^xR&++b$xP;J^b{uYMB(c1MeLi@ z{>TC3qleC(n;O%nwu9yR3iMB_&YKnP<#GcY&)u!O#wz{FmowDKudlnFLK!Z31Aaz) z2S6kxNfJ9h>QD|}Qvl>N{7@v?f0U<06(;~4JuV{jL&(ux&W;ZL>Mjp?;|hEZ5niqC zfVsi%z`pr3!0@^f<sI%u$!G^|y1Xc_%>HALzD6?+H;6o+q-TA#)34CdanSs!=C|EQ z9jC`~nDsE1`rq~Gif64}Mme+)^eX68Uy#!siZ1i>aYApR9TReKJ6Wpz=NCjSz0^54 z1dLDBWsn1J%g4qDfaYP}<@%%5@0CqrX7cCq&lCjEgO)xBIpvonSvXbvFp0V0zT#K7 z@r$bQ<bmyWQb<?WRoZdfBefSXTXE-+6MUN#PnS>r<MJOFprh1j>-o(y1ZchL@f2Ut zyEa`N;p5bw)*4?z2zoC*6{Fq=#BN6LnH@}^!d=MmUwBIAxQcIHg_}3rsKhL{qgq6O z(-&Z|E^9-Fc3Yj;QA5J+)SIdmcSpN+TT{3Y1R#xw*f<p3csS3TkH$te30z}qV|88} zQQ$?XoX9VamUE?QM#5dw)`|R8MC2Wc5LdYka;!(D4W``&dfmg{CU`gXGf{F1VA=zp zAoI7fMF=Wi00ti(hUhT>cnYu@AZme1bo*i9!?-m#j&tc=)B6d`S?T581~?|>tXO=o zoZPaQw4^4M&!a>wGPhLUnO64cFbv<rhmzL#Me9$sl;H29cSTWejx0)c$n#=k0y?d3 ztg=5F{;i#uA`y5=4`i{D$aU%b$`>?4E=tLh?N;EXJ_mcuT4ru#EU*R!Q;)g$PYj*4 zk<No(gyc{$6wpP`A4MJ%CHezLfuWF{18QAUAB`iW!zpo*d_IxLJE>k2EtI6CNmBUQ z#2o8IV9^`9raeAa&vQdvxA_0`zZ3md9<$1h<ZbNxlr7vc*k~Q`3G*tj<k8EhePRTF z8k^$Tl<n6hpi7Z%(th#%`NrTTMXPE5(KH!?&}OO`L3A^Xe@LLz+AtKj*HuEnP#bd| z;08lT4wT*_9w{XUZvV?%BzE{UIQG_SXl!b{1n*urV9y#{?YjKA<_pPw?fB8)zweTt z3;>P=JUz@Vy^R&|36s|7k@{IkRb%WUUO9RKkj;U!ElO14MVh9xbknw{lJ9$ZSb=?F zq>o!jH>L_vj6GKcGY0Eg%g597fN;EnkO|u>Qu5BBwFo*YK|Vaqj|iROPXM5>xiKG& zK2-AF=$(<&ku$&sMFv|}q@^fl)AwzNNkyW$1U8f2&4VbAo%2*IbIUqP${$(Ws^ti$ z%ZixF`C|W95|@qWib+=!IV6WmNLSl={-GUgBS*zTqT1f?x(sTU0NZ8MM<b2~C8YmC z8emUmsa%mQo~xwCrRzQ|=vg3rmtrfK!o*(mXFjlGLW_cGh0fmlTH~;Y8kKKva+GO> z>|Nq;*67*ek_%+-JeAd4jyWXifbvsl-1A@xEJB`m>4`wPok;qWI&n50&ApqQb1PXS zOzs*s#hCO8J0-9r+!6Xt9M_np%5@~R2na~v9Z(ni=?@klrl3s<eR%<b5UX|B!s!bS zfaFJuh@hM_3|)E=VnP;w$XtVl3pyhl+u)Z?R@Hdl;ds83m&)@tGYu<hjA-JB;4A1U z*SRlmcPn@6oB4+{7#_r$eLTq_4W6M#hfBq#9ajng0b84c8bQi@A*D^4YrXq7<op2d zAItl55+^Rn7dR;lcO_&l+}x__T~FEP2FCa35|r1f&+~E($ONF4jdaE&c};q{L-vou zpqp8L?Z{92?K$ly18785AA<Q>AHV|sVcQIem|1J^K<VsLkq|k)=hotK&}jyAgK8BC zDueta0$|i5L;+aZC>MqRj&kL&q9JVU67V_^s7+PNrv^8HbSc?f2_L?*)-!i>hPD>s z80X2uk_`X31)b$bha;tV-#6l#_C-*x6NUcepVIA;F!dY(ARhsgC|T1UTo-{n<4c<@ zW@3ZUE=as5&9;~+7K}cK?DL@AEMoG4(8fr-8x2&%WCx)SAp7t%QX#V>2(5&~JJTK) zFe8J|`;mPPH01)Oa}Zh>i6`69sQFCAAT$`+XHA>UV{QkccMy0hnr)tDsBSGF#>FQ1 zhSbhKgBt^tcN)9y_`#I4tZD6e%rAj;n}~W#noJ(^Szz4~Ld%?%oXac^6x@CJ%6lvV z)+}rH^cjJL8QX<5TiLOmNohHJ*;>?Wj;;3Yqh2n}VX6n#aS&Q$3~e`?`HNK7j;PnA z`DQa;lj@ofTH3VsEaqKOT@9k4hG2*BwPQw;9z@%AaR_>tu|qH~3A?KtAKl*B)TiKV zC|pz<<zvy5NPKC-R|lE8{_&kQ)d#{7Ac=GSL-39A6!BCuaGc3kuw<HyY*r>;v}+{@ z_uVX3yWQeG*Z;j8oKBxwg2+oMWLv>gw0C`~SgzIaA{*JA4fS-`G6W?HxA|A$<N3bH zPYTiIdTR$7YsUt9gtO`9%X=?)94{N;Gu4DRg?X%;HVxnT+4^lxppbQy=}@!Nbzm)h z%ZR3iycXnZ`lJwc$RNd|=g*@3qDgi1F_$7$6S4vQvxPbatv+07Rag)Sxe8M;*aM$| zRBw~!lN#9ddm#lYS-<!u2YW9%+TK4_AX+gl-<z*wM}r{^g6MCTAtK~u<=?Vz9yzq# z@fQ5}drUndDE3Ir&uAw>>4UCSgq;x1mq$)V;~bVwX4m}+x9?9-K0`*bzIJ8oj%WP5 zE-qXtex)KOv@|2M{7UHYoX{@$D6XIQxtSd7_J@p3Q)M&%E4;rnZhp=aPrt34dm<0J z`*%j*Odi&M|M0ZbaE#tfIyqqBdl)Bk#-VHu|NS8&)k%e4Ap>hHg)x%Alu;_|%Py+V zzWN}pQY2m}>X5V7KP;}4Y}<3@EE{&TVhadj>$~ayjLo(Js~N6>G2m6bPp6gPs2rak zB#y+v3M)BQrxeRmK8mR{d(-|zeU6W%4C^&K>Y?dl6zF%ZkKVW>`D&UVV`lHW3bq!$ z4Z2{{$-aX7nJuGfag}$hLCW8#z1c&sab~E&O!LQSr`E;ls`Z%m<^VkES9yf7^9vyb z-m%K!&W%-RBNvxnB@xEixNTZQb4C)WF`}7j!<achV>gwwBC*w)#@of+_=VehxYbkJ zIZ!?2*VnZN@*f`SJGTd4;WO4c+zx^-bP-r_V&wm3)(KyHKy~pyM;0$>sy!}VB;s+# z)lH?SKf{ZiP*ZG{jK7SlR;}<%^SA&AC>yb2CtTT3<w3!eT<3+1;#}u+;0$HNkfKcN zo4-|j9-^th=h=O!s)#ZhoeXycqpcjO=X+obSn(RnZN3LI)R?$Cnfo<%;a*7v*;0J{ d*ZHE~U`^Q)I$dN1qPWk*SWr#P!NXDTe*kd%c=P}O delta 3630 zcmah~X*d*Y+n&{!u{V|(yFrG;*mv0mBU@B>Q1&QENg)|qV<_8LQ!&a;MJkLQ4aU+_ zn6gb}nJC6sddQygd5-t}zVH3_{<zNTKF;g>aUS<^Ej4Up3mciE4Ad?9f&i%zqnQKF zsW@Q(+r;I4AR+vERVCE4q@g5J@=>P5WOsOxh7vD)iL||${4L;4^}^oOj^}h|ewHt2 zpCMHg9--4CYJZ`?UjwJ>@bL6IfP?ScJDHCr*P{y%!HLIwdVk~ubdK*0^lrP|QX4aQ z{Zh8J-Syte<VqUdk^8RhmT*l4QL7OCDELfaE=v#@y*ii04VfxDx2Gmv8n*tU4*P!m z+_cR2p!@94!rtNu_Z!9i<Fm;ce&r!HQeK|O+;Q{!D!Utrq9U<+cbukutF06xkBC^P zmG{8Av?V$0+lIe^Jaj}qr0@q?VqxfMgzuU_`YrDRZxKOJSFZ&7Uql3_;DKp);6DL6 z2yhD?2>Hl7g45U1(KEyu9>Hm=;BYFc2u-I;K{ozZgXOU{#@aY7Bb@I4N?HgXAlpJG zaC-WdhE_T@x>mYIdOF%#);hLEmUu0^l`Y=L#=yYRT;BA*N_-KTj=>S<u7=9%=;HE{ zfT~69GY}!-`1T5GuxIBcAwGSXmG!_d{nAGkVX5f>gRrDz%bO8r$$K&>l)z_yO3v0w zv{vYGYL4qE_$go6M2CwD!_0!eDi4vZ+C)!S*z?NPFcU|#rx&a{mhSuRx0}r0`}nb$ zKv9wtqg3SBV-{CmE1gwSs;m`u7bW{D^-fvAaf}Z{RQ*(?7veASW07{dC?TxMOXnqx z0fZ|d{5DIb<VL4?fI<2)vjOyTR(U|2d~vveM~}fJPgZ&HamgFP?f7O{U12HtYk6}( zrhPbtB|dPN=@_2D5-2%JEnw+3E$V)@FlmZnJbAwafCawuIP|&VBb-KFR(xsMEG3P( zmPlk74|KD6n=S_w&YfUdho`Y52Lh>{<oyFjAC{mu8P12=9h&9%h3~0cyES(?G8q+H z-{BY~%rD}t{L(54bw_yk)zM*7xNUk^md1N&@GL{uPIbWD57T>pj)NH>;P4HptV09C zekGm;P52TWHh&Y6As$)^ZDu_GJ|9*}1ka~`3EGez;PcBWj;nMsi%DW#444n&rWcYY z6{?O^N}!*12(Oo%3*!oCAcqsi-ZBT<9K%ys=#o!O9_bg6!`{pa#*-tlSOtA2cO=c( z(Tw@o1FfH4d%<1zRK+6089DsK9Uj;s_1Q8!xe6gYpzo!rwS29Bc+XR=>2e9tIP$8E z*2tRS{k-!sjmDDKjaE>cf*{(-zBa*dQq<t~0G{%U$QA6?oOR7gHBvMh&waN&5WS~; zK1$}rozeJXeyMYMiI?w=18oDR0H~B$MZd4#1`<~bTR^s6Q-Ub(9ZNd-uXeyJ_80_Z zwj)9>ezSo=i^bkm`c@FPVMZnPKjx0X6Zdw6Eq3A|@^R(}rb#t2D$bz#bJSXHUd?^} zxe9%id865*a)27j7U9`bhoKuJckafQKMw2!%r#R^?%N4jj>TuqW`viY>5wP<(xF{H zL0M6W<{Q6adp*l&=b6&c*JCogMcxTiz9nE<V%B44W}gD@eVwH!-M7TM{Z~Tz;@v6T z1H0}9N_Tg+yF`@E$qv0&dHvR>8o76oz?0CI=YLvZ&$M}}!J)h1{&)MecW-Ge{7b-} z7PU%0E^)H1xB}HW&rqXo=+(eZQG9+?$@-+kwTF);gDq56#F_GM#vaO!L#}Q{fQ^q` zPdQCkiMJJ60KnQpLOy#Dm!&hq#y6UyQJkqjc8*fnZu#%!6HLBcx;)ll&AxqQ^tG9w zbD}>E)JxA%%D%R6S)~(e2rZ=Jaj;(H*fp?OL^9t8_fnpN&NAc+>5Pp8R<I9w@*H7n zw}PG|pK9b$_k>CLA$`E(odS)}h-7cJK8weME$FJa0@R*uBZg>F0S<}4N`R25Y>d+$ z$g`q$Xf&2kI@Uw#<IU#pK=`Hh@eb)s<=q_0n^Yvv$F8i>^I}|PZt~SF0Up3Ffgh+` zTBAw^-mcZX{gAj1H>)&nGD$M8UhP>NMhm?%&wG<RuA*hTjiH0HVWo_pK#NVYk6W!@ z(g3nCrhh9Dr}AR5i)9!0Ohfa&?#TQpesVSRiwa$-7=&e41OJi4uvh72;C^;)=c11` z-S-S^oPL-ESfnTGH6osXPOcVnn%)HF^&QT3lD+pzHu(Te^<%@=SYQ92{y*ZvX6zve zt*$=!_n!F|Ld<u8#l${bwtqs=>>>GoeS@D+OC-7>F*uSy*&?kEZ6>KT%AHJ+bmik( zn1uph7K)*u0V?!)vOZJLm~P30(<}@OA%ZE2Y%B-Zm#8rvm!$D&H%VhO3+zi30QnXQ zq&PH6+=q%$Ud5fgblfA1ram0aQl)e24dI?qVlH6f=|6hVk)#AdC!PxT%RK1=InEI8 z1Qn}X6KtGNI|Ev6+X(rybPwb=a4Kl^<SW6`fD08f#^j-zGP8QvS)h7;hIn}L1-3XV z=WEfgxCwzqfopV`NQnt>4BK$9VE9h<!|7KwPR}Fz**TpBz?*`y5?-_?Y1Bk(U>Zme zDvc=W<UquUuJrN)#x72J;qupsp7p(7s%FX&h7*ykUzlD0RMJ3CTo{}OChC_xXZqVr zFmGO$F=cpXgc%CtZUF<ExH&qMTJNvDd>FsE$t_bz8Ll+^&?-VOkHcT*xJje$YrJ#; zNnZ&B<W9V@@AKI3qbyzZciNn6u>TcEvz8e1w4c=giAL7Utp9NuPfB>&mm6a@Ba_@3 zoIBG^3lxw~`3yjP!F7Gf=~ifg7PrbETBR`Vb*0vlY0A!LGf_H%2A~_=vL#zKgNyR; zR*~YPpyX7y+##YzQS}1E0JNJ^#9n})gl8*$N*6=VC1ow3aRSaMsztn9h(1E1t#%C- zj<81^F0$uBq=^neTP?efcI#dsm?~5kzbZHf$yDL!xU>_>HXpH-P{3{r6VOu-1{zY* zsJzA=UzctHcHO%1ioDtgziuP@J9%YNx$5?mW$t`0vV<o;*^FxQb@e+ZOZ#9;Sc;K9 z?*Fw&yRKQoqeqopl4#q1vho-j%?5-*oT%vMiKm%Fo==uALtbM`2@X#h-9Hi{4K-t< zu*qkbu-#68;lVDj#6d`%yoPYwP814OO@|ai=jjJy|1K%E5g^`qsFl|(60V*i7K!!& zdUUEW4KDDl-;4uuyw`O@g=2T~J`wZSlFY3IDL=jmNDKYqzdI&$Ca~%*4g(>ITEN*( z#oWSjT5wGmI>VhblV7eBj3uBECrDQL<$FQcW9STL(!;#+ksz!d8sSI+<&`%CVUM6Q z2&4c?d1??=0gbRDb>)`(1Ysr688#$LZn<s{RsfB#A|>aP^9NzU=!|2ene6hff!G}s z!mNtgW(qDoj!;{?(@!**dT)~btYbGLLMycffaaQ$XxZhT0&6x==S@kH+2zjyYnD)4 zBT`(JDo0c2?1^@*kqCY<DeInI*F~L?UH%?P_Zrbye@B<v$|HZeiK~wU@#~?jm3v*& zwMNeJZ%9~=_P9oCjr_s?LfraRkE_4d$SMA4F>Ae^P`z7{8Sl?YA_|a?3Xoi7Qe1lZ znSdG!s!pl*ilw-ax~!*ZV~pP_eI}^~>@BEfq0F9A-wF|7V90pk+w%V*sDr8ZVx7_T zf=4rgh+}VS#CAS=({8zmSE_rx*uY%sXfTQFFB)2cNQ<sFaRT4>J<P^SzCC$<zB8x) zb6rN!{t`sCh<_QvD^duptu#<if5wOTzUSjo`yi!Aa~UE>>=CFh(4S~*_1EeONX7HC zA6-i;TK~#RX(}kkSM5xS?F|2v?56M^*M5A@pFmQ++fnUzkkExeo|G{ENKeGM!VOrX z(r_2dHfXi&@27H$f*}R`irNPN)fVk<RPC<fzxPZ$_ix&7=*OY{1Y4_S{am5aQJMZ6 z1#1#Nny4N0?-wT6(H5;A`~V|2xG;_J(U-rqmi;_k3O$)0_Ie`Es;53(RBbwo^>dnB z_nZ97TV(WXR?QpC`F+%htpuCyOftA#By(P|L^eING&|HQJ=8Zd^oIPyUpGW#G;O5! z2sZQHBEFYwuD+JK%#jnZlT^%_y3N@MATpZd@ar$_)}!s#r?XLPkF0&Q8OB*fp0*DP z8ll_o$+>A5=Ruo0rMFS_fMb~`;^CPQqzIBvB(E&9c=t3TOiJsQALHH4$2)3Qb6tgh zd`kN?GSdRAq&gygxUXu87b=R&WqIz#G4KiIzkC>#FUa5K$OVJsw*?{|T*W7XMB9c< zn}$q0D~TMP&SE`PQG<zDytZC~E?WrHgMM1Rq7S^?mC$pGd1lpezVh#7waL1?t_x+% z$8oBA--l_V^2(Fhi(^35ST>9{id7yWQoWtr);{!kFx8cJ0%@a|Ikq=#RBi6K6K#~o zHZkET3K|$N6~fN18ezNds#Ox7x*Z@-*_v_Dl}oByh5rI?)s})Q-eGz*z!!<%t-=nj zRs0o#lqE8h=O|SyGEDVmf!lePT4Yr|uX|mJ>bH^nuJdsyX`mf&`mP(7qbfF+Pl<OB zFkgnnUv|g_cU-7Q@#EzO8)GUJ-Hb6Z;CQfu3os*5wXE9Bs6(V8Uetc)5M>aM@pi!r z$G0t7PzsX(1XJ_Rh0*}xNeMl}L)YS~k87sy^hBi>Z~dn1$=NiQ{4Co44v~i&=pvMr J@h-NA{{baSiX{L5 -- GitLab