cryptominisat-devel-5.11.21-1.fc40 >t 6 6_ TX6   Љ3!]W>D] 'p~[yeV= 'p~[y_Z@_n>9zc?,).ߖT@YhL+\NAtfËC_ӛ+.,9WFTrbEw Ͻ![O2k{:YBP-;s_<32Hm7+ g4Q;7NUL,q!\8.NNŕ Ej jCGwŅ3Ӊg O!$<m '|r݊ا|bSgMOUD=ڭ?Z*39GD!V^zYwY>H;jܡֿtj6o0a%Br(;z5zFHdޕOiZU{MQҧ^H ˕]X7.] ûkĮ,j5 Z01LiT>rTC=Ȏ֒+읤8bEk%pl" ?g.,;.,D] 'p~[yeV= 'p~[yL(CT 'DDψHepxX{ÍƋِNb6ے[U][PXBr_O9xUdB[|T4E^m}QmʵRdxt:_\i'n΂[sX"폪Ek NrX~5{H4=fb *ƀn;)Y_}l9X#dBێKVgjHy2MJ89f#=VTϮvPvW` 1¹QuѸ@U_4/~NH.0 ,T_p!%׷f#d'PzI>/+_> $+hroEYycz+v^ 7S.@a8 we<`@?d % T  -3< l          @ p   @}(89: F G H IL XXYd\ ] ^b/deflt uL v|w\ x yz PTCcryptominisat-devel5.11.211.fc40Header files for developing with cryptominisatHeader files for developing applications that use cryptominisat.eU^buildvm-a64-38.iad2.fedoraproject.orgFedora ProjectFedora ProjectMIT AND BSD-3-ClauseFedora ProjectUnspecifiedhttps://www.msoos.org/linuxaarch64?M$ A큤A큤ekeLeLeLeLeLekekekekekekc6ae27a159db3ccd6daefdd2e2bfeb8078ae824cbd37cefa81fd860ba65ce0972cba763ac2d8c3fadccd17f44a672c021216319202df81a4498214edc7a462104f395161accf15e305ab6a01a890712795d7e40b3271bb60eebc0c1438840e22a25b9597f751869b45252c6a90c1efbfe155655780a3c68d97842e0ff4c6f7407defc9c416b8378a19ed354a3307d3927747f96879d9537fa3f486aeceb54d493703dbb65a30e2bdbcbac7a1a63d51bb9d3168b47936c58f7ba86edb956be19ff9d149463923a71e0550643473c6858a63d08c2ec7df44dba7e7b9328a34bb83e6977476c7957888856be162bd228c1aceee22bc63509c3759a62de32b0c182e1e0bd16669cdb382b6886f5742081aa927915450182525099e0552ba321a95ddlibcryptominisat5.so.5.11rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcryptominisat-5.11.21-1.fc40.src.rpmcmake(cryptominisat5)cryptominisat-develcryptominisat-devel(aarch-64)@@    cmake-filesystem(aarch-64)cryptominisat-libs(aarch-64)libcryptominisat5.so.5.11()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)zlib-devel(aarch-64)5.11.21-1.fc403.0.4-14.6.0-14.0-15.4.18-14.19.1.1ee6@eed@ed@dZ@c`c0cƍcR@b5@b@b&brjJerry James - 5.11.21-1Jerry James - 5.11.15-1Fedora Release Engineering - 5.8.0-18Fedora Release Engineering - 5.8.0-17Jonathan Wakely - 5.8.0-16Fedora Release Engineering - 5.8.0-15Python Maint - 5.8.0-14Jonathan Wakely - 5.8.0-13Fedora Release Engineering - 5.8.0-12Jerry James - 5.8.0-11Jerry James - 5.8.0-11Jerry James - 5.8.0-10Fedora Release Engineering - 5.8.0-10Python Maint - 5.8.0-9Thomas Rodgers - 5.8.0-8- Version 5.11.21 - Stop building for 32-bit x86- Version 5.11.15 - Drop unused sqlite dependency - Dynamically generate python BuildRequires - Drop upstreamed setuptools and include patches - Unbundle picosat - Avoid rebuilding the entire library for python - Build with BreakID support - Rename the python subpackage to match upstream- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for Boost 1.83- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Rebuilt for Python 3.12- Rebuilt for Boost 1.81- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Add -include patch for GCC 13 compatibility- Use setuptools instead of distutils (rhbz#2154857)- Convert License tag to SPDX- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- Rebuilt for Python 3.11- Rebuilt for Boost 1.78buildvm-a64-38.iad2.fedoraproject.org 1707496798 5.11.215.11.21-1.fc405.11.21-1.fc40cryptominisat5cryptominisat.hcryptominisat_c.hdimacsparser.hsolvertypesmini.hstreambuffer.hcryptominisat5cryptominisat5Config.cmakecryptominisat5ConfigVersion.cmakecryptominisat5Targets-relwithdebinfo.cmakecryptominisat5Targets.cmakelibcryptominisat5.so/usr/include//usr/include/cryptominisat5//usr/lib64/cmake//usr/lib64/cmake/cryptominisat5//usr/lib64/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19aarch64-redhat-linux-gnudirectoryASCII textmagic text fragment for file(1) cmd, 1st line "#----------------------------------------------------------------", 2nd line "# Generated CMake target import file for configuration "RelWithDebInfo"."PRRO!p_W;https://bugz.fedoraproject.org/cryptominisatutf-887b1a30e7fcf94244288bca9737ce67744a0d9205d7709c5d12719052f8f4285411cc7d8a9fbb707d498ba42dac1d5320c54353212c8daacfd752d643b565b4e?(/h*63pJlT7shJ* iӖW͌'9#9RcBQ+|2>g[s[+q-n=C]N9~Es|Tˎw.Q`GWt ӻ^;q;yfͧŀi7{6p/ϴ6D IqrDzu$)sƸCn{yy G;?&,JW Ʀ%DǤwc^ߐmyem\mҋZhgz+נ}d ;G.}m8QuX|2KW'Tld0jy8ťE4p4րADͥ\maXl2x0:h00s= XF4xϕie.28fT`h0̕t.2ӟ@dK[p:x*-u9XI L`B2@K΅p{0_,'Z>t%%$hQGFt-Lt 劚*TMMP,;}V:.Zֻ͛k=U곩{'_#~kfC1ۈ /׶Fh.8WAވ3tSHuZ9NV聞Niڈu fqsmTN.Y"}ۃ&ܳȀ:9YMnoP5ҐʇIAr)2hi92(p$aJǚKs9p4vEcN÷8s\e^@*c'sx{*m,o?1EL[_,]Z,|Y(v֘of/g{1 9V:9/-)v iXoHwz9};;Ur+*#1A_Jy95Sx o6w'=1kwLi_a R.j[ec.>I! Ү71KݻYMȾF 5]uwv^1?ׂ/:d#vcf!Ջ3B(ȖzOw5Ś6L7hwJt{t`яuE"Z0Nw{fzhy͙⬿YY3vi}LߥuҲ4rA`3]56/io[d,z9n9WoyEMӳqWM6 $2ej {Vn:Ś FEX`!~Htg`Ȩnjaj(MS88$4ʿ ȭ~X,F G0m_$&&ed, #{ؕ9Y VIP&fhDFeԤhw,fam~!jH75RDM,:qd WQl'&CL_P"1j3D<F$nq4aiī+Z,吡JCP\,{#_=OC Ko( Y%sUT}Y֛ ]ˆBwRKN(MAA`P,ӱaҕd–J*ĻJI T@7l'#~sOײg*@m=[J!.I]i ">CB5H41=K8btH~#JD_UHW/l4+!+-D&2pW|1]*^ ^GKnZb-}T"`b,ILlY1M Y8-YHI TCkVv0-4ä!bh4%&/=T<0 6G[,}o%&BEFt_K:eZ˚tyϟL͙␄xT6 ci3`89J z MZ" |9 U7 6Z5b7a"S'j>Sԩ&>"괞+#2uF.Gn"uRD$DZ{9:dN^JS$ih(0:P;V|5Wc2Qdj4͓0RW @A`MDiŎr؛.EފX?J;;ʐֱk[ʐ26 %,c7g<" j|5sa#9hҨOK{qG5Z u_GW*0aYJMH]I-Et8h+Z(_܉(jLv҃D%Ps.-(-m2VeAfYg}?(r>}BÑ&wJq4AbxNҍ] <lĊF.L{$LuY#R, LяL)w4P@yۂJXp2;NK LkvDra.i3悁@JVF0@D"aRj.#B ŚLRsm@䲊v.8LGMu0kdfYE:b $30$hǀsU :d8$M?`NKx< H}co[<a`.Wָ9nN1'S/u"x0i"No,aF@tkrҒɃ"a4􄤡--1 Dz$)t;tK&ӄljfd4m32fc{B7@$T5MI2ѾLĥ',8wн2UMJoE{5/.xX`4m@ 4 `J"I~ruuQGQGu6(0[@ <B& vBM5Q=UDu5L+hfB1 d~ZI t߈={nZ r[CGGUUm$B'H$8t?`U(0?;:'е!a'$Iz &_A,u3+|].>xeU 19/{7{hd˦7 #8sZE~(c)&B|MFjt^LhڰCEpqQŚl&N-FZלjԋշZ {BL܅4ZV;shbuAj>Go@YȁAp/Yie_ Z[X_iEcʼ*D /ѿՀ" A  }qUVeY+<=TkhEUm'qM"6ܘW{6]6kt#] Di3{$%US#1 *0LT8E\l_Ѣs!+^'Hئ7 ,ykqsL_A45ޫ)-jh+1C.$q&t4N@Vp5#}L7 ŬL{RS'QN)!z~ H&m4 z@Ѓ NYe;0$Xbć ՕKaA Mb&FX ㋨g[K^40@i70-삥"X֘5AB0OhkHyOMZLJEgu'r^7ʾ!g&wށϦX!.쀸a @F{dMuL8X*FI˨X>Szw[xN@jws T&`9ZSt(Ciz ϩ6ԵbMrsVzl ]G)YZ \JbQg8Q;n1cd|ʕ)ِnŒaUaCCRv }tlzdHsL'7ځ1KF|`è$0=j~*I">JaӬQޘSqC a̛XS-=}.LIkjw HfF3`ZJu$^:5&'kց2AH 8^n\omlM\hC-$@]g}nLU_(X  aJw{n&JbGٺu 9o{r;o:tF,[8` eIܜbe)raIӴ6z}Kt1&/I+HXËէ̭7-ZMd<prxQ*SMS HcMW2/ՈT2 "N[BB/DoA/#"&*@Wz)BJ9]sVٹ@Ma UQrOVu`OF Q 4¦U/r0m\st!;j5J6?` ˕B؜zF|NӶwZqLe?.Єeݴ'۷BgQ`;Z-f0瑏lp:8Qdg_W̠T^TwF"qeDqu @ڕ8mc3v?[hM`G5w2(Q<-cS޼#7xI :0, ۇ6C֐ַQҰYز};Wove4O@R` EXy_hü(q tXD{/cF{ }i;F/f{ޜ7kuhЩ%A_SQ~UJ߲ `B}Š,|+`{$hLc B/)o#pӨ,J%L 168q53= wI]slو. ^bY#uI2]D]r-rCxFPI!>Dԏ KDܑ -!9kP0Tw`l9_d-+?qY)ikKM |ΊX,{R=goTni&X7W?#R>_Gqm5*,{f"~}Č\R}%4&N YБnlQ@gXP6NP=^%`2wx:x5SW$,k<2Y:uQk2|<1"8zvcf\9O}k4;QW_2AHTD@8E80lɾS v/(m@+]衃Kq+@0@{PXK+'좾sRWꜸ{m5:mNMQ| Pyve^ɫ;x3{I`5).(^b+B7x ֶ~ɍ)D h?)0̬Z~"Y VYu j/"[j:ldo#{RP=Q=G&]qc>1Kq⍎*ׯqd|}TύHcFd4L ctECY'l'9g /@wLR^ۖ_^[Ou_d0?}lL1pV 4 d\B Q=BO%zdyӝ*KpL|ڳ$Ԋ LMJOrb诪Er1uT5?3 IbLI:?HRz2fVՐyo{ ,o- F?0ENk3g!MtiB4>cIŝ>$sc6}BC3H6 MG9ꛫ7B c_Fjy`#3CoecUW'HhN 28u8So'CjtkO "}.a]3r 3o ?B8N"`vn91auN'|._V7Xq%U',LI&5щyΦnm; }\ &G Bn<55~ ?DI֖6& T Dhc8BHc#ۗ2hlF$ja-}G! C@`;!Ley1+sS538&atl?ɨCdXGBФ WKUK'}!1@ԣS1s">>+nvS 6u {' P_9VPr#5asY |M?+[YlԊtAQ)*VxY(:~D . ?U)h3jKYin jG=<|( <2eE-wOǂU/.f~b+ʕkxN•Nzd]*ILVV=z7;P\,Q4ʭQvp3l O+w@gpl'ѽQ '@S(#i-+/[ ;\el验 q}b0{_OR#$=hvI;8|] $n싆ވ#dNV8{xw@lug܉1o8 Ev<%Gn:Hls|9Ot\8)9 F&7: }=z'Ol;C/j<\Xrc\fc)@a* Tl_4Nyn+Nj$ZlSн%1j}$ѭ$xAFy(k@eGz{K4 |<8.:}0J#"^`FWDrAI]K Q҃v7%|^4$]ɖWD9дOMQ=cYͤP@mQXmlsgᇿ5c~wUT9U0(W%V A.LvGo_&LЗnEWSHy/;SPy=Wil^]A'r =p.P5Ԧ(uƦO"LnŹnAG8R8$Q7O~S?HrCAs CH OWkM?@N.Ź4ƍ6e2#vDIm]Q:~{  TI1 "ևl<&2Qo_s?IzF\^H9FQA>ؾopt0꥙q! l@5* 9Ё ._щSā~dSX%A[O!B!޷k:vAlTȀf3n[i@$P1GǏ3T2#+/7)g *A,[@nO@#ytf3Py#kzD<T pNRb۬ m'qF7%~H{?HcSr.n{DZP,hjNE}Iƽ)J(+0xHD Fyϻ13^岎1ݎ9S kU&Od&sH7( \n`s)FM.OrLuJ*r%"R4گxrP'u~-yh|7[P_` 0 ׯҒS`Q[J45L ϋ(/}ɆټlrDA 1r PXSMaA)9dhҝ*t"Zp쎢(Zց lW.,V/,<yK%KU3ih6\WV-2116{`-N"@N|LJ?V! qPAI~z~ױg^bĠ?qtI7*jUd޾:i^-m eEǿD1~$S߈JP}<Gֱ?? @^}{tP%<@-A 17Zr+7Zw9AtH >8 Uӯ Qʱ%;Ј!9̹~ޱ 0U%" <ӌU^0!f6yw)D/qaRw5Cg ,4efmyuBW,DY(t]7֪nIpNrV8O'K|[\?O2yDxV[;„NڑHmk rw1ɞ@[nxȌ~Ȑ!2:4d:gn)|Y!O nlTvH,5X;# {}UL @8;Pud))Z)O[@$ęu-Em\Ӌk5MX|6wC&J(!wyk2{ cQ}g߯3%r0$ , ($>|RړZҒ]8o$ #Nl:1`ȭK$@ y!,ɂM^0tԙY5SnĽ? AodZ33Ī!HrNu`Sp4n@3 >$֧ԡث6z"՛> Vt٠7m&zI1FnY,:.#ZNW#!_n%Jh%u.v "HlU1BN0ńuN9Wb0iNx;w3==cHOU m(H8OQղBѩ…N<oiEwlLWTbU>ڳU4ňJԁ&L\GJMa Nʁ 'Yƞ-N0o]9Ɵ}O\ eSDv}˖@ORM@S7ӣ- .ڳu _[$S_?wC.i P0%=Bdt0#W9ں XƢmO/K5bDNg0^H6焃}b$2Hɺ Pf{g=@]EFf30G3.Cg5KW'U&؆oYWj (WY@ͫ䭼* P[DI}h2bWF'!eC ^ZZ|>ՙg +tq.M >򀚕p 0J)Mqwy~q]%ItI8}P} ~]f6N37"UQ؜BaHe5 =i'i R6B >:$9Qʹk@k\[㹗YñGA|A^7=vROZiXvi&mKESSGx)$3Sz4k4$ Rx.*NqY4{L.3IIH⦱͹c`qC٤8۵ wާKkFMc,Е&c #w`zJ:1v{&aD &ӱ}eDR R[/i?f;#'d,Z,N %59 4 C;fXF]5;r:%g0ϱtmΣ1gPC<.eV;a^+dӊ5@,X&񚍛/wa [0u^ ˉ3(`R1<|a'/O& . 7lr* v4"}Հ …hWd# f$N{uAU5Q~gIϓ?Ԗfm,%?o(\Aſ  P/9p4˗~Bխb3IkP3Q/uqrX1;:D,F,;ӊlSZ:l=QoIRŨ_%x/hWKj9^nO__&OmF;YByd@[@lS +TcfkؘJbA7=CE;'Rϊ*e¿Nys S5(R D6O\k &!ܝ$LjܹvQS/68sMTnD/KB^[%Ҏl}2}B<>jyі`ȋAӒ61$XK!9*xfpҼ1v|2TK1<(\!fDzGE rC2֋dު9W xKw.ׂ=J@b0=>.?5z "[l 237Ex[0&4Yax b(6'xV+,ǔN0i0'P;)>mSeMX:3~C,bq\)-pi׭jUCDd:m{5}AëM $+K* ) tPtבQ|z#_vwаU770֓]U.kP[&`hV>r=w{ Y%֑_.[uZ`jtK~Pgbl˚xBRَ(VCٛī6"@oe=~ 25"8%%U6}PUk3`,VD&6>Mp58"N(80d*PK.\ȯXB>Hl=5sAA&HlA!7\Ȝ6~~b(~WT3lqk.Bl g/ t ;"_*k-/ֈu{3\9fmB"vaٴH$>)/@]J*|`ԗ\Lx!>-3g46L6NE'S^\dƕ"k]< H3B!FC_ɩ}n*ʂ'uDJ+rX+< -2QEAi^giR3giuX^Z`짱q w{c&)Xhl{d͘@< Ɨĭ`%|T\bc0߹alRKϢ;J|Q) T fIeK7 R :-`NM4V=WarٹCDgF̅vrG46g@0|QPiQF^<-̼ѣ4 -ͻ9v=.唳k *՟GuRGw`{A].b&pxbi֘d((N#'l9pH"*eG{ZGH띒aO(?ƎC@u1uqAMbEm ;-