stp-devel-2.3.4-3.fc41 >t 6 6_ 3!Flض zE>b$bjff b$bjGTaYaRJ44Oiq7AOY¥=9':+jr4yfWCUXA'.o F,[@ .ۦk;?5e1 NػQeu3ᓖ䡫 ,"ˠ 𲐔=<%M le=0^B#*J9nΨNxZ D=B*MvgbA`??d   X,0?NR am    < Tt4P(#8,9l:G H 8I XX `Y p\ ] ^ 0b dKePfUlXttuvwxy .4x|Cstp-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.fpbuildvm-a64-36.iad2.fedoraproject.orgTFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://stp.github.io/linuxaarch64N{ A큤A큤ffgDffffff67534274b117f346714d423bd49659898fac77ae01f0b6c18455c31fa9b6b3ee6213d5a4b19c9a43af9a5f44369d4286522365ae9174541f1bacc3ab21ae8be7315e158ada8ce9c26b1557612078db12fb87f03e1d86856e441a7caa66be7fbdf8b4ba779213541631a2886c7609df08ccfba9f5e228692f760889b3b0014d4791c9682a158032ef48949a99d763155e69c0c1f9bbaaffdfe8ce105a90e61137libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.4-3.fc41.src.rpmcmake(STP)cmake(stp)stp-develstp-devel(aarch-64)@@    cmake-filesystem(aarch-64)libstp.so.2.3()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)stp(aarch-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 -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"."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