picosat-R-965-26.el8$>/4"ŝyи0:K>>0? d   2 HL[jn }           8 \   0 \ f (8(90(:&(G H( IL XXYd\| ] ^bdeflt0 uT vxw x@ ydCpicosat-R96526.el8A SAT solver library for RThe 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. This version of the library is built for use with R projects.hbuildvm-x86-17.iad2.fedoraproject.org*VFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttps://fmv.jku.at/picosat/linuxx86_64-9EAAA큤A큤hhhhhhVqhVqc2ac8eaa5240d7f1308d7126393f14f1a38083a5cb9a2419a36e4e8d829030a857e153a2b7710a64536e355e0f1a5de4e4e7725c560ac0f4b2befff313007b6a19abac4c9c16bf5977b1c59e6c20906b35052410b287dd77cb2ebf4feaff2e62../../../../usr/lib64/libpicosat-R.so.0.0.965libpicosat-R.so.0.0.965rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootpicosat-965-26.el8.src.rpmlibpicosat-R.so.0()(64bit)picosat-Rpicosat-R(x86-64)@@@@@@    @libR.so()(64bit)libc.so.6()(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-idf16facae9b820e2fe345977e1b3cc6bf5316f0d7libpicosat-R.so.0libpicosat-R.so.0.0.965picosat-RNEWSpicosat-RLICENSE/usr/lib//usr/lib/.build-id//usr/lib/.build-id/f1//usr/lib64//usr/share/doc//usr/share/doc/picosat-R//usr/share/licenses//usr/share/licenses/picosat-R/-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]=f16facae9b820e2fe345977e1b3cc6bf5316f0d7, strippedASCII textPRRRRRRR https://bugz.fedoraproject.org/picosatgit:https://fmv.jku.at/picosat/.gitutf-899c76653698c7559eeeef0ae31d38aedcf34a90b46fcf84751894c3d02578004? 7zXZ !#,S ]"k%]I*q6R̐`xMHshk"d)q'Iz=:TLy.]JwuV hzpGnhD嶥aOs؄b<ȓzv|q̵ F;dc,FCoá)) o/.Raذ jaL=0-ouh>ZwT^_'_uܫY{$|T-@ hNgS_5KׄZaN7kר-~emwڗ:]@P;0\cYqz ˪NM{OɆէkVӱPP6.u;B(V,|[2st ) qjȚ|A5cY4W[vnl$+/5 AU2=#60$&ɮ[هP^QBI3tY2glSF_<%'``9p kKN'c/O2Ik4_dcBȳk"l`[sU}TZ. 1L;b7pǦrĻ",A(Zㅒ;e1W)_AF'z@dUMЂY*:JdؗPotaԄTflY|Lױ1 KC@p4n2)/iTuƱ2~,}|XjR4n3eUŷQ͹T0_5nMdp3ML':r['_nyo IJAu4hZo$U& 9Xk׎9r8bSs"C *I󺩞Pv'/ Q䂷;PIvh>3yhݱ"NjWSsaMEjC#H2r{Pe&:"s )uIXpq+{G\&c-ŽS#"h+Fnm7/ַ2Zv*ylGamCL]˖)K;_Ǩ%snGV!Ӥx\4Ay4-ZA[a qNyjr 7˘s`t@VtT`(7myvv`S$GY#^vKh5oI*3r/"i#x-C_/] p8ވ(BR%ͪEb)osA}M-7 %`}Vkt~,dOGFstْ LJInͅd{n.R.:RGH:-, 1@%?4ltlRX_U02DR$0T]r᱋ڑA1ϸI1N΀a)ډcBGڬo* d(Rs220dB 6 UGlBGhLvc e],͙meØXVV2j^b-G`v᪮J*84eS(.,[^$Ou,jCpm81]yVҸ`0NM7*,(3T FV zl=:87 #IoS%+SGPFѮVsA-bw)@kx* rz]HLܶÇ|x2}s,C+f~lscO}YU;?op zwy9J63鏻Sgal1x5VP,I$v)4b9Y{x@Q& Zeܛrl՘9\u `hx<`(6 YZ