picosat-libs-965-26.el8$>9F,zӫ/S>> ? d  /&* 9Eagp             ) j  D Z (}8(9$(:(G H, I` XpY\ ] ^ bedeflt u v@wp x y   ? c i Cpicosat-libs96526.el8A SAT solver libraryThe PicoSAT library, which contains routines that solve the SAT problem. The library has a simple API which is similar to that of previous solvers by the same authors.hbuildvm-x86-17.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://fmv.jku.at/picosat/linuxx86_641+D`49EAAAA큤A큤hhhhhhhhhhVqhVqf5385513e4ec563144fbe9b5b99948280aeb95ab8500c8c1ae9026e48b51d33791ae5a9b391cff9866488694cd14142d472a2c207f39d895d751fcca8cc1116b57e153a2b7710a64536e355e0f1a5de4e4e7725c560ac0f4b2befff313007b6a19abac4c9c16bf5977b1c59e6c20906b35052410b287dd77cb2ebf4feaff2e62../../../../usr/lib64/libpicosat-trace.so.0.0.965../../../../usr/lib64/libpicosat.so.0.0.965libpicosat-trace.so.0.0.965libpicosat.so.0.0.965rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootpicosat-965-26.el8.src.rpmlibpicosat-trace.so.0()(64bit)libpicosat.so.0()(64bit)picosat-libspicosat-libs(x86-64)@@@@@@    @libc.so.6()(64bit)libc.so.6(GLIBC_2.14)(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.4)(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)rtld(GNU_HASH)3.0.4-14.6.0-14.0-15.2-14.14.3h>h>h>gfU@f*EeM@e@ds@dBzcʂ@cƍbڑ@a@`@`U_ @^2@]:@\U@[H@Z}@Y@YyXV=@V<@UT\@S@SQ@QP2&P O@MRMA^@KUJ^@Iñaki Úcar - 965-26Iñaki Úcar - 965-25Iñaki Úcar - 965-24Fedora Release Engineering - 965-23Fedora Release Engineering - 965-22Iñaki Úcar - 965-21Fedora Release Engineering - 965-20Fedora Release Engineering - 965-19Fedora Release Engineering - 965-18Iñaki Úcar - 965-17Fedora Release Engineering - 965-16Jerry James - 965-15Fedora Release Engineering - 965-15Fedora Release Engineering - 965-14Fedora Release Engineering - 965-13Fedora Release Engineering - 965-12Fedora Release Engineering - 965-11Fedora Release Engineering - 965-10Fedora Release Engineering - 965-9Fedora Release Engineering - 965-8Fedora Release Engineering - 965-7Fedora Release Engineering - 965-6Fedora Release Engineering - 965-5Fedora Release Engineering - 965-4Fedora Release Engineering - 965-3Fedora Release Engineering - 965-2Jerry James - 965-1Fedora Release Engineering - 960-2Jerry James - 960-1Fedora Release Engineering - 957-3Fedora Release Engineering - 957-2Jerry James - 957-1Fedora Release Engineering - 951-2Jerry James - 951-1Fedora Release Engineering - 936-4Jerry James - 936-3Fedora Release Engineering - 936-2Jerry James - 936-1Jerry James - 913-2Jerry James - 913-1- R-maint-sig mass rebuild- R-maint-sig mass rebuild- R-maint-sig mass rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- R-maint-sig mass rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- R-maint-sig mass rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Minor spec file cleanups- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild- New upstream release - Drop -proof-access patch now that csisat has been retired - Add a library built for R support- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild- New upstream release - Drop upstreamed -alias patch - Fix license handling- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- New upstream release - Remove comment that was being pulled into postun- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- Rebuild for GCC 4.7 - Minor spec file cleanups- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild- Update to version 936. - Drop picosat-sharedlib.patch, incorporated upstream. - Add picosat-trace.patch, to support separate tracing and nontracing libs.- Spec file cleanups from review - Man page courtesy of David Wheeler- Initial RPM 965-26.el8965-26.el8.build-id02fc38c444d7a2e7be102de52761b24cd602840939e2afd96f944f1fb8b0c4dd24f179b9cfa2f724libpicosat-trace.so.0libpicosat-trace.so.0.0.965libpicosat.so.0libpicosat.so.0.0.965picosat-libsNEWSpicosat-libsLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/02//usr/lib/.build-id/39//usr/lib64//usr/share/doc//usr/share/doc/picosat-libs//usr/share/licenses//usr/share/licenses/picosat-libs/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protectiondrpmxz2x86_64-redhat-linux-gnudirectoryELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, BuildID[sha1]=02fc38c444d7a2e7be102de52761b24cd6028409, strippedELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, BuildID[sha1]=39e2afd96f944f1fb8b0c4dd24f179b9cfa2f724, strippedASCII textPRRRRRRR PRRRRRR https://bugz.fedoraproject.org/picosatgit:https://fmv.jku.at/picosat/.gitutf-86aad51db00cf1211f21c7c9081e20f5ecb170cd10b9a2615e23300c083d65f58? 7zXZ !#,#I]"k%jsI*q7BoZ|x(ѸstpTsc8kθb$PtF Bo)GR8IwJG ͪτ} A_igDhⅸ@GrXH?Nr'@/Sm[vA* ?:伹?޺prQ`$4PבmHUol9P]>aa j"ZU#)*ʛCe2(I=e,ǀX,`}yߗP&dUO _19ӓPV78d\!/žU&ji˖4ֻ6Ŏx6~ F,DWL߭~JǴF{ F+rVm.yu\*\!^FoɒPV4,)K0Du;:L1/:\%;z `6.=7e}]m#\bBIyL5 }k0TU2&z V:Vv)Ve?|;9:QP"xy*(FCOq2]X"/ cXtzUL>Vt}0x+CjR25-rK-{B7|$"z G7@Z z@ ܿƽdm?yPܥVӍێY-;=V]L'G5'=i_* |W|| UnD)\lo fP@+!N#|FHy;~]W{7׎jc9-_1z /A'z fؔ4W])=--Uʽ6t[<-jJ ]3$ʴEmx,@f&0)Иac6cl+$jҳ!-9 烦}Fi±KZQT'"A j#uO w-r8M(])Qбdn DP٢ő;holHwZ\G{tJȕ[B} c28Ӽ<v|>\߇qȣݹC|r|B퀪e3h3>-KpƐI_秿';<3H6IӿSrFlrn-5HI+)7Z8 A,niG:JcknFY!=0@t];96"DYAЭ1&P>wSA_5Q!O  C}@z.K9<ќa (R扉SZ:ͩEJO| "c3c@QpL#. jg9;<8>.=>͗vz! z)ܛHs˺Vqa@&eA*)T/ql'@CIs'j PccW27Us_D+֫6!5s끐iՃQ=?D#)'0q`E;!5%]XB6=I%O@W8$Pq,EBǷ>9R#^asxuO]Сtu^,i6XwivL% 5y`ػ+&e?. d3(r~IppVwoo]2|uvMن_F~%qW\k$@Õ~)0/GZlbs_ 9æo}9N@1%j7bFb|)5.|\ 'Th?^ZB-&4İ>ɨnɘsM&oxbe a X>B?9<ۘcL9K[wگAb;kwKQA5 HRtQp .T cbRP& LCC^kox-l'L~(`[j|v+'t8I::nɅ, dIT7PԾm4:РIr9C&} g'G֣ KfO~CbӋC幡 @g f}q,1˖eH6ٶNw_1 % U2!]kf/g60J '?K}^&SnD1_+7B.8x^E,qòUvI&Nn\3s'Xqj67)Ы!#uocޝ7V=Kx&.e!"#в!6My_NV)J]/qSdJ*-9q?1p7*\')T;pEȧx+^DnN wF[ߞ쏩)pf+9*T#8.6B"S:kH2W#}fϛ+cJNT7 3l_hS:sVPg7ٗiif'-`ݘjq'}عh7]}n?cN -,<$?e*QבV=Չ@"a$wr₞M3ʒRx!C8dpF>9 f.-ހK[4[X{;Y3{_3sϨ'])SG6t!xSܩ2ߎf4EPOz>U]v ܄-j,qDwIꐣ&67+/ @ACg>7(o8䚅 C,׻&r 83ʖsy32@am #Us% X ZwJm\adzQ&^+r-r'H% ↢KA^wW+7\M/O)Z6g`kM\!Q%