cryptominisat-devel-5.8.0-15.fc39 >t 6 6_ 6   x3!92d LuZLdI uZL=Pj=}U MQcgB%A[U SI3\=YaS3!{>aH5+6񠣳Dtu}鳌nmP%<e;i9 dlLk:_@4`7z>F:0U6mvU9#m}@p7 R+Ag"Sy'QG%\eM$ L+=C*AlZRt~rgtv#+^9_MaKQKw{8[#zW64iWpJ&{k}F% ax(]BRk̛[CG z Q"0ы ~@ufJZD vgtZBi O]n歑j17YW.VL889`T08x}U,̰qH4doW?~G @$7(WkÝ^;CcW3/@T@om)#u-Ux> ~^#M?zz3ҫbXYEϡ/YP#p6r00;搫):dj] ]5!m<;f.>`>5?%d $ S )/8 d  z          O   @(>8H 9| : : G H I X Y \ ] L ^ 3b dmerfwlzt u vw x0 y\hlCcryptominisat-devel5.8.015.fc39Header files for developing with cryptominisatHeader files for developing applications that use cryptominisat.dbuildvm-x86-15.iad2.fedoraproject.orgeFedora ProjectFedora ProjectMIT AND BSD-3-ClauseFedora ProjectUnspecifiedhttps://www.msoos.org/linuxx86_64.C<^QA큤A큤d'd'd'_d'_d'd'd'd'd'2cb3b856a66b78e3bc070e054e7ffae78c5103f0ee512c5b750c7496308d9f1fd23276f28a6b217c21b07ca95fe6095d1641295d3940325efcf6f002f7e4dd4be35ff67d31f839f24181941344a80e9fd22da94dae279c709a7dd29c79c23bf332e44351053f92047f6d08507ff0587f3315684b39fb7fe581ad79bd2bee7919ecc0c13d99ccc395f33411b0b5ec49dedeb8738d6ef8d2dce2e293d01eb521a441a3c35a367a02790586445aea99fc50cfa340d20fd97bbf00af588a60720ac1b9490dfdab1d797676b175e29211f350300d8e0e2a6c50765ee762846b3ab0b373ac506cbddc3619df74ab5dbd93587bea1d88d7b9a8dd96630dcdeb0ffe5f62libcryptominisat5.so.5.8rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcryptominisat-5.8.0-15.fc39.src.rpmcmake(cryptominisat5)cryptominisat-develcryptominisat-devel(x86-64)@@    cmake-filesystem(x86-64)cryptominisat-libs(x86-64)libcryptominisat5.so.5.8()(64bit)m4ri-devel(x86-64)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)5.8.0-15.fc393.0.4-14.6.0-14.0-15.4.18-14.18.91d@dZ@c`c0cƍcR@b5@b@b&brjaNa $@` @Fedora 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-8Fedora Release Engineering - 5.8.0-7Jonathan Wakely - 5.8.0-6Fedora Release Engineering - 5.8.0-5- 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.78- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- Rebuilt for Boost 1.76- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild 5.8.0-15.fc395.8.0-15.fc39cryptominisat5cryptominisat.hcryptominisat_c.hdimacsparser.hsolvertypesmini.hstreambuffer.hcryptominisat5cryptominisat5Config.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 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_64-redhat-linux-gnudirectoryASCII textPRRhttps://bugz.fedoraproject.org/cryptominisatutf-88be8866215fe0a79791d7ea11597ba967784defd68a7abc8ba574100da7b9baa62343630a225e563e2b4b6a0866c34747703a345ebbb84a9252e4a84548cb34b? (/hqi/1ʘJY,p²k!u۴nޭ2 |!?ik߲.>WmV-AU!uʮz8௧+n==-߁}I]7%k]Lp)w(F"t;h\=kt&Kcd a=Wv;1G˸yD,VO dk-7k~kwRgHBkSﴞ68h0 &sOS3gS=z, FYqXqW[[IqWXQe!ȿH ]FlEJ^ e.1fUa+L4ز*4 f\XEmEXąM`Mo 0Y2Bs[ 'p<2 f._m. s&*,falm E'c`0Lckq`^Qh0嗍?4W[gSax%i&㸆q,lXqv֭stsntHƗ07(]LAZm `E/HP}3ܧz\tW; zU#]j5oٷ]AFv~GI"ŝJӻ=QssX}=y~=}g}uω"濧W Ny %j0 |Vh@@S[A1SDKoeZd" #H1@@E$k^X{1-s]ǫQŏ[/@D5y YXs -Ju]gzv :}kP^թH0~ Ht}O>Gヌf3}JR`9sa26|U6T==%1}әwy[dU!-Mz?*;GEvVO[O0֭s}cM-]\lrܲ==i[>I[`ŻiϞO{#rOaQS[ ALG}:yLZhͷ.p||U_& "ܸzZԾ_Fk;=Q*G{1%BPl؄CY߆u[ /23{(4Μ'7w{jbvRW*B)kx.L2s,0~J;^2H8 chx$daHMD\Ds/n Q~>pAr`)[3vYjwkwI'"^AlQD佺JI jG{q0ۊ^$ p%8 F$\$IW(-I$~!YP~59F2K8%?})t pɻT]a?z~ȔC ):;-.($5*#.Aۿ|%ֆĩj$?-q#a<@.YZ=))WPģ"(L\"!ɿ3MaR_pL"Js j֭ da9;n85W)4Q4QeŠT>ԓD-bKcY5A K_lDe3i[Znu$}OZιr % y=<[$ $IiY`Z!膎d$Q峼 zf BD"fXCᄏ-Y+ދbmވ$n=<{].`֣G8| dLG5D"*&Km ,JW%d.,Zl8[C9 PlR[&kWK1˕`&=su w N[Vƙ`YZ3:H5u+Ē\fLZՐqʘE]"a<>Gi)uM l2M+`kWYHp.߰ٵM&.$  g-,/x`V;EP8rpQk1lYP:*Rܴ,X@r. $#mKE:6=1=25kgr|k)C*_4&~~8i4HPD@tÊfWVA" D X۬A_V?`a_3|vvV6'm"8z]_0ӲN&-Jη(_.<匩Y[-#c*>Q |1QO4JS4By_8 0x0G8GBg2bQr NuG5WeF7o da_Z5jq˶+gC'|Rb8s-d|xy-X{tRYmh=[TKCxgEh,(t LRwV9GT 6; (%O׷=;z+0`H3@ {ԛ=Oҩ*i>ayN%rGTIG]#sa#OpG{Ia:鑀?o\H)}PKIA7!!  -ڳ9M1})=ahv! pAaRy/AIM[FI<ƸELB\ ʻmj @SûCZ %Oxl/b[ B# cAXiʏ‡TxQ8>eaI֝܁MUrڏ a1I׵-JC{(!F%<ߢW$*S?ARC!Ѭw˺LQN`ҵpkUנayeS#_}iaZ$!`z`QHD wڅ_JɈE֠HkfF6S~s2_dQOa<دTgӲ[Kp\`AoVւ,(c$Pd3Vf-86.#>W, tCjwE1d4$vFrKjeTM]T}|: ?k H,}Ef.m2zJZI&qB#]S$O5}m?ӄ=Skk"Fʜ6_ϸ7{\r'dS {:5R:9pC.0q+ǝ7p> `^bKo@-4ZL{f^Xm2Lcj-cȨVqqY&B%$i\ C[02YL!IT TgBRlI5mė.|tIAI$IK+(!Jw,KA҉97P`f\BK8{>TdMUN Cf eywiv^&(N[p‚MMpW<&dmWԡ52'TGufKX4̚*` Kαe)P]A: fX9BF-Pxdc \?, b}~2s&ȕm78%jI'0HYŐIcBZI5.'@;L!9$ߣJ770J:6Kҧ]D.E=?- 86'tꦚPgbSD1ƑDYt ~n:yVPc) 4֔%@"Miq0--tBOyp= oG|^yMD_ɿjJ"ytԫ(Cfuj^ؚ<m,JPK],5{#>uSJM169Vs9F 5&S=Ϳ̷ՎT 9!"(YeIb"$^ >m`jJR raG#?)FpM߸Gdc6p+ +-y!yE0IvwNcњh TT.ks o<}BC !, vXVI&IܑxD=P<9[M!YX#c5}1[UG 9JJ!Ƴ XJ^VmI~HXڄy_}plыL;53:u@)hs+N<Ui7࢏,/#-v:.3&b%>;x4;I*V(1os]y,$ż in:/*Q_.% Zz)a97.8YnC {lDC]ڬ4dnIT$'ru|WO\$i]w(1cL;ܗ`h˳zW `d +WlĔ:4[uHt7pQ@颔z` f~aѤBiGD ow9_r(~|e* ^;h 7iP5ީ;S*FC+[Ow煳(CmV@>tRsx!ep֦Eg@ +P $-uz;2`ŗ||e!GĎoxF.C/i>d ZIƳm7#s9v>i9@fmvm1%A YV(OrP d}(_h-3M>OΎLDiu,4Sqh=gMe;] + (="s99~La9P=Rf@ ԍWfrvR[g`P1JD&5{pI aehXc-B乀~ϳv~b͚wmVBCJ} ׏]Ru{0M}\wfMSAj55τA$ؠqytA//G~H˶ͮ8^'ys )(*:96BoLr,{C L>j`ԋ<8:<=*5U.kPRh4`u#kf[E,jWM)!\37Z4VhdˢC|i1;Hd=HNJ0T f(LRS'2DP!tayҦ" !SSP%)Xn3k C'oik44T˹fz-!.9UT@Y &*Ml( kl OKz#QD&)Bff#߿3ȧۘy*ί] {qs5r/ #μ}(tZ8fz%9sfw,E mkBn"Ԕ(Gl(%jY{ìnelFc!.RP u8HX"B~n*oA(2 C+E'pKBJ Gh O`qGԝNw 83t$z.j~Qk`"3A]jH3.Vzj γeFeznayEt*Eh]f'[7/wK]u!ɽ6ǚg*U*3JcMt?ۙ]w#]rnu>YT!f]]+ZcsL$q-=Q@ 7bQPiPЗj0yiZKƛ腬byEO42tw0j# BQ9dwedHRR/FPŚp*MEbtMJ7}0I1t9!êv#InKsd Ȑ_ .eL<>yOXqo] '$~lp$nK1BV ahidz}dѵĺ+  Ͻ 0˷@3"mn*Q-De!SȬq8T:+u\g Faǡ("zJ(MA`:?kIﴎ/,ߝ ѠBX}XӬث[B֨lI(WC3|1WYg" MwHIԉpټIZ:"=8U,W_'?3⬐"k#w-AFѸ,0cy&y)txT|7brm5oXsYփȁV*vȈsL̥9gVKޜ; +p%%8`lZ}Y6C;9=˦xAsn]&lq} -5t/0ڊ4>jTp~NEAc [)wRt.D3AEMW"\-v{DČGdc |*f$|%pSqzyQ Va,C5dRhSQ5?ך;f$j$C@$2_GYԴVYo$۟d ɘ8Ȅt9a{~¸ }~ @!0xs&:#jy;Ltt^mb_;h %(Ŵ ?U04. cn̋8f#:m!츑d'Ҥ0b~ݻ5.QĈ\«ng-E L)[9t~/2,N*;B6a4*8+~_V)C$&Œk 8:<)]Fab(κTf lq =S9[mHd+-k:X\;jp"iYطy[e*]幾Y Qd5:J՜ f'es4Dp$Q3fb*X$g: zPl`2clZtqc$naaJnEtrLx߳5? ,R:dOLȠbWYw|5'E"b"v.0ެԚ([3INuv= *1L_wW{M޷oc+ ؃P*wnZ>?%uU&x^|nNZfխN-^*/:$y\4mL J'{qپ0N\ڊ֏7''Ee,c4rNФf! Dp8d HwwthǛ!d!y.2x me:sexP{ZY7;U ]W)O0|B<8c]%x&qD/{W)78{h.^eA,0\roevZdoP UWek,&VQM}qRKf Lo/?]mx2UD̖EQh5gfX ccRxՃpۿ>vGouU5k($