kissat-devel-4.0.2-1.fc42 >t 6 6_DHL\` 3!XPȬI^DgW ȬI^D~Ps n!r_X1jxGiaGd//"] F ?~A)tYL6hAZ'?̄aVȜ$ K6}]j?.]Aqsbiwϐ6O_~kU};O>'tI(e[\-A?br[5cHY}#V|T(4GryF<&i|dn )*^hBjT\ASA XqIp+4"]$g:ZؽTqLk-ƙvI140$YDA3ހ|*-=k[6)'R(x`ܰl$m2F|O>ZtnNJ.\?! 0Ԅ7ߦ53'a s,a`Ƞb<zzr"$ q!KmZYMwƘ{A~CRټy-9roen_t1`? ? d  9  ( , 0 8 z (8 9 :{ GdHlItXxY\]^bd e f l t u v w x y     C I  Ckissat-devel4.0.21.fc42Development files for kissatLibrary links and header files for developing applications that use kissat.gbuildvm-a64-17.iad2.fedoraproject.orgAFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://fmv.jku.at/kissat/linuxaarch643g|g8c18d78b3d0d0b173b081003b068a369fcae931c1d877f958d0fa000e4ca720alibkissat.so.0rootrootrootrootkissat-4.0.2-1.fc42.src.rpmkissat-develkissat-devel(aarch-64)@    kissat-libs(aarch-64)libkissat.so.0()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)4.0.2-1.fc423.0.4-14.6.0-14.0-15.4.18-14.20.0ggF@gQf)@fafeeM@e@eG@d!d~Jerry James - 4.0.2-1Fedora Release Engineering - 4.0.1-3Jerry James - 4.0.1-2Jerry James - 4.0.1-1Jerry James - 4.0.0-1Fedora Release Engineering - 3.1.1-5Jerry James - 3.1.1-4Fedora Release Engineering - 3.1.1-3Fedora Release Engineering - 3.1.1-2Jerry James - 3.1.1-1Fedora Release Engineering - 3.1.0-2Jerry James - 3.1.0-1- Version 4.0.2- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- Move configuration steps to %conf- Version 4.0.1- Version 4.0.0- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Stop building for 32-bit x86- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Version 3.1.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Version 3.1.04.0.2-1.fc424.0.2-1.fc42kissat.hlibkissat.so/usr/include//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-gnuRhttps://bugz.fedoraproject.org/kissatgit:https://github.com/arminbiere/kissat.gitutf-8db6b4387a9385703794175e11f12afb7c8049a041dfd44e4c9056d58857544c322eb7648d770481386cb6d49232c6bb64156acba3b8e7c31350d649e14944138?(/hM 0QҬۺXۜ4xa=$6 G@B{ǣ(b\确%\0͖uzɦ{=ChNQSª Ca@X-Ee%5myo`[C=)WMs ,u4ui?UiL'Qpn5o`VlN'w slS-ͯt@kwv]ƣ\7!Iѓу<\ S=<5 0NsZLxvF[cˮڽkNGl;'mr8eCNI0 'e`̈Z;r5 #Pa #z7h3NEb![6@o(v{t 7#fŀ3/ 805E9hb@QGh EkʘI`Â zl 06#IʴJe_n:kAŸ%@X_ʹ]2h7l1*!#r-