From 4c5d3f5a717354f1cf1a3352eccb35d3cb0c611f 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 zcmeEtRa0F}u=d8?-QC?CHm(5z1b270-~c)wrp-JP2=wdP`V zbyZJKtu_7h^wSZ_iqc5%`0xM#07+IxLInT-BmHl}LI3~&3O)T=0007@te__O`T6-J z0RsaA2M33MfPjRAgo1*CgM)*Cfq{mGMnOS=g@r{xKyY(&3k?lrWo6CC$l&JYhKGko zL`0;frvCl=Hzy}&OiT6%`2y2{JM=BO@a!Dk>Hh77YyzF)=Yc zJv}WgEd~Y#Ha2#Ad^`>g&hqjy1qB5qB_$ml9U2-MIXO8$KR+HG9wsIxAt50tDXEN% z3b!otGS z)6?VQgr-)VX3L9xx2e#XJ=PY zQCVMK@9XQ6l9EzTP~hO;czAeFS6A24(lRzSR#H+@Q&W?ZlY4u6yScg1*Vk88R{s0< zZ$LnRr>Cc`uCAk_qp7K>rKP20hyZvuC{r~Ujl<3HEu&=DVIL{QOZ|i*J z_D??Z6Rzfg$IBl#PRqbO^O1pGGks{1!Vu>VjwzxzPe!3^4lh8(KKlG z+>U)RFrCNRT8y2Q0(s{ZpJz)yz1_|P@J9MA9?1I-d}H5c0zx>rQxPx!WCDJ|)hI=>yctHUR zbqgsEsu;oRo%Ot-^Ta$@ zpeN;iRK~_CRxbiv3m#07%gi=#{r7L@QVecOj0j07U$l@kf3& z?nvR_l~;?&AOC11cS&CLN2MjfEesxuQIrsKGywJM=Lz2jEL%NwD?E05c#Uvs0ifFX@|F688M$KVr1;uNF_{lsh-MP3JSs!aZgD_Q zF#tyXo#NrLX(h@It59o{fKJ5(SbqomFaC8G_SGBLqI%iR4SXnu`BLQfUR;lwiiqvoYnA%JB1PKO+=&UwQ@-w*{l$1F zSKQ?3=;-a}=;-Nb<>WTZrcn%moVTU!-X|mQG9~q)w5+(Z&S8$v7Iles z+SATVR>bzox#?YvuH!C=y>QT@%1hXBaj}7?h11s7c6eA;R$RBu^{uZ#xD%JR`Nr$r zk0q|GEGP(Q_)a!xevXd)Gj8MU5R5!r7*(o06C+_4Ru*eg?pIcHX2rP=o2%>FdAyE2 zfR>bsSX}*TOamqm)ZedZn+4KjY;3MY=LL}aeAN3YFk&Nwh!Hbfp?_k3a6WXQmzH80 zp{b_RyiQL()d6av04mbnN|#-ILnXbo)9`9=zo8Yr+n6(CzJllc9c&n(!qMdFNR}(~ zYM*GMxhnH2y=$LtW_D=-$yK=Pn(a5Mzp4jzmLv4nWKXh>H|;Das9O;qpTA&$wNv1y zBT|A}RilK)YuW!PwR4h_APAftzzdK&yfHwI%oW={f+QixYLkSG$Dp6kLPTHg-21Clls2Q&2N08jpkoFFv9(24I)=G zvx=bP-MyB`Cs03KM*exD-feJ}p~aIoO*N@7Wtlit4;xZs1xMa!zyEuFH1xgrd+TIF zufm^~UN9~)wnYBc6>os*A*3Td58t|Q%Un(Z-8_9dd7OfZ8a-&dc2Y^kw5}9Wk}4r0 zSgcS3-ju&W%~~`Lzn(u(TXeenNS&DR;W>Lfw(NI67wB^qj4f)&2SP3!PFnR7c(^68 z3Ht}%1He${;Hk+xXyJhMq{U3~kh*SPJj^D{&(F!n2hPsN2^lc%%!GTkg|ESKE;1{2 z$`io9BK)=;V9(ob0gd6@a}5aruY8Y!=n7sD(b3Tn=MCO@l8#GwMtF32d3k;geS93) z87Oi>NQlQi4CN%tN%WWNz|UD^R5}cgf=V1n@<|nNfkXpmeMf-u`@^30aQm^IB7NgUI$%PjzdodZCBdx%gG}7~X$+j^m+KS#nzT5D zb~DqTjHFS1{@^;(#ZvO&ZSI%u?)_v@%Q_#c0V}Q0)Z@P}Ess}xbzXFF<)p2!0AA{S z_f?RPawTQ{eRTQejlbt#Cp{)i07g5{A_%Zj%8$Xa1Yu@pmirs$wn>0LGAy4;5MoS1 z;iF4hA4eTz^)Et+`Xe93VC^P=Xn8wyn@Yz`RDL_w0P4@#07pCmNec=M)D4EZRC=7* zta7iXPGs1OXd@vnlR|H|xVrtF4jQO{tYn_Ibg<{dy@=O!{9uzix&$@g&){3Se~UKY`_?_vX4c3c(wmII^ApN4d25+$umWsOg; z6{l%%?#-WQs_n6yu7Wkox5YuOEe3_7yWp%7`3M5MmX>nC$LPg=ouX7vW@K%0Oz`tL z;KB?p+b_@Ko2r+teS+;C{7xIl{FE^#q7!0DO*-4$u@9dJm!yM^2bMc8x;0 z|Aq*lAe4$#0B3(k3fS;}l4;74OR*?xhM~5QTZd0dX9CI%~q??Bn(4Z7mgWTrw-7(@_U0#OJh$51x)Ek zTAbOx|4N3Md&U8PL#=a69bU=a$5-@xPm5ttvkvSwc1IKn42N4)Ngz1jhUpELoO^JQU?dGABOdc31>BpcCG+N?Y;Q^w)2P;PkWV1Z!Tpsiw zQ-rI_e!d6TyZzBE%d_N9=PH6ID=u?^+395z4bCs=EG|PjZ}$$aR<5ydT+3tCb_qEa z2pB;9^Kl87)9v?B$y5Q!sHkyb()YewpIB(oSE9>|#|(FGJY=I;n zTcFJSIZ11^THC*%faRJMaidHF_!@(x#R)>jmFu*)Dttq?5PWdBh8u~p0C*lxqxipt z094gAumI>R4dOc(2xFfgJCR6;57CIx=^4VM*pKUGoll4EhsOU{;+y483C?X|as>ib z(pu(~+qp>VwWNV3olsLEXAk2S`fG~N!l^oyKUU%sO;-_4C<~b zY%0{9O6!na#V+MMOWxP&z71t96NS{&*=x=d3J2kHPRDrKtEy52heD?^jeQdv^9x36 z0zzI0HgOg3xd1G62^lNOGzh75=QwtpUCR7J4k5$(<^kS{Cz0LSDj-cL zoGF}Dz)~#iK&QsP`P5gD*8#mo1wr$ zo+<+V0%(W7Lb%glHdOe1lf743^*6l>SB@4YP7~OM$H!=t(K~J%w``T+y`m03M6A5i zNx({T`hp?-mFr~X_L~df-9`M6!pdcK2CFy{^vb2S=S9sySxslDB$vC06l=1#O95dy zm-k1)C1jy~;06wSChfKLQ!gORRoJhu(R|6Ew5jP+$_uZhH238xmv6lq7+ON+M((CQ z-Z$SIpW8A7h^NSz(v;UW`Pg$j+=MB?yR@=7CADkihmoBvm6ckGQ7t&eR22__IEE-o z#pT+YEv?<`%~rw$kA%p6r$B&h3f&xjMFl!lv{k)oA+>(M0(qvZl@y?ZC|TDIikjCI zi)Vwe)RwAkEg@}6yjBEc*fzY2q;37PhskpcYqVF@kH^Fzgm^Jh(Iljs#Cx!THTk_9 z*i&`%S04c2I4uhI5g~3LA+CG(>`AyKlC3HaLXxs9lXD%$>6jtuwkZWX91R{anVVfg z@AZr&;=OUE{-6>V6R|HJ$45GV%Wd-8r;06qsTu>wx*cAkN>0VA5J;*_4+2kBAf3Y7 z6E3#0taWhAA)zMF+7@=}MvaHJ{A3=)`eEY)>qeFnNS0yj0aihp6TH3rqpOo(>YERY z&X#dSrf88mUHrfuTH{%vmC`&3t#|yj>4>Mhri^?%JV>P|0XcoW05?|6qdqr__!k)_ zp$_Tm`Nlac%H9C<=}V?Cy}@HEoB+B_Oqw=a+wS4XYLA$h_1c1FOWe{^?y{zh7W^G$%4q{ zz{4LYNDn)~l{so>=Y?1UkC`)7uy_u{`u`@g>0-a_9H*EwsWW2}*e zBGfxSKFL@(2vi@P5EHW7{BVlnN>dpQmF*z*ZbwQ`G_M$bhJY+!eIo#HS>Vv!5z%;} zCxS?_Ue21l7r78_AFKyxb+S>#xmO2%FVOFxd~J z0PT7d0UwoB2GwoNEno`T_u*im#`XBZ+4{{J@lGvzW#7$~u zkyFt)OEXb|c>WhW<6%rbNwn4x%ywk$I`HC&-IZEbFE~i*1h1I2rmV3NJ`Qj8uKar|q=()dB z3nhNjj4mGFuOq6lv3F~fV7Oy1{psUu49?ZAo_#gPE{mRZ0XZsa--a@zKO{-TeVh$x zd8jAPc<76PvRnv0qE*)Ty?bZ==8+Z@P`FCUlP(qJXoBKdxaG_xPNV=~R?Z3G0vDRW zgf_{%Z!P8ow%}HX4UN`ZpRX9Xl0@$#q6%A3G~C_YaZLiys}3MU0c)j$u#`H`-@VF5 zrcS(#fZIpytcM7jY+fdIv_C`OCoAesR;Q%YGb)2p~vI5HNv2<$0BaV2n@q6(d46r8~!n#91O3#p*+J~o1=VYiKUOeK)s zXx~Pio>+H$&l!*?^P`i%4m{G^XN~U18pIuF5YW0Bc5A->Br&He@-TB5OjY01cBr}- z3Bk`si@BwH0_tlC4!a~I6cbMDQ|-AKkzsSeMv_y3^AywEzD|J%fNUDHWU3Xvr-_nj zA@4xrZJr<6NRh}zw?u+Y)sGX5AX2psn%s6IxPah4+@4l`5eTrySzvY^7#x~9;)PGc z&s=|JK@KMvGc701r;QMR37FdI3-7g1mQ7+0MzOeX_7=fFnrR+~8?%UnI=2|4 zzs`~pqg@)J8JW<$#}Or5Z=2c1#pNwPBbs`QC92=o`3-`sP^C(FkF!k|q+sv-8)he{fMy;KYVnH6m);iVLd zqv-)laFL$S-O%^j+k9IX#gw8Z-1ZR3Q{*1+o@FfL>2+~IQvA#$(!kIaMhg#nVN}>Y zVU93D{WHn4kTLb|f}cOLl10n3sS}IOo>A^1%vW4-UlPJHgP1%WyOU^t#qO@s1I*^ZG=UiZM{LY?r<}%jtgnMTB zQO7k`2ezILF88kYr)gJ=rC+}x7btu}MK)bus`0x!@*jv3L)z6XS)dB0AV@4k77 zdOUMte6^}msj7-;F-jKw8GzCUse1n5_fs9MA!zX;iQX>D**Co?yufoC-zP)zZ`3Cy zY8ysi!F+fnj0lb`y^zm`oT>GsSyeKAbnALUOPliJKi(XSpmFn{nj8oRz|-C14w@ft z29&KeOr3yrAv#ySHrXiT-{Uu2AmBT5p9z zp^B%onvrMPs;GcH}~#Gj$}w7?PA(fp56e1$iwuhjb3lL-c57s&r^}70(tH zAqXfUD^+oSdJX^lLV~g9KmGy%B2Oa(@kFn2s z+cFSEX(~D54CtR7?U4%gIw-+sa)fRKUA>*cnIidDwoI}W@lZ%bKUCw}0*Xd>0%X8R zB4?zf#<4S3q>}ZRKko`@N|n2C{;Di@`Q#%QZ%-mCzZAw_a;D;*#&Uv=NMSIM0=PK& zAdz`tO+ecSVHoMkTT?1@5~BIjs&GM>eFA(VvxXM&-#M53E%LYql{aZEt$m$9z4?x? z{n0<+fb&9-mY%SuH`C74_Y2U4V)bgNyXB@bx8P6mOg^gMf?JGuQGz$Nof3@#UuD`Z zXN!uC*n$9vrlEV3I~2q%G_7w&4_K|fz1R?I#QdjsahoDlnHc=wh`Usp70fM0f?d}B9dvscvOmLWB7hzai8{m_?$B5(&0=-W%Jx7kCu;j%GcW}S zR73-KHSUu`7_bkqWv@X`zwx}N#|kVU6OBpt9EBSZU^q}mt$}@QKz`b_TCk~YK!ES= zs9`HIr*)tb!Bm!F8qGN2VMg44+~es zIWud7$nsxqY9e@o9V>`!4&eiOKy8i%h4!}cC;ZajYFeu|m+77(>jSOG8FnxQoUL|+ zLaF*HW~u8w!K1bNyK*js8~2%cBHn<+lBG6I0s$K=B>BagnMzzWo(4Gq>yICFyLvz) z<~9QO4`N+}oxdd|Q{Z8pqI7rQz17}?yQ#d@Ft4Fqcnehegi{j&2c*@HkG}*iMb;9Z zs(U2*WCEukIhOajWOCGdos$&|m=MJKOXR2noFHS_*nmAT3cQUt^TGpoP=6EH$~Mg9 zgYnUy#3e_XuU&wdxIa=-T(wObpOPZ$(7(~o@goeIKkkani2qWgZV|oS37FVu2xd#C z-q0h%CQwW|m>Aud5Iq3OK|QFb;Ai_p=BuW9eJeM z9x&#rmr`26H4{0lG}rjTpc2ofg9C%EJTO?9jNUXMihXPdRc)z%WoGzFiz!w?9C4q! z&~W;RAiqtXFR0b}Hle5rA;YLE1`3f%!l+~qAuzPuAwtPP2hmXHF#xry2PNZG+1;QE z(Tk|s&m#tR>G&!3NQc;2W zzc5HbDwaDYoAmF8YM81XlXSwEgBKKg%7Y6lrHM{W*cn&)7%+Ac*fb?*CLKqp(>m-Z zS4lz7l;m&;*QvS$hI&An2|$aGg7x4lrZeH~OIKQXa_}K%XFVuMkhr@V3C5WE80gE2 zR6$-sEZ51?V~R?1)Qw7mi)-faitUu06v&`QC7D}jSQF<57jS z&sv*#X`>?+m8BXw4q%M0fz_*n0W~*R`8i`g;2L(L6RF@q_DgK+ORI{`P$jTmAu#;6 z`iZ|lj)0LG`V@hr_cVAA_%55Fu#&6s3TBpcW`RYXMcA9mM5zd7CLI2;0Jy!LO75T= zi%Uw)MevRKpUk`De1U-902vlH0R`bw714d;ZT8GA-Fq1e4-E_@50U9-=v00@1smd@ zjma=`Q5p?w2X32`b?$+gv=mUkdzZG%0=}212$|{Dnv0n%(USV0{`LZz|C)B~pQu_y zb~!GQNX$e34cWZ6`mD{Ay{dRw?9!ir4fI5BlrES-4${V;EvY{((~J+eHW3phGIfvZ zB6q?zJ29j?@O9GI9Zv9Ce!t3;fkBjj&<=;^AFpr`pDyU;o8y^^WcaOPGYVZ1hV;RY zVXVKa@%#DhT2ldH(%*@{sVMc(_qq#+E-ScTTyb%TeN}$Ol1qO{Ov(r!XASy2CuQj7 zMO_(>luj++Et^*x1joofh8?7Ug}8jED?*5T_d6hM+K}CowK(du9$zrW(>h|#!FJ+j zfVu8?WqiRijehfSy;{yka;&UQWDo5^&KCrCL-Dh`>B=$=daa&McVyv0YzX%YvRlBu>#Bj(0bwaP-<8TdZH3cYWKx zfAal^m1G2`EP2)jC!@4XWw%zP#g;F_ELVLk7GLy7p=AVHof+o$k^m{KOJnfa56zJB z;;Q8SFyasuYS0HUkf)S3<;IqGGU+by*`%jy}7Z@wp}D>PS0XeOFLOJ zuaI9o=Ll4AS+n*|tpT@)PtsAQ)-XusZM7Ef%hkWRO>W_id|T#i{`6tz6;2k{(c9iPaL(>tXQZJAa`v ze%Bgj!WL1ZoO}^2oQHnOwerzaN+v}@Cj=_NVb6n(rV;h*stVr5NGwX%}K% zA|YLD6S4t=g0PoAKG)sJ@!Z@TW4RWoP2D5%j!<;O&-=^GQ^8kb$hrB0x4V=-gLRuw zu8qMD-3v={wBdRkU0GeQnec*Zlu!q1=3WjJq`y9ae`8(*{2_A8SE{^oP(o44o3tjc z1uZ-Z)AaMYW_nFym*MoEwy31E=f0_(|CaPS2Ig3)CJs z*~R^&CU0h(N$wOHK5d#~ofXbdz}3_v6;6DnDnf67vTkm;D!Dc}TOMT4^o@n$(~7tS z7CWE2we6+fJN=@02BrzGJ+5$sp_v);KjyIlLvuJ+O)(VxBiN^0LmaJoYp5teyR{8==q|PG)Cd(R3AGIV~&BYZSWaAmP$Ui=V)tm&@ zHCZ^~qJ1`iK*XEc)jM<~nCHOKFuG%)EU9s@)DMEYfHsiB*e2u{Cye(eaJ;5we#EjIV2|woKs-)9@Ua|^F<ZW zi}|+88u8SA4cu2k>dvWhNbty}0Nn;LKL(Taq39oZN5z2k^IowAFq^~kq#RZUadMR- zN62qz1dYm3A=sMnnGY2OW^E=;>r-8^n~4?@(k{4q_iV{NMv$nar@8JF}Xbo94JO zv(aT~{CRM1-9}Vra0@qcjU}Cg9=vg9m^sqMi z*^V`Z2B_6W;G2xMu%bvnm~V~-)Qz0C_BDtdeSxsHg#kg?@^1X|(+l5kz;c%nP8nzU z`Jami^ zB*e+5Z>vLn2e!D-5L%n=y$DTpgZJlq^89r*pHQKb@oo$nCAzo9h}qv9EKd=GXwi3} z7yT*aej)MMo}7C3n|%!U4A?fCXtvc&z-eO8$0yqFJTEC6rZUP^BSn^QJ)Us^_TrSi z&Z}2Vof9ex735%(EtDx2D&D>qQtoXQMR+J#SQO*3;xL``|0pFc@?c+M;b8S^ya|yL zZyt-P8ZXNij8TC@J2eVbr2YY3I(*&wRhopr$hSuj;`TPP>ldFfClTR(rnHg;30`M) zerH|`nWqX_I|qaTELMTo^1@Q~ zS3ZVFfT)=10eFJ)mGsP&UERJIbI6P9X(uhUAxJ(&jhM;21qJ^0%u%AyzsXeBcircV zZAW3qeEc5==PU7Sa3^411ZQM7ekC3G3NTQmTK* zLBbcQ-{qKuc|sA{(gwGzUgs1a&H*HFt7Og|^n%3^j7m6G72ZD1&T|=S*eon#Ax0o= zH$AvA01YO6#vF4e!WaFjUD{!wUx>MA(l8|U!Zxgf%M39#>Q?fO;VyX2ngtwiC6DD8_?=%?+^T*pyKvp3Ud z=Ch(W-Zv1dCg5WfLHuwX0-p>P4_mN42#A6K{+HB}p6$(azisDmp;?&C?#>EsH=lTa zAE*xu6uoOO)C_iBP4-Atq{tT!gJ1UCpOb^{7QayK#ue~*#0UB!2UzRm2mJ}O+bU?tt$JVApu{9Lv; z2?RZ3-M`iN1aMOT{cJ!SWw@?_^r90QwnV}^} zg;0ayIR;uZCVn5vq1RCW+o56HTyi(XHCulQQ%GpJw^BKY3E1w9!MPN^Ai_UP`Nx!# zI=I?NNCx5RGzjrHIyl_EXXW!WnhvikQD$w0;|8qD`jkP4keJP$1NbUet)WaKr%r9d zazZ&TwY#P^>3riDfjxU_1>Ai_z59S(VML?E8K6wnO)LQ*!X

+vsY|ww>_6b z7SK2l6A9z2EjVW@@6AXJCYd-9!p4nNy-M1_$3ESz-C)W4i{fnuV<%M z`Aip9B;u)v6+v{wQ9nU*e0`LHZ7IPt+}JZGru=Kz=B%2C)`+zxLkN05v);GK=E%42 zpZg)IHZS!y_s=SM4mDI*l;I%d)_U?1jQemH|DdUST;qSG%tmFc5l(e#MGv~ks+7u$ z{aISB9G#(K>>)#zRM+?IUdr(^@|guWTdFX!$VMkvnVt>8AeO@&{$-WW39lQga>wOm zW;HpJk3l<2sfU9FPPE0BR%l@waz>|EWf4_)Usg%(r>!JklI28UcJKvk#h;T50CJkU zlWB}yLW-(?rfNqwrb03OZ1?irIuRHjpNehBub zR?wQID$i*zS~hnZa@O4!dNJ*Zz@U0om#G@L?(!N{qr{>-=BKPI)zZ%!QW~=(hy595 zW#u>4c$P*M_oF;P8#sV3&#$JIx|I zy0EmNs3@KKjF-22#v14Mw|#b<|A9GVD(6d2vlkZSS_!t%YqtKmwhv7jxUzwG)pb5( z#yXiMuX;_1R*iM9Np*7j3>@yJKj!mx0t#HNygGqt*h=!A3dluT-4r$P6LgZ`I{o^v zy3rbfu?j(cT`-PiM<+TVSfodvi}y^ZqhH(L7fc+I$<6!*rY!@B!I3ts@pJT(Ci22q z3laLx=nDyOCQNdCXOEbMO+v}cL#MwRwv`=&-OuJ={p_T?t@JSV(JcN0`>C0BD8Kjoy&_YWZDa&`IQD0k0Cu4x4+7Cz3G+wx#)E&{SQ{An z<}f4k0WD}jaBlgmYGCiM4Q6m(?kYR=+QrEXRFHV%bU=wl-OWqeqz}d3JXB&w+hSys0G z%6H{{Ckxu*ROkUm9)ENci=V8T*WT;)>nbptR8eQSaw*$IG;aJ?=EoGWA)v+V#8w49 zGG*?Ux8J&=3K|Dw61){H?JNz|^xd?Xub0y~jc8x?@C84Kxn_lztE(E5hLR$Du5wMd z5zmt(Y>Ax(cOC&vWN}-YOWL98Cy7~^-5gCFUZ>502Q6sZ9KhBek?j=@KH?QT#?zp6 zGX@AJ|vyDZSONn#IIC$lFHRwp#fLcKKapo5(*p zBA;PyT_#h^RBypL^Sq2_P_(_@whc36X|1S4W`7if*=Ju)U z8|U0@sWSUbGPG%MiGT4O_pP+bFA8RpY-c2OpDm_pp#+_W1^JRg(@;ahz@(a^nZn3> zyO1zHtqo(EXU|IB@%)=q5jWb2i;n1@{kD3n>oVUAN%JXyVjom@`ZtVS;rH0nO_Hmh z8lJ(8()CgEO-$%VmnUg2d&qoc1cGP?*w1L=4}< z&<>?YeVPm+*)6KG*8Td9DJ0nhtSVb%d=Pzey_&(@kVT_xex*s?epsXluO_UqoVa$u zqAnhX1wz<$rFOHZN16^xd(boB$__T1(lamc_FgV`YU&JRZW*!=H7&Ik&O0Q+k$btxb8FeD+VuQpiR+<@PuA;3-x!JwB|-K9DmmkO>2kMI?x z6LW|yfVcb3&BfRi0^xd15gX$#*;$0Vm^8=t)8&Z?#UDPYH5WX(bqvunDW`l0?*}Uu z$qejaFS@%p3!@F-bXxKbhhlC{Or7m!nP4a+h|HzxWnS0yO5MO)^+gU$imnt!$MN(D^@FWYNqWL0=xs$! zMzA5wo%59;r;{m08Iia1Kg^xdZhD;kb=M~T_#%C`K~^PZZLfv@V)h|6k@`RLA5*L^ z^YfO%amKc3v2^@|Whp_U&qjex&YMnHc8pOO@+r!dMJ(C5VNyQXopw!BFM$GYtgFX- zjI)_{>Pq-PhyQW5gTLg4w?k{ndSdk1Y3CBV^mG3tc`Tkyo=P-(d<@sZ{1^Inm8yjF z8pR&Lx0?#Ozavv?+FS?_mZn?o0Ha<KQc2Na=AZN~Fj>JfJA|1Tgi!Bga(U1> zrwDavKeMBjzh%QabF6fqVl|HUY0 zHS66F*Ot@;%OVOnKVTHLb%HB;8I8^PYpQ)KltKwnvTF|5*7rEGP0+{m2K=GXBv>uJ z(@rr=5JwJd7!%prue(N-rBi_8q2)I~>3fonhxD05pImmY(MGFua5fK_S4M^gWcCX& z3OrkjAI%F|B(XW4>^q648mh3K5t4ZD?)NrZk+cP94^23(Y3KV}0dYVB8`^2LXh?U* zz0ncjnJ*15IiI%?-_a4FoBGL840~f_HCq)@%UVk5qCM%-Q#aGKHOmjnyAk>P&12di zZ`tZV2t+RJn$1Tn8t^Sd3UVcChDsK{L9M>~&&wT?CWX6pC?Q5SqAFbQNi?&B#2La* zB0&ldJKpLZ1Z;|?6rxGhm9du&(5O#_DrP4${anTowfBa(DO2*9;ux726uaG{Ql;HY z(7S4!iIFqcp6rVL*U}3M{n9Pui=95Cdl5KBNc=)uAerUgv|t8pK(d&ILVO;5`dWDl;(UwUEBM|()#4)_rq%v`rz_hF z=(xGsrJ|@j=D(ABjxAO@04d(M<0o5fHV%VKHWW(-5~268+#r1iJ4`{TQ+XbqWh|KB ztOER~BXuN+ymGJK0z9D&Bj~brq6!Hd2VJOrQt`+$pULYL4B~PH4T)%+PHr8gCh9oP z?(r#0sks<(M2KWw6b5Ch*+`Znqh)*fiAFwooo&VG#|q`DG$m@-@+2O}yp{D#*E9T< ziw#jL{XCpqmO1IW_j|wk7T%2U--#l^4x8wK(U12gVeqVpHLq2}5yt|3lw3!qUIg|x z`uwY#m36~gRW3CQpSV@mO!an9Os1;Kv=Lk|0a@>v*1-@-xWi_o>8b885DhM3zW9v&V;3zX7S-@ zakx3~@(a3Q#3$XB8M>7ov_&7r#*VF>#TG8^2Ss_o)Lw`CV~f|#VvT>J z?^9Gu>{{E-oFxQ7!Czz+Zy`m^yENC$v!6Y*d!ilE`AZdYVXy=tk~;5UF&dqi{@`eo z02FeynT03_Z!F6zq8qKMcBKr`Ba>Jq1?inT1!KxJBR#LZwlmk0FtUtING2sGpKt!n z?PY1vy|^lwLA}+R?lV^m|&GL8JU99CIh zE!j_|%;U9}Bs?L&^>G3g28(S`aGX6LuES{#S-nzcAH$NuMN~L7^v?|vcMhImI9%LG z#@ZHtukp&WBEuNfTu)E0^tFLa=Haus9ks#1HAWtb9Nl+@7yx~4-I@e2yX)lrMZ2s= z4I=9I;jat)7#VBQe77B-9Y(JzcF6g}dWZzs8cN1)bvHM0*v{CYN>C8$CjmyF1}v3T zcgJTRg}EomyF+=bf5bCax^#Fo@l4EUYW1hGfJSnCYLxdCNusVjce=>^&#Xo3b{?6D zmx|wE7!YE=)d&PEfNLV%w(D0C1!C7ROWuN%IV~mb8F{`b-aXbgwZHkX<;o$QG`*UK z2B!1#S|^oOMAo>%zd}N{w|$hi;vtgxIM%Jx;tA6$^)f$5_r%4AaYGC3=uI5HL6_`u zXigxDe<23=B5LNJqjCKy=8tRp?eJqFy7D12?ESpnw_q&UA|%^9j&x&%O%M6ixGHew zWxVPRpR*4;0cT!XE=Uv{Q3Wdd;H&C%6y)FDxj8dH1?6}#W~=K;{M9VxV#b*VwlVvS zGsN(xn?jP~b5x#1`auphsb*`)_yUE>dN>mulvzR8+1Oj+nYJz{0j8!KecN{`e9S&{c z!l{*eRd5NmM9*i(>nVIflFqs697>w<3!go7CWCt|c0+z9BJuRo{W7kZ-Xb76dXafy zZl}@vTyxHp>p_zKOB?~7Z>F89A{r4D@|z87@P6@pV4&V>D_G#9{Fp^r_qzLLH{sMN z!f}=$K6otbUhnG1`dxsR6L7zrHgJ75gL+13M9@~5S|YyAEQX{vLw@?mh(gE&(&U@X z^>bGP>z{91hOxT8As9fk7u!(nzyv)dP=7oZKLy(NW+sj}$XGZ5$gP1Y<%VA&zbD6q zK1p%XYT#AJtyD)@2_+_iop=W_SvtlXD)Y|P;h%rHCA&=g(_CLOHCX$QzByfwyj{q? z{Fp|mg>&xs`O&Gskr;V9F7W8Y@X2t)^E2Ty=`8DWa`y5^pN_rUSp>u3@@W>lcjj%% zX`d1U9Mb1gl)7@(pR4cD-j0t*&ttJwv$eh&{&iyxB2HGR?GvwkZe^KcZo5iY|1z@f zHhrGL2Cdoq&mmGzFf{i31I;P$w1<#rTN zu&fMg3Fgb*n0!O^-Qo6&YZl&E+up<2hw8+idi3xxJMLyVA|KKHPAOu?A#z31`m*@@ z@c~*ykge38EoT|+;k|Xqe^cb``HaxTWXjw9&p%>c#fBl4KMPgYC)e^{I=HXyVfbvP z7vUuT+%xZ44z};%Z`tqq^xo))n*j7ee#b1(eHNP&lc_cq`c5Q%@(?clT>n0#^xtpi z(q1D?ldZuL{oht_!21p@HG!ZomP$5_F8*3;vMN&+{oRqFISB;P>D|$#OUU{m-RWGb ziLnG4`yGvlQ*nfxj=}qlFZrPfbEaT^;AoKIZbyo_QDfz*q&@2hGjpOukdtCc@EQtUvD&I!|UdEzv$%X6@;3 zWxjWDek?gHI+LI4Tak~LmU02lK>o3(JE7Qx;;-i8j4`I13Yv?p#bMmrK!J4jn@f?~ zSiP@itmyYpyn#|y65Jig?Car9ygx<9_nqmU4R`~5Cc<%}%#X2~I}XsUMz-KyJ~i(k z=SmY{rzn@h%;EPIq8q}0B~DnnTL$=%uXp|CJQ1o zD}P(O*YyDMsG0}n$G*c)v6{`@+b`eSz?fYB@#i=^f(f-oz1suh7Gds8G+tLIG(H~z zcC~T(gA3}RKNc-wbw4&C>IXJ(sbMV-_DwdH{83N|j;N+-xZ9@hWhPTUiF1lPg3e7^ z#zqHg={|*k4cN5fSpH|*UsScM-^n~+r6ir@aF%Ix172DvhyCGSHq8gx5FS%FZ!3~6q*Ol`sOu@X)ziDjs{Xn3g<>#DLGXAFp@s1ts9Tl7Rdg4+}ok$fqKgJ3A$ zzG^hM#Q!r7hckY6YVDtOSGmN=1{goqRy-cVV`y(P$z~7x3&+qB{t0gv@|@lKz4{89 zb7iT+={LQ#2j$CL&+serzxSy#Q@H<`;jP@=r=LSsXR2`?`K8a9Ua@ zexZ4*!s=z#*H_BdeCWzopr0BLVz5dZ)H literal 0 HcmV?d00001 diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 50f714e71c4..c92d49fea1e 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -4912,6 +4912,8 @@ let ### DEVELOPMENT / TOOLS + alloy = callPackage ../development/tools/alloy { }; + augeas = callPackage ../tools/system/augeas { }; ansible = callPackage ../tools/system/ansible { };