python3-stp-2.3.4-6.fc42 >t 6 6_ LPTdh 3!XPȬI^Dg͊ ȬI^DrC7~+Vtd ˩ '9+#guKz1FI񾉕m9`SY8^5oo>ա}`?? d  5PT|    &  <  h      # Zt u(89: G H  I @ X LY X\ ] ^ bdeflt uD vpw x y 04WzCpython3-stp2.3.46.fc42Python 3 interface to STPPython 3 interface to STP.gbuildvm-x86-19.iad2.fedoraproject.org,Fedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://stp.github.io/linuxnoarch:nA큤A큤ggggggggggg39b28903ffa396862527f28beeb45a7a9d5d3092e208f6878962a815a420fd077bf834f2a30d2b8dc33af35d0e014e88412c4ffe4834ee8c28aef99fdbed9c827bf834f2a30d2b8dc33af35d0e014e88412c4ffe4834ee8c28aef99fdbed9c82dd31f7906d43f1fef87d2c85242bd0d4a9b099bba873f5de3e1c2dd399889054dd31f7906d43f1fef87d2c85242bd0d4a9b099bba873f5de3e1c2dd39988905422c0b8886361aacf4c64cbb5ad2332c4be0578434c70340fe4b753a7334abbab273b09d241a964013bb362ce8beaaeb11b307b79b58b93109534fad02e892c2c2286fca001bd8272911ee5f029f0f04fffd2f181222ef092c415d2015ce3e0ee9fe64c34e3c51bf27c6bdb813bb57a8c3c3502d28f20bf2587d2ce37f287da99rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.4-6.fc42.src.rpmpython-stppython3-stppython3.13-stp@     python(abi)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PartialHardlinkSets)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)stp3.133.0.4-14.6.0-14.0.4-14.0-15.4.18-12.3.4-6.fc424.20.0g;g@g*@ff`fl0fdGee6@e@eeoddZ@c`Jerry James - 2.3.4-6Fedora Release Engineering - 2.3.4-5Carlos Rodriguez-Fernandez - 2.3.4-4Fedora 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-25- Rebuild for cryptominisat 5.12.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- set up ci- 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 2.3.4-6.fc422.3.4-6.fc422.3.4-6.fc42stp__init__.py__pycache____init__.cpython-313.opt-1.pyc__init__.cpython-313.pyclibrary_path.cpython-313.opt-1.pyclibrary_path.cpython-313.pycstp.cpython-313.opt-1.pycstp.cpython-313.pyclibrary_path.pystp.py/usr/lib/python3.13/site-packages//usr/lib/python3.13/site-packages/stp//usr/lib/python3.13/site-packages/stp/__pycache__/-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-gnudirectoryPython script, ASCII text executableASCII text PPRRRRRRRRRhttps://bugz.fedoraproject.org/stpgit:https://github.com/stp/stp.gitutf-86cf045eb765e0c2c90dd76e297b313066b0998503dd11b27d3f884b592084a83a7e5865f40ba3b4ee90d1e9fcf5dec543f25cd6a053e0beea86793f61c7ffbc3?(/h*`Y N xBE{m_[k)zTҫfϒӟe4Ek H{woreVDhpWA-wERI!MO=d(RIʮ7Uwi;wq?&SKUoEC[6I{T9$k_ 8.'/hu(TҿCI=)v+im&i)ߡjHsvqH9'O?wH f*V@4ߌJtsHCMɮ;~¢mz](*H, =voP]£HB*;HYrO'LIx:9MliSP&E+*)('qmp\3Y8uz|=Nomyh[%˓Dė-K>٭mFl$"g[$i|K}P/wKuqRYͪ$qˑߪmvqپӄ? LH˄b? rSoSvkXFƲM 6ev|hCi7;#L9e3 瘨q)o6;&NMӉ(hn8ֳKi=T<kcQF&uFP&cʢ"#ҧx ZQDEcC,zǞq(V!-|$RqhdIz,:?E"6:J"R,:iSDĴP"= >"J$rV@EH#ҐO:"B&j>&Xc2EݢX-EdD2 R"W1(v6$Qm#cBcdǠϡj(~Bq'jϣʗp%tFr(4gڛE/ez>NR'gҥqҟ%)gz::&ݩOOS m4wS} ŽSbiwu}2Ofg3uvKLSPy(/PTMwjLygc~⿩Z;O]>}󡊺B0-) vwYR9TGqcx25d2gd6878qD 3oa4q(?&;SP3KOץ3C!:=񆆨C /ba\\w9yr NnV8x|>v\.+wBQSEPf=^ h:"~A*8xxrtVdREGY;7vXPaYpG"Ame2[ot&dag)Ptӄ>; vL׺4>JEF0 )IWk6m 8<0 m@`YBGejMS_Xj`4GZ)#:c@"S0kϒYe\qfTЗyyT}~뾎#\EA6c(77)&z`+ ,PUÊXJZUFMI 8 N׎Z 1N̷߮tGJ[,M3D.+L%A[yJl1N]Wi/x,!u ih}_飊vLe42ONR;420!lAOGuk/5ΪԂ|: ƩtݗO'FY_Rh ,+]k|CðuH--u9xd4AC>2ՇEa)\C[]8@釒 <8AZp cz|¡{ͅTL*ofiDQ͛YV\q7յ%dj {lpF+JjV5O*\3:fvMir.ߖNkx5̦F1-cİ3\ĶDdwTT*Brxbj)LWL7}쩥|kJqcVjk/ ueYVz-Rk-[.{ad* mqBWQZ7Gi-:vY%T`YLLaJ)<5zC[|`*L! L.qD\vdmٰ󢡫4C؂#Sqh늮>\1t5$7GhAŋHW28+C:M[M=Z+tu"S_hkVKz"dS`:C[zZ,t@|+ݴ [8&Qyo-R u䣘MgvMu4حFF vy&sGf*P%ی pcD!| &_<%3L2O{; uH߲_az](z_0+,8Bio,%^AUNF'ŮE&%$MC_ގlPgػs8{q7ٷmٵ٦Ͳ=r̖v _v?k]E\"6""9tڝ7y̩i8;x 4&tϿ—'ΨLK)򣩞?owm$}LO'{gyQt}HIgN4vw-IG+CC*#<~ >m*s9JUa|_&}4Be(fWttohWu)ТM{P<_%CwD 8Z::tvdP5Q+$ W$`9|nJ û3 C/`È8@{ \m8;LD=F |H2}Sr0.X=]#dW}}2ȨAD5xo!2~lu|~ NimJ`5jF$j1r ۲s#抧)8+RV9cKΰ Mwt0k(;W$n*)@UQh_J!95j%%rru3CSoţ9uMo`֎DgIn[ :n[|0vdd ƬBG,Kj^tnװbF&Qngg-jvAXFnz.Z.PM?XcXm#h&C?2-Kd@0?./,}v]((ZlN|K,v gɳb:KO\Ml?~L̇Y¼|R[AU|vJF';]d&!![|[v[F>nY-oڧ-iLboZ &~q7Ʊ̒OǶNCHĹ/~Ut1va%bWvoa-qa1v{ELijX"O[9ls-~'~0 )L`:ɻ"'&mXXᖂheHEIwC' ''ջuE*`)9` @?l0z٠TmPXPt=TUx՘T]/OK*Do.;VUĕ5#%7coC^v՗ݗr=K(ƢhOr_~Rv?[/M}SJKͧ6abBXvاndF]UaW%ӣz+"JyKt)I^~N<eM_ڌ+^hpJEVUfm{C錛 qayiUqEf`A@zj·x}:Ƚ=/G <:Ň^ M=#/q߬d8fxC^* ҫUiUPݴ@ ga'cP57lӉҀH'y$*ޯX4Dxwe?g'Z1+Qr=;ph WunMIivbx7Aݹ:W:8+W#`#w:o|Y|rL)߸ORFP)8s3 s:P:=^;(&Rbrwb„$q$~D-p/vE<<8&޼9(ftՔRX[P wUCW,9of,KǙQ_wKs񢻴Hz}`7Z\/ApaA8>|u/5{RCg&BYo6[,lFg,e_8'HK?b"}Rxm^e'CcD#݆;0"C4z;FNŹ0^,o- n6ן?  hBN:G+"C~NhF P_Mv(>C dƬU* Fxw`l8o L ? X =pRgLwZ; V}9Nk8u5ۊ qWew׶4tIaR9N}X= H[ zdjmuz7Q@10 2eڸP L֦ߨ$n45 Bj$,$Hdj&fkcdx L1f@d$? k'jj<6_z+rbH~RciMeR)sgOpr=qUәAeap]HtC3NaQV'@xgrʢH*rЁ${/ v *B<#j$к |Zbޞ _t*8vy&o^s#_xA$gʆ V 3Z 8wٙ ;ҊJ4.cjm,w3Rg$6]&2 "p_'7źB^A3m׎BkDuMѲ>?QUg8hW2)S ͜ͅq7-48>SZ"j[pI`0{ܵ Y Te Sb/1K=@Q7^iܛFTo^FM D{c#js Lj"y_C)C]B9iϭfM8Q LVCK}cB1CЙŔV " KlȄu>SŤ#gCaCWXf.E %Nno"|F{I﬒K>%HdH}||/<"H>\^S~[ݟOcx:=K!C¢8Bq=8~TNqsh6DʹVO=ԗ$gHoBYlp7^WEC~@vo(x+m>s uPt3]IW'Ɔj){˳cdM>Ra5PJMm3 (fO': #aE[=B3H拾-|>"X;!m(bWPTuc\D6uJ-={tO|fH9.1mxZs)Wqe 4>`h}x^OQJ1eeaA/HI)`^\Ssx!SW 4 &{qi(3!?ߗLG T9PZlȮJ Қ0GB0s")DBBn}=6@XT\̣+U:%OZsU\QR[Hsi=7>6m1(W D$Ṃ%=Uә^S$2fǫEZӮ *0;Z8~L `EmD>$8E_teCI}5,-C D'ȱiGv4&(S ]wDu2>r +G潌$Xcr(=a9]F6.Bqt-CsALE*Ho&3 m=Pѻm°^yh*(rѢ")aCㅎR[ՂK_)|}`gn稆TxI/ZʶFXyTFDT?}r0zVP3Riz%+Hs褡SB݂k{Wb>8EWA( ,/\BL"mCx͔t۹VVn ێ +ӵ=ҫA+^~龑HA Dn5f7?7Y^@]|}Y) `aw}%%u`3Bum9Jd;\Si=c)'.ga#a|1'p\uE=?BcUszěcelܩ @mVN [.HxϒZbDf4)ޙwhPSzȷ8DmRLJ{*Lj)4=8{'e ܎*Ɏ^6r DH[NLʹfZ4˴iRRd!a:f1%D1)u Prg]z#T-1|%ԲhY"\FQu;IysRz6Ȥ@~l>4XNw&f`f#X7Yh&v-$'.P+(5wdÍ IROE^)!I< C*9?6[8.BkjޓbRiRwةU]w+<\8B)Y)Bϭ3]{ЮA|+ڂKEalAhMQ ]IZOFIn"v1$O+NYNW,HύyϞQb@qG|M]g\akqá9@G꘎'u'D^1] H|>S{J^D$JN pM#~ߚŵeBV,J_yaI:p s21BJ>m=-a;fjk3f@~pitrf Qя֞YشRJiJ0}:o# L4SoqA< גdYZ20_APdsh;! }U{? ) !tq%;+qbע6>e+= m@k+s-Ujog%?{We4k¶vp AGotS6> AЧji9+yt >ۜ5 *i]NV-Y9 7v$3#8*r`az-UZ@6A4͜X ID{%H Ϸ 1Yn*qk/ia`)C" x(:Z06 R6 pp>]sj $/QΑ3v.;vl֘@M1R*Erpģ$-=Y.g ] ġQ-NZA^ ueȐ'i4Żq2G`! O+őHC|YI:l1~<3?>=hҀQuLj!y3,L;h*8 ͖{镉- Htbj(1ɋW8`O^[ε^`X xo)t 2PfmUٸlXPȲC 0ѧ9J|0JD2,[_PL :N7Op͸^!Dtpv<3Űi2I#ud|Y"+Y2>@Wm΍ c^Hu!b(.,KҧĂ&i{`LyjkSô<%Y'm! {Wq ~jAp&񮌃h0}U!Q#)%$h ?:Ӥ>+Z'.0gR  si098;JHc?Sun-|"鿺"@m}҂؆ @OU0<MYч 0`Б9@) -0hThq,B<˧^kǨ/V'DHQI0Q&1fƇ )0԰pPbRxNIqCe L&3pxgJ;8^68lr5ő's 6.HArBX@f lŜn DϾP^[uDA"V{:Я(>L2訓f$}.BڸŻ$OMc̭·9 [2QFb``=bsg5X_}&=ńDox;Lx[o& v u0VRgVC2_x":D VsH(ѴQHG勹>ߺϋx+,e:ii?>Aދ RAG=0!#u]\;-ݞIӟS޼:bANMv\[{nD`񩝶 (\ ,=1p-WE2ug}73hXdfy.e1w^bеxF}1vd;6R+0r l5%ewndxju >5 ͱ ӿXtZ j7M70-"^C=c hr-IFH#39n[c:%.IA'`1SsVFt#$1x$D4 筠J'R1h`% A`|Bh?cVRA ln+6Xz5vs뀩X) }ww7J /25 CSx^O6^ !&{׍j 4S/٢6R"s=HFBV+zq:A3F)6LfXgѠjm՚ J|,"ي1q\OIQРH^zk&El~{YI\Těl-a@V pv0~X+&vwsl_ݾ$PeݎgV`j@, pHI F$@l`.1{D}O8xZeFri0hӀ[ѩ(_{RK9)ǠQ{…_kMWC1lqXZd|cJ amgfV_4Duh^5k۪ k+9/ܡs|2KRwYr^.<߃yA>SL<91 ZDki2L]hxj}Z"f`84a-e bU4 Ѕbb+Lة )K>!C+6~DWc ##m`&rZ\>HK4\HxxaI*qto\LE%\ybƺwb0)lQdw͗qvV(x~_!U޴Mpm WK銏n06l Ly)6N~lںiE|TTۚ)lߴV d@k: rO 6*1D&Z{٭Ĝ m$ôH-չZo u ~Wa\dzKIu]z7pzNoq)q!NU(MQb"նW]ܥu~Wi0EҎ^SߍsS`[x|Eںߥ/<-p[ RS&\QIL`iR7x= vY6Y.>}i~WoGZzف5Ӫ(t.N.ҫX=ߕmYYMn {="~m.V"a He,U mJw{RBQTNکS{XһVT Tգe.9BO%d4؃ ;uȉ㍛8^Y3e Lj 0^lт (P,QȞ"ڙǐ6C- %]1=Jp$K+SOjGS&'$ؼ9Bʑh<٤*-Q8+GhtZ$"]u<&#ޖi[AEA Yƥk/qȘN. DD D,D%ZkӦcڈ D"S/z܍v=IOuLM'~~$tѵ \$Or!򊕆(XOZ=*H۞nuvQ`ҥ}&@9:7 IH}Q>R5]ݩ~>ɭ&EtY$BO mch_HB lHib șs\OhVOl9#OqZӺ ha,23Ž]0d?+wsl(k -noZdۨg}@_l]ϯYbp7TvRE~=ٶGvko"*5V)Ksb)w,Y>zށTm`}Ds?P3'`AΊ %R՛R܊#lBEJRdmG%3UOT">n~80GjSKpʱ8(oپCv6{dO>#QZpVGq8|]ni. Q1$ϯ ڣӤE/yіӣ20ő!CBOfZ]n t`m^SCR 3D̀)=}.xnfƳ4XjA5UY،.{~XȂF_,+8L:_= `zwf3ف|^10,n[ޜr߅/Dtwݴ\oТ ~b}4=NCd \|1ڼ5Fϛ"t2Ap~)&۵cJ2ȥHIװ3&VLI.v/! ks_f-OlӬ:?fY61*G݀|Z˚/u(>϶6aq:Ŷc w|\.ҔBҵxIkTJ$;෮{s t4v.H)VP熒 Z6fjj!=l\| Xgp엠w 8j?>UH@UT=uwY_GGT\UM*%ƬYD8IiaR{4lCE.꥞2Z.B] } P`H"D~-Ə<%yY@ 6%\s#.˰8ܥS50fsG7 :'~K;:2B4QQ I*z4e`'/A"m5/B)a SZ$"d?WOFht7hsJ *Ybyh(Cx9myPWH |Dxږר\;-*Th1 ژlpV"-CeLqP;vp\b = QӹCG:S >ɠSBz 1N001 ɞV~ ޣ~&yWCId/2XDp 2s"}]%3@!5W|nO?BN0{Vd?,2(WZ֍ inza[*X1༵3;u8lxpW>(sJݦI ."dOltx([i+-Kpgs)Pcm[5v>7$Wp]z$!`"!M%ay2rU꠫'Mڟk"dax`(1U˜=6[Z~W处A`},ٚwhNW}LXGd4?Mwy#6ޑ(dKi )!ωgvЛ"7Ɔ*$T,@6i^ MޣiE~׆]`4ebcs|p_#8'N F܌:yـ%* ׻Hfl»@]gn %Bg6y-0kO7Y澣\(Ox,\i%ܓ+4Y0w70)R*ď=R#yJוּ) m+$syy׼4/bkmb⓪EQ<:oڎX*棌FBuzXVOM,s0tYM;l͝6X?N\/Ѥ C% g6ͨe=k0e+?-T V!װoċi$gwYN?D2&aބrUjY}KI3KCFRU Z~l: s0$ zD/E%KLje_Wm-^\D7U{iu+W4G{OAcrUJ,xxǧ{PL{}VΨbu VG3,)EU+zڍCח Mujq*b"8!!X%Sٹ\k>$1ͯevทyq][;r"o ~nԨ"6 5M]wף=KLϋ-w&zeG32Ɩ-⬥vYu((%g^9Ng^:T! 0X̔TB1%Z,׼Ue&뫵HJ&N2432W`,;oTD)+U[_AGa c o)xlDZ'y5X۶m $ $,l)Ef0g} L=fl.x |l $pzD$Q2q-/np=fR9zљ'i=:4\aa$m5|j:$6SQ&#=Q>aa0, CcXD0H("b!e4MpXaW|&Oqjh 3T ЏUAt1;,r`n~\1> Iv?vޢىg6 _:fA5ܣwRR6֜bfg7$}e+HD>c9@> ΛV2bbÔ Ezl bUq Шc&3/[~d'6''#"Լa,HdDI4@l,*Rz"dTHuTDE(ΏyV֊ 4䇘4Faɪ)lyۉQGZSf?FHk](i01v\Z@wא:2u7 HRTJWS|tsE:ct $&YݚK+LAz&%ԃm6{I¬)jZӏ^i~*r%1ʞd5`3M˵#> W㉅6ږ5¹r ]50&j&#m`k3ZF|mrd̙T4 rZ@G[mɸfӧM=W `b>7<5O6LWzJ5ZD:b{!a<,Y~pk@e~b 6^PQ:*^ E_ Peʓ!QX 9nՈZ w'Z}IWI$K=!UUEISaY$3}=lZhq{`8(GPRRN8WQ-rD[H} F^(XWH 2YO{[G1͝Eq|g!W~Yd4Q5>Mi,'wh xw~Զi.R]eN|.z&aR U!!4#jU (~AwŎQR? o?I1cqqP?7/Mšml=@EyT ˰ V hAF4;Xo V(HR7]j2uy7b,`{rq$R;{sZnB)`kpe֫Ƴ__䶤kÁKBcg B過 ] C] jq՞ى¹3CbJޖ+H9Q܏ /Ƭ̼x&oTߔ]>KӾ b{c[Tu {uȍRy}lc1<#)E1@Fޮ|FY9)~|JC>З]fQU2Үk$X}uwE2a_CKT0N,3E|tNy}`3syzMAnzOUX[zk3.gXԿQԲڧ1t&{\JTaKۛLa7BzwbZV%uS&RYܺaP~SP0π;63e6F -L}8#ϲðPK2JjEQ1N>ϨElPԢ*ssUIH*QQg1{.uImc&_J6((։BoDzsZB?&K\M%L?A5@֧r*$Od%Ut^%dHdlBF/ Nst5T͉>r+\y Z5X!^LK,h?[5-r͚