stp-devel-2.3.4-6.fc42 >t 6 6_ 3!XPȬI^Dg͋ ȬI^Dq'BLϊO\ K&NH-cb39cQVD9:^+R:C.w[Fh&!3Z2`JLP,}rL.b!߿Sf>LRܨ|/2}j5r,;Ki/VDy\2yC Q̄j<(OAG4lJO|(ԫ PCHGݘP(c~%#@D61GOaZ$nѩ1bq&z g-{cLkX+Q}ULuZz1H4WSCQƷ ETwntέ %Bk'BYkŢz_; 9<%?̌Q7xcvVBLA dAPUww18iTDt'E>ܙd,Z(nϑ rl{W̯Ǵ򵐽 5/HiIZjY^71d0fd98d178bb6dba1a98f21c3cb8279c09e93527985f6ced9157410b81712e423bdec3a072c697f6f7ee022a96de3c0355b86603020462f02aa400473045022100fb0500bb3b9aebc5aa639880aa30a0c501bd9674023ceec655e569750f04ba4102204f66d4d9974980b67cfdc2d4aec47055dd76ba8d06bc92210ef21b84fb321a9b03020462f02aa4004730450221009d7b645ea61952fc4c04c315cbffe61fe1b3422c238b1a8576a7a62bd3f78a8c02207691177717e137b9b84ded1702da93a8e0e247deb32198ee8927a584bb65f24003020462f02aa400463044022015059590b0b2aa3712c375ba82c95367b35f8e9ca4d0d8688e7806cc9c7c5c9e02205378c6ebf4dc4d8b18088889ebc92e976fa1fa2343b46160ab180761cdf5211b03020462f02aa40047304502207b4ac45c01658a662ed115828aa8694a4de4eb2970f72521bd56c85776781771022100f6d7f5c9e51815f59450bf3c9f19a35a87c150704b27b52b42db215f0906196203020462f02aa400473045022100a65350259b0f0e489792be934880b82ebcf99ae198da004aed2dab8d1e7959a90220507e3e65d7b1e8179fefc69acf4836e380832d370f9f6a0e1739b7b3e741753cP? OVhꗴJƹ01<>`?I?9d   X,0?NR am    < Tt4P(#8,9h:G \H |I X Y \ ] ^ tb defltuvwx0yP`dCstp-devel2.3.46.fc42Development 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.gbuildvm-a64-12.iad2.fedoraproject.org.Fedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://stp.github.io/linuxaarch64N{ A큤A큤gfgDgggggg67534274b117f346714d423bd49659898fac77ae01f0b6c18455c31fa9b6b3ee6213d5a4b19c9a43af9a5f44369d4286522365ae9174541f1bacc3ab21ae8be7315e158ada8ce9c26b1557612078db12fb87f03e1d86856e441a7caa66be7fbdf8b4ba779213541631a2886c7609df08ccfba9f5e228692f760889b3b0014d47432af5e66333f717fd004df636d676253fda3f0ea8ec5866b54fd03993808ca1libstp.so.2.3rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootstp-2.3.4-6.fc42.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-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.812.3.42.3.42.3.4-6.fc422.3.4-6.fc42stpc_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 textPPRRhttps://bugz.fedoraproject.org/stpgit:https://github.com/stp/stp.gitutf-885d9100e486deb344f83baa14bd41736a48b1cf992098df93436d660b0f784ebaf0f667d28e7fb9786c3e2a584d6f46bc91e4ea6783f5ec50cd93d6b14bbf883?(/hU*2N?Ms71vA[ꚼ'sYʝ:҄YDteN ~]xHˮtvie\|SeMH"e9W*?¸`;f/Ji&*sP7mkʨ 7i(~BzCeO;?S& ҖteVElZ?0L`Tfn[ J#P$n$҃rp4~[ڀ@8zϧhy`"͒(GS c,{hUFi-cdua6ITaa@*ɚ(kB2aaUPT65cYR TAiX$D:,Tmi3qmՃa`**hTضU &k*"ɰ4*\Ḫ 5풲$f4ԴrT,V5I5U+v4?f,k׶Wn'7x:,e%wDŽ;ejo|{ǎNZQ6?2A 4w/RJP5`~/l=;[R˞%\lݶ}onSp׌JLK~b8h6WEAM\:񴒿o JH Vճ%QHKhVIvhᡡܓl)= L"D #&4|ճ9xP"D@L!"n)~?0Wr+zGetU TtO'kDY61{hJ-`X& N󤖈RJ|+򛳎| wZq:.]JCQ#F${k~ QkeJ/GR,5,IDr9*=J] d§>yحSnAkJqn!è|*i~힥^_K/)Uvw+0XZ.]$YC D BY`[j$)à6ʢ {O-)Ի +X Nŏɫ8xPw{xk KQA0ydΫ $Ce `J-=G5`ɉYmhGݥRw׆2GS >N>kZb<'"1yX>{~NXQkht{{#G![a:O-H-1][x>i߱~m߽#\:EfvΔ2YKl+}Yol} {t鿵tJ5wO3/bS:~Gϻb"%Mʑ"ݴq2Kq结k96ɢ.P/qKQN8՛(/[iGqw`9]l;8D?T:4el9NI_|}ϯY{d_9IA~3 #Lw&*N&n ESJ 0:}rB5xVf̭e;b`Ъ wLٓ}/ynq|-rhL`D7dijj'h ؓxVi)q_`q^2cDb)Tk=4ƀI"T<̎G5U54{by") *4I6M3S3,(Β68E{8!r`uH %0P^㸇'?D0-eE&iky !-"=܈ʐsY3zgu$D]U Hk уACQH&)0B L{5[ze1a A.i]tǴ,@eͅ54 TMʪܦme A'[㘟i"i.&y[ll@]&/Y 2cȤl6i)ZV98k8EZx24DZ|2 Dh+F^P'M͐k?ҫ8}U\j[ hqwTpJ72d$*@z<*$&͒QU \P&c$H&$Ċd,_ k K7äiîmL8Ow7& nh$x'Sг˭_Í hDFP $$NJYkd J2T "2E ## **u8\x5=y=a S30OrjH9^=Wq~9k%7?uvLVVN,d] yG*'|>YبR(z)"\MgdW=)p "<|xnO)VyiRB!awhlޞ$Md4Bxu J=5 >3vBS:Zʧ;]maUj0FVfw\_\ c<9Q.$tшpe^wò]oBTUuL@KG?fߝR+oli-J0Pݟh\!\i3X/^+t pp B}dڸXV |%y-Pv=-˲ %;ǂX#,b{@b|=Y7+˓BDGʘqR<_-}HK6 K5D$'=̐ۛL߂d?8KX&ꖗ VxsaoDAJX*_Vk`gўX!QX09a7WsFM3&+i(䌢u6 # 4K[POUl0o6LYn)@{۾@0xոCJXΏ2ʘ;iH$17dUg1|OjB7S$Hy0/_4\+i/;VNL@{tEk!/:lX#6`_W-&`DB2{lb?R}{,;JY\_VڦgSsqHe"Ecu=*U- e<1$p5DU:=%[gnn u7%="OfJ~G*"V`ؚ#Ľcj4  {6SHBOA˕qQ]drFz2:1f !hEq - K ćjo@"h[צ^c34UMrϝDnoe%DJ !q͖|O)b?G'Tѭ+f`ؒ)qOʕ200wO 2i8JӡfgIuɲɊ3T'{ۑ{e/r2T,u>ZsQޤ?%r/}ţnN#(Og[ݖ5uz12\#~œ|A=:R2߆Rְ{6  Y1g39=Wě̆g5>Bjw9[7,R E։K l8r\Bv^rT,:D\.=8ωDݛS XmdZ+)|N`<^Y[(7dfҏJT}`vG( 4b ,X>yPwR@aN(|ri,p7&&̫}"&Ag'͢`ڙf.FN:m!Ս6=,4rٷ/R>@ )ޡ=Up98.}PrLeBC)[P3@2Ý?%:NB2TҦ&,4-k\cn͌.%samEzIvvyO#C {eNTA$ q8ow5ESlNrӥ7 `I,jl~K J-&:8Ic[EvlmN@vBB!2垟$Oc؞r1NHs^?OZ.'WeI6c])V`T5 `{CO5~ Av$_Wnvbap_ ˆW'/ޅο`4$kgBH8d@@O{EpI/p[N˷Ur;"E5kq0J?:;RDSTHh@q=.U +ig*jy~3'D3"PL4Dfd+_OƎu3^|pEC/N-JP0SGP0UٝsD?۸՛ŕ BY%Gc֪+oʹvАhkؙk}AsZM&Њ1Axj[v_S(ت]n\ooe|zie\gf0vٕCֶ퉢C>uezfьjDoL d.nūPv4nRɕQhLR=nUM8z;O?UθfL[)ے:Q'YÈ/;  sf~q $u S2'H,hRNGiU/ o=9I}.#VmB\5zɖ00yoly.fRlGm13"}ѻ:"A] T\VѰ>x䷾n72eEvc=IS`t2WCR0d[]=0 igWf^KysC.j n O3?na 5= sBʼYμ^ M5 WtMH$P `ϾBpf fB3pn4''"{/]*GO:DfQVp%$E7 i?=!IAo6kdwLgH f5SO@[%xoNTYmBi5u'@ţIS bV,.^E ;7qhצ7i|PjK9FO!JM<]ZT!"ၵU`=X/Z7u4$Hm89x4ԅ0n':2DCwLi F8;?nj\Lzg84KT퐢6P>xwi=4V`?DV(08W"rX+Ď0Y>!ZSi b*ىB8Aнgh _P ݅vٕJc!63/Pb&ZZ%XY̳.s: ƽt9+eE.(eJX\z+rZ9Gˆ1DJ 8Ni^tjν!eH n+xv}`{Y j4Q|3|!ai!h 3W0aX+dݟ9Z'|ʘ44+  HN8;,0&.1Dq@cW$5"orEf"ҵY8VPL a8C 3kN4kCѿ=@x'XFSe$KcTEh%La)C3k.ǕbBim5|,ʼnLb,'ݙ-H-@dxpSxƴ^f#|_-U?6dYwrUw' =#^tNj*VM%l[ zTG;A4гi`!-YSČd )1z'%jKIP,}_ ĵzجj>/~\0/%@μ@@9ٝfˡ.Mïb!ؼ$w:asNR ӛTz<NUTtWM6AL~(;6(MVsؽ {X\{y+)bU`=Wqn/D>7kpg)S90pA@aNrW݊'57i=cx7h,a=/L͐U_,IIN:lr>@g*Pj5,=^ w{y6iYq`MV|Q8 jhT税1n>qM~{:>Z> Ą4 i *X3{xLkl-g6٧uHaQF@pɥ7"ΞvWjy Tg5Сh`n7-DŤJk*W]&A`(:A4SF=D8[Bv`C8ES}cNuɰ(GO}sP⿠11?VF5|6~Y,V„N,tbb(-\2r5X.,ɦ*rXdki(yrQhAXal#Ij0whyj91X2tO2B34q"Ǎ =_.D@Ē?N.!1WUȒd"ىc >Vm &5'DsJY* %!=.&!?SZ–(+y R25}i㋑q k_/g.1k {|IgOvJ=ZMĶXޔʉ-m%˓,GGvP߯s0/!\&cSgŻw>&,mD8fIrEq‘0_ƴWNZo *Xlqhg<'Z]̇9~a`ۅEW_}3X'ݔL鈗-%o?۫YQEO<yN1@?_x# % {AehHq4 *(e]dxI˖͠&#08&t[S s&pkǎHA}8~|yVi6$!'&$b !α9|q H#@hݲ]Yo\d^X,ļe. p!?Gr9{1C5HqeK~i< X.Hܨ_w1'[sqCr?2ym6{fa-D $jRuA w~$hubxi!rʑPV:0X}sʅ¡_YZNv ,S1%11"qrUKOǺK/[ [Hwvh T$ Ck4E_k,1Z ]#$N2rX8Uԏo\:ZJ6"Ιv2v<訦Qczn7y@zťQDoéb@gZ2ABCqNh%4._d|D/vIr]tJNW/AzVhڶ/j_6E@.U1fl%e=D># W{]2ƄUoU$6 >>!C{\"o+Sje]b]J7>{,;̢eV?NX|BƏb {%HbA [%g Ω?G5