stp-devel-2.3.4-3.fc41 >t 6 6_ 3!Flض zE>b$bjfe b$bjߖWOUT.6kDP7i ʦ ziDFT=4X[TOAh 4ˎcLތ5(*x~J#xz]tA*QƋ!.J(%wv\6X;s좼pWhb$kr2n6 He\@iڜ`k Â{q\e@g6iaGHL ;aO^3|?1ځ15{ cNĮg:VDuydS xhu@84 C,#q6y5jb^/^֦#1+%.PG-8VzwݕDh1 !~nz{+':xRd:b ºتSaѪ꺐y!_@gЖ5)Z2.ơ =83Vh+V}n9l/xEHAXrxoe6ffba8f439f3ebd1082ab35d503a52d958243c00662ab2a0b086beb2114c32f4d82e5dd7ca9806b456d3a95eb32f884463bdabe030204876d7435004830460221008b48f785610b1da45090831260a0eaea089b4598b599d76bd9532d0158b0d69002210083d65882e139b548b1d2f1d31846eb7676b2bb226f01fcd6615aa5c528d21762030204876d74350047304502200244cba1cc64334579bf53f048400e1b02d05d9146b0211f75987db51a324137022100d5fe253c78e376f3d8eb92cf475a2b51b91626b6b10c8a153b2a9a6d5335a6e4030204876d743500463044022029a59c6307d726dcae0c07c5606a370930ede50bd8b6e11191c59b13c237b99902206e6b95329dfa627a98c52c1189604a0f1344b5da435fecf5f14261276d6de566030204876d743500483046022100a774d4f5a904f00076aa4b1d17efeed8cf3e845c3f1d7a96d715067eb2dffe71022100a163d6fb4c14a1c93d74bf2bca9a6b7c6fc335d8de5fc1cae66e1a56d47e5b18030204876d74350046304402203b0bf98d8a24824b4fd00b5a24cf13c8c958d97a7c0d208cd151994fb770472c02201bce8d650a48d6738e123e1d4dd31dfcefb3503a58d1dfec31e9d86ff93a1779Q@w/ D_f-;`>`??d   X,0?NR am    < Tt4P(8(9h:G H 4I TX \Y l\ ] ^ ,b doetfyl|tuvwxy+NTCstp-devel2.3.43.fc41Development files for STP constraint solver/decision procedureDevelopment files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library.fbuildvm-x86-09.iad2.fedoraproject.orgTFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://stp.github.io/linuxx86_64N{ A큤A큤ffgDffffff67534274b117f346714d423bd49659898fac77ae01f0b6c18455c31fa9b6b3ee6213d5a4b19c9a43af9a5f44369d4286522365ae9174541f1bacc3ab21ae8be7315e158ada8ce9c26b1557612078db12fb87f03e1d86856e441a7caa66be7fbdf8b4ba779213541631a2886c7609df08ccfba9f5e228692f760889b3b0014d4791c9682a158032ef48949a99d763155e69c0c1f9bbaaffdfe8ce105a90e61137libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.4-3.fc41.src.rpmcmake(STP)cmake(stp)stp-develstp-devel(x86-64)@@    cmake-filesystem(x86-64)libstp.so.2.3()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)stp(x86-64)3.0.4-14.6.0-14.0-15.4.18-12.3.4-3.fc414.19.92ff`fl0fdGee6@e@eeoddZ@c`cccbFedora Release Engineering - 2.3.4-3Jerry James - 2.3.4-2Jerry James - 2.3.4-1Python Maint - 2.3.3-32Jerry James - 2.3.3-31Jerry James - 2.3.3-30Fedora Release Engineering - 2.3.3-29Jonathan Wakely - 2.3.3-28Jerry James - 2.3.3-27Fedora Release Engineering - 2.3.3-27Python Maint - 2.3.3-26Jonathan Wakely - 2.3.3-25Jerry James - 2.3.3-24Fedora Release Engineering - 2.3.3-24Jerry James - 2.3.3-23Fedora Release Engineering - 2.3.3-22- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuild for cryptominisat 5.11.22 - Fix the VCS field- Version 2.3.4 - Drop upstreamed format patch - Add patch to adapt to minisat using macros instead of variables - Add BuildRequires: gmp-devel- Rebuilt for Python 3.13- Rebuild for cryptominisat 5.11.21- Rebuild for cryptominisat 5.11.15- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for Boost 1.83- Stop building for 32-bit x86- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Rebuilt for Python 3.12- Rebuilt for Boost 1.81- Add cstdint patch to fix FTBFS- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Add distutils patch - Use more specific globs in %files - Convert License tags to SPDX- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild2.3.42.3.42.3.4-3.fc412.3.4-3.fc41stpc_interface.hSTPSTPConfig.cmakeSTPConfigVersion.cmakeSTPTargets-relwithdebinfo.cmakeSTPTargets.cmakelibstp.so/usr/include//usr/include/stp//usr/lib64/cmake//usr/lib64/cmake/STP//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"."PPRRhttps://bugz.fedoraproject.org/stpgit:https://github.com/stp/stp.gitutf-8815f8b1183d17312ff796e40b23b62a561f31169a49c315633900db937123aedc14dbe05ec266a72bc06ed73915603e9b6eda814bb48911db4f0f3801183bc53?(/h TJ*2zM&cDpNk$DoqH2 $ۣ(/sR녗 dJGϫGVM:ůϧMYD]WX c[XZRoºFuݶ[:\VI:j{tOKkZlg&d5=0,nkY"{?i{ֿ 4Ty(EI:`:Ju]W5ӂ80vMU-1#UE"ð⨩`Ú.&MWV\YdT35Ul-ZQiՖAPMZg9g]TAic8zXWs6Ո\fUyXUBQ&ljG8lҚX:jFհ$J(plBW*i~X^*)/~4_^FZ/?~ ^NZGNZQtvgʄbGq~ǝKm)SOٚvJ~R0l=;[˞%)kK-ٻmcbeܑOp1l%s~bDtũ%*nj4fQT$mqV>oZb>'"qbl)mV^K!EX+W+)Q (,C6#[y+COA~҇s ytN9 yIVC,m蝑2 աX8o7*U/rhhN!'Aw-7i* gmN0>dkI7S~lK.MoQZNuOO$Jל]6<~chX$,G[{aXڎ;!7]\j`?qKQ8R)S0[iGQXzvCOeCOƎ6qOG{:"FQTtq"<ޙ_B 7?6$Hx7v,E,%QLw&*J&n AU!j#C"MY!P !R~ۅ^&b(Y -cSkټ} *21c"w\%ڸ5Z}nƉ[\" t9_/÷Pw՗ev= {y=C38 zƊm:ersyEdDLɮwNڒ=mTNSi춆1IYo[m9~*.=^ქa2k >v@jRzљn" &D:1H`Œ/͙`Uefz!ġP/IFS]tbZױXTaè3wEEPЅ\?Fa{ Ķсêo`{XD~S{C&Wyu5M8t=c8dVJL1Cv=,!h9#w e,+cΊVT!(}cg`n RxڻP;k^Qӊ3BL 2ZOH* LX82RmBT<ܬh9+2RfDžPon ׾h{&C3*W1pn>d'Lxa M爝#·b6.!wĬߜгto]G-mkҒp9 t'qƣ &//; Ys/;3Bk "D-']öh_Us'3 " u<H7-ý)_5#NQRW|aG[ҬgN"?z@}jlh9g*;_zrc$Ww}{~flg1ղ\ZMu<дcX$8!l!ac*Ѳ@\Qf:c"3c-2%/V5 !,@'+tp`val2ty-Y+X:X)$e>?Xy#[qQvl i1-rl& Gg40Nb}#WN"ܣpyv(-ĶOTJt:Lh`7&#H& O;fҮsF*5mꦯZ8] iӁ1k *zP%8v>'z/eLʄN)[Pޢ,rSfhS_-$rlTNTҀTI-Og[ hn?9,ۿd'doiNpd?t,[a WfD쐅QYֻjJpN~Fh湑@($#I~0r8dXEa@bç5i2HݙvuQ[k%HgUCVMVS2SA w>[|I6}Oت垚}rQ!N2Ĭꯛ0>GK j!lh@P;@j0_=ƽWܠaN|#'wV-&INs 9>p~3| Rưo.2_\ ]xւfvxB,ǛHQW`5:mWX7/b[tOKU7ݮޚ/m/|phRc_"uqeDjD!c2"qǭ5G@k\xrL~ez~sǃ Tl!RD|3Z[TςQ|#j^^.䞯T[(ǡiOC`V !$ [NҸ+LwljD'Gj+\;R|I z5\0B{̈CdEIPjsw0;رNp!RQyuñtpRʕY4$Gq4+ E8k?[ǂdU|&mp~}yۈ+ @u2TjR *e6V5dZ]Yn&֨ʹ(ASCGJ # <yGW/7v0B?a8^k侃8*:aaf]-gZzaNǰ0C"LjI1'X4P"mETM$- #!VG!RC0zdށNm 4ˆ<*rEpj $V2s [RMI\"u}Yige@h\1gdꄹH$qa ZJ=St! 7܅`<JRKsQ]S:^4*)}lE#<7 ͘}{ɫ U7 =moACD<~3֚DR?VԌJL"H@ \x'0h: an>?S^:3&6IUF]NO* Rl@x7cKHNBb Pط:‡wӴ݁i ` 2h/XP|+Fӗ %b9 ,O |) fn+Fr*ejo-}OK / %|Į69̠[fV1bJ1,F_/3C8*ͩ;Ch7wHNJ-8,kRF4#Di1ki^@K}gY_yɡB"M9沊@`p"WV^/8I܃:犺I<=h&=]֢x`䆒~¤EGBHcVR|%'|┝V'=HB38$/~d}~I5$XDRH//b#V̒=sa6o?!MJzN*hI{rFhG }N"k$KAh GuȠPP`c .'qbZV&fenĚeſGvQp5 q*g;(K`I[@p%0_20~izvczq<N6}P' \BnDzJ#v>vSSZh Yx1 z:ΐP*3B|g*X|zVߊtN2N3ׂ}MӲߌجLo-2o\|3 pPuzF 0g@hBPw9U\"ba0]D;ŪgUW›9z'%Y;Jvl }ev?T)bƍ2v,LhYӍmB'~# ]aؾK1s#Ǭ,DRpb o)&Z6+<C24xIh:cpl,smcQ"fZ-ul&zdW5lvw>[xwicַhf2~ Lfwq &zܴ~|J&}\-ȕ!ݲ'8IYl7zqPEp8U15Dh6D#5 j$Ry?ϗDyf:0C8_L>%d~H<:q/*'B^H#(1>H~ܪ]*jzE*=[QX;# 8Ўv-6*O_*Y?~u=?ĸsp !0qp'ܘ f'x9c-mmfo1#% :-'&Ugz,qqv\oF2|aZ)瀵Php;^M_ &mN@TkjIK4`g8Ż>~%J*\9!|"*Ay$;]2cH[sk(7&2ZY igܔ O{DŪ|8ˎ ])6GW՛Ĕu ƐGJC ai -̘{˔ z=,8A5ep@$Jq!qѿzuJg9)ȶ×I"5> 3Kg|;epB񥧉wN_%L=,TB_2O$9P\"&(eJ VXY-NaVz<^z-xv7Nz*'a ˙;O4K ~ zZ6PS`20 ktC~P3%)y4O4 .SQAC8`sK?%%}p5 `2-`/3  s*Y_|dL9["ϰ>2;J;F~vABy: ,(I"]YʝFnj%$:S5y ΛTeX5ēhxJ۱hOnd'oy*1LGYUAUa%^EX8uDy}sS_iNq (ߏ(:kfFMa< gԍ6 "ڤ ­zq枮rNGdtCWOD4fk;B4o8"ej):ZqĹ\cb7ST-gvg9{hl0(bM)4M;.|ahCeTZ X.<9s{0*5pUʰ9(8U$*UȀ?Y}M&A_7i)s8V)!0B &J 52 / B:Xl*E#R@>mJxgIR 6{sB3CbR5 3/ ؁ jlK}Do.IֹT)yL5?2x sdLn'Q_~׋bI|~KLw{fq&ľKoߐ-\Ҷ{809/svR6֮e**c+i0cAֿ7}^S;~KJbd@C ~RZgtApn="L WL~)|RS! $˟|W& .^LA)FZRADmCu[zE>CڎNA1s'016? ]ʜ%BIV~->k94*,M۹_ƕ9Nr&_ sEXR % SJ!/֘ۥwi~3Q1u!qd|rP2&wo4_MvqquLK{w-pD?E /2YV瀫GN;TӉ'\d|Ղ>Nml52rҁ"wX7T#tķ)Y>Q.K' sfwIV H |EOGDH&. m4fYyߋDƾ]}TohNn'qce'b {I'^=DZj 6grޕyPyYxe`f-^K# k>A TC%n{]/o|KE30csV7yi/@ }#ĂZH:H_ykێ`ʤD5A ZUAiK먿009x 8EN0YEz-|wbF$GJ 19dCLz2;v )DA