cryptominisat-devel-5.11.22-2.fc41 >t 6 6_  d3!Flض zE>b$bjf b$bj| LbI5}P* 8ûGZ@gD3{>]Sm#D\B˥VYi[&zʆ;yyx/"*6{:@y7L[S(vd5n#< KMpze̥?":"=ݖ#ro>2z+mApYA:I./@y0w~(Oh*r\=5t/&dH=BbW* ژj%}w22#茄$y%F.ݚTU3`dڇ(Ԫ҃x35J^2ngi;CV^pzc I贗Jדw'{¼8 u`:򽖱A0%M[`]@ 2LUum33P8Rjv8OQ `Έ\PlP$ *"7SQշvWfJ-)&\g[ݞ65&YJč"LV Vy8k_&7A]a0e880b24ce9b3dbb203007096decbaaa8a9cb2bdebaabe1d19f35c9a87f540a39f6f3ca6f5cde413e7e41e386b89d904cc78a97030204876d743500473045022100df1bd3781369e32219e7c733f49d2fa8fe0d29230554c2403550594d18c6296b022007ca67e647bb5e25a78b44c1c322ae8154ee6112ae3b268de48f1e4fc59cd2d7030204876d74350046304402201a6ff4f8898f93b16efa4869a5263811c6106cca8950f3c40e91a463c0d59ab8022058b193c46519b9e569a6cbde533fe4a1ffd837a7c6b9feeef6c6feadcb9b8cdc030204876d7435004730450220428fe33ffff080ccf1db047de3326563af602461f77f05249aac20ea340f91b7022100da943c34b97e66324ec4029e296a08e6807d4dfd84724e20663fe4d91f326e92030204876d743500483046022100b97311effb1304dc78a2f768bdb8415219302167fa76e2d07bf89015ccd9cdc50221009568d837e1e8b017fb6f18a4dbd14644648e2268cd670d9fa9cfcee2dde0f9b5030204876d743500473045022100935ca6f033eb50c832931119554d7038fea8ae68344a340cbae1cd0ab572443a0220333ba01c1331149404fe1645c6733a0e634f67df94be4238eaa4df22cc9fb6db030204876d743500483046022100f4ce12b7d68d31e003453412bf23bcc3f4cf4c2c12c4f7350909a6d39991579a022100f4ceced6fdc79f17a2796adf3b1cfa9ca76a407ce9fb18947a3a18a5091c5001030204876d74350047304502210096a3ac0fb67c6f01285ae73fc9e32b0f1cdcfc1ba27be7c6d91ff1730ea23d700220050016f46ed0f18c1a6701044b7b272ee994cf8d3a11ed06381d5d896511b7b1030204876d743500483046022100e530cd7e261ca8f0e8f245c28f24efa4d17c48583de5a0aa9fa2f46e008cd99c022100ddfdc09fd59538dcee0c3cacf295dca0a69db6a1177fdf79b35a6aaaf11348d7030204876d743500483046022100ae477e0c1ac12e918f821cc744984d8285e1a64e9138efd73d278fb056b53b8b022100cbede361d7e94dfc7121c68ce493bba7b1c5798983ba76e32c00c74b125c9855030204876d74350047304502201d31aa6e2af265c0c65ccbe2c9a18178430f72f7ed7f5f4431f5f863ddf67464022100a0cfd72819414d0e4365d830ea42b94941ee61c2d20faa17ca67a1c79430cf5aQUr ކp2|>`A?d % T ",d    b ` 0 / (b8l9: BFGHPIXY\]^'bdefltuv$wx<ytz<@Ccryptominisat-devel5.11.222.fc41Header files for developing with cryptominisatHeader files for developing applications that use cryptominisat.f))buildhw-x86-08.iad2.fedoraproject.orgVFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://www.msoos.org/linuxx86_64@J|$ A큤A큤fc`f ffffff f f f f f f e2f3a2f444631f32f8c895b04a2485e42cbf053cce3f167d63493c1d972eebfd66910a941f2582eb5b8b22c310e6cddf583fe4099bea6a04cc64408179a6af64226368d7245b3b1881fde17728f8bafcbd3283464b09c5b18b441901d8c90ae04d07ad982b67bef7791c5330d23e821c0484e3b019945ff49bf04125d58250dbce00fe625c06678765365943fefe1769a808831affb0d7ca7e639c455a4758427defc9c416b8378a19ed354a3307d3927747f96879d9537fa3f486aeceb54d493703dbb65a30e2bdbcbac7a1a63d51bb9d3168b47936c58f7ba86edb956be19f66824a14d65fc26fd5108b35d59a38a2e34d835822df01724c32773853645a5ee6977476c7957888856be162bd228c1aceee22bc63509c3759a62de32b0c182e5c903e883353c372df3c61108da48d21f67e127317b05a648f73d16ddd53a3cclibcadiback.so.0libcryptominisat5.so.5.11rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcryptominisat-5.11.22-2.fc41.src.rpmcmake(cryptominisat5)cryptominisat-develcryptominisat-devel(x86-64)@@@    cadical-devel(x86-64)cmake-filesystem(x86-64)cryptominisat-libs(x86-64)libcadiback.so.0()(64bit)libcryptominisat5.so.5.11()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)zlib-devel(x86-64)5.11.22-2.fc413.0.4-14.6.0-14.0-15.4.18-14.19.92f@f`fdGfg@ee6@eed@ed@dZ@c`c0cƍcR@b5@b@Fedora Release Engineering - 5.11.22-2Jerry James - 5.11.22-1Python Maint - 5.11.21-3Jerry James - 5.11.21-2Jerry 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-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Version 5.11.22 - Simplify license to just MIT now that BSD-3-Clause code is gone - Bundle cadiback, which is not available as a library upstream - Minor spec file simplifications- Rebuilt for Python 3.13- Use tomllib instead of toml- 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_Rebuildbuildhw-x86-08.iad2.fedoraproject.org 1721248041 5.11.225.11.22-2.fc415.11.22-2.fc41cadiback.hcryptominisat5cryptominisat.hcryptominisat_c.hdimacsparser.hsolvertypesmini.hstreambuffer.hcryptominisat5cryptominisat5Config.cmakecryptominisat5ConfigVersion.cmakecryptominisat5Targets-relwithdebinfo.cmakecryptominisat5Targets.cmakelibcadiback.solibcryptominisat5.so/usr/include//usr/include/cryptominisat5//usr/lib64/cmake//usr/lib64/cmake/cryptominisat5//usr/lib64//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 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_64-redhat-linux-gnudirectoryASCII textmagic text fragment for file(1) cmd, 1st line "#----------------------------------------------------------------", 2nd line "# Generated CMake target import file for configuration "RelWithDebInfo"."PRRR5`F:CIdEhttps://bugz.fedoraproject.org/cryptominisatgit:https://github.com/msoos/cryptominisat.gitutf-81c1c1f5492bc25170dd4e837d163e565c9a471d10c85924a20adfdeae08329a617eec0134c775bf1be9930b3f949deb206c0ecf91de2d7ecb717a0dc0757b2b1?(/h/72(mqWoǽ #7K9 NBId74Ƶ?J#0kwkĎ;՞uBT] ݮk>Qz ӽ^=u;9j>-hMf _O5'n}5F~u$-пqv@ŏ0{~LXٖjId ʶ۸bnugWAk~7tٻw4sw1Y7ڢ׳7vƵVorfѱ-FߝU_]>Mqxs}>!X%b[Q"bŝ,?|/$zBޗ.o88n eZiMEh.WE_6x,>ϥ듉y*p2r=#ٱ7svuƾ+p;ֺm[2Ӷ{'R? U Lk_.D(MaFqȻ@ $.IHSK H4>Ap@EPno *nT*3WN靝-.4]Fk6&7, @ގ!cFg>*-}=X 4 L d$xq(O z10\pFkP+)&5Ug Ske U?ɣ JWs|tߊmzoU\Wmߴ]i-u/ӫ'g=QQc¯bǟ~_ݨRy뵚dğ-9Bs{'Vt jеYPO[8[2o{:1gn(k#ױ;d?Z߈\kwtҦ(i!.BSWYnt05T),&iRYms) est9Q]hfÙ~ %GGBp4vEn!ogq_e^@*]{1'm詴6˻~L9bY!|X=mae3v[1ӻc_=bsTI̱ȫYڒb@~! qrr/wCNNtlq HknF_I h]#:ȱװ~!,-IϦ"pwLi_jG)l>=Www+4xw}ػeܠU~e[xѩT&X7 D$~f@A~^!ouwMP4?XStv[:at0hm#"ߠ/Bo3=Lq֡YY3viL;R% Ko(*D?NlkTmV' X*x)XMoCW޽{)( N04,*cĤ+Ʉ-VI%xWo3$"(vo OF"f(e]v3@ S涞-RM$ITzzIhDI!$EpL=H~# ELݕEYe3u5K IR>r<1O-/iLW~THGH!vh Qi`b(Bb>)[FDLHGhKV9RК9L 0iF1X, dj DKOD"o~ Aj㹤 6G[,}o%&BEFTiC'R]kcYNwoɾ ޜ)I>0(]L͆n.݀`(Fc3 ^=v^ǎֳÆ=Ƿ@3'xMgtzsT ,u*:c)eD[cUn"轌R.i=7B+OT'AQ$Mtc1 Fj4pvj- 䣹XPdj40R_ïmsa$\UOB/8i+ӴIV(Gtyg/VU:ݖQ]sR!,cntFyD(85Xx{l1$")>sa#=Pi S.xkp7f+Ͱ,~":ijzz+(Kw"JŲ|0:SHz= BKj`X6+ ebfo3 )?uꐐpI.Rpt8ӹtc$)3,)yE nAjf>& TDžG pjod!P@JXp2=NK$LӘkF|@ "0MZs0c%+#ThP`EhB&+][@`* &sl9},j"@2cL!r?\}G 똲eǡ$?`NKx< H]co\>a`. WbkqyΎǓLi"b7`@#v ¶FrҒɃ"a zBЖD"XIL d2 lNުd2MXh̖oیj ! `~PS$@\ڸ1{‚[/SUͪT(z\ԸW8BE u}sm,HÂfa(2`;;ꨣ:l.,0[*PhXxc(Lm5Md!OTQ^.߅6bA7CIBb߈=nZzp.\@q$B+H(@P&v"<at,SEf |ÌBs ʤv05iuhF PR4㋏ DJBIP * 1 $0uS/et6R@ɷ+ƭtXڕZ+P0:ݾ_P΃-\>=B4p&5&0b߭!9ktnСNu?I GߞB(^Hؘ+el(;E=쉅_<`뎬cO ?OI:ᇙv+p#05x\g"xN+'>r ~M%M8m+ #.돽vHӭ*CY$GH2F gos XaN1 K WvK86:R J/XO<ܼҼ9(WfR ˸3YCJ8$ldƲ z0B4Fr$Qo(lX3΅H#?Wl<0"sEf-kE'kZll!V3K6[ѱ1]Xӆ?[7I E ޻;GJ^JQ+k3Y{d!! lk:ȧHC$?=G> wM] kOòY̚GC #3 Ni[{*|?0 ` {I6>{ӸbQQ) W1oS_0T VG.5p 8}wUO奧PzlAހMk*kA,X1a7~**)&tȍ@mS!w+U lt)d-z O="bX}X Z n'r!Y;wm|oA:6B` +XWg-b)Rj wI;ҤՀjoo\g'28͏ qT~ClX!wkjK)Sl_{684;bcnd"Y/9GSv`t@?DmnrYou)a_M.&v61by|34d/O&*vm ޢb7(S翙Az/:|YA%&/,VAدGɛ^єތ|hE CFBPհ!%`np*g~x\dw<87^=Jil'vh9(x[q~2cqP~\:ĘwPdtϬF7nӭ$\T瑄F;~iꇓ1e%ztYb\lO)?>L>أ Ҏ7 _<}=s}hQa"Ă K-%nAx2iU=h òq_wIF Sz]XhۈTE0@3|:#yLíne"@O;ߒA }ovh#V/Xʛ[jCZM18-#KЉͥ™_@r&\u:^r C?Ebnʈ+)'2_%-rnyiya,`h br[8JZݣH ?Ci/TO/TB`/|wF:X7v 9Y^tI@yBvoD] &q_ 3*٣0ߗ"/hH)OVzS pGs<%\NTP9X[7bHPI'ϴoLdJN~LK_mbB&ϖF.5 b&eJgheujs4llqfӟтY١RF^/lJv[:j0?3p 88XM(0gؙϰ)FYӌLtlNb7#zglF,,`i̺1eF?9|9:r 4`jb+U$-2Sdݒ47}39m0L\C_+x栽1:K6ڪg9  Pm;>Dݐ-agfajgilygJR6Ri ';ϤŸ[\c8EVܵIse@!A,G>,jz`.0b#&7b#.BɯqDT(Rzmi]쯅s> `)48`OP;L;hx9%X'yc+5 sf=Hb/B@Cqܛuc@Y@a |;`{Лiq~͓)M4,1aG(-ռd1^Y}G/ :LXc^4?J`ӷ`1lwN&`uJ*f_+"ZƄ/u|HwE(2G u%H,EG3[7xg32cbat!+'=b"!O.)!h9X#okUosAciF'߇o~D #%voz+`OdeHM{Q>I5I_r^SrB{Īi]IwLN؛2[:$LB_sI"9uu7mxdΣwBSk@V}Il~̹\2W ZwBN C`INxݏ׺Q^^dZI%V-%%A: ?*݂ywA'JJF+XX1 /g~&"bzkb"vQlu_|~b=lpeԥq?~>*!) 6CW6DlNR Ku-)N2Rb[8l&.np߭}Ш3^.iceyNސ!q]E.Wrti/)@д<^Zy  V5JI, Y3@28sQ&و=UO>l ZXAM  ?AN!U9DI˕5eƟ~H#:A ӛ5G3!,AX] $=30ҔY±cٴQBn `'{%A5c=xFH-T%Cr/9j99̱ͣZɯghyHW{pXA%+g|`)h0"Nl+LcyK(L`acZm+Ǜ?蕲Xƭ=cv%e/^G]7A%82pHv:C_\+4RiO?\>1zaJ&JчVؽ@L5h ܠCoH kDd~U]^zg0c_B}}9i-5hxj@ѧ/B)DE`R$*s5v+,aΌ۵4-A\gT۟llYk\19_bk/5oMC^;U魜"OP^=N"L?0*,7yX|In "O3]@M4"Qh9 kAwYF96gx Rn&%EMCmK!e r@V0e߬?̩/pXFE@||8"`Eco),os|D>Ng:%e BeQl.9=unPv9ݚ,-нЛ5m,́ma/;$1$9J -n~C_Ț%Up"g0- 4$Q2CRP9o7cڨP(z;d%Omx,qJXYV}3FHϬ+m~Ӏߧy숬0Nj~S4MQrI8߷k\,:F! wX?8P$ܠ,FQҩ;ΜU3GnV U[rDnqU-tLۦqf_pz^kZe_~y5(0= ZV9NryHKy722lANLƀ#/߸۝wK*nM^5e߾|(= '$f=  tlp5&X޸ݿ=9-JGg7!X1d"wUWEǴ+OmZ sZNƚpN*2TPo@EWz: $sX似4l0U&448N' ɸsye薏LHsp -=$NW8g:X8@&'9 0:,)BB*5' #hh%XBU'YF@`- h2 xsonlg܎TG'>mс`o"̮B-Gw,oR+-؝p+@=C_(j];>5 +c dW5AMU?Gԭe y~V71N&i R8o}wųJI#[݄_0^n/^ -ͪӦQڍ6_N rnT;JZca,Sty`\3&l:=Qv}`gH]HZKܥ,V­wKra3 04t)Yw@rF(:iV{:׵/7R4MلAvEc!Q|2giAb$'A҉LF)b\)g;q+YZ))tX .ߠւ5$5@Q &Gf7]IH~ٔ/xFXp QZ'sZkk\flʖع =478 p&'vvd}-jy#aNRѭOaH]ө(*CQJɡ@sPA1Jj Z|\4GYvb U4 zp^ג؁n40|MEPo_>A~hf%%$ŦV{_j.4 ?p#&3u6&T,X%fA w8^r{x6N-4D*tW]Ɣ2$86gR*DkWN -'[|M2=pDKY Ǡj-WpA;./$QqI\Ho6Ps!Ez^,VM^D){uim:jE-ƻo *ܸ; ĨHߕ?+,{lPF8ed'Y5^pS?HvT6!<`G#uJ;T5`_K %pp ǫD7bēj 0kcʕ#zE]챥`)uFE F(xF:w dfJ/2(6")Q,fV,{fIhϹLMѲ,Fqc_} Yݰ9I7JCoA'_c}` Kg㍮K2Q Nbj҄:<;th&t=^rsgy'E9 ƛ BEHČSVڃ=?dG$*_xpPncMvmlتG'K`5xG-UK*,>1}F3%br,7$ɉ$H76N:[bA3[qV͢cv6i&b0BPS\kѩpxVTZ(&- R<g' J07'rT!4":531,Rê$ d5pu /v1]J/ړ@"KUõI^cD$+*cYoI@#Ҕ{zӬ; K؂955>B ,b닲Q@pQV=ӒE' dd(*,MY5Q@1pVh(Ɣn;;Zo}I0%|dә&-5h-lD!xr0j#q`"s@KathJ9F@gܪ֏t'+㵩5?wQk^:rhDݸ*zI w19{,X43 ) mÙS a/]9E=]:@vX&PV_@AL)e1t}kv@|-RNPI k]5]+7$V|JeHKP{z<9F  qܗ|M^e/he[e zv!sN|g"c!ʂK$2$fu-L6*iOdS.yR(KSΠʾF%J&+ !Z+;}He%iA$q}r"wAUGؼIW91GcхdBt ied '),n@ܻl`sD O1h0(o\M㻭u\~aŜ$fpG|aG*"\oP-z.lVkiPɻe@ jy+\OFm'4 8۴7H~_}Ȗe"a|A feÔ_:cvHn9z s WC .y;UI՘ d TOW50RuWz߁BIjBYSA44p\Zo6M L3}T [y >XG/ƧҿO,v$/X(rM 2CEқѰ΁E>}jl7}'6G<|wC\<-~|WZvcH,F@]V8ޖC~4 bȊšyq[!8ڭy=#U"{HC~FUO} #pp>=Ahdvdt ǫOFu0nZ8;߮8 `P#MaU5lHcOJ6+*8`qtP1|>iM2biv J|`n0_J3'UTYӇV7]gW#(9Sqoˬ:4kyoKc#Mt-i;dAj VRhPzӎOFyпmxF""Zʼnvt @0~aeEZG٭7%q3s t*a#@+m}_Hvë&B*@S}b[V`k$9;3ӦT:6i^70<9SGa;v.B G!QPe;ʺv<(p]f8k;ryͷG!Lt w(ރo!J[@cє&lrCo)Fڷ]7A\nGc}LÉ`6j(IF=.hMa{?Њ@-&: )>jr[TJݵI58Ͱ5(<1dd<]2#4b$^ǂ8Pu9xjrOZ Ky9v[静:S*F?%J\a;~'Ί@jL@䦏ɺ#n-8fA ٦RSssl`ѓ3fىAdbew)9~4W wmFlCYBs"wJ5t2=J=SYCc%k])I _׼mR枻SnDL/u_]pysq: <ի?.@}o=REH iGhQ Tx3dLqqZǼ X-HGFZߵ_й&l]7  'CLAFʨS¹OgČ"x $+6K' ;<S Cr@oA B}կύo&alFr`l`pFZp#T ˊtH|,?/D]D: D$U:/m*"5Cs]!&1fVi=C&ż::=Mx8W.h& K~ -~71J"͋g7;"(>ulU t7j@f<ۀW\"-B|(O M=1S/zp YC2-Y-C'MF٪ 1S !%i" O,ӱ}n?KҖ d@WPs`[&[]> 'xV2xGN hdԋ?C + g1$)DexJ[fDzsFюDDaٔ;$w($ wTF/8ݰ`?H8\nlc.=8I!L-/Emص{G{Eq0R՘6q1Pɼ|y'}C7|p0Par3*{t5? ˤaldkNw>ƆddUۙBͼ0U_p1;ͻgIG]wKYY6T>ߘDsoa+t2i"^(& Y/]F2WM֑fpӄl|VӭiS2A(1PtZ,1: ^JJȨGd1XGܧNQJkւX'*JzͻIY8*#5 :%>įá 3EhཚԆ9Ʋ./\x!]-GF:ћĊ-:`PSUWMq{pCXTA[yZkK4B) X jԆpHe%WQB *LO ($&\̄|9hy S!J Ti/oy*DT( o˄hW=> XC}*Ľ(?HSA:?q\PטL;VzZ3<"| ړLex4C'aǤ=<}/gy0o;- <}R DvQtSxm1 ώ[EgIZ. ,'a-yȨB({od 0@dV4lWC+'4+:T@&xw>b(=l .GfjEŔD-Qd)t_ޏSuG%@:M|[2T嫅 |>>X wjƋ) z?Fmi1$pu4w뱸- (*e~,f/?f,qKuJg+#J#eP"RA9(R'|Tk`|׍BH! s@dr{9'a!KnXE.|vj~ݰrB׿/EAK [׊ D 20D=W[He]G[')PGZ]<^{}4UMrP>y I,RKc$+e*Hr.+E|-Q֬cWXԾV#4̯7&jVOCSzWYH",~~ @"O^~kwICh{q`~6-ϴ6<.p;H!