picosat-libs-965-17.el8$>;(Ak͙rw6J8>=?d  /&* 9E`fp             ) j  D Z (}89: G HL I XY\ ] ^ bdeflt u, v`w x y48_eCpicosat-libs96517.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.dC'buildvm-x86-11.iad2.fedoraproject.orgFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://fmv.jku.at/picosat/linuxx86_641+D`4(9EAAAA큤A큤dC'dC'dC'dC'dC'dC'dC'dC'dC'dC'VqdC'Vq859076589e794eb4b566c960fb438bb96bad836fdd55852b1f465c947f160096b2aa84a88e187e866e111572f1768d5b15fbac155b8eb2fd4823ee7aad5ce31d57e153a2b7710a64536e355e0f1a5de4e4e7725c560ac0f4b2befff313007b6a19abac4c9c16bf5977b1c59e6c20906b35052410b287dd77cb2ebf4feaff2e62../../../../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-17.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.3dBzcʂ@cƍbڑ@a@`@`U_ @^2@]:@\U@[H@Z}@Y@YyXV=@V<@UT\@S@SQ@QP2&P O@MRMA^@KUJ^@Iñ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- 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-17.el8965-17.el8.build-id555d43493014fa49c2938cf8ab410303330c48f9a8150f64f1cb465c82bfeba424abd4fbf240d27dlibpicosat-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/55//usr/lib/.build-id/a8//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]=555d43493014fa49c2938cf8ab410303330c48f9, strippedELF 64-bit LSB shared object, x86-64, version 1 (SYSV), dynamically linked, BuildID[sha1]=a8150f64f1cb465c82bfeba424abd4fbf240d27d, strippedASCII textPRRRRRRR PRRRRRR https://bugz.fedoraproject.org/picosatutf-80d0c59292250c224a1e27edefb02e8485384ad7166c064d4239a2a7cde9acd8b?07zXZ !#,'1]"k%jsI*q7BoZ|x(T@: [#n\Uq|yhMNra/!=mM|˙4 ;m]p{xu0X]~6+Y8ع0XĶ BxUX!9;$o@b2sEbah?+ouZؚ(|y8wTϛZ…m1 -"Y e\I\ܵ\h>c0~JъkZB$vf6돭{텹РnIWpDT- oʗﮖajE"Gs"j-d$I\M6hBWxYԯ h J=o2OL/NقbaY, 5e]u|wh5~Bl#~ ,<þšֽ8ab8)k5w[q BGsp{V Gm%%@C8G?6 M?_/3?,}N V@TAM3PPj$h.If\#mTaNrH|6EN ;>M{ m Ɏ<͟+_C#tŒ<;a;NQCwqCi$\^uCW]lL\^賖6xsb؇Pϰu')M4&lH˲j6e^PY=XX[Q\uƶEp{d~R?S7i`BK0}vE#/c~V+::ly|7ӿy@Ќ4XD9EGxFQlɩJWa<:G'lňJĜv|3CuYN f1ž]j-4|Irv꫟ "_iIN-:Hp[~ }|Efw䡏f2!nr={Y߈6s\+XņS*xA~[a 5 e #\:&wL"]ad; 4 ?nr,nW"eD³PHZ,)Iˣ}Pn24vVl?ޝ, h{Yt`as{D(9'?n_}Y,AR~]E:ۈd^7 p,|Jx HYx5t4YLHX' cYf=x g=^d3̯6πls:E)5", iȨUj*NnɃ#LP:tP(K,R81KIl uvDPvW- b1hp)\7"@8II"^aWg[WR/z<g!.cvWXi]zd6<4çLx2sbOnG5UEq@f814_#vA~F]J^6CE/u,HE7Nv#{xbO_(1O %U~ 7jb8=Bg.G& AϒhoFfʭE:(4zwPX#w 7ޅ?d Vy n ly1Ԧ(ێVk-p<),ѲD֥y[Mc8EB#; 2CЅ4y/L}i*=Ӱvڑ\"{]/`N KeS>~E\5e3ۯ_e+P4wƔаC$X!X%ؘUg34A5)GMHaB] v>4'FяgX\lP qq{Yz"о|5W2ElYE9$1?sgN} 8^F`LlN9iAN6jԫ.r8uunLJ;K@e)VH;ɫih$Y<:F4⑿XRE{ ŖhzVc /Anδ Bщ1` 4!X?m't' *ec;nQ/\ZnKZ,k| R-c[#)ٲ~BE*E/^ZZjBZ;%*C`ECZրYH=Ց&8B?ztygxPڂa~%]%1q%yc=!yasE c7kSLXE*AΓ n.*2hn֍##@yJog1sӔnO$gg-Ty S>Xa:9 +yg|,; G/#dZ9y^j!VPտ]l|5tjcSNo@dM#k!-F9'rQ6'-Kvq^ G#F@cRc7ȧ(o"f/^ μOLi.w^Ȫ݅ѷ:EŒC\G@ͼWؒl7qA"!7!lw~d8bX$q5Alϐ:GBNW$m`р͌]ᔨ9ymam~vP((PD $sP'P 1IPb?у[L"*~,뫞<cRDf游frow|p[~-?]O09)"WŸ a ДTsC"6sZK$4w;YT%25\+Siۀs *ЗF7A\ɲjxe=j~PӒzF7j4qNgy}OE|+%+٧#n'@F=SJ+5ƌI1\;,ے"xAvsL{"Zn#aT 1 =p}~;V_X5xH<B!{+e,w_1naL xS,|1Y5jhy"tt ΂>|[;UsJ;|(h3%CwŠr??v klD4#@KN0Cd^_`q6?5wjy !VmWrj/F\(R.~}=]L_BFI>Ws3J*5bQ*a`>0q:sqak//m|Ðó}bj[#p :a[#YVwq4ၛuI¥J^ RF!i<\·~ 4o& >vZQ=޴Re= r"q]{yldҚBittg',I?[GޥtRuU./v"+\Mc8D2!Lmz|_b| dU$Zk'x|ʩB8>勻f_.9MA尘>wy||a'iwX1c+ $d^Z7vUxv.h0s,:Go~= ]ڶmA/_bSg˫E֖o`SnW }MU3SI*KBۃ֛X8HuLIتQ1#4B/<^|H캢f-ٌo=.XA\VVcb1IVd]dh9Q'1K6cؿF@3E_@x􉘐V"H-J]Rn>ߙJez:ɐc&"ݎ1 >uxBnpm6`5U]^U$zVQd:L[=(Pf|̪Y\KwQ_ q')MCywl& H'9.:puTS蜙J **,lqmhbf4zlK!EbƚlSV2ҒYO"Vd%3[qRoaL`CFb ]=nl)nR2 ;NkkW2 #u8#s}3FFfpH3$8)XxkdߢklI : qGAW&qS66MwZ"= ^vֈYti,J-.*:Ro9ߧj [cl 1kcɲ3|@[ _/{xACC>FV'l'yϞJ8}((%>gΟ޸y߾󵞬S9RHL ~MkƝѥFÑ\#N~%,Ȥ$ @K jjL*VU~Uuyg>j:r+oRsȑhV*͐M'rtVAV\Z'\NQ靖y۽Yo3w3JQ'ft{t)Eiλ>Ǣ\hqHj@dEA9UcSގgڳ .