cryptominisat-devel-5.12.1-1.fc42 >t 6 6_  l3!XPȬI^Dg ȬI^D C}+>N:x(bӜSQsjpM~+;@ 4nhMd~ _gLӚ#>h9*EeY$8%S7vf+ygNyA_G[UBbieS;RmySd$F)چ?FD+}N?"DTLmaK`)uH wxY 3=:j9hr>d,DƠpWLiw#T$W"zrX~bVUk|)! 9[kʰF.KX~ދC m7J܌%P93pOskL?D/_@ hڹ^,T CMMoasI?v\w9:WTM >aK ۊAxg6kO$SL^AxҮfzYk46&:_Q R" SCa23cfe2edf060fc8b02c7a8037cda465ab2c0ea4d25ad7d7b6ee97d8b1818dc87e21ba9d49d866167406d6f5f18d4ce00f8b7ebcf03020462f02aa400483046022100d49a52af9663c47583dc50951fd9b54a52691ceaa85425ef06ab835208206fb6022100c22bfc51cba44154603f3a4db487b47ce09cd260484e7df1a0304de6f12237a503020462f02aa4004730450220249651946d05924cb48c28f6d724505ae7c89e4b52f4668c4e6d271effa64bc4022100cd25c18f92d14fc230fb84675e60b5a856e9579751c02d7354cabe908c1d044903020462f02aa400473045022100cf136bdbfc486ea18515a6c3331f34759a948419210d110f41e04763ba20e0a20220416d00cd98df6fbe5f79a3c8415d61f2cb076d6f9d8b8056bef1d9c7bce6720603020462f02aa400483046022100b30daf00917858d59ec75c4d132967b3710480b2def6e9598ffb6dcb49e3c5940221009c3cfc16810bb62536d25027796f101a9e151db1ae4863eb1aabdd2b773adb5103020462f02aa4004730450220742b07f55ceb0ac77b057142ec31665bb21668dddd17a682adee339c43a9dc39022100d9ad6942edd9710c4ceaf80eb5b4bd7a586b2d897e699c142f757e3b6bc1770b03020462f02aa4004830460221009a1f0ff568950bb94fbece51e90e09f47ff1b914319cc0c55d10cf885e43f401022100efd9930186366d2e621ea29c671e7b97d08ab93f701f6bff0a8beee12aa262d203020462f02aa40046304402205250f5814838381f9f95f449a4006c1b0a1fd9d1df4a0a0a4ca6e4f75036338f0220135be864d40011206d43fa37637bec0aea851c5bb4626a5c348f2650754191a203020462f02aa40046304402203135b1daadc754f804cf1053ed12dbd526d18b8e5199f04c0cf4c39ff3a94de702205e0f97a0be35630ccdcffc8933e93dcb794cb67725c372aaa9ae4a496f0e8b3b03020462f02aa400463044022039ade109d5a027edcf0557113e5c6209d9c3be928ae52caa5d36f707a1c6c31d022074233007470931123145bf2789698903b142192f9a3070666765ae8257d0f76a03020462f02aa40046304402202d5d83c0332753b454f31ec831d2b23b093fc37b900fe7041b2c34cb73b5f9b302204c9935617ac8335e1f1775066ef0f52681faaa8047173389168e3c589f7a2188QTAk Q#>`A?d $ S (` |   ^ \ ( 2 (d8l9: F'GXHIXY\]@^cbdefltuv8wPxyz@FCcryptominisat-devel5.12.11.fc42Header files for developing with cryptominisatHeader files for developing applications that use cryptominisat.gbuildhw-a64-04.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://www.msoos.org/linuxaarch64AGL$ A큤A큤fkggrgrgrgrgggggggge2f3a2f444631f32f8c895b04a2485e42cbf053cce3f167d63493c1d972eebfd58a2d2cdc30e344b2061b3ff46ffc8fe3226105c30776a35ca358149112ffdd9226368d7245b3b1881fde17728f8bafcbd3283464b09c5b18b441901d8c90ae042b53d15af4abbad38d144516a9c2253a4cd5ecb940acbf08126f52405361faece00fe625c06678765365943fefe1769a808831affb0d7ca7e639c455a475842f6ff59be1dd0a04413bd6d9aae8eb8c523f78b879e18becafb1a94e92b12d7da9f11893cb722c4bf23bb505d14dea5ef0902b2a4b7b4d5866a1d8fd4888fe4ff7ff6c49cf9c69e6d072f7d6ffe5df1aa9b671c769e232107f84254521cac3a54435bd753bee86c5444499b511f4c3888350641502498f4a52d23e38fc331ece98923e0b5be5860322056e7526dd50c53b028c21a351703c9cbffd0c87f0ec983libcadiback.so.0libcryptominisat5.so.5.12rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcryptominisat-5.12.1-1.fc42.src.rpmcmake(cryptominisat5)cryptominisat-develcryptominisat-devel(aarch-64)@@@    cadical-devel(aarch-64)cmake-filesystem(aarch-64)cryptominisat-libs(aarch-64)libcadiback.so.0()(64bit)libcryptominisat5.so.5.12()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)zlib-ng-devel(aarch-64)5.12.1-1.fc423.0.4-14.6.0-14.0-15.4.18-14.20.0g;gg@f@f`fdGfg@ee6@eed@ed@dZ@c`Jerry James - 5.12.1-1Fedora Release Engineering - 5.11.22-4Jerry James - 5.11.22-3Fedora 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-13- Version 5.12.1 - Drop upstreamed remove-old-api patch - Use zlib-ng instead of zlib- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- Move configuration steps to %conf- 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.81buildhw-a64-04.iad2.fedoraproject.org 1739302931 5.12.15.12.1-1.fc425.12.1-1.fc42cadiback.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 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19aarch64-redhat-linux-gnudirectoryASCII textPRRRdX0<Okŕhttps://bugz.fedoraproject.org/cryptominisatgit:https://github.com/msoos/cryptominisat.gitutf-8fdbcd1c53ff702d6749ee923de84bb7789a63960e5d19b94379f2de1447b7de7f98bf3b09cbfee067eb11f4c6c43ac90e915362a17a898922c1bd29c94233459?(/h/722̶ ?@ut'$7$(7ٮ4h<2N/͓Xk}xg;fJgc֕+ݾhi,U{/|T^Ak*g?|9Eh9j _㧜޵mG߆%u$%пMJ8r o ,P b2Xkh;;=6z5*3YowƗ7Cu{&A ZK6~נ& Gׅ{{5Qcθ+^nXjlKrvx!4COiDP[$u_o18Q2KgA'Oh RK;a$uL+!(˔i: ]tL4ڀ0}e:Fdzy2 Fӗd L&i8UPl@>`*B kL,2Dgd!tisو@Oc6Al$0Pf66N<l4Lgm8t(>4  OCu0]lE0Tk2ͦЦ3Ɓh*i2?,ukރkgդh*OѭrynnqMO>NZ_sѭ/iB9ݯ?~5)sHGUfQ!UNI94[vgen.Y7t\_g+q%ͱ{&S!e"!)J[Q\ofz0P8( |jw3XD@O6&bva׈ KΪ3[gK -i| yL>mu)5[X C &r , ! A7G0ULt6(Qzo לõaeHǚB&F!%2ꇨBKd=oo/@iWp^rM*/7,۫oW},2-Ưbǡ~aRy͆lػnu Iڣ]- 5ouK+cvO7[Z 4Ls^#iTڜ-J*yښt/͒bZKD5z;?ޯ6:u1%-Zz p:{KQ=ـ2y%,-}Q zxK(yJIkMcثH9gJk/-=E}sCa}}o?,1Lc1_<}Z(M~2˚)$bֳt2Y~^y9K{R)fXʰ7!2ރ6yҷί{qkXz^Ujv~qK@鸞E!}XgXZíc,[ӵ_jnsXk}8KvB6TZXqWj};RC*wOAβn`n㵝[|*JX ƎҐ/I9:(ȖWD1y먿9n+eAo:]ⳛVL?VR..rF9C)hvל)ֺp>{i}N 81Kyg|mf6zk_Pu2^v^@WݚY`:g3ћƞem|B5UmC3{E &*S^G*aҫ7 ]/.9R]7s w  L, I&]4JAAjڪ, UUH $QUrgC,*+ij쫼`x` 71&ri,[RtX@_+s5HFX&^h#"bA k4|ĽAd!NSLt[[jUb)S@lLh|1JVZЗK_p$ILjIb, e"Pր q(BwAxD2Jg!vi*8@Ge“y7R"c^:%K;U/;GZ8 b)bi~MP6ܼW3x{cto%w8(pVAA|6"BS,R9V`5LTo &ޗŐPDD@#@ [bL67;ľwl m=[JAۜRi meMߚ$gQ*t7"Vw$](j%9lV<ѡ8;*1;-mK:ӕJߏ i~4cѕ.!EL"k]eRʚ@:P}GҢ,Gsv6zaazX,Ť jL_" 7?n@eMj$UeUkq Y6oPrT'T^aOT-ޜ)Bfs\t$b'X /vr?#F=3i]00tbٳ|l49{TsžI"( e0M4 UG3]B ߥeinFdu|Cֳ~Y3h' ?OmR|:$%91F|qտ˲(U1fp$.>ĭeŗT=i:3a#gB*C $-dه18bL㸉0 RR7/pymh1V,Ttc~u0( O 60O٥;]0 b_DU9!{&@@Q= LվGUZq06Y ̱[jU Q}QMA|<6huJ%7şb@0 ]|ҤE3FiA2[ o5+*?vxxRM@O;<tA|b.@m+{U*AOfqI•y"]\G ]NBחhJp %|?<~<PĞz{ꩧ܂ɂi >B2"TmUUV%!_:eUV_U|@ ܍9JÙs?vGR5d~,^藆0( DD @Tmls-fSYfQ\eD9Ќ APSc2jD BH4"B0 # g#@LՌ wyQ.rmc/Ge Tơl\U|Z'I త n&h  Z81nalxQO#EtV&&ZgV }]gS?2=Pi8PwRx?{MV,G2 8HN]WwsP~ҁ>azh$]}e,Sjk eic!LKHSڐds0&zSBze0 . wV%+0& FL|a7u!@!|hRy$9zG8G'JfTvB0{cjz# 6 P:h9 z-CA }_,`IE&?+LE5?(1.4fG ۠0{$ ؚc_z6;:Btpe6`YDJVZD}$@Ow1|d}Uy nOrSZ7ԋ5foB|p*W=so)c aдkmzDU2]BR?/-؟˰RS\ؤMM:z3 tU(xYHx,7`o'QhEYL(id^/!h]F4AO HvBC'N0$m<qhOA㿊qcOK˺g%R- O$ /1ԲȨID׊ZD`Z>l`f>78́$4B)M%";G}8ra,>8- 'g e*LR|?cnj$%AO (3Gm di@܈9@ȣC;M@?2E.Q6YG0.Vw vߓ nhz( E"fZ9!~Nl*3PG_dvYYǺw|guҷB 9_!aqݬQq4|{tVjGwxc$, 3_Gwd*+=JgOZCL }`Uh,? fқK;E,@Qh`O iˑQLW4x2м* aoY@2iX\T8%7Bg >a_74!\ l1ód\фgzSj 햵! q߆eb ۋAvwCI7Z#r/M8pfNJkCLH&K$&V}wAw> ʒe([ͮc< _ۢːˊkfzzBrDsRAn= l^Ы8jف-8)~4(Yt]A]$`Θݣy92Ѐ9 #Զ¶ &HΕ&kLVk8MWp̃@ZF}|~'nx:B>Fv|HP9v<21۩);EYn_S>  A IgHbvd78UxpFx  HKAV`rqx?m+ĆȦI܀*5FyG5µuA.tc/g3+\=1p帋KSjz3_7̌{x5/dwڜlɜ&2+GGCxrh@ [8+Q.92M) 7٤&Mg7QAi\M4K.uWX M% K'gNgNjy 4c .:O~N&}fNZ)ȴh 7?I浍5wm$pt'9fv:vc9 \ne5KDV_*:`B)%O1:ldNR]f :%L-Z¼%I^й ~S ^()OrP%r0nOV8腳W4Pk)bb&SYA*eJ=$ȥj0>wk:;6-P.ce)1s M|u <񧈓LZK(rK%>9Ђά`&jhGH.^2ͨ'o:K)I1_峗^e>S > Ơ~~1Lť}m9I`8fN7wdYR~..QKT$m6]@ߡy+V`Q{/H?t?ў/*`}9bECE *) pߤ9pD_+?-)@k:4ht).(u+ՁS[ٿ/$WKVj [\kSnB1|꓅LRU!reaaD:Zdf->=o)cǗ`wb&ex+\5d-&V^hqn%˄d!kjUJ'ԋ6|H+-ߑIEC.L`[BآJċ7LH߄/T rǔD18.O"iN#2J<|ujkuRK@\g⹋>-g#$Ғ>=ȗϱ2&}c~l6l(qȁn;{G2v@;U&Zdӳ+.Mve JHn$q\=l. n\6^SfnMuΗȒIl  V_=ج.'svDnTgv^< (9y9nr-EQc,:B\uɥ< %:j)˶I)`BYaIUվ!BK~%/ l¸ʹ/&Jo bD݅JSRe=<ܛN{F HE_xxwH׼NZrY%[V#BrqDg8\9zy [= +5C!3m)`!+y|V19!BoA`ChhdnAF*I"h*koRg|WAIBu4v?=kCWFӅ݉;y ^_,Jpk: Vd~⃈>W@כITQph$X,͊[{*T`(q]\xz<EdGfr%&hD !@O_xRy pv¥! ܟuhnsA.PΈ&AvܹO:,1L&^ߗ kB-+C! H! UnȔxO]'*v@:gtx*ad<&TAy/(n`~YOUk)ֈ!f @"PTyq,^h }r\Kh/,e7lm_o H+HE<)Q?,m#:V9'<_` "-y4ZQ3]\o= j9w(b_(ڴV.n "`T%}c,{ޫN*9qS`qGU1;%gނ-ސrkLD ~[Yh[U @Pb\$Ap-ì}ݜ'H\^X à\"\pI0T@ُD \_3< ;ʋQN ?0csB{L΀)ث㪞4d?7ۘ:6$/ֻr 6wܝX<:e%&.d j ġSw5gl2yB^بxY E mXޡ1`7gsLjP]Nbϻk(z P,C^S^N$ůdA#"vP>':Xf &W94 Wf^QoyG\D#YIh;@l,^<xJtZ~-MmdD3/9+*K&q`s"q _BїrN^;{# tBV,!k z JݣKt41 vCoƴ/"{'Cd]!hU2R#*(C762>]oZ~Ԏ]2ӗQIǴזF"&$d@øpNN!g\%2言F[t>.]մO=bĺj0/ `P-%V;b$6py<BboMĹyHeeYl$LS77'˃5n0|'-nO}*Z?y.]QGۊ!NsTT:APxI&2̀cE:mh'IɇPt= QC5ҀS,MQ'eS;`ac]Œײ;?e٠FN]5LKȊ2oﰕ! 3Y}A7j$ZH-SqT %RtbRhM<[SBsUu}|W ;>(N-91TJ}մ>EEܮzIoN@;T7msS5GU0&a2op߰fn/+'Օs)3h,mnb龢z$.eDNF4;7W0Xйqܞ,j X_f؜l/d<p1 6(bh)p!{XB ĥT%/ 9[2K#JA2jӛ@>0}6Y&C%vR@p4Ѷk/ AI0Jv]@9 IՌw|eF?$;c PCH|+]㶠]aB%;.AH$if> Au|87) %"~PWJ e`1 rÛe sSia_5L8؏ޟdkKB^cU ߣ̕J'lpd1K):l~.\>"6$̔JB  4xAj E>dțdv%><mm7]w6F 6V5yJ@өX[e,F`%ԫ?cWUp ^U6FUSfq"gZp)gu48c'=oF$G◴- ='X&]0T-6l$C$.%= Zpؠ@M&^"QC?|=/5u: )D(aWDoSrk/ZTodM }9)7JR:)^&ݞjXm t#s6hg4k4'#s~b(uL6Gߍ(CA0ఀ.~! t:ӯz9пL)*p Qh7\̸ Dc4|@!$ yЃx4Y>T5MvfDM;vD&>BL"DEH=z] t-x@x H&~mjyRĨDGA3ָU ̧aur!H9jeWrUHVqx%)rȣ"}5ie2}Hfm8-~*{$<޳M,*' *'wAF$᭓~n7QĻ \Ϯm9 Z`d5^3pJt_ˀ52>@h'𲛉,OU,Ӡߖ7x%bQ;iF I `pc8Lqs 3u٧Yb1&nLN۹ѧh(;vtY { V0BXJH.?Me{ǘ Bq%io)k9Z6ZjZPha!i^ 45 ae,VE@7z AN@h{xE Y [A/x䀰Vb߶l Fk>7#Hz?I(Gz]!מVDH!uתu(Cgll^%{?_q9 ax>֣k-'U P֑SU"T@AoH)raXv@X*J)vU,,&tRcrӨ3RiG_UO^A <#CՀe=ﲆE?$?*CrU x=,=?A36yc %SoN >JjM@=u=bγx4Ǟ 6p̤(r-H_ j狔QqTG-[ `"&."R= /UvoG3汑$ FZrl.~MXDʣhP5O=W[P[xJESw5Nj7'x1{(˾֢Z=1׷yf6TܡM*KW@{v^yLO;T|/2rVnQ"= mru&`adq&>U ?_Cyӑ2P4Kn_-^hʳ}w5bpE uS}^@\-y,7.#y*D%U-DU}4@^I^qr}3k \l\Xl^Q0ו% )Ki>B@cG"(_GbcobtJz9$VYKhN F^6g_0+=9S\u&~|m3 X'¾ez3 H'Kn0c{;ŴԔ0@%(U̡G\7+~+R(QOq$tmYro5_ི Pݩpo>e%2\[:P mݳ'.7;$9R>$rDed31dfD>ۇ*q(Iй3`Sgz8P {or(G91-ۏS|0*~C&&⅒ #:N y1H5Ġĩ.CHI-bp[U4bFG-Z}~ hUuU3C}jJ&#cՙs*3 TT'y}DR>ewvRv#Ana!==Tz mO`{t%{Ṇ 5\?}-cu4wUZI_5~$S [DnVcxVo'k>kxX\0_ u;q2->W>GE'oo>.WWX$pE`*P:L$am|n*lf( i1ob=Q*JxU *weh{̼h]|ta ό5ZiqѪzxocf7  U*%* +pÐtR<L*Pukw m+ !;BOLb5IPŻ^thk3-4Ts& e'i`u%gYT~JT$T"a`-9]gw׬TZ/VPG+I`ڊ81OŗqU1O( .}A%4Q˱4w.OQQ:ܵ$ϣ8/ gDu [eR\PEj~ޢR I" Mt>SݱG5rkh'Fy~ u"_!=f  ɲpӕlp649C_~'/&,ѦARNjZhgg~kc wIuy&^U 2MPY\ČgZ{!51wZB}$uq767$V&i܅!P`X^<; mYIÔ%F_' ^6L808B??7]pѕ۳tniYӮ“2?eOJ; ؑd>|0j' `Z;~>f]Q9Ήœb$TG >/e)g{J ?*ZcQ?J=kn}0<|뎔;`=!3}k9Y U|Y&Ň-@(צf֨Mrq;pXT/qZE`G8X>2cߨ c\?s@u{LP"gג |ulϢA+“t%O ?2`㯃[(/IP"73*nvQP+Q=A#I\Jc\+,ƫV^'q;#r3|V@ L@GC:J(R# {u&i8f G*<0 ΝI6y'mFaVD'C4ԜSLR{ ،Zӗ5r=Coh)!A1 `I51m#6^o.)eN( Պ$4 vӋ+uWԒfW'pXwfEKNQa)KX.E@` Uߩ[@cg!C9WņAQ ;#Rz'k=(xI-scL\'@W2,>36_Dڋm|A^ajL1+haHtaSòj4R*/~%%Q+5>|#Oq؍- 'qN){"iH%sN ɉ朂%˝,">KA|siU!}ADuDݾzy \ yv)uO/DHvn(lG¥;i X@*-abi7;ˡC`B\Jbc=`y*G|c$e/iouҕȠFD1;cj"-D,*vWJa"<-7tyal~3oW]+68\~0\gj]GE