From f904376904f98c6f822e0e378655a1841ae761e9 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Sat, 9 May 2015 01:23:30 +0200 Subject: [PATCH] Add alloy 4.2_2015-02-22: relational modeller --- pkgs/development/tools/alloy/builder.sh | 16 ++++++++ pkgs/development/tools/alloy/default.nix | 48 +++++++++++++++++++++++ pkgs/development/tools/alloy/icon.png | Bin 0 -> 17154 bytes pkgs/top-level/all-packages.nix | 2 + 4 files changed, 66 insertions(+) create mode 100644 pkgs/development/tools/alloy/builder.sh create mode 100644 pkgs/development/tools/alloy/default.nix create mode 100644 pkgs/development/tools/alloy/icon.png diff --git a/pkgs/development/tools/alloy/builder.sh b/pkgs/development/tools/alloy/builder.sh new file mode 100644 index 00000000000..e737fc5eec7 --- /dev/null +++ b/pkgs/development/tools/alloy/builder.sh @@ -0,0 +1,16 @@ +source $stdenv/setup + +jar=${src##*/} +jar=$out/share/alloy/${jar#*-} + +install -Dm644 $src $jar + +cat << EOF > alloy +#! $SHELL +exec $jre/bin/java -jar $jar +EOF + +install -Dm755 alloy $out/bin/alloy + +install -Dm644 $icon $out/share/pixmaps/alloy.png +cp -r ${desktopItem}/share/applications $out/share diff --git a/pkgs/development/tools/alloy/default.nix b/pkgs/development/tools/alloy/default.nix new file mode 100644 index 00000000000..d25ccc1a7a5 --- /dev/null +++ b/pkgs/development/tools/alloy/default.nix @@ -0,0 +1,48 @@ +{ stdenv, fetchurl, jre, makeDesktopItem }: + +let version = "4.2_2015-02-22"; in +stdenv.mkDerivation rec { + name = "alloy-${version}"; + + src = fetchurl { + sha256 = "0p93v8jwx9prijpikkgmfdzb9qn8ljmvga5d9wvrkxddccjx9k28"; + url = "http://alloy.mit.edu/alloy/downloads/alloy${version}.jar"; + }; + + meta = with stdenv.lib; { + inherit version; + description = "Language & tool for relational models"; + longDescription = '' + Alloy is a language for describing structures and a tool for exploring + them. An Alloy model is a collection of constraints that describes a set + of structures, e.g. all the possible security configurations of a web + application, or all the possible topologies of a switching network. The + Alloy Analyzer is a solver that takes the constraints of a model and + finds structures that satisfy them. Structures are displayed graphically, + and their appearance can be customized for the domain at hand. + ''; + homepage = http://alloy.mit.edu/; + downloadPage = http://alloy.mit.edu/alloy/download.html; + license = with licenses; mit; + platforms = with platforms; linux; + maintainers = with maintainers; [ nckx ]; + }; + + desktopItem = makeDesktopItem rec { + name = "alloy"; + exec = name; + icon = name; + desktopName = "Alloy"; + genericName = "Relational modelling tool"; + comment = meta.description; + categories = "Development;IDE;Education;"; + }; + + + buildInputs = [ jre ]; + inherit jre; + + icon = ./icon.png; + + builder = ./builder.sh; +} diff --git a/pkgs/development/tools/alloy/icon.png b/pkgs/development/tools/alloy/icon.png new file mode 100644 index 0000000000000000000000000000000000000000..a76bd94804749d7ffaedac3db83850ff1a78d546 GIT binary patch literal 17154 zcmeAS@N?(olHy`uVBq!ia0y~yU{nBM4rT@h2IbheO$-do3;{kNuK)l4XJBApWMpJw zVq#`yW?^ArWo6~$YilzwFqkuEj+vPm7Z(=~509Ff zT31(>iHS*HU!R4Ag^-YtqM{-%FR!Yqs=T~BA0MBNj*ftUfT*aby1KfYoSc@HmWGCg zu&}V0nAoIAlf=cvZ{EDAtgNh}qN1s(DJUqYq@-kJWhE&oDIy{wBO{}rpy1)*p{=bw zb?Q_J2?;4Fsgoy9zJ2?4=FFMW($WqN4ojCVm6erUxNzaxwQFr`Y!VU@o<4nQXJ>cu z;>ELP&%S*5^5MgWd-m*cadFwXbElr3p02L$)vH&xZr$qS6x)vAVuhKh=cn3$M?f`XKkl#GmwoSdAjtgN)Ov=1LXL`6k4H#d8Fdj9zFqo$_j z*RNmy{{73#%PTG}uB)qCv0_D4RTaZ17|;;N>O7qX$^a!ne!&b5&u*kKFfecyctjR6 zFmMZjFyp1Wb$=Kb6c{{R978JRyq(+bEERqE!%5#oZmp?P)tWS#T9p)Jmo~dBjR**E zJkZv}krj~C^Y8WjGdEo?9{FS!Z?bdex#*^QqGk1SjMHz;Jp6Fa$=SrA{Vx0F<>#$i z_wManJFVUOf1A}$e^Y0-!JJES@!6zVb0pr>c(7fM|6!-+7ypC#pSxv0!~6-R+OjWy zet2gXS@%$SXGHvtiiiC_;#01QKDge0*==g|qUCSryZ`v}`BH;Lcir`8-u1`+M=p!e zu8UKZ_l;_+vbOsZ=McBhUhLmywu?XKWM9;OA{XUq<(^)B`}cirkC=xy*T>XPQv0y__$sie$4zrltI=?WYUYejb*$YOzS>epZ;%;y6a>4-*KniU76D3zc1(a z=UEWWu;uRC$$`f*c2&fz>t4QhW9!QMIeXUkU)?X8rn2hc$;NftzVDa6aP4lczUBuu5hOgU0K?O##IW3vjDOP`!7 zzD`|!JM-_4(=!b
    $Q*e9?=-v9gg{O|sT74=CcG^c9@9a}oLWM9DADc&|4Yi~)< z_`hc6-5Oi3;NHnGA&WNjlzl6ysrY|H>AzLOgW!An|9|)xT%DhOf5&a54XLVf*=fHw z6!c7JNwU5#-?3BdSz7q{|Nm>Y-Ti#^^2*D5ub%zvUeSKK^{qy(wA|aA`nJA0RfiTq zg;y_LzLk+IJyrT@$%z*?Pb}Hr;+Hl3shg~!@9*_t&#o)a`f%k{GXIaoF>mtToozFn zc>eY2)1ObDKK=Ujy7Ld&?zvnv{z4Ync;7f`_&tSqRU*xu01;xY$3Dn-Mf2|k>a~|?|%M#_3GuDADa3e*=o06 z!eYm#s=sym6IZWpZgxoct9U%^t&mvd#Cw09Gb(l13ApW@D?Irzho|UyucmpubJxDD zF)S(h^LA2n9)pI0s+@D!hcn^qjZ=>vjmVidH9}|Gj!i-q3`#Zsw$%FQh;g?%$!UKO z`Y-m+r&Ilou>NyWl=! zM~`xvLhY|BSMT|1^jh6{mMGzyHC4$kHM3L2;_*k9#nNG~Z}L@s3OgA8W=^E}qKm5M zeJ*57xv+(!by+5-(zd*(T~|-H{aqfo>-^TkJ`;W&W;9haoMN@>Ry9NLbCv=rbIZGS zJFhI5ta(*yw$enOpb)L8XE&Yq_ej~iQp8nta%YRv(r~U6tF<9njuWM}ST#mDUOf0B zOit(9&-r)zS9diWnEL-RqhZg98fLE!PWRyd4$mLB+~=4eRnDNjIlm%8?|6E?=#NM} z`EN7t<}E*IXlG?*Vrj`_WNE_EaJEQS;>`o8aQ(OTmz`dlH(1@W`}43N&th*nn{d&g zk1Whw0blufN|@Gm?%TI-Vl~tLSF^jc(9=YA zmFcs(BKy&JObbRU6*%sxz=IDezI$m54Cd@{aT0I_4+BUeVG!=lpSHpCwTH z_%M@J##!0g=s%VVWRru^X1(|~opIO0FY^>zS8%LhZ;fGi7xJ0^-sUhdxA2fH>H8~m z?)?5(_pJZZ|11aHCG*tRUT0q1pBrmC*EucnQpL2@MfIC59p~ckc>d!$^RNBf%`cpz z!{4_!uUZty&04o-{#2)bXC$sq%s5`pbHVx;$KM|-YZET1FEE&C^ewqhA>c%`s?LJt zhaKx>6}C9s-u3JEoVJ#Wv#c{)>UYd<4&Yde);(F$4&c%F0ju?c1}yZwprBb+rI+)e*t;TVG_rz|1WNsAh6=4-S$4NCZS&! zXFR*lRONQ$Yd*`D^S`(C!zl}-QL99FdKvOcbBW;ILOB<=m( zb4MdI#Fyq?y7*s5p{K5%Df;4aH}8(!W$(+%jw<%tjQ)4K;nprTwX;nk882_uM*oVD z@N&--WvB`}@^w86i`RQt`v3izopfzGPTz?9_hO&omS470;!gcr&bT+3q1QWCD0^MOeF3Xng9f$#mm3Ns zrCrmN!v*eXZ=R_oetF)SsvrCLIOg;w+EyhmtuCFo`RSv5>Z}d(rknqn&G>W5&7~zP zYR=E+FYb=!S&;se_kWl}?%Ti0b_OlqoTty)z1_I{B!kpXe`crh(jz*HZK97xJ$d(b zO=8x(pkHpk<_9-?pU&juykh(Lm5bAijy|sbz1QSEpQOXy^BRS<->)S);F$y0IU z-90|fv%yTCjfGd&t1CP@&p+!x&>c&gUEpR3tV(orT;yhMb&#u76KYLO7rw`?u&h|5A$xD1~ zT)(mQ{&j_wl`LQO9C;-RG`c3qx_>v8U5vLxL5zfW7~llXNp!HOxSRu*6;X*6Av89`FR!}cN65i&8#3>wfguv z>+Qt>Cn8nrc@-+o98|o#Aw+%hNtUdoXA(ZnJf{BJs+#elyV%9%h6~ZI>2LD>Hce-} z@>86FiS@4Wh36kUzfM|vC~#Jvc1Tv^!K5-C+r|#g+x|0nUaXb7s~hq~Sz&e~>zAI} zKNd5VmX!OQ+N`)wdrzfZ`CCub5Ur_E?1wvCuY4LNUM?_1ei`FgjG!sqHTmv$7Y$6M?uw!YjN zGbKz?=Dg0kADS<~uG6gEZf+Pi;qe#V_lxosX>neJ%2roZBz^P%LTb1>J|gSK2P z9pR<&0oF{5%(pr3xz->Me21}tZC<$C7k1{Pn$Snxygc7}d3tBhv0Ewj{ch_1AJ5C4 zC+*Rnw8QJQ^xN#dh1LzXX6?Khu-8;!OQgHQtNpAO?B9Gl`!4Q|ADi9G=yjpDCQV7X z&HYNn=Iz3qO%Ds5UeszYOxx2eGIMH_dCr=93{}^r-LsbpFqU&MQ+qUT_rG(U3k$cq zF82>ux#GLFg3uw8$ur&6-w7u%_|D>7@cLTE&8$v_N&R-4%O3W#l?WH)zT1)gUQS|8 z$qZd1>8W!wUGywAiwdS*{^@oy>Y7srFUL&QFG0Ib2r0o5JC7BVcz0zKuHb{Th(zSZ&InOWW?Dyoe9&tOvm(8tPZhV?a>ep%p)Av(d zuN>u3N>!S=>Rh3TrPjhNGu+s!^3EEayTYO?#pzhq&C5gy*I+FL%w}T z(BCvSL+_h>gwv6WZ{HffEVz7Q?gS-f4}(ADOuHmq=I`2N?Ji?C*KXbt{pEJ~nju#A ze;ir6XdkP|WXm<%#15Q^Wm<6MKKF`DyG^=l6J`a5q?XodF1$V~apU`>s{+DWGYv8g zpH*FvDpvg(%#iVE=GWl=b`Eb8vVONbtl93m(j)El>PI3wQWvbKwlmzRCpLkZ@o9gQ zc8kY*aV`ei&2_KhIXZkf4w@XkdPXT&<>jv;jm+RE8D-z@S!)G~Bqkl4`)BTgFNe&7 z?4SN#&1iU;Cw%ic!O1ZR-RZ5bTX)P`vGAMOqUEy{kE*nZM0>AL+M1NsHtFxvhFM)J zJT)fHp1WFg3Y&R^^BIAv^J2G;_g>rW_;Nq@1^%x-qouiUlN z^L-X=y{HMQ|WtYwm zI{9STzB(S!MX%2@+}bhwT7uSxlJn~x{wZeoTkQN?IkWikCDG;GQ-7O=JgHJMR@tDL z;qSHZI&XjSlgG-;8CMofa4BxRw&mC-PNqwWj&w{QRNRwcP} z<-%V-7Fyoj;Lx^0u~exv?Cg=NJ0>mMd4ge*@`4Ky-ciZ_o)kR4&%Q$PeP;G+h1^|M z?4Flbdb-`{3tsY4B-pu?`6ct}nG&W?F0b5l|L}Z&5vFeD`G1wUIkvamKlxk0p>XZ) z^}i!|cm3mVFu%CL--oSP#o*4fWjpTrEx+6%8ggSpP6kW%imF@I9)|a-m$~QE&p)ZO zAYo(F?XZ_;oSAJcgl7u6xNmnpB<8Sj@nK`J3!Ak*{9|x9tHE#fLPp|K1JletjlE;bDq07pJ-;pJHk50w05rJvM|j_$G!+|d$Tmt z|Ej!3^`ws}rz*-KJiI4yO$}N$nQ!*pB@+E1MbapIPJ?V)(S z+XnBIb6#$0c{{a-Qq1saHSwYzGOEd3$ zpW3=|@6Oe8H1aOL{^~XNn$epwA3vUw!#TfLnpw9@2vR)xyg5a&S@8-}$9H9g=lhug zj5l4rYHQH=Qg3dMsQELeqpPMH#)$oS^m0a;ZkV2!bk2>ErL#^y?+I~A4CdZa^!`CHbp#~)L+H7U)=VlC8JR2X}6`Siny|Lt_WR2wJyy_1>MaPbnWvB()hkWQxVOJQVuN(;!atx z;Oc>M5@%g(=lxyHeeP(|%E0^@!=%m$)iSTo+^VipSG&uWy2!{h)boWw)BVfL*|*O# zdj8{Wh}yz$T@!R$JNRM51BV%cfhSwM)`uV7we;$wXKQa95xZvUYBSSTJC;@K`o6d~ zZQ`pVXJ2}7IFrqU?SSg#mD=%^^Vc#x+FbVCjPYu8759(-F%IRg%5OZp+;{l6iO$rO zDnH+Uex6v}c1}%{YpT>Vt>zHBH^qy4Il>m*RNpR5H{A>tUgKN5 zj_r6#!HHY}34V*>$}cBAgg2)+Ux{^Caw0U*fcKltdafT+`+9dspH93Kz2;lul+EsY z#6FtyHH%DhI-St@Y3AHzh0D(B?~tAByqItDWpkbBucl;0+n5SV9p2|q{Vl_3?ct(x z2OIq=v_C|yt;<(yOzc1S?_cM9hFNK=8~!Ueq`!}Hwlt5kxM)|q*l%ap0{^rh#ji#A zmu^@&CF6;O>|$r-7nQsl`n1df)oiEuM)WQ}X0=&%V|HHYHW%$LMk_08ijtU2_lC{? zaK*?|Xx=-P(~fz&`A@{1a8)&XIiDrtd91h2^IBp4n@gEaMXuf!c<|BHPv14BHY~lZ zU_RTey&##tV(Eh-Q)gKp=F~MN%*C8-b94pI>pjhKDrCG?x>Sr!aL1O#e%-gGY1P;V zb1YeQ^5DUJALSWhH#ErbGw#x4&TxAc_xQtNKD8;IJ2{^U?BBxNetySIg$=6Bri$z5 zEl)fdl=al^_zRBLnWd!$YbV$nrv2l{DDSy4F?r%^e}=m~?{EMA|L$)$^R55woli}iEpLSHUcI-z z;F8L5Ck_65$2pvrR;sM=IP7<4<)!;~n;Cn}%$79%@8>kyHnExM!YY~4UrUUZdI^db z9^U*&)@$jMUk9$1|Jw4ZWy0puTVFm|ws4|n`%`v@N74@VVmr;6_sY*=S|87Nq3k-x zil_@3M|S^lnJ2Wh|K)^^>0wyz@lsgrG@^sZ|^kp1M2eGM?S$KmUf`yYJZ1KYy5I@@is7ghNVvBEPWk?;BhzBux)(5M*=PP$Q*n z^;quryP~#D59P#-rFd3eI8{DT?)tXC@Y34n6poc7^ZlH?w8JG>aMQ2qZxXK`ODPf47+Z(e@=V)!{thh{kKc+TU57f z-~BxJdN;F`p@ztVm{(Je>}+X&FC*h*H|0q1p--ng42#8hy@EI^oFX26oWb0{vi*35 z?k4B2>OCGimG%i*?6`X3-VB$8LK(blGvg-Objk*2HJ^W2ApMTn>iNTq0l%yp^2D#{ z6&*W%;=&6Hu31uZ@BY>2>ySQ^vPN#PMyEAXYYR)fUV)dO7>zWxu4L#cJCtBl?VT%4WN4GlrO^&P3vHP@WE@XNeAQLlomlY4phT0Q`Ch_D%VY5} z7kX=YKdcs7Da>n?`}p|(8o3h}MP{6Ev|4v*HS3G+pL2R5TO5CFv);`enZ9&2du_W2 zzo1n9w_>%v((KI>o87GRn%giakxX4=C;AVpKF`?rJe+6ndRqy82;yb11sH(d3y=Fk=;iAY#b_#2h*&TA! z!_$5k2%c3uu$Vc2hF+1r_n(IF8xNKRSIvBLl#z8AKi{9^ucrf!&A2ejU0v-#SleU8 zhoyCgH;df8pV&VoKxrJl$1TvyVv;p_tV)ezdAja zPO3Q1-}EuXNN)LxH|76&qSU8GvwUZKYsxs$s;FXfnn%_onJ1}>dtPq*@GPeyzxZp( z*VnT?=&YeTAV!y4OrcJ8^ex7Y9Y zU%y`WdXJ~jPX_)YEWvO8)m4TGZf(B)Zkkr^yrSCK%Q}`+Jd~=LS@x-yYv)Ye^pZ7!#mZg%z0xjTt*?(cmwJWXIlMN1 zX;4K`NTTBm7TMLIYVR4X_VO*YeG|qj(FKT9{PwrjPn>W#VL}rxd!E(HSq&HMf1L7pbJD-4=)=_12tNCWB~f#ImTgm=^dYov z-uM2Wu@60%m(2=V;H)k5f8XA2pDoe+EpNPJN~I4R-fuV8e({GKUC*_XSb3L)22a}E zucn6r8A5o^m+mlM(_1)AKbPhVtu zJm9`YMpkX%)WeGlIF9yKayneKWyz@Ec>U>Ok=oa5Y)hTCgv@-rCdK13(+_XmnqVfI z2Rf2HHlK3#yKJ*oQ&T%ol)iRf|B?pg?I*tSf8pnOAQH9W=sYINtA_r;P8Hrsa}v$p*5V(WwM1-p)|<4*BZekfqlRL$N#N38KvPGRrt z-eAwx!qhr9ZQ&I`-x$5WKw#dqor_$fE%Kio{WG*#(lQu>2 zn9GffDDlbCh8!$P@BX9)P23BPNwuX>QvMpST)kL8QiK2 zTX<{7##(j(xy!Se9GX9r3mfPr{)u2-UXv{ooTJt>cTTOllizyg7iMpZ)lKT``Tm@L zdo5&B?RNfPTR!$MzeZaHSN5R!C%CnDe&J#DVry1cTcqs}x#76$q+p{`wxvSLRQJB^ zJpNeID&y?ds?Ujc-b@ZXEnE9RwCB;mJ5#Q%|H(J4<-j8uS;-fw2Yrf!Ra8}{9*t+b zFnOkEnTVl#*S8Jq>klQ*mg#%;i$720*}F{tbNeGWE|qBYF&fEp%<^Z`jV@q)y;-cM z#MP!^#`F%Ck_($BYj0tgmCO(+qipc(Oi-h)j@}BwTW^XMKM|b1Rr`?&HBNkXVJzD*0iHA_nw6yf_EV;!k%MOGGHyh>!s|XoH zc?9^WUCv6aiW1^kwt8kl!7<^pcNn*XF*-!tGq5u0`^UNUaqkpWuBmx942^Ew_A6pt z!BK6k-q98Is@{5mbz+Fn1!>pni%iW-j|~&-{7aHXBX^F6>`! zfAJ^VOe;yBY`My9)7h`|gl{!`R(fA$b6MkD4Q1A@!#5tJHUzE+vQ3TIl;)ItLqnlP zpsUIut?6RP(R1ss^A*2b;WA~BP#4RNC%1n_>CV6H_kMZt(aB;C6++wGmt5j&juO^b zvE}vZh)E3}lb!5jQ_3bDP%0EleU+g3thO-x@yW?mH~)T^>%q?B!W`AXWp#FKvGc_x z2Q9CdU+C8Eiq1aGwzi%3pOtV@+~e@BpMO3^_%NTZFSOdeZ07UYj|UutJZ-Ket$p`g z?8BNj`U|z*%PHt^P0X6wb;T{Av`TH=B;MI-*43ViHZ^nVSe+4T_7UZ|`8>v6hVM&P z!>o%5MimCjdtPsmvRP1()p;d9=Uip?m5TWEdi$t7UZ`B4$!R z;fIYuTeb=aa*tj$ygSGmylly~*BhVC@>m=EPtW1Z8>jk-TLP4xuI&_g zyK~;-n%=ofE{8tcvSE|H&W{__I`jF05}!?xW?AKOZAa?;CocP*esY&QwJeG2L&98h>$!P5 z@}*t9&uKlH%I+@EzPWnW1AWs|)2CJ~KKOZ8!rI%`0-wE>9=j3i5aw@?!Bh3^_^Uvx zr2$e0?wCw|AiK@Wdzl7jdEAVT0WU7hn5#T_KeK@J^F!aFBNEjv-wu+zcWRT`n@36i z0u&DLESe&t*}t7HUfaj6s$Ro? zKVN1{IKKHlYst2jZwIg4@Y3jr-FIN#0gky`Hg{B5pM|7V<*!v}`tPu+@0WEw^MbTn z>#G;=xACvp9(n$wO?vs#S#gUFTsoZ6f0MJWjgy`K1xu}s>Y~Nd7x0uR|0&uUz|nYd z^VY3f=W`eSTzB)DTDkcA8sD^m`y*&T6a|Jou}hubq>1er+bu9vB12#8tO z5v&xYWVnc>`QoQ^zaO`p(?yLe%d&Fb*ZtMHo;F7$*&*nkE+p6;!YuB|FNoJQQ?>ek~Fl4doN}b#sC{v2YN}K zbCt9wrYt)sGv`tBXHCW8Lv5VxE;ciltPt6;-aGyGPp8_wo{8q0Hf`D@@mof1|AjRy zOx@cXVzxTfX(!)3(Hpwx#d3zbZx1_dWz2s5cG?1id}pPg7X>VP?G(&X?_BNmom8S_ zRV*}PbN-S?KJ2$IPCV#$NALR4HfL7Oi7C%gB`&5!R}bM}$){B_60p67>JGTk~qC-=&m%qv$e8h=R5j?v$37U$D? zIN0FRvX*%{F`7r^dS&0P=kEC6_?&68Zq(mvB@2$&a;b&r%sW@N>7meJxfd}Uk2Y+( z{qUXXpI6t|`l=(Uo)!tMR;$!za7lfs;InD*>9+luOff!db#*eH9l9Y`P@a`oxmWap zAj768Zp-tN(leDOb6?%j%dq*>+g(StI=xsC^nLfWV>X^^4oba!{jS#6VNLNV6OSVA ztCiQEZE4quG1pz>>B4r|a5CRcD^Ka-?hgk}-*Ku^ms;}J>+pt~XLGc?k9ba!oU%sc zg{8N=-1OIfZl5^vEJuQkIr4tlVeajlkAHpp#M^4~#{aBs=O>kFhp&kFoWwKVH$USw zPqT*5W47z{Dqc;zmN~CpS07FNcdX`E&W_}W-J8#GMhI(7nv(bE=MA6dGj+T+@OG~- z{r<+3;mO2+s<#_%rxZXIC$_=?mf%e4W_lrxwbz^5n-|4H0(C!i)2`ZOy7vbB{V- zN|U!Y`>B%YIo0Oly#0ZC*ITcuw%&Qm(C*-sTi9AwXemGCOvQmE8{ef|+IgXHrunn| zvO2q~m#^+=y^^Ia=y2`J($ZthpH~O`)JqY)^2$+lOYYo-n_WJ7t9W1kCNS6Q)zVMb znXhc&zwNp2fclA>`k9Sl-ga(zA8HbK8G8CI9^;Z;b8Gh8TaROo^rf-9`*^W1GUNn{ zrC)g8`9;@!toF`5E!(zgy6VR-2jA-KzVY|rib{qO&W3a6*7)d%{n(&=XWsPav*|Vo zSt~?1C3ZS4o*|s)@nVYC->h?4m-j2E?%`{;dp9%COV`f4jmL1-@duf|ulRj?%OKBr zTd}BI%Vv3}j=y;3+UlC3qAPRmi0SK}X-%9ORT|5=nn7JeYt9wD{oKp!vt^MzE+V`1OFh2WqbM@=|g@0GHY+5-r%hkx6p>Wv_w?LbJQ4M)_%6r;puUK(N z;b@lc8HO_By)S3laxGEdsx5zPDyhEu^r2UYdD>Y%0{1hTrrgY4DS2VT^v^5ep8uJC zHEZp+x0_;wZtZRSeSG~5;wvjL|IMz8k|WZ*FFMNA?aXfU&c5KW z{E=3pSncA2=Nz|5@cj143)!=xdi$^W zs5%29m%&ow-w75|-<-*~>~sCJ3u7SX-njKlkCiIIcFA@;=ihsMz0m8uKTTiuOuPK) zqF~x(NAc=U%(s)7&L}rqaqhGJubuww0Y?otk4;1Udo|aJy*o6!a;`|Q>FcF_d9&p6 z{T~)x&%%x!TlP0xd*ku_AI=|gTRX#h`AMethrYg5VtTy%m+Iq*OCE8}_F8+Qvh}CW zua@KN{p*f$*9AJ1f9bbAb@oR=ze4d9;p#o7e2;47J)9tNVE2U(Mt`lwY6Fj70^4_% z2s_-kd$==m_8P-oQ{DBMLr+E>s21qZ{Vx%i9eY+O+2)<+#|;%<)&|BOxj%pR5mkwh z7XO%qi)`ZmNG&v+=)xVF6tik={=P#TS?k{WtSsBWRx@KAr|emy6>9Rw4Q9rvR-7vE zRbpJaKw16jgtP7D)%@yiYVL(RiAsV~a<>M_70*qc#4OWuQ~vt5yVF+OVv3Jh6|(yH z)Yn$K4CdTC8g0ilHFxoy6U*0%R8@7V+;Wz%tLAl(nCt#IJ>^d3Y1ekolUcvdzR29h zn6$>Z>NnSw^RLPS&T>T-w~L(9W%G-d*Niy8_C19|u>95Tg4AyZr88t5XRXeB_}ysx zod=v38RqO2di1Nbjh*Ahmy%tVPTXMeX^UTeMO#Bq*Q!S4#P8D#hR+iwUYUMS`J>^{ z8M>`)YpVU%$R{&C{uKY#P0EIQkBIm88Lu{TZaUARZMR_-v-3nvPKhHw1K!S3-&gg) zQ7_8pbBK3A@-Rbk?yMe8?o zCEmYKwq@Sk!3UwwjUfRr(Vo-T5v?jb@S!M z_?Bos@6=O29=XoBR(^wbmHg`CyjHHqk{K`Wlz)Ex_wA3DFW$CHxpvEClB%5FR86^_ z%Bfc@kEqz}p3$OiCU)sniq##lG=m79ES^otC%9uP=ly-Cctz>q*Pln3*WZ61d;jU1 zb>`2*gY*M9S-kEXS~NN7h`7!K!JvO1r5euNOI*FHvv70BvTrfdgH-~qADtIjV!XfY zj8W@}4AqZc_f`c=y5v1~$$|&L?4EpyuSDloY_*%J|NN2F&7ih(Ri84~6x_V27vh!t z?|5#8+qY-eOa!n0+Qnw4uB21gA7CHMRcqjC_T#~{TKSt(?2MSMiTPEY*Je;s|1#s@ z>l3U>p^Vk14!5UmwJBzs5;=WAZ#4S~|MItip4ZY8YBtPcDBscaRcHFCpo=pXgxVaP zxmF`}X26xG>lr%^CYWsgy0l97i9NeO#fH_vi6xIM5;ySo^M7AF(Er@#5WU_ZOs-6+;vALH8Ia3i;g zPOs<5ym*(9t-N;Sh5wVhbAO7SwW`ngS#mX0Bt(N+e_MVb;jQ0+w-u-{)DVsv$ zt$REl4!k{)YH)s*cko9Q!40BcBUE2~{^@Y?pw>&v>Ou$W_qTo*GKS~4TD-RQ>dySM zY`c~8etC()rhl2AB2Tbqw(|YHmeg+~B>PJGx|YzDNfnbfYu&kLWi#c3$HKY3j8Pse z!p5^shF6~cuipJGDUyfnOQO~0jV6=N8wVP7UgVg@KX;Lk)|Znxo@Y3o&NnvrzhC9^ zy7Hu&h~*PFzEA7sY^;%)onZEJf?jXqEKj+Xs?fyuNW=J?}~18DDPcsf!Q4{kwKL;Gr%_wyLq>kP*jj7jcuH1aH{@9b}yV;LF_4+V>=Evf~ z)Tv9Rd@6jVBB*xILSuUztI>`VD^gdupS%|@tQoBMvv)^E+H>!<`z*HqJhJxAsh6iD z*2h?D$vykr-WrofA4Vt$|mTlhsvAbDPbvxsGT4iG47dad^Y;h~;wTd=C?&av~S|2ROcQ|o)e`mA=hO2^2n`S-q&sB%Rihm?ckg1Gb8z%-?lf`DzT}nv9Yty zOcP9D_pUCM*ZXnjq)6KQ%dTI{_nZ%MPJA@6xAW*_-`g)^im&cqQU7nvpVz$k^{RFw zpRO}MK20mB3z3ZffQY7ZsVOm-g)6RQBZ`Z5 zd*_|B-!8eaecKwjP1n*lPZHN>wkx@{>He}q?wX=e$155>$&K5r^Dieo4L&6vuSC<&CGj!%BM^$oFCS2Eu6MthD`8k(f3^&6u0R6+19$x zi7bd@W@p!ySUtC^cj}I<%A0ybS6#idDSOQ<@A;J~D_OQ_2JHP4)^fohHP%w}{E?|e z5)Qh;Jmx{Oo)|rzk+y5bIdO09I_evOn8;zn@(>hcjLg< zH_x5(3$2;C@tt|hX6@cfGhSPA|9y5VeY&<$`>&YC;@3`ZWzvlF&VTMyTBy5!Z|Yn| zet90fm0_!^K5p?p=blm~=Vv6&>Hd5*G_7#f zr$a^cF?Y^QsO1gJ<_nfH*t?0VG4Te^c7^(%Rxg$B-n6n<$!XHRJ5qmNC5QeBL9O}x zY||HAoP4vOFX%+gvW1>JD;|B)4S4nVV#$=S6|79#Hg6I6J~8`h;epBjgt$WAJd(Om zD)~qw#o$%q|NXhe{WmI~zM6h!lA*V%5jDTkx8D^Q_8wrkxWz zT!Pjr=XyU@I+G@{O0+t~yr5*pz0Rt%rWGp=imm!=dVb5Y&NJQKTMzpfq#nNK9OW9r zI8V0q?K2&_oI=iJzfSirSd|j>*>;8s^NPo53=iYV-{ee=6RBpHpdKN8d-<2B83~h} z`5L#Lv48M%^G5+sO&?Bk4Xb$mBR||HvDBOwI)AflW0c^!{Gznhs{wp$40Dg#>RA8G za(;2uCViS=(W|G0&NCB&4Bp7dms>nNydzV7cSF>Pa|L&z7T0Gwh)+FsFKX5%LEbMf z5BGL<%>A|X*Mk3_I|GGy*tQ>4oRM(2&og3|&&<_3S8DcFXwIH_e|A*Fn&)c{@>tfV z_3dW)Y`A$Uw`}p=h#fEV!?||K`gpAfN$^kan!2m@>Cc<{&L=N@oXg*u_{lNIlxv#$ zWf{3Sc0cT!eZD=a4l9>7^h;58oVHEgO|TB*S&po&+A(cuL(&kj9Td^V4l`B{m{$w+xr-1R7;$F^*zDt_}Kx0BW{!U zF8!Z=cdfRw*OIMM1WgJ{_pMA06aQH@X~vD23x&O8c@(RZ<5%CF&zo`T^y(*zrzF-a z+P{1G?3X@kg4I`qhCrwAL{YjGgE8E%r ze7lxI@At3C?OX;^HvV3Jvh$_&5f#%HDOJ*WpW>`;-(R=+vp#6o^zcjK#YcDCVvwu4 ze)eaxLBobFXQSF%2{wmLvu^a@kIPEu-@SbQXWPC9kFM`DHT&l0Z8P(5{@0i3zwa*(-*Z~&+x=r9H&n#Faf@hn8cNvCnHPJG zv3REAs_LI|X~mVIZ51Am4?Sa$I>Ptm_pF`zCLb1-$H*8iJz~IqbGu&@_k(}i?8??9 zo|XyvVJdvr^Z9WzLv<~g$MLK&vuD3fc-6Ri!(7YT9Z?sB9{JiwuYJeb@>F?)%j2w^ zOK&DOvvR$gyZixf&(-1`o39$Z`L?%0@VREa+fq|u{bnA8q9>v{iLX*ZjkmclEH&Mo z+UjF>@20n(P~z?212c|m@yTaSYmR+e*dpS!gZJm1-+T48$m{5zIp;cU`t-N=S1mlO zzcc3DhZUCuKF6LnZ7~x+y41^Xui%nkPEj4!h|0&F^3~IK27U;=8nyGLp~dH77bocg(r_)syS>(COypoovDRfxc;`Bh-_{}$-yPOdxGJmVhf61Z1*}1lG>(ML6 z<@O(cBb@*4i)(+*^1zK%i!v33PeL=o|=>3+W+9-j_t-d zmvRMMlx5Q6njux4Yx zQ$P8hj}?y&DAm8oa@_pryPn*Q<$u|=x%+)LS~px{is1dcH*TG5qu6FW*UwV}Ofp=) z>X`fbefhp+``$lwh6}xTUv2-L*48-N$|7sp%C+4aOSpcsuto1&382< z?X>(4>wR-SG;vb98Jq2+*mKYSu&sD(9C41%`Rc9hT+7t-Do;;5IwS4-ou_-b&e+Fz zw_Y+jYEk`}QGdR@{6q5s%`;24e_OmkB8W3>wMAI||I6PVHN2^cEap``T3U*WYS`ewtI#+-Es`Pq$r?<9dDH*7fWa)rxIycRa;yZ+ku8 zCnM&(aPi|?UzJwwyWO+K{m_5*a=SNC|9Nce5Bp?)kou`nv3H8o%C9rk*k^uv5}vW+ z?Btg-9FCvmkv^dO-RA427O%h$`{(`qJSooH#_EL3UiWi5k6m*!GCgbifPGr4T&vgG zaFxv^1~VQ{KUnIoD!k*eNb*H#Ysmv4Hmjy31)u-^D8F@P{`2gK9clrGgCwLMIKI7n zc8hXN>$JC~oAXy}U%d2ZdGz^~!|9J(E2r?9AJuG1+IaDSwCsyt9>4VVs>lAnQ#9A> z5U=|xxlX3VsZle796Nhjy9`B-f4%7`Q{%cp^(br!~uiW9tL9Hnn!0KWqD6 zL44LmuHdto!KV#mT+X!=S{$3Jzwb=`xoqa`OLaZ|40!fBAjrk?1_HH=WwgZ@!+# zRXz9fjMqo}wK;kJ|L6$|m^a}=U~hH7cix|8`qy9HR2yEu`AoijVdl)e=YAh4T|M_q z>0^Jp-DTMf4)2#eBNc*ue^5?>mEt#Z@eyR^Kshh!)HpH z)V1cAmA@-7E3o&;Sl7O@#d7|=^M3?tADPun++la`&ci3dPg(a%UHD#Jp8E2j{tKm3 zF@Y-fxyJS%zWtw{Z)A#-FI1OJ*dtf#xAlbn zglp?RzWV50Z@56>cUilX;p=xD@_WkWe${{W@GIA6qc2Bd|7e}u&Y)#m_fntjNc#PA z=VxZ8#}&%gc{3LuHQn>iE$;8_4k(zf7#tU$8U!{QtWTy1$EL zcs2ZVusZYOi*5h4<$vNF=A6-8uvY!ugXLFtu&CA zc*HXQ@wWLP|0tiWBr%7ns%GQgsYUCO?FxH}PwqKk zQ}#8Vtwi`!?eh>swi)#^zu~C5;{NY$15-|b$G16W=k9k)(oL5Y%&gCm{C&4U zsb}Liz3)e!|99GW|MBM^M&EWb>Xz)WT9E&p(RNqQ-#mwj*V(@$hyT8%9RB}1L++-D zamTNPwS`_!?~nO+pLxr%dlG6K8PA?3-@8%IFChIw^`g4j?u%bN&d>ZWw_sU$^V{T| zXHFmAr1{_0VXK(NS<(784^Pi-nAbJkoN=Z6{xzH#vo;^AisXNOv}2Feg0y41xxdda z`8?;o+`fIBD-zT{JxIx6k`kT#dYznynyI>ls^8}I^9nA-%U)2M+*F-@sOLLV_OfO2 z`}T2mOl4R8q#!rO&B zXZL=uzQX2QS?X~5O>gZ%`7+lt{L1|Aed^2ChR>1!T*haUp{wDf7E`~GqD{0 Ud;W%rAm}6kPgg&ebxsLQ0BLVz5dZ)H literal 0 HcmV?d00001 diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index bf605bb9da1..42533636ed5 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -4915,6 +4915,8 @@ let ### DEVELOPMENT / TOOLS + alloy = callPackage ../development/tools/alloy { }; + augeas = callPackage ../tools/system/augeas { }; ansible = callPackage ../tools/system/ansible { };