From 0f7fc80fcd911a500f50e9a409c875dc322511d4 Mon Sep 17 00:00:00 2001
From: Millian Poquet <millian.poquet@inria.fr>
Date: Thu, 27 Jun 2019 10:34:33 +0200
Subject: [PATCH] [TutoNix] cleaner package example
---
figures/package-example.pdf | Bin 0 -> 15177 bytes
figures/package-example.svg | 113 ++++++++++++++++++++++++++++++++++++
slides.tex | 15 +----
3 files changed, 114 insertions(+), 14 deletions(-)
create mode 100644 figures/package-example.pdf
create mode 100644 figures/package-example.svg
diff --git a/figures/package-example.pdf b/figures/package-example.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..7a5dec06249f1c1608289c6689b8ece246c28675
GIT binary patch
literal 15177
zcmY!laB<T$)HCH$-THRjZ!QxB1BLvgEG`=x1%02?y!4U`1ycnBg&-~k1qFS#%$$<c
zA_aZ7oWzn;m(=9^lvFM|JFeoAqSVA(u8KLm!Kd?X8wl+AtSx4DlYRXU0r{+n-V@|*
zMKj)Ql1bV7*khBcr9;${`@2Iv7l|k=WXM#|OHXfG!r*s4?1J|ZsY<1_p%cpAocLj5
zdQBizChNRju-cbk%i4+Ooz)5->2Ne^8E(8hp-gAhwi@r231M%l-Y#GC=Dm4V@7;f^
zWH`5czj=j^rRvA-ou2iEeQn&iDu#<yx|*gr&M#FBxX8NZ*&_MO72JpIw5_L4DVU-a
zcC7J{#v}8rBdcfakv#UO^?kC^LK7|BEz`J{iO0Xb`rWtc^fta^%{f=oFa4cynANj=
z)tpal2Qv3mZ>tL9a4=r@;kBA@RIaT5fd~`FSy8icmc4wiUoc<f>RS=16zenXdVgM?
z%9!S2_+W~l#KwQ0JrxYiPn71&i7ts{QQ{3+c=gfT!22y}LDHYR5>%xsqlGPAHQU>?
z1V8*9TB?$;_U-Ix4RYH59&ng+czk&i+mKx`r+QxcF6*u3th&E$%KJ_JFaOT8MmIL`
z$)5RYY>J}03YI)Iioaj>RYF8;gLK=4<VDt#-*Qfw@3K<lqLlWWh_Z^aLV5EJP5GS1
z{q@+F<QWUu_TRL3biR3;D>W|#8hxpGDWHf4#WsjmP*5;2HUr6nc*gK#0Zs_66(#P$
zC5a`e3N|(%0Z`&dG*AE~8fQlZLk0chL<K_yJ3EjZgw%J-&nrPvou+G`YoK5TOIjcU
z(sT`V4HV2_LUwkbv;}pQ5!`+S{gBFnR0aKj#Pn1JRRu$k75V{*MX7lu3WhMf`o5_t
znTbyM6$;S`1_}lWCdL+eW+vt)W`+ueCZ>7@mPY30#tN}uz0Uc0C8>EO#R{OL4@u|l
zMfs%#NREZr2o?ot0Xa5UK|iD@F|W7)WOH&QOxRPQq^L9%#&Zr<(055K%S=uUa(4m=
zLc<~`wK%`DC^@xQ0Tix5NdB}y@+UO=S;9SqE&GAo0#RtFU}<h)0Wu33p%rtUR#u0I
zgkO7ax%G9(*Y0<(mPu#G`7&?&!4$=#v@hfS`|XQY1O{G|=)I^SWy;5Ry#EKo8w)9c
zQl`fei;n~zH)J{5;Mmiza^1pf(nX77`e{P4CUNY&7oYujyUHy&&39k*^<DLMw!T~Y
zD!A0o_S?Pm_qBD^@3WjZ71<{FH|$8)ow4!7X~U<&9Gx8sE;DRiKRx;`d+Dam2`7$P
zd^;EU<xG?2p+BcvT;3np{>|p|ollnL-*h&tsC7Ctf3|hCTi>4vHLf0KGWJ|6)r-3j
z%I#?p*ZkP5SX?KrtSTc%Ugq)Vl<URZ>1P$bqzNmo`>55+YCKIhX?|B{%aKPDc8Kq_
zs1E!t?4ByKn{(pg4u@x-gbMX;H(olW@{L1qrL6pv6??m0-OzGW(d2zT+e-Lp&E=nJ
z`72D%z3SY2?5wEg1Jw?$n#0~HpZDI@_j()pYKn>7pQtHEL{%p0eEjL;({xip?)9aY
ztTzSTb(MbYEp(OWSr>89k?UpP#kdz1Qh_O=-8NgVZ7MTlOU{|%<L2u5OmS06zx)Ni
z%)AUPli01dj0&7N*O{4X{yFFS^qg;W1zX%#KI!SI+Rvn~ec*|-_Ul^SmoiI0-||i3
z#w)I}Wtxina+79tmwCRO^(~}pg3sl7uWqTD^4Lj+8tRoFz5JdxHu}z&>4l-6=UE#4
zn|l4-3$`i$za4sc()wsm^U0IR$9Sb@CG_2ywtKUh;zBds+-pnzoNKZyOTPF1`_ate
zSl5mf$@!B4F5MJQOtaz+5!7CLJyf#9&GwaVP)^$JqJ8Pk3(}oeSv5{s_G})n@5*aE
zJo;OYSw33xZG+sEMxkYqk1su1b4X^_T>shIo}8I#Jax~+vXuN!RrTIS*Qe**`8jdI
z+vR&NhG_@vH#_MkBILVgpNHF<iLPnY6W5)I@!sxaVI;~HnS1P@p_lP0J=4(CRjb~n
zO~@3_cA6zAsuCe8y{hrnVUwd<T&Es<^6J%-O>_F!#oF6eb8laxsiC2xqY=TJ-dbmG
zCfYySBQPXu=}Y0AA2)Ny&&%Ia(YWQ*<koLx3v8Hcay=yioEPqk;99*XD3Igtfk=@k
z=^!y?r!9;4C!d&*G5eBMbaU3V1%d0e%nS4PWuD%!XhNSwyIR;TX4O*R)lR#X+)6pS
zX44GOAG`AMuU%w4FE{&;{0HtUwXZkJuR6+`&Gk*=(3X>zs?~R=?zz5E`Rsy)S6piU
z<R9Pu{@#Ax+)|!g(bl52Nq+k{_DXUrsJRvuytk1{NK$Ii^d9E78sS+Cv9?Rqxmw>X
z$<jHvD)V^bT)n<~FWeK8t}Lw7U!${T-Mc-nmzI}thw3`FuDbN~{oc!)qR!l#YWuqD
znY87J{Kgr+Dn_@j%e_71qBw`k$ClA(N`{5r#(hi^s?-bxG=$qHFdA_QtowEH>Xoqj
zY33=e*KghE_58>##Ok%|*BPUUEBQ(monYx#@L3w{y!%C__^b)R?(7#DOaB~|PAW^V
zc~cqSsIj-L?N?jbv9D`GCcb6rRa~@a-HRz|`mXH@t}`*-nmPaClemT=eHYuKlkI;9
zDd&jo)tEd(!?SEg*PQ_A(DxxJNn2mIc_^<{)=^%p?B>Gf5iqO$t$DBfw)<9fUe^?b
zetyW<?%6nx(Znz+B2+DF^YT|;Uo@=<S)V^4{EN~0CsX%Yt-qK3LCW~B(P3j{qq#FD
z&J3J+ai-zSbu}l%KS%DHqW}E$r>{TTY8Km{k$>0!!TRsSe;V~$?2o<oS`fT4O+dZ&
zkjMWl-9-04o1Me;?@To-DCv)tbZ$@C^SA8InlleKKYaFpG5zP$X-f~ClGb1QW0|Ud
zL}m8GDzVL*tJC;GN*g7#<PL02Q#oFHxAb9^>?|+7=_<?IrC%LNmF3WhNn+wivS_#v
z-X6O`J(_n?U#G&$l`3D=nSC-s=Il+oKF>G&aD86npH6eR-V6JzW?ovkZ{wr|ms>dn
zb)2TF*&N;VijAwdMfK3>GfUX#p6mQ4a&S)25}AeB?44`o-eIolc&X#;cb&IY@smpC
zBpdm8qVuQDn>zil(YBZ<J$HZA7s_E>d6OJcvz>x<|Nhdp>-eNy^XyjCNx2Be^Pf)Y
zGPmy2u2ft1daK3vjcX>p=$N|Yv*nVYzfwV26FXe>omZ{g{3d9Rnd|04f!Tt$X6=zH
z4_|%BOz)u7D&5=PIK<gc9=^O>ZqgeWtHy87-78e>cYkJ-^=Y@Q*f3@32Va}{|J(LA
z_FV9Pu6RE5MRl0bDRHfnZVF)<rq^G+PHk2Zoa<}Z|6t|1zGurm%ddX-<ZGqKqJX2X
z)bd_!tK$5%`O(&29sS>eYpz{PF_B%{v+dThO9=r#PHG=I8fqISxoP>U3k#p@3jG`Z
zj_dSf>za>+r!5VCKf1K%hgp`6@Cn8#%k6K)`#X7TI=^zY(lWNgVL|$wp-MdFL7lwn
zhj}(hD*np~Ua)-IqM-F`0y%q4{En6%`C@VF=tKw3zjO3BZ2ZMPXq#-?C3QWm>pp*N
zYu&3$Dy$s~IW6*)GyUg%FEu!!aw)fK!-*wYPI{Y;itc)y)OG91ty4-)87(hNq*a3J
zw`*8dl{=iz3UIu)DssWYtYQb(D$&<#CCzjlekJYM7`NU0oOHaSRz_<;;tGR2{?#1o
zJ605gxy)L=?U<Kn?&V9-$<EO{6Kyl11PU%Uy($V^xb6D;{~t~j&;EYNxxMO-<^Q?;
z@_#<F|GIT7(|!4wl_#}q?yX)M{o>Q1MK`<8$>!PbNqu^5&P(~6^(*@;b1SbeUnMMj
zywCTp#Fdv(b6zLpu6wA$xHcw5*;TDHuWI&E`x`QQmA5>&AoV72V*iuF3R7ofZPs!!
zsNgK_j;r6h;>XwP-Ru7reE+p|clpClt>>lm<8uDIIb`-v{NMZ+*Pmwyg-&irDb<aC
z#J)f>_h#Ffk4r6e`4&I9=&sc#p<H~N(J<_#r|92+`a^-Dzt$aJV!pvF(N8EjVPVtU
z9dq~ch&}tMIU(BgZrYY(>m3aCCAlSC7SOA>eEQ0cd);<dw<-HNf82OIwEJri&sOhE
z-N#mJ6rWXV|88FVmEGkZ_uRGr#U}PQ>(pm%_5Z6@eEaG<eV=~poBEAUt}X5T*ZKPW
z-@LuXS%0@x|Kps+w>e|m4w-G)Kcl9cR|)fQV!ddnB{Wwn<<;XDUthxwshx%VdaHd6
z-U|K-TV?VhVnvHhOqo`%#Qd2Tw<<+0R$ipgsT7p?E6B8w>vj}JNcoA|)n)qGIhi6>
zt9UbWo`kpDo)KvjqbL`@B5yZKy~6FKwrm2PJX4cZnv3ijeji_D+I)IZH?xqFBd=9C
z^YQIxxDK9}T-3IHNo7IP{Lr^0Jbw>2|9hySxz8gw@kC&&h*f`^Xk*Zl^{tyu1kCRA
zU{*FX_NjfMvM2H^$KHAFH=SgDy?(3{@HOY6@t5-C%7*wQa$0>ijfzejTUl=tvst~m
zcs`Gh=&nHPcXzEyel76-zTVEZc&U5-rCItai}trnT5fPUXoY9E>P4kZS9PvRw*<_5
zF;gVT@Sn}@-LqEt8HH}GTfH=tS!Kn}xwA^UI@8m87id?;ZJl-J?Z3?_`qH1z=+rB)
zp8Mq<_MZ3I`KWn|KK`wox9RKs=bFC%&HOk1)BhxL^4=zA?~tZneL~Csa_=`{UTeN`
zPn%M3Z@faso|S9=I8F2{h_v(5ye+qS-u@TnulZzO?fKnmyZeRS)P<+~BK{@(UMFc8
z-t>9(fuE8~B3!O)+ZSNV=sfkMMTp@9gJM&@>&ny2Snc@OM0B@RygXl&qL_bb$@%qr
zzv}(h-s|IC_xIJd&tE@0e(h0ie91Rqy8*ZC<81#$wi2t9=S&okdwQ_qZurK1vO!t;
zf}SfKM4BCV*L|p9y>&!`@yPkb?#-26!hY+1K6bwtxmNRo$UG~}dyAba!zbOF&1U>m
zL8B`o=0uv;bdG9f@2m`$sB;H;e+K*MRXsb>(|yH4b9r=fYU<O%S$BR<y%f0f_3v-L
zcND+c`h9c1-n-A`q5O4Ms)g3=m$-CVT>q5e#HE|I21MrT^9p*MoHfB{=OtFXrXATG
z>RxNSMYk}{^)9XC&3kt*q=K1g&$eTsg&l|e=B+6;aXim)R+m>+z3f+?)}Pn%)8yoT
zet9UFzd!o(w;8(3k;$s}7exFx``Y)<wA+6@v!4IGt<6_qv-V?##VaGGi<_qFJNA`M
zlS=XyJ#4L{tMdBjr42$$&j`O)%5{E}syVCeSd{?FY^LyNah0y`z6M;C%~xkE;LIq#
z(aN%2AZCI8A*+~kG4_vMwBI}ReE*J%HJ$8v$!$sUyE@~ec4l5ab^Y3!M0Wmap`WS$
za?jQLJ8Yl-d3OotU5EIEM>p!8m%X>~@rU{Uc9idb7F~Xky&x{4a{Jet3qwS_Zc5FZ
z@~V_`61NAF>7rs&mRV80y$qeLI^Lg40u3k4$}HbEz0b~fH=AErmv>t@|K9r%l0A{_
zKUo3_eA^PzE}a!W%wa0>GDB2@_u1Nj_10;|uUPgb2&x(%lwmd8yl~;xEf)jyBdQJ8
z9@*@Du%MyRqiMp?{)^W2b=~pvdzMa@-S^R6!>TMVdfk_6TNUn$)@;bgKFiJaTWGFY
zc*r8ToYsYjzm&owCbAl67ew}LUHyK-3zbQk6H+!G<$WihGwbRp{-5S7!c0p)E)&~$
z<*P^wr|-{&8557|UG}b6WWeM9nrU+Q`k1}<_N(QWem$Gt{$9p>^P>CG*;cu67YhDX
z9WGYYyy|pp=6QSj;%Do{e=KF-cX1C@Ex)xde!BJB%v*Dl3Y~WQ&)Boj^x5Z)No#h9
zJQwuc^<$B;L8tDf7u_;jr)^r1eD2o_j>#&nd`f1~@8_=yoAP)0rmvk^Q~$+y@TeRP
z7Z+I*8y&DAs>4TXcI~TM<;#mtP2!govZ^b4n4}!GQup;S-$gHHbhTZ4Cw%;8{hrk)
zLr$xAJPzFM6|n4hY0281J#x*zB-Sis&%FA@A#~Z5D+ykoCi~1gzB9!@J@faHxR*g^
zv^P%q_igv(;!`iyUS(asHu`(i!B>x_1y4F?pQrSHLj3dlpM!;8%7z~M93RJ#^f+cp
zrs}mGv!I940z!Fw2TvVJ5c#6Eb=QWr+ZT2p(&Y;D4^urNlf-F0+xeH)Ld7F%^e6R4
zp8dKo?5I%F&&4^HZ??@~Z&}5;D6CRLswh3>#=qRypAzr42rZfItLv!b`ZU$`LS(7g
z@{^L6uHCtI>8#Zet0QKbM;ey0Oif`tsQ=>3%dF7Gf0Jx7!fHP4T5hf@@%f8_-75)M
zKX%#0#nZ2RtiJ2scgJY0qm1MYmh-I7qdKxpWv{Ptxm4r#?BL8M_U<S9crNlw1WY_O
zIU+L9UO3|-!|LwiO{-fC9?2bYiBWu$xwFpi!qz1lk8yqv-_*xqJj?yZ(x)@7Jm_xO
z{$*Rx^pz%yj)Y!2_ONTxBae_hM@7YNyRokOymrT`S>OKnu7AH-WRg>Gi-?C{a75P>
zrR6VzzG$|IB&(fVGSf*drE8{6@Tn=rr89r|I4>&{k#u$ET+Fk$=km!CtJoQNGxBuQ
zpKgiKXfN70XR7zpqMhqv;`21j-zoooVV5ZXM)>>2+Dmqo^YiA{%}<=avG2-7tA%{8
zj#!1MUp-m6%c^$n!gCfMrnh9KvR*#=GG~`b?7Vfe*M&>|7g}f*yfNn5zFJoMuGVeq
zl&;p!_gVAuy7I0vX<Mzuw>LCBI&|pK*Vfk8`}Y?=|NVaU?AF;Y7rQSnm$r<#am@bd
z@*kQ1G{0V2w`1EL(HhD4&el6dyV~}7eO~b^Rp^A)mct%r`8ZWtzkIG#@>yaMs8y;u
z_0|QU&fR+jmzl}N^qJ{(-+S88#XenC?^^f5b)Ma&x15|0vwY5ex~z-EzlHbw;`~ZJ
z-T7rVj<)<Tt5E&IxkcdFx_dv|4$kV$|8QB`{La5GZ{G51d!Mr0Up3WUM}Fe|KU4qg
z5k396_3_fz*QQPtTYJ~W?p?yY#?9&cPh@+#tt0Dxy}G_!%kSdM({Z(>H?@CiH`o0R
zmNh&-UG8-!mvLlCpj-Q8B_nfz^iYwNUOx<8wJbgLYn}Qn$(I{eL{=_QKBzY7M1;G3
ztAy*?NghYnY~0%MWBXPYfpyJaTg>-tZSe44*00^QVTSw6iD7{yOQ!!4_n)!n!%t1&
zuHWDP6<+_7G=F`?zjgA}*V9Dr-`-|-YUjW5?_Hb!NbBF#s=T;=$CuyUvzu=GY5euq
z@At8Vwf;3dXH%!$TCvve$P-5?EBnSK|2qE~q0jRU9CBfAQl7Gg^U=Lo)7D$(&Mp46
zJ6m4SAUvE~bL|3k9qHMvd0%Y*v)kJh#u#!n{<3Y|p`fTIakcBvf@e-v8$*&zWMhmx
zug^AUS<Y4*Xxg^iZe8J(px+{29;s)zJ&-v2K;2+}<%IA^O}4jg=Re%uAQE}v$kWXo
zp_i(iL@UL!)m|(W^JQF{!L{PPfkArsMBBc33wP(;eY8UQe?Q}Xw`8MB0&*7{w0_A2
zXHJNlv|yUg!6p?C=H$Jz#F`Im&bvG5&G&!Lrn^jSvvO8=wVzo{XRF(zo2`Nz9W$Ry
zY%h_S>p1=4ub*o_Ec~!^_uAX9-@UshEdKw)!e4jgPJiEMBK`jPwtM_Xe@phi|NqHt
z;_>Mv+;`pXAKAO8^uNIO$zN3Nh5ygo@b}Peqirl-c$S-WsRXLb%aC{95T`JM*LJ6*
z+;^e>(Uncn);VvZe@Ac&SZ6t^@J%u0DHU!OO=Y>5n3{QP=J7@50bi~b^oYG$R#$u6
zz{BRhbj`p2H&>l>k6OJ%`h$)8?oClAocG$^TD@`CACB{{im!fA-Zf3`*grp^1CO<e
zW=lO_@jV`=yKlDYv4^4dH<#^w*`9w=$inH|!(V$k_U31@J=pz4rgQQ1iMMXe-{GL!
z*Y~iH^@@{N?^5m)e5=H^YfpIYG)etIq(t`=d%=wl)aOsQx+7o3`h?S))sxmb{nVe>
zJVViB^4UYCMv}kVPZmyTUu>RXlcD_VSEbX^3*IxD&&#@JMV}Dc)nzhiy33h!A5Uug
z{B_&NeE)7+OxmQ}H4}5gzBWF0>+yV5pKBPjHD$VRf!L~hWtWt<7_U27{No>&k=(pC
z@drw}0>Vd@7WDpLWxAOnXL(pkknv9u(?{>(7e$8Ax5HO_7M|91bIYU{=UK)N<@z26
zY|6dW!)d9}ld62vW6o!pJ==V(e>J;%D$YMpd*wG<<K=^o98Mgu);{tu;&Pt)tE{Mw
z<E<0g?ubtkU1PChve%u-5r$I~YJH`*bYJMs5q_31@tOF$MP}ko^^^K+l5Y40Iq<Jy
z(0)E?`j!5*WuNBh7z(m@S?!$qw<+D@T;2T{I^R!v7JAP8m--?s<$Ik`RsD&g@~?;6
z7jHhIVU}s%eUD%6Zr#Pn1y85v#d*Fm$tjt(dsZ9&i~C+>4rTRwEcCc{zv9q;{FU+V
z)@rTmf6p}USG@WA?&fE^u4}#)+O<A7t=#{TK=6#PyZckG?|C_GUb)8_zv7?8UuECh
zTG>ZjcZyuA$K3wPca?2}dnIH4!5Ky04(@6%3%gzQcllc8s1&_zZaJ$rtj)+hzTs&{
z`b$$A{R7upa&`NjKm5tCt?5C;QXjp<(}${)H|FNlem@!3m}_iS|GK(-qio*O#g|s(
zPF=X+>%UcDv*Z)3TTRX<%)X=bzF<y>c}{hJqV2}mqb}Jt+tvpN2`lO}30yrVl$K!h
z?P*O2`?5Q`Rv%n;+$-{aPeQK=k86v>$H>K1d<h<hp8N1}9Pj2dRNgns&?@524Kw9C
zX~~DbukpCv_C0t0BK}mtM=x4<@AEoKC3@KJnfq)0)@4umnmS8VJ_~MUb$M-cRVznn
ztJ1RW_LiDg78^3PUJLumE@@$q`@Hr4T+46HTb0ACE4F0Sx>`pSOk_6A{yTyBzr>MW
z6&V~Sk51%tW(-jFJi6F%@$&2QE-5B3Ox?O~iS6Mn`&PuVzwKHOyKtYUj79sj7><I9
z0}t!8{zNc;FM8O%+w~1QpS_Ie`+GBwyc0Wkx8|c?adcU_(4CK+XLBFU-yVF!{{7*%
zB0uKK<Q4v~6V1Ez(2dh%VTZ5GtX1;!zS@fXH{@6se>(BH_k$?Dn&S^|?|0vrZ~4cT
zYv03yQoEY75ACxboC^0VdumtnwB@ww2XnsZ7B!U@5AJ(XaFJ2m>%sbXiyQHlHGw%P
z@fHt0$NX4hZSrWrM(a7x3*PComGvEt=P8(Wc)85EHJdjXU;JQy=z%bw{PY9vt#aQ4
z+b_%bJw4>fr*2Vm;^B{J0@n^alxVNwlP|F7`qFo6;W?JA@2_u&;(ISY^VGfdjo&{X
zRW_9?OVN_~*l8+fapqwFXUOm08@^kFJY4z8Zcq0XzM>z+d@?5*?Pn(L=lxcA<8-a=
z2Y0?|i#^HBUVOXDXWo1lawD~EdwJB&+iw$=i{866@yNYXt+JjU*!gZ-{+Z|Ox^r^q
z6NjI(xwOj<&F1=Zj^VaNj;mU<We#WKrn4v4^c;ScqT%{)scOI{H(u?BAJ~3flQ#X}
zwr|JFQvTZ}qGmsj^vcwoPGs&gzjENU+=s<Re`*tK&z0?!?dlC^5$`HmATTxTMPq4L
z#OXxd_Ny{++8Z`qw-AYVXm7FR(Ff`5_;0fdH%xN=XLO?4bo$f63RCf-*bmu!+Gjp+
zwJ(*4d$u8EW2f%M1Cz46YQ&EmRg0(zsX57}|MQ5r<(>nHg6*y6`;)o7AN*u}d*k!t
z1V`(NzQcb)W*mQbGh{}!{JfQomNIF@CmtGPFY7-0$Y8QY&NA+_f)mdS<{sX1(#`BF
zPjK;rmy-=x*@NF0+~jz1F|usNiA1LMcvs7t>w^+)+6!fl6-i9yUToR3>97Z%a)yxf
z!Ndw)o@{pKc9#tcUm7f#-^<(CaFAK)Mgm`Rfr$n?+oOyGUY?GIe-#Vst-id@PW_v6
zVSUtxpI?&h+lgJf&Q-gbwP~@Po$>4BM!TzDH2P|0sy#DqUO(&EV~xv8(r2ojShLJ7
zzVF6tXMK@{*K1##T<C87;+!J0=$whncdgtv<sDX->wI0s`t>QrTnU?}y(#{@&3YBD
z4k?Pt`#ilMnP1+=lCQEPL0^?=($_?tooth=S~sa!tAuiE-S+F6TFTYxw`zxK(s4ey
zYZIN>Yc@5r-{QU-S<Uy>LZv7po6$ca{+T30uFix5iuaNdKgvA1<Ef)3e#cY5nkVMO
z&7+EK&L*$SW;u&Qsh;ATC^JV!$)ZKM^+Th;GmoUi+JlMVGn6^saJ4)tURbu_;cqj(
zusJ)o>T8^E+}I>^W$w|OBr)!Yrd`JE5;JbHJX`S2DWF`Djl=P-tjNYF<CXiS>PcBj
z6sWQB{W7?qsZcy&!j>bAHyI0x3gnw>g@ku8yE0}739x3Ep4HS?Cj0;X%@hA~8UOKb
zm-rN~yxBS)G#d$>+=9*vf+oj6^OFh+3T75&@aalJ(4-$o95f>dnI2OxM9dCin@B^R
z$BvzRHgC0oNXvJd*6Dk@xtb2<sffH>RX*9Z{>m19hHr|ly9`e#cJHaRows7@E(W_d
zmWL%Rru6@=|81~#RZZ_^>l3SvY5vf7{!?h~3dg=+4YRGECP(L&|9s>3H)zVr9|gAS
zi*B_S>h1EInxFZ3&#~3Je!qV1_)o-Z<tNpu&R~mGyZetbPv@JS`cq$>bM>mOyMC3D
zlkW!axB0Ffn5wt${_idJYp?$f`L?)Xzuux(HTx62^S%|uRjF^}ch}st>ek9UnetYa
z|JmzzPUTtr`%Uu2$hk{Gr|NY|7frq~!S~s;J58-R7o=bLKAQE~^jh!oW6kWJChS<4
z&g>t(d0ShW_gS$$iunhWD_iPa|8s5qvgN~-nrX*2XH{MMaOFxy29L2+ipiUs3(`M3
z)HSFZ-<or=@b1C(c~;dyix*z}a`D5(H<8chRbTs-;Jxj`@?%cPGmk#gIg>XrHhBHQ
z>sK-|OnzV4>Hlo&&%2w<o9{{eGWn1>bFb^SX}?Mi8r<1ub&TorZ`=HLLdjBFZJtyf
zGl&hI@cw_oO!1JXkGZRAFEn9BKR8Z7@eG=+Hn0RK0Pzfskfu=~leeJhXP4CC<f6=i
zlKdjjTr7A-+AlFTRY5<@HNxE~NZTbfD>1AzI5Dr-H$N{QuEs4fH#4VFK?5SK0FqY#
zDbR$d$Vp5uRxmb#aPsp?oFLQAx~8V)3cAMTCJN?;<_d-eM&{7@X3vtuoXlj$y!4z@
z1p}}y$Kqtr?6swl1(*wRCWx<VWNZo+a84}nNX<;oC;=M-778v&%?(qqfanKtJYXD<
zN8K`WQjHWqbIHha%b>}2Q0Rd21R_u%#+4?OfM?Z1ib_*Ka$r%X#Nt$tad-nLv#7Yl
zIU}(M76d+tP`;rN#PuK(Kwg4`yaG6GAk*xwdCB=HnR)37`r(;*j(NqIFafab;h8BV
z8N~|G3T6hN=!B4<e2tDFG9VI$K`LNu7!4CMfSL#5Loi4MgoP;w6Gx>XIv^xS2E?KT
zhM5g>7sw9qq6G#0ko?fROwa-x1#nr19M6WJMFp^kh82E@#SPdBKjc*erWOVUD60tW
zhVzGnT%Y;>-S2yI|DX9^$@9NW@))DrgoA=d6cr}xT$5PT?IonLprK)LQ~d<DH4Brj
zxFzu{sbAJPTjG#Z@*2}CD^v|<&uZJ|xoYdY2Wi2NzfG96<hJvQySr|-v_7xPXIr~G
z{dV!UIkxHF-&EHW-`{(``up$V{rBI;H83{t?P5H*ch}m)%TL+o{S|HaXVnm}`PV|e
z?<ZaDXK*I0VM*8>ZMHV^c8ow2dxF%$_4~FjD~<LpJN-`jOHI$doz|D`Tv#&k;d6#(
zc~Y~b7c#!hG;{r{`09MemeP`Se{CKnzN+{5`|4WnYH5bDc`O@50`_lPyRdk2#_`iv
z-Y?!)9bEl+S@m=~^Y&lO43ESW99;Uk1nWBXggO`9P}s+~%6vwfIhPVkoBOe}=E{_u
z6rKBNA0ukyy495qJrVPn`6r@pRd4*C?A@pMdHU}B=zSr)TY>Y_p_87!6K0DXY^iO_
zeb%v!{r2SCNsL_~ttX$I+_=E#;nmm4*N>lhJiq_>@18TS*}5fd95pXaI=)9zt37s>
z@SJFsU+*k$Y51R%-{jL~s;|dyzjw{|1C957@2d^hP;Wn*T=pzs;mn<%zAm!%lea7~
z3h{XvQl!QfQnq2Dyx(Hi?gJr$-u(-mkF#)g32m9Q@4~tYL(e=GuM^zf8X}uoK1sTU
zPgohToV`EQZnp50BMmjF2Pd79`pNZqnfrBHbA>(jPsRK4y5GE?b!*`!f7w;pmHnTt
zdu+@X+1@NCbWnQRN+rII8C5cG{nn<Obw2r^eA2;_FE^Zh{PRs(M=R^hGd#sjUO(>f
z2q<M+TVG%I`pukI$)59jH>>=-{PFw~|HA*P_4j;OrSyrxcw^8{-Jkp=`;U4x8tNb2
z-JEm#p!_!Jw=1qT%1&+gT_U3WLiX9jhZ_}Iy_UJR=_+<lb?Qxx%uU%CAiFU@_^9kp
zYw_!EPnX<!a{A2l;-u`8)0objJiE8JF70*OO3#h|D*oQu60%BxF-zl~wZ`!@kJg<J
zO+3tstkv9mzI80Sd*iT`K_H7KN0iE5dtI^0fWibFF`JwHI~PRgEm?YAKqpQ6X1cks
z)4W8b*^2cNKm0!5ocO&y?6S6ePVCmK!)>9fqdxj3{+yoNE-e+wSiC7@TD<yfwzf7l
zk11R4d+eNXmjBYN^L*Aj1CtNMZP;MvyWVf{^&ms<wAB~$<TNGc=}7XmId%D8_tvlu
zVeE3|>p!Y@_n^$Zo-<BG=aL2eHpqTD=lZ?3&aTqwU&qcLjz5nt4t^|J-e>n;+fgR<
zv!;09&$>eGr|~CUHRjY+>s9r<edGDYd$A2mvgFC|O@chfv>(2D`|`uxD2~-fbtW+D
z#C2_4vf(-hlkulTmtQ9InqMv~$nscfed&V6{K@s&@l)#~kN+#smNwM6VD)rDe&h$I
z9VQ1AB)-1X>kSKd9rIFeewg~JFY8JsT7J8^-BMZ1ZHB1wJ~{8|ZQiT>{R0pG5jh#L
zWZE0a)|<~xCPp1w{Upod<n8$nvORl##&6scm20-o*|zjex$Cjc9RB8A1%1+Ya@rnT
z|FN}hZv1=mAHsi*#Y7*FD|q7dFQk6f{ipulcW<^e-Xv4{M(xjKR`KE+p;Ov*y1S3Q
zR&of9jxd<+#ah4j%hOlKmepSg|62dtJbbqMEvb8vJJVv1{#)wK_a`sqs(r^&^92hG
zOx7E9d^<D!*S`O?>!&*g7J6pHdA6ArC%iv!vP9s<Y=#Vx&3Q%hHi#Zst97nKDPx6G
zQb(Xge`Qk6gT(wzM?YzIbwqyJ{v`O*<SF;hn!giz{Zn<8GgmfihL9wOhR_4IHcj{I
z=bvu2Jkz~<oljr<!|D5Sx)YZNt`mE&Ht&kFnGRRFy1L}0Ei)rm^e(yiEwa<ZSK{Nh
zl&>@A`Fu`SYfRyY3Y~QO{qjSSeUDGr$gH1p{&;>^f6(6T)4L;|?wq<Ks7(5p5V!4%
z-1V#P?%BC*-Q1u5H2&}VmU8z~GQZuQfOEpS>Gr=~^#01=`^;JH>Oc3-yI^(yllmv?
z|I~VEd7n7__toLsTGKbg9GlU1c6H=6?u`*E1i!B?YZ4PmNV}1EA+u_szv`D)+d5XH
z3$f3=wc>#9!P%3}Z&a}S*IhF^=rz|q8?UnU98cGj1|{Tv((q2V`?)E?erIt>h($+J
zjY-^b)0F4hN6a}Na7SBaMCg|tan$u<n$Y?1<U@-&>c^LDjIroVJ;iccb-%t&<h38x
zl|LS3ev`Y_|L=HzS-!;I<rO^IoXVjsg0epn{4ExQItEoOy13xd;aM(MrM#<-{Ec`e
zrN2<Au%B_y%FYhIRQ{9R?kC@!Uy^FMT!(w=o}~Y;O!Uq?UijmZ#tn}1S_My+Ki|!5
z6EAv8_U)y(8>hd$Dzhr{`g`I0udRP~9sYK>ug-n{mH9W`PkEL1mT&19^Rp9YhWwak
zSy&VzF66sI_2F0N{wq4~UZlnS^m_PknSAV|neU!w&${+6rS|ac*)yJYC9KKXx&7JG
z^tZE@mzCWO{`qd@L*vcjdRjX3PMrIbuKG^n=-#PCtNM#~9BetKqU+{!t7GxqE0Zrd
zZcXR4;?>gpX?E?GG2i~ZFY+F*(@_fI*V}zEs3;{b|LpmD@|L${&IWh*%rNy0I&^23
z)z9fJG5e>UH#L({OV6<HemE&t#b>7f;jqS+4Gf~jvWFj;@R=X`u)XJ1lK9$Kwi@d>
zPq)n4vPkMuP)Jt0;-h2prtDMMETyw7B)za`rDyOOEmP6xJ<ld~ImU(_U9j)f!B^o2
znI2YZugE&{>4(0C%2StsPbZ(NKHj1lpm=fBv&{t)qf3gnpITd%eJ5)BxwZTjOhF2U
z4|r5qgP1cJ!xi@W1TWLQJoV*ip44eZ*)!LkiF@X;viqrvSJJ)N&%18RJv&k!`><vC
z(|PLVai@9MHrt=(V>4bK>vbz2ZXf4*U7h-9xp}Vy^-4nT?yt?-R*?AnZ)j}r=A*y*
zc8lpR{knST*VkQde`^-x-^eadx$(VmvH3xv#@rbnT8zuyc$Io2oG|v%oOEiw*J=wl
z6S?&FhM(0RKeK3l(*9MPM_foxLf=Af$%kFh&kdhOJo<1XVhP7%b+$s!(<huiE&ufU
z%-8qvMz^O-ldafQS@Bo=&@|t(bAK(GX?#;>+MzW$`~Ec6)V_Y_-gWxMt-iIl%`Zps
zUWjTvQuU~-@?lCy_7y2c*7;5nH%^;!D9z?x)!=tCW6EEPZRY()zl;9sQ_?odkz)_;
zXs(PqEE~L@qg(wtm-n)JqOa}et=j)*;|2N0U5`_qSFBlgII-Vt^+T<7VTJSCxI1bu
zEDX-v(V?X~IixZmBcNzegL#?Ao>>z2Pl!~{nqkZRIb&w~O5J&n&m4bsGi&Fpxl`k(
zpEo}_J@ng2?ls<VmZj4ZR!m?0$j5cLZx*itm-mX&iz^upa#%lLi#{h6q5j+I_p%Sc
z51q@GS>KO+WB2Ujj)ikR-#x;7I^&n$HPf}*C)$;G|DUe!W@eYde#7{U!ri}@zx%(e
zo4wb!>UaFlYd&+n$H(5<pY?Hnwd6sUxS|c0HqU!?&0%fxj5|(iH+{cU)W{aHy*BZ;
z{MP^f9|fHgd}DE&f4OG!$Lcw{jZruHrh86ybuu|@5}+;h!oKPAlFt31+|fr>YUY*{
zFJPDQRG+MI>)34LPPVGPE;gB^W&ARSKJU<8wo~m3*YnmmD{aPw;SI4ZYp*{ruwh+)
zSRp3ePO7#$!BCoS6T{i6-g`V7yi1%o9F^y(m)ZH|%QVe5NNAtIwXMS;ed+cDk$cUB
zb)ELC%wMWI<D1X=EK#@|;;gm%miNTm7S0{>BVT^^{UN@PGy9`tnfacDS%Q2V`JG=k
zR$JE^>RsWw-O6mBb#3$F57|zC87eCq{_zXAXwNyW^fB%SlisnQ8LomdN1gWB*G;}J
zRnZ?W<dwMlk!t0|?xz7>`Be{^svJ^N7{Bt_`NijV9(*xbUZ}Uj<K&6b+3c+M7cD#Z
z;ZoN3+uAmpi~g^9ZMOPubAaWH4QFjj9=oM(opC6f=hGF(FPUtv^UJ^JYr3aD4GRg|
z&3;}_WB$BS$6Cu?-Sx}dm%1M|*|)%ES#S?uk^EoXRq`e4mlb#YG|c~){OsAINP%R<
z#HSZFmTR9~?W6ji?d7Zpp?kjz&wZW!Hs$sc_CL(NqI*|sMDDr3a3!}$s`1mKl-Yk+
z|0h)a@t>{|*TQj9a8j~L?<3b|OSiS9D0`aNox8WBtT={$@8w@p3u}G0_bi!~($KO-
zbC2xqQ=aE0Dko05uGvu|lw_o%xKMev$G^{&Dr*_EvO@o=Onze8n=Pllu)cPSI%A2i
z%JWBy_FId!sz@lX&+5!(d9-hXkm<fNX#(b*&Q9e!9`j0`pL6i~xd*F-e;nqtsm)Tf
zuVwSsJu=y`Mzu@5=|{7gOwXg!$8-NY{aSIS?Rd@)Tgm=?Qx5d|J@DqNcyjdkPeIB4
zIim44dz$wDu-JD)SFTQRvV2@)`{762Gb=of?dN~gz&!tb{E7L~KmJ@OEq>Vi$iL_B
zp8VzhxYPRMgUyb01-5q5N77UN?B=vFX!Jk*V~Xhh*N0aK?^k_no>~)h%ucd;_Srq#
zx#!==f9~(G<A0&?{ruy{&+b@%^yqiikA}?O-q;?lPPy|tL-u|(+xN2W{<_1*<<}l|
zKm5qNW=Hz=&i9^&?yB7pJ?frv$Mf@Bo}}-5((m&Q$(sGC64^cL!^5XL=BC||JF@;F
zcRcqaGxf4d4(Y;qQ$H$7T5nVNpv!q<pJo5{(>pBr%_o)xi|3U*YTIU9)7+E0wsg;1
zo^7SwYqM+jY~_nS{OH%$9eq}>&po*Hfmhz`#cU7Zbqmvcg||&uDkg3=d!y&Et43z0
zZd_>nYP3#8uj0bF?9`eIeWs2vhNn-3dqn6yWKMX>f1;vZ;Qi!{Sv%*2&n(<2H(ht?
zk4+kSYfU~c6$+d6F+VkC(~eI4&PR{b_Jkkfl6)VT^7y+;;Y8l|^A5BM|Cp*56Oi|q
zd)J0LZS{|jSocPV9r-DyqigsnNYeY=h0j9D_ZA+16riNvmy|JYUb~Rt72R`}AMe=^
zVRHRscUOU)rTO*FR#v~bh(^}pH+v3r7Qd00^Y+O>wK=}8Zu*_!w>T_xUjKN5@aGJT
z^R1hUbZe%Grt@+>+z@u=tl`HP?q__Q4twX!beoraXpUmpv?}9JE4#}b#_bX1KNv5@
zH{Mh`v+BSZNxylP%(Yj3Xce$6O=}b0TXx1{>*pSYsynQAjOFi|ywf}IMa0_Q-%Z?9
zPxA7Msaq75-7-|Yc`SHE;D&{wlPBxg+-y5pIDe9f+Psv5Do2;IyDXO#)(%+oa*2jj
z*M+zivuBUCac*I|n8a6fnq`(}Hs7L?5odj4GnUNTC?%XRi$z@Oi&|d6!h0=NQrB1T
z#w0uW+BliIt}t5=)fu3@YR9zIB`c(o9!^%et|Xr%;3srcW6^{I7hU(C$l!bCv_VNa
z$+!C3<~jc_i~rHT<@eivzFf=`(D)bX_^2VM-wzrK01uEE8i7=RxQ3=kBV@2K0?+^v
zWMl^07=fJ~Vxv#&q|<rL1_G|%|8+$!>*gpB@=$3BSt>17yJCwx!?y_$TE~peHSJ%2
zTzF}a_>JSAcgV#~o_l-xwOI@|+vkV2GrA>jJ)XL+ven?h(TG5g3vR8yHP>dnntLLt
zc)K3s@@svYS7e{COD^K9YdyPp9(#=t!-T!nz4vZ#=j=N#+rDddvAxAY-U;2y7<-ea
zRKL9&ZLgTJvhwz;8Rm(1k8RuEwf?H&i4wgE71QjPnDrOFe`{KF?laq~!W@>UzxwL$
zbq}vtw^zJ$XZO-dx$P(1pDBMlA>;bWORX=u=e^~=<rc+LEz-|*Ms8L*8#~`3Z_%_h
znx322L@ZabGo0Tcx>-qY26xiDg-aw=Ht_|;6vqh5&)_#<z8}4`y3)*Z^Hk>RJSXSu
z=1vjb`}}Zy>1VsB`Es_EetFW}{r?Z0?b~(fJ2z+Of*4RFphXiX=t1$KprBxEWB^hC
z;u(TA!+;p5Lw1PKH1I$fXn+kej_KtW?&*&{j;ZUEpOXStNakRsiHVtluCb+wg1NDQ
zf}w$lAyo!5O(45>K;xH$1~b8fTF9eZ*n<Y_&tL+hnS_D~&yXf!m=_TV3gBphWE|KC
zCQ(D0py54i7&OcW!nowHiIXb^vIiYQh8tm`xOnK|Fc*OIVGdG)${Xb915L)DrfkrL
zu3~Wfd1t18#(hDfzCqA*=A2&&+TR5lmxRvz7+N5eU;#z>DW%D&MG6|piJ3+D3Wj=y
zW_kt+8W|-e1;tkS`e4!YqQruX%;aLd{GxPC$l$$mQEFmIW`3RvXe*nBi<Oaqp{0SD
zk-4FPv5}Fnwt<nlfq^EnrLg%XM22)uEJ@7CPX{|3>;>p9G&?(3F0Lp_P2)09Ff!mW
zfCB|HQ&VG8g){|-n4yV@si^{3Rv`~6W?*1uZh;|YYHENXW&kS9L7I{Dni^r~wJ@_V
zLepz#Vqk!w&cG5hq>O5wxrI4~z2+8{#%SglSQuLvVu+a-n4pVU8e*7dXl#VxUqfSK
z(BMCcTMUiO4bbf{G&VOvx5LoH)Ck?ph9+jl<_Ncx6eVWnq!w|3Vlz0iDist*prP=f
r{QMFHLr`2pa<yk(TD}4}!GV)-aY<rP2{={_P0TC}xKveL{oS|#ZVa3(
literal 0
HcmV?d00001
diff --git a/figures/package-example.svg b/figures/package-example.svg
new file mode 100644
index 0000000..b99dc81
--- /dev/null
+++ b/figures/package-example.svg
@@ -0,0 +1,113 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+
+<svg
+ xmlns:dc="http://purl.org/dc/elements/1.1/"
+ xmlns:cc="http://creativecommons.org/ns#"
+ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+ xmlns:svg="http://www.w3.org/2000/svg"
+ xmlns="http://www.w3.org/2000/svg"
+ xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+ xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+ width="154.74507mm"
+ height="51.185505mm"
+ viewBox="0 0 154.74507 51.185505"
+ version="1.1"
+ id="svg8"
+ inkscape:version="0.92.4 5da689c313, 2019-01-14"
+ sodipodi:docname="package-example.svg">
+ <defs
+ id="defs2" />
+ <sodipodi:namedview
+ id="base"
+ pagecolor="#ffffff"
+ bordercolor="#666666"
+ borderopacity="1.0"
+ inkscape:pageopacity="0.0"
+ inkscape:pageshadow="2"
+ inkscape:zoom="1.4"
+ inkscape:cx="243.92841"
+ inkscape:cy="104.22683"
+ inkscape:document-units="mm"
+ inkscape:current-layer="layer1"
+ showgrid="false"
+ fit-margin-top="0"
+ fit-margin-left="0"
+ fit-margin-right="0"
+ fit-margin-bottom="0"
+ inkscape:window-width="1916"
+ inkscape:window-height="1152"
+ inkscape:window-x="1920"
+ inkscape:window-y="22"
+ inkscape:window-maximized="0" />
+ <metadata
+ id="metadata5">
+ <rdf:RDF>
+ <cc:Work
+ rdf:about="">
+ <dc:format>image/svg+xml</dc:format>
+ <dc:type
+ rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+ <dc:title></dc:title>
+ </cc:Work>
+ </rdf:RDF>
+ </metadata>
+ <g
+ inkscape:label="Layer 1"
+ inkscape:groupmode="layer"
+ id="layer1"
+ transform="translate(-14.37613,-39.528493)">
+ <text
+ xml:space="preserve"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:5.29166651px;line-height:1.25;font-family:sans-serif;-inkscape-font-specification:sans-serif;text-align:start;letter-spacing:0px;word-spacing:0px;text-anchor:start;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.26458332"
+ x="14.37613"
+ y="43.54892"
+ id="text817"><tspan
+ sodipodi:role="line"
+ id="tspan815"
+ x="14.37613"
+ y="43.54892"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332">stdenv.mkDerivation {</tspan><tspan
+ sodipodi:role="line"
+ x="14.37613"
+ y="50.163502"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+ id="tspan819"> name = "<tspan
+ style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:monospace;-inkscape-font-specification:'monospace Bold';fill:#aa0000"
+ id="tspan833">chord</tspan>";</tspan><tspan
+ sodipodi:role="line"
+ x="14.37613"
+ y="56.778088"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+ id="tspan821"> src = fetchurl {</tspan><tspan
+ sodipodi:role="line"
+ x="14.37613"
+ y="63.39267"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+ id="tspan823"> url = "<tspan
+ style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:monospace;-inkscape-font-specification:'monospace Bold';fill:#aa0000"
+ id="tspan835">https://gitlab.com/me/chord.tar.gz</tspan>";</tspan><tspan
+ sodipodi:role="line"
+ x="14.37613"
+ y="70.007256"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+ id="tspan825"> sha256 = "1h2jgq5pspyiskffq777nhi5rf0y8h...";</tspan><tspan
+ sodipodi:role="line"
+ x="14.37613"
+ y="76.621834"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+ id="tspan827"> };</tspan><tspan
+ sodipodi:role="line"
+ x="14.37613"
+ y="83.23642"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+ id="tspan829"> buildInputs = [ <tspan
+ style="font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;font-family:monospace;-inkscape-font-specification:'monospace Bold';fill:#aa0000"
+ id="tspan837">simgrid boost cmake</tspan> ];</tspan><tspan
+ sodipodi:role="line"
+ x="14.37613"
+ y="89.850998"
+ style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-family:monospace;-inkscape-font-specification:monospace;stroke-width:0.26458332"
+ id="tspan831">}</tspan></text>
+ </g>
+</svg>
diff --git a/slides.tex b/slides.tex
index c180246..8a29a88 100644
--- a/slides.tex
+++ b/slides.tex
@@ -189,20 +189,7 @@ Problem
\subsection{Packages Example}
\begin{frame}[fragile]{Package Definition Example}
- % It is a Nix attribute set describing how to build a package.
- \vspace{-1em}
-
-
- \begin{lstlisting}[language=Nix,basicstyle=\small]
-stdenv.mkDerivation {
- name = "chord";
- src = fetchurl {
- url = "https://gitlab.com/me/chord.tar.gz";
- sha256 = "1h2jgq5pspyiskffq777nhi5rf0y8h...";
- };
- buildInputs = [ simgrid boost cmake ];
-}
-\end{lstlisting}
+ \includegraphics[width=0.9\textwidth]{./figures/package-example.pdf}
\end{frame}
--
GitLab