minisat2-devel-2.2.1-14.red80> K KtĉH2!c31^ Wgesupport@red-soft.ru  WgQM1Paą*$Ȩ?,+fx<'".{ [[gH)y`i |ZZF/E il7 kӝ&\p _g|,c&-JR]]mmz %.`1fY}L<(ANRZ VLHo|Eh E ȶZU5gYKRIm=?d  ? t   $ : `& 4P( '8 09 8: G H $I |X Y \ ] ^ b kd e f l tuXvwxylptzCminisat2-devel2.2.114.red80Development files for minisat2The minisat2-devel package contains libraries and header files for developing applications that use minisat2.dAstapel80.red-soft.ruPRED SOFTRED SOFTMITRED SOFTUnspecifiedhttp://minisat.se/linuxx86_64 VD< 3A2 y&/ |AA큤A큤A큤A큤dAdAMbi%Mbi%dAdAMbi%Mbi%Mbi%Mbi%Mbi%Mbi%Mbi%Mbi%Mbi%dAMbi%dAMbi%Mbi%Mbi%dA5c48c76a75ba1dc22543852abf2bbf7f080a63b589acb30acbe33fbfe835a280a9bfda2acf553f79cbc3864527fefff71aa6bbd8ec509eb337f4a838a9a7395ee1a82b73a35e6caad37627e2cc278d00df986234a0ea7e96dfa89689c7a28d6156fd8213c71a277d1f8129107f27c55527f47d8b8abb7d00f5eef4df908bb3f7bced853d985d4e2740f9b8868987400dc2b225a741c4aea5b75a5f8126688e4268a32e1f0875a4edd784b4ae1d7d81e9fc8430bdf0377259ef1a564a8a110d0477d5cc50cbbaeccc85db25cf3e4a652158e1decbf79ebf92283371ddfb0152df98e035eb6fb0d6200a46e5de8662b0c62d2abb8800172af6888eea4cd3f6c2aef6eaf0beda57c79e805e5819f3c1f60f2a6bd9c0b765720e95e8204ce6de8c0f69677457dec510ca14bdff4f3a7c8a4e8271bab830bfc3bfa2e6ac8653bc4f3454e9eddbc1c68ae40f72281bc180aefb0ffb557e1bd8b1ab9f068736db4b1b56190209abdab80a3562125525890254048bb732cfeb5017603c52cc2b00ca62cf708e0cac4c835e4b8f9ec36d5965d31c0e5ac15f0d3cd0aa7a7d6826dd2234dad5b9b031071af58f1ce46ead395d5b40321eaf0c88fb17008e6b4b74d91d4c9c0bb4fdfd697d222a2645096d1b88e43ee84352ed10b7206f464882afb1ccea079228103c1af0c7a3c12a40d5e22630e4f6678fa622ce8308cf4a6d01529fe807libminisat.so.2rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-14.red80.src.rpmminisat2-develminisat2-devel(x86-64)@    libminisat.so.2()(64bit)minisat2-libs(x86-64)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)zlib-devel(x86-64)2.2.1-14.red803.0.4-14.6.0-14.0-15.4.18-14.18.0d@by@Alexandr Subbotin - 2.2.1-14Anton Fadeev - 0:2.2.1-1- Build for red80- Initial build 2.2.1-14.red802.2.1-14.red80minisatcoreDimacs.hSolver.hSolverTypes.hmtlAlg.hAlloc.hHeap.hIntTypes.hMap.hQueue.hSort.hVec.hXAlloc.hsimpSimpSolver.hutilsOptions.hParseUtils.hSystem.hlibminisat.so/usr/include//usr/include/minisat//usr/include/minisat/core//usr/include/minisat/mtl//usr/include/minisat/simp//usr/include/minisat/utils//usr/lib64/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectioncpiozstd19x86_64-redhat-linux-gnudirectoryRutf-8091d799ee52f1985d99c553ce6ace1f874a5b0928193afba8ad0f3075aacf2269fdc8fa880c3db7be4e451835e889cefb876d954ded51bf5711fd9a9eceb483d?0(/htA:ޠ(2hXӗpM_H;'=8 5PD" #Rbz!Q4MLs$#[(2<i{72%BpI)_޵:_˩zVޅMu] I/s璪K$^ ^N񈧈W33d~YX&G`+nwPAY/Xt!bd)3x4 , `&`cNECx0fSy@NG` <L* f3m$0t*P0Lx00 -< '}:{0 ȃ8Pbl4 f4@ gaH\GLp4fsa\p4s8A f+,x.`(:cֵBsqf[f4Mq(w\IYq!nm]qvأ"/$aP|']";>bp(G:"2$)7(bD]4г +zS$xzl=n+-س`64hŖTGg(9 JoLCPߕG\^uwJ"yuZb`L8 Ã8T9@@*$—Pi `t$B\R DZ_k> yT@5fמv.\P Hm.>y\@ m6FOcs ł%qSa#OݏVB ^Z7M u["݌jj0+} 8ժ@֤FL)O '5!"SR V/F ΝϊsZPMZ|QwRj vQ`iRhSmDA7rs^ ѯ TW_[ES\dCT |r$f}&Ee[y{>EfJ[7A7Lvs#DwqV 9faHucfPԟ=c~53^ÄWsxc]\j_ 鱡KS ?\% rH M)K};uGCcgKLU_Yc8aEf~e>^z[k-)Y{07ZlNTH<,|fZOSSف#V-cE+IrFд#`k}ط!7ka 9~|.sLd$I.Jv"(1}@`Ջ/[Q_K{P#6擫͠Q6,W \)tт1{U4̛H^څ8QHHө!ţr \zE,+T p! )6Xnk߃Ky$<}ᦨwcIAz+W *œg+mL6[ Q|^$5 !TxSէA }%-qڷ7di} =?_`R cj7A ""*١^* ʅ%I  n_h 4}UZG\:qNAq'dA<Y4lM'.t%zOaM𰞁 8fƈ,RQL3ÇO >Cdv MH5czI@zk;EyyS]~B +WC8B u"g]+M'`1F,*M Y/UR/F;0k9sT>w$7ՕM0ָD|&fOȻeQr͒$ b8_R;*_4dSL2ٿ -vN0XˆI6fM'Wv_uji^g!j=υ..ٔtn(s/L2 ◁Tnh[W>.ԃ=`M2ꓪb a,PBzk$83Uف"]Rn]7ܨjbd=pՒVe2ۧ*ݰKÖ\"9- 0'*eTǴS8'5 r| -p`n rrq]eCŹ nUFOhy` lA 2;规汉N?rC]|ňi '* C(qk{7z\CϷ;Ȏ`|gueB{yt:bͽsIIERCs>z4Glݼqs#kAf-1cpTy;q hStiH*{7:50窃RmSC7oHz-8gQ.`QCh"|/\Cu1Q.K.f#7:i^sQɐT?i#C҂sհM.jfITF} x+=rx])%u*>CfqÜRV5\D9,;/b%*D&QbjkmY$|*뙐+tLWʼRid0i-4m]sH۱٧I'2剢jά;Zb/ ~D叙rsPn?PNc6glD^4U`Lldg- Eq+Ό6F(Wu5Tx| i)bh3y:EgHOX|$Vr1zxd86" 88ee{DRįrBg0ᓯr[t@ ,SiCc[;788lstu(ݧD'  5 .'CF1 c ] Qw' !\3(ngYysH/"1L<5E~Ql.|"vHCi{e{`6X)]%ߐtvW2[ֺrjBCV.L؛f[|SB/k֣ E C'^gju`'9z!D:=D?cG 0*Q(@s+&^/ *[D41mhVoUix7[[?a" bxDzJ)>s#%G2$|7 q<]n9{K'], 0ed]KcN+d HחbObprrpPf2Fb9z&{Zyxڶ~ T b˫LLBCtO8 MWhQ.4OuZCr-t ]GX :֝lCx$l)AqeAjg`}+;5_aU!.dqQKZ!sɇ4 BcPnSԵb'34g@\R46eEuS})7Xg>Vy~m4nX+]qZzgM $W$(׾ `CjC; }Ӧԋ}f#ZC$f9A5v#@$9fXc.@3yhʿ{ 1;'Ţ2)G_mɜW62*ފ V87b̓}>Uh5,X¥#h94C8%;S|+m!' &i콟_SQ`  ?7x^SiOy9ȧ5jjˉag[Ԅ]= ì̂X\Lqտ{,$Zឲ}Ԙ WhqLrw$ Iif\P~%Y٣h Cz fz!JYp"Li&{( A{ njf! L&Rl@# F4*7].b!N03̒dN]jsĕ h8n FA6j< OL.k3j.YBNrYL!{|{s![!'?.y{Q'v`?Y,Swf S!⢤|*GTP>J=EFuXJ!*OUv9@!:-R!=Y#QH8ۉ'gdoۂ&p#ꭃk6>Õ YX/@ibĄ}27& 6NbW[J"4X1IQ^"`$}ɑ_'K}F@S|&]UI%Թ "p8m"2st(Z CLrϘ 9 ]º0?6բٻP qⳗIF:_dV(#H8ĬB>Sq 1; `Es"gd. cb-H B"4Ċ% \GKs`,EY&}%U;Q;[ikB'ZA抅SR3xu쉐3swGU]YDf#Qv{PEkI _Sw6cwvWIl_dKwtnI.IxÜRYrB 3 Qe>m}ts };Cי1&E@=/*6>9,ЍǯoigؘU1V/iS3<ÂpoYn4vT935%#NC\NHܿz↱Dz i<,Mv> u@/O0|63MIV=m>&A2q+o2sI=(4hUO F dgFITދl'e>t}(it}rȓPs1Fcv.g#Se z,Ӫա:j _7o/z'MlXI{3`8ަܒ0Kƒ!e&9LsS\5P%5gE-o^0x{]!P-DX˹AXk\vb%]`Yd.H 2{[GMޱSgJN>*v%G+6v׫@$Yԅ5¥Ơ=j/K>z&mG/ 5GNtG1$߶g: |DeYiDDN'ډ  ~ '.CkLEbqae]*[ag"E;lFQlTJQyRϊ!2CPY>?P$B2c!+E9"ܱ4W0| -RhylaazϰiN13 j2$G'K0ѡcZh"i-:|Jyhk*Xc) G ;Ay2QmwלyS T AoG@d0 eQ,r,a,lb`( r`0 L0LbX0e&u&5XET sM*բXXh(iF/εy;6C8:F4$8*P8oC3 霕ʽr^5T9Pn:r8D#).~]x7q†{auh!(Đ;.Xt[X^BG[2m/Wb:tm=CM*3;͓ۚ.ͮ݌U}C#m$^*Al/fwk+9oxq}ȣRTލ ̪\8}"hƚ2,lr|R %&89̲:9Wz4CB MD$Ki1ef|W)>{ G-$gu9Lp _38~(:E`LmON1kV`Uvo|8ER'&hc@+g+{퍠(!R*%bwJGWɂ/kgUJezEl.v'U?MH({ZHh}O1sV H ܋kvyHR+@-C.<55yZǬ>2O}dS{P8n#m6 2 $V!&u'i8(UXHWuS X. SteOCMzUr)Dnm}EdTƇvIwS߮RX*@zfh` .HJƂ߀deIڱW8sHy׹Xhh5 (<\ƞ|ϔT5J R*cʵd]]e|~};Xal72n 1cHSn tBX1q߻ߜ:ҭ}Z2˔lRv?,9HA]4$v߲P)'o  WiJ#Umӻvt6耑n5JLZРÜUh9#J[ p1|\vsTFhnNˮ%'ї_(AbK(˼x2س-i>@]f-gÏ^1Ӽt*&V6] .#wlCEVg'dcT?ӂV,o9 gy]cA.ثɇ b>q@E=Hd҆V]VɆ}_FE>E왧4ABcBac7HCwv:X7SyapJYΙt?g% IkV[Rp͙'?7Dlt2!6JU,ꄏC[bj\qD\ۅ ۈ(k?6Km4~1Zs/h1tʈ`\LzR#mua@XS/\q)qxq9 a Dn)~ؚp<Qm ae\J $ -\{ת'qXv _Kv->a4E+ 3)h1 -bd# Hl~szL_{6윑]8tJ/-R(7Lh_u.L$otWn,&XW t֕6] fe28]W؜,;71*t;a$'j\m9C:Zآ37x'E EuIGwfNlBѾ !\(ymFcJN rIlw!rʝkog6 Jp _-;V߾~kzJg FG@ !J߿ڤn_@nۚjyX8!aVWQ)Vj qoK7c%Zi "_lnA* w!fEpvЕi]Ǒ/פj̠S"*kt6API3ƥLkP̉@='&oY" ;:M$:oM(li UfOF=P{귰4=VHй5eM`?R _wl48ɸȷ|LR21zȨo*j79B"bhOt|Ka.OY5-߶ Bp5j{3͏fxRЎt,gj(~~yxUuRQPjI,xx* !#~K}G3ӉS.[55.C7KH«vJjSdqƴY}BVo,ASkv"ITMPR$h*/(꣏T?X鼮vE-=LBRRSOx+Zc/ ˻ǩLg+ #f8(!oC0,r.t 0yY'G^<!w,q=x9|SY%J}˼ npV &Qwf(+> 5Iqng7o} y<}_Dzf~~bv9Q}':]hn8W$31MH3d9귲* $1ɕ(KyT*2xbQksNˤ>=R>ް\6Y>4ޛDcɫuASn {p8b70 ;;AeAPk@UCN_ h%*чՆ,iY m=ŅKJV!SA̵v(0 -V)A`G΍ ({3LDcl$v~^ab'Gc;^ kO y 5\PIa Sl$q N] !6yiKL'ueMJ LqWS0I / >" |Xi%j:&t}7&aVmAsQNβ ⮥u] =MvG*g py LNv{V%/K4N+06YX_)c!' y&&YmtcJѶmVpnoW6HMxGm 3k݄{ ԯ^{_̲c ~ӫATi> c~o [ ؒCawGK7ChX|'$jE̢Cy|`YL7#{Ks'|v]M5jwW.xhw)^"2xzpâ/Ԝgi1p_DzꒆBǛk9 >U Ϡi ?d@Z}X-<^p?O0`cك0Ou0dlc(R1p#p\ԫ0FXA J\ a,j+p#m9*QH?\8hg4!`~MU҈oKÔ&PUOByஃ|QGlP ܄8}Vj|ĥ=ѫ9!8˴ieZ:Bnմ{|TƸ+pnL2-G:o !#^jW w )^Gw6+`#V4yʊxϓɝ UVY̙ns$H=ɨ$T5kwiCjg]GNt{8@K26-Ncl\B_7AkZ|)yGh,?E}vҩ'Y>ˏf.x c eh«7ۄ(7I`0U F>ǽe1U{-;Ԃ-bB]"lH *qo̤УF+{ghl;GM^Sèw|(E +xA=Ԧz1o^ TJ6\V C5A>hŸ|ܹX)曒ĈtH%>bEB܀# S3wШ%\L` ˳p6UrZ6Xjh ĩ{ٓDe2tP0sL)wp17}ϧMZ% bH4^fw8PJrxOYԮb^Z&oJ3bpbNuRa_w{="C'KF~myYQQWO`2x1(9&H9Ob -D 9 5i0Gw.FDN^ǀVx nxi&8THpe36ү25KZ`5}mlD%6ua@z Di0Xoԃ\XK`ϙ0eXz9=fpO4Z̯&d[]wţsH1XI\0gXtlz@VO٢gZ(  Ud>p p*ƒI C;Z@lek h|U4f"IX&`pywMju= u Zd*nޖ3(ouydܥmPlUazvXc(R45%rcUfn^ ^jz-ץ] +Y, J{+kBPz f|GGx+/Xtt;Ip׻AA*O[]r)aVHcT2KI DbB;ӨU ʹ#0Nhԅn(#3N "&=|jJ83n Z%9@zB…=71!LRMupH:4'5Ka7,[|P5Nq-RBkشf\!V=9j&kk /OV` *⢥y% _&ӯ  |DtҞĺAw ek##ϻ)ֲB*OA:K]gHAKMb u_8N2(]JCl)#)&S .bQ(!^$,3ҭEEӈ h~ 9wLq %9tc5Xʚ;_icfIY*bbF/۾N~5aC}K+.~d9צzxO$%PPxՌQK,gtΑ*"RN*5oٶߊy mI eH.TU?: b8`atZ-@ |0kVDu i>h&I芰MF,F-e[GTtgOv#9cu Q $akYLOhkJ[b\eޮgIi a~UKBoW 3 2x-TOS! Q:e9%!tql0sv3h gQ)ʍMQLXWf1Ő{Ͻ:Ev6S0\|( cvYhv J ao;E5pQ"WIugڲ?2@B*٠`nYͮCW̉.~ W`42&>&b;£o`а};=#0]Vu5x/KP as/;C :qI%iKM\1d &:M>! 8SƟif j5>ޔ$p97${H5t Rr$nKXsת>c տ4TbJ)Ҙ3G!&^%Ǫ^x0A SI-*'C֨NDZyuglYD]k.0AY<@J4%F6 Qm;沬hXd=r