cbmc-utils-5.95.1-4.fc40 >t 6 6_6 3!]W>D] 'p~[ye/ 'p~[y4wg44`a.ɒ62'3El['fX^=,0'SCVGn (g.~;VSUrw[҈b輹a +ʆL"OӬy=QE9YV9㱶\n*V{uf㸼僕[$@Wg+1 :J"=qӒuۗZX0^ 0"dLKڛN;코[*NZ/Ծ! gdǔ#)F$Q>J,e;qUHL~^۷w=9L.!uYnFUH_u`SֶB~ QzhRAo OۖlCg oԝ!Meߎnh3Ko5yWfrzEZU/âIcb$nբԘ^֩)`f!a?aME$2Pfӵ?~e$%of@9c62cf9764978ee20215dabeb4549d42d855d8cb2c70e35b90d79aaf9188c727b34a514fcb188635c7f6e5dd5a7161664469952f030204a3204a9e0046304402205f394e0714f4d41084d8724d568470205a6c3e43ddaf558470116acd14121b2202200bbfa90c854cbb34908c1704b566ad9361af432a61da852db0dc9bc698c7e63f030204a3204a9e00473045022100ceaf951035ebadad37f954870da33abf4aef346649d0af38db254d10524084b90220122b4b9e8f5e9e445509434e409090bcd5e58b709cbcc9ebe7a51c49b836b9c2030204a3204a9e00473045022100ce93365a5dd0cfa70df72df5a63df3c5c981a476b155075ef1df3067d83d7c180220131898272324b6642d20d2fa7c495e227a3e9c882853d0d7d5b4535557c453333!]W>D] 'p~[ye/ 'p~[y̋d:i,.;xNKqL e]A++Dk)@e| OKԔx9<= BYHZ.OAۻy;[kNZxy.g+x\Xbއ$GߡN]N@'[J'o%Af ұsSB;G5P9а 3r7,mm\ ̂0 /cTp9}+c2/h-0vZy$ fqMĄ}=OѡG5rx٬;D,quh4uiЕ)ɇDuŤиEW&I* @UBeN!bg5̵xR>yYf!LբYvh Cfj-|g7gm#c\4cԦΫ2݆ma{rLYyUE-%a.@NK 9~:Bϻr$'`;arPQ̈YZV'D>`> ? ud   @x|  , 4 < L  $8Lhx4(U8` 9 : GTHdItXxY\]^b d e f l t u v w x y      0 4Ccbmc-utils5.95.14.fc40Output conversion utilities for CBMCOutput conversion utilities for CBMC (GCC like format).e#buildhw-a64-21.iad2.fedoraproject.org$Fedora ProjectFedora ProjectBSD-4-ClauseFedora ProjectUnspecifiedhttps://www.cprover.org/cbmclinuxaarch64,vA큤bіbіekbіe8602ab16d51f032ae834fcb149f7ba5cd60681070a16c3d344a0f4cd7dd42472b6cbcfb2ae55e428658677a22fee67f512d40d2a2baae4aa8ebd8b6b49f42caa55660d9060269ad1dcaeb88138678ce44d79b0aab023cfe8a15081516937ea0rootrootrootrootrootrootrootrootcbmc-5.95.1-4.fc40.src.rpmcbmc-utilscbmc-utils(aarch-64)@@    /usr/bin/bash/usr/bin/python3rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)3.0.4-14.6.0-14.0-15.4.18-14.19.1.1ee@ed@e\ds@d@c_c@b@bLukáš Zaoral - 5.95.1-4Fedora Release Engineering - 5.95.1-3Fedora Release Engineering - 5.95.1-2Lukáš Zaoral - 5.95.1-1Lukáš Zaoral - 5.50.0-6Fedora Release Engineering - 5.50.0-5Lukáš Zaoral - 5.50.0-4Fedora Release Engineering - 5.50.0-3Fedora Release Engineering - 5.50.0-2Vincent Mihalkovic - 5.50.0-1- fix FTBFS on Rawhide (rhbz#2259235)- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Update to 5.95.1 (rhbz#2239079)- Exclude installation of test dependencies on non-x86_64 architectures- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Fix rawhide FTBFS - Use SPDX license format - Modernize the spec a bit- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild- New upstream release of cbmc and also cbmc-utils - Add "--add-cmd-line-arg" option for goto-instrument5.95.1-4.fc405.95.1-4.fc40cbmc-convert-outputcsexec-cbmccbmc-utilsLICENSE/usr/bin//usr/share/licenses//usr/share/licenses/cbmc-utils/-O2 -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-gnuPython script, Unicode text, UTF-8 text executableBourne-Again shell script, Unicode text, UTF-8 text executabledirectoryASCII textRRhttps://bugz.fedoraproject.org/cbmcutf-8f71e2895ffd42208479742a211c3b6b32704c96fbe9fc5930f421876a1ba19651f9f08007bd263e4fe2e5b911fe92ae9e54bb9608ed025ea32449f4528e0cc0b? (/hk:|@@8EUQU~f1"ceWZ'JbZzʚ`qEC&-3fgx4|MW#|ycFڊ?jJTt8G}ס[>ҐRCvhԄ3֥tJő$5Ezu8[z/Қ"zgMA99H0, Je%[X?ɩW1>3qQoDsZ݆u|2F&g1Fߴ+BE/sƫ]-H?E8LEP^yGwƢʑxe,ME .>Vc~Z_pD(r"ġ=([;HUE ZD#8@'"$PN$2.q"1M#62#oZINM!M=VUBAR5 T4U3zT6C-kj4Ei?tuge1rv}T}D"U cE\+Ց~TԴ&Q#_q5g5-?_gB:kG A5yE}u$&(U'Cu8 tj¡*EE y$-A}Eؤi6ܖeL`:C8ztw9wTCnq lMy#=)WsɶNQz dk{I%M?1;4??u;y$bX~0Y6€((Ev~~3 uńJ@ZDr >DbVHMA=ӧk[C—NCq &D:H?0Fux 9o&˲@PT}ykaEѻ dX)iR6H|lHK!e)MFؼ=M:2&L^SXzx?JImt@VMm+^;b85!g*?U2fȸ wd_GaY$|`eY., ۮ m36f6J6͂46NCø,[4h2d 2Na2F󶮢˼J6]F.o:MgȎ#fAR9dE,E8LlsͯKY"]2Mk2ncg/eh:\22wۆ'/jE {2f(^C[ o_җhCۊcA,WZc ɯ?{3ypj _㕄SrtЌ$I bCIl|&8L)"B22""A$):'x/]r)M&JtHpwO<Xݑ74k8bLs>i#òPZ&f;Ӂ;FvOb&+az~L^3_g9x /&!bOg=6kqL'MUwAC8M(1xAʬ!7(~U:J%sBF颌j5ǐkUʜYLH' ۖdXi! $Bzw Rz..ͬEd)oWnO]KfP,  n7_TEp%7!1H}Z~wu{}ʩ8[|#kE_L}%^=^phТ OFjc_VB-/J+yYYU<9 MY\q7Cv1v|+T&# -6ź9q8MI{8K؟Ʋ0~ʯ7L %88iѷn h:0 RLf&FIXGF'nV~c厼'e-%'F=( i薅 ,^`bf\'tXkIG{F[b~StxDP[WfV]ctg^{Z $(D`W;TfY4ca9@ }HNT]HJN/N3/g uY58 02$i*5navNRx>!k3:bf4бyEрQ