why-coq-2.26-1.fc13$>RH^ge2`l>3"?" d   = ,?EL)) B) ) 8)  !)  L) )))H`t(8 98 : G)HT)I)X$Y,\D)])^ b!Gd!e!f!l!"Cwhy-coq2.261.fc13Libraries for interfacing Coq with WhyThis package contains a set of routines that assist in the manipulation of why Coq-formatted output within Coq.LMx86-06.phx2.fedoraproject.org evFedora ProjectFedora ProjectGPLv2 and MITFedora ProjectApplications/Engineeringhttp://why.lri.fr/linuxi686^z 2.- 3 JZu) [2* ;';(kj4 $1)Z^Cf=-jYsA큤A큤LMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLMLLE6f648ae45f721b27e129ab7be93d89e327a6f23e29cdb53bf4230a10a81bd6678288e31529483553b31df1c65eb381109ae9cac68aecfa4f779a3faa55ccee60db5da800e18052ef58490bab4e00618df00ac0e0d843964d4b00fae3dba0e03d28865666d9c0c106ff5c28963fd062e70ea891efe602596bc3791b1fe3f21645933ef69411aec00ae37ef6449f8bb4a4a5611c324081afe42d0f2a178915f02d832848e954e3a552a9c55b66a3b899476234fa10b10ced0f0ca1a59d875f91e117228541ad8f10f9c96c3de73358f8ba774b24689bb508c9fb86da39e16c45cf317058b677b0a9055bacda55dbbc748e4d6f42934c0da137d5714f8f37000f89aa5ac7f15a36cdcc33773f919b334e56572c41818b665934e9f87042e82c1c9c34be7118d6e53bc39aad4ca4b953b7cf8d7e5b9a954e5ddeb0523f25295766b37501998bb6c929a8563669e97ffa334cb5816c826271efd645b1fc19d624f84ffd11b2b07e09281c4b05e5946b813b46cca53d70ee33a514700a6a525a5ccefc6220f68d8f0ee22959a43402f04a4ce3a31d4188948b95b650b179a492cc2dc01d863e8f1758d5ff1115ba2a48efde4f7e9ffeeb132420b9d458444eb705099c7ee60da9674cdd75790b2231402420e9db450eb0cacd211fdee793616978caeb870fb4ccbb2db6934b2003b78e74f72321873b1f815f8a8c20487869d766b4f63c6bf6b8f8d4632905355586dbfca1afed7a04d2425cb5ec339b4ca6093e16270f718da3d9ca7a795d39316614a35c93ccb7f4afa35cd283539271e9368940e4fb1ac61a5bc340678ccac27c220706ccf7ae13abcf8d5e13ae8acdf500ba1b8cdf269c9c1c269bf0bddf6124d7cc29eab0af2b010d955269bafe2371d87e3d42cb57a2ff1587d069d95a294351423c0b265855fdd6b110bcfbf3245e55f9617ab7b32de3e25a27da455e145632ef922197a4c851680f0eec18803e47d379804659569f88791f137d5fa9b1960379e63de605668260c85483dae7b918d5b8fabd88a25abfa33652a4e8417436fd3b99e44a5e272484cfbd30319b2943b6c57e548297283df1f6deea7d7e6c479045797376a9c6d11da4971188f0c2c6531b82bd454aa54959d55ae5e894d5d3fce2bbbef40865c7ccd3a022501ac283888a00295ff4522922966d2efd2bb35f1ce7ea990db5b5f67f01eb2e529536cb626f8dd6eed1c001fa2548fb27ea26197e090dad03c2e7e61f94b7cace9d54a590fc3d9e8198cd258cb5904639b6fc6940f5f96cac3c265f9bc1a9ff9bd9d18577e9f327c6273bfd6d8416f099da792a706a9bc125ebfb2a8aed1d101380d393283758a92ef4b8f500d4422aece2ebde3ec0d3955edea1e5dfc07ef4601c2ac63a25c587ae35127d4c9550bc82d7ef49f7b1eca4ae6752572518df1bb75a2851f622a3c00da6d035476a14e0fb2a2a370bf4b15477a726e5d91af76fe2a03735eb233fa84eaeb520f252527aa5e26771271fb74a4a377bdf5c281188644686b029e8126d8340e32a1c55cfb31350693c1c1de5b12ec2b8116957dffdf484c30203abd1a63368df7353b64d535ab9e96316e87546d9fc8b4d557d49be0be1286c6f5b248cc13d5c06b1f93268f835474cc5cdbf1d138eaf399ebaa767ead998b89e0f361797cc3a2d8ff369ad81e4fe156cdc89a3ec0b4a60c37d98ccc590ee3d1ca788ad57f0fba00f997232f09ecac8745b49a25c129ec7615f6ea72d4d4648226a8cfarootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootwhy-2.26-1.fc13.src.rpmwhy-coqwhy-coq(x86-32)    whyrpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(CompressedFileNames)rpmlib(PayloadIsXz)2.264.6.0-14.0-13.0.4-15.2-14.8.1LY@KKKG@J@J|@JmI2IR$@H@HHWHnH@David A. Wheeler + Mark Rader - 2.26-1Richard W.M. Jones - 2.23-2Alan Dunn - 2.23-1Dennis Gilmore - 2.17-5Alan Dunn - 2.17-4Fedora Release Engineering - 2.17-3Fedora Release Engineering - 2.17-2Alan Dunn 2.17-1Alan Dunn 2.14-2.1Alan Dunn 2.14-2Alan Dunn 2.14-1Alan Dunn 2.13-2Alan Dunn 2.13-1- Upgrade to upstream version 2.26 (inc. update of krakatoa.pdf) - Integrated with Frama-C and PVS (as pvs-sbcl)- Rebuild to fix dependencies.- Upgrade to upstream version 2.23 - Move execstack fixing to spec file from patch - Moved patch descriptions to initial patch declaration as in examples in Fedora documentation - New Caduceus, Krakatoa documentation - Update test result from small test min.mlw - Added CVC3 interfacing capabilities - Removed patch for gwhy configuration, as there is a new mechanism for this- Exclude sparc64 s390 s390x there is no ocaml there- Removed now irrelevant check for no OCaml in Fedora < 9 (those distributions are EOL) - Changed ExcludeArch to proper Fedora versions - Builds coq subpackage exactly when Coq can be built, thus making build independent of whether Coq can be built - define -> global - Fixed accidental use of in tar ocamlgraph instead of one that is separately packaged- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild- Upgrade to version 2.17 (bz: 477790) - Add ownership of two directories common with Coq, but neither program requires the other (bz: 474016) - Minor filename change in 2.17 (GPL -> LICENSE) - Added back Coq .v files to match policy for Coq - Changed directory structure re: jessie and krakatoa to match new structure in 2.17 - Minor changes to patches to ensure they still work in 2.17 - Corrected package location gwhy-icon.png (should only be in gwhy)- ExcludeArch ppc64 on Fedora 8 due to no ocaml.- Fixed minor issues in response to package review: - Inclusion of COPYING, GPL license-related files - Added config.mll patch to make default config file created nicer - Changes subpackage dependencies to be fully versioned. - Makes during build allowed to be noisy (allowed to print).- Changed to new version of why, removed previous why-cpulimit name change, zenon output format patches as the issues were fixed in why 2.14. - Moved doc subpackage back into main package. - Added example files to documentation subpackage. - Added check section with test on small why file. - Reformatted some macro names for greater readability.- Added several patches: fixed Zenon output, completed fix of rename of cpulimit -> why-cpulimit.- Initial Fedora RPM version.                                         (^%%%|%%q%%r%%{%%u%%w%%p%%x%%t%%z%%}%%v%%y%%s%%%%%%~%%%YZ2.26-1.fc132.26-1.fc13coqCaduceus.vCaduceus.voWhy.vWhy.voWhyArrays.vWhyArrays.voWhyBool.vWhyBool.voWhyCM.vWhyCM.voWhyCoqCompat.vWhyCoqCompat.voWhyExn.vWhyExn.voWhyInt.vWhyInt.voWhyLemmas.vWhyLemmas.voWhyPermut.vWhyPermut.voWhyPrelude.vWhyPrelude.voWhyReal.vWhyReal.voWhySorted.vWhySorted.voWhyTactics.vWhyTactics.voWhyTuples.vWhyTuples.vocaduceus_lists.vcaduceus_lists.vocaduceus_tactics.vcaduceus_tactics.vocaduceus_why.vcaduceus_why.vojessie_why.vjessie_why.vowhy-coq-2.26README.why-coq.Fedora/usr/lib/caduceus//usr/share/coq/user-contrib//usr/share/doc//usr/share/doc/why-coq-2.26/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnu?7zXZ !PH6i,]"k%YsHCXRmLԗh.̋-Ѫ|"r+Bf#P鮓bݎz! 0G<:ہ\np#o:~炀Y|wGL?y'[oU=!Q+ Z-2O< ~!p>ůo*C ׈l+B>e&D/2ycMǬ&%J L'*@G핆+y:&I`FPT?20g:d_8- {I#w֑"Ob Tŵ ;6VR:Zάۦ*2s7J8Iq5yS*3pG%[L0XZT٣.tjфC\HK&Shi(!144&ECb=t;JhM ^o 0~;Qhy;aod'}-> YfL,-\'3>]؝˳)tnq*ۄV&BW-Kȡ/Gey\.%~, ) 3ʙ9(,m&9lM\o)f*z 4nZ8BǑe 0|&'7zA'竤G FaWR?;9԰!he6΀dT؁I )&;0yR56y5coOO5NC.GF tϾ82KXv;CI*h_"M "x֭.^QQi8]&u]y/Od]O^M#S[#sq8_(fN-m/>JjUJQf-c$}^]] %_J|E`*ϰ$Vڥ8syiShj% .N*d ̐(!iv$i,_({ ,2WcILMs*FzFEXW>gVy3O-OsVt>lU{];%VThG 8araLw0 N ^)X\Y ,i]pY'*LHsn{80\G56jzqw7 *?ey*GQF7H"}Lcp?^pڶ6nӛ WR) {Aa3l.7j6~J*EHa-lfQ}str|49`R4}ut]!۴JWg|T@5PJ pfFxWA4 ^{qOq7EdFfi"0mD;,B 2 Lί-".[a_zKQ2N Gi*]#} 6+ 3'Q.=)m!X͟l9U?0?n$!xC'5yˀ_(9JU8KyVhoˇPQ.gcDď |f\;;¯/Ŭp@d%IH|™p؟a-^:3gtMmY/s8s$h҉ſ8z)UXT|b0$a>࿱X pYNL՛hp^kmAܐ#'sɚ- ^AJ #=;fVQkΥoΤcB|zRu_f%Sb: $Ġ?i^0-/\̀B+ֽDkZF7Vi3F-;y䀙AL0[GQmy%$2\wzqc)v6r{L\ 4_f+WO >ʇ. XyxͅޣQCMZ 'eꤌyBo'El⭹0)'`lY>b2 sTU>, 82G-M; ˂Tw?EJ&J gܗIAJbF L$nR>!t֡({΂>@Ȝ+44;A5RUk2ϔ/zωsT&31FGA㟓}C'%NEi`ǘ~ô+2/=-/β5!T]y[_5q_~AsX.tȝu4vNu3~r#Q+$xhNE7o7M]fcvM Myު*4bErd+XrCC^0xp\d26\zڤSjow>%$Ήw(pØ0ˣ9*~s!/b|&$irvT~rKrጣ!5pgϦ,844gz[Tb?QD3,$g]Prd0|U>/Guڃ9% %^ם$u.) &w~M;>Ҡ4 B8ުnS =êϑNjvpN9jhݬ&~ܩ,%4, Qu&X9fMTf?zq e _*+_ 9a`saW,o$ ^./X5s\ܹOǤ omr"o!dz-Ap_^/G|WYi%ZA!),m 8X sjUJ> a:zC)k7뼺ΐ H#4SQ!b-o~@iI*`4\k`"t:!lGЬ4JNpLˊ_F&SX"f{Bݪv jNk6&B+9 5>Txˈ8,3(erUFak[Uι <݊=Q=-_k Skr0ةMAg\Cr8Wsqݍ*5[ rӶ.V^ڻ6_X/#֦YQs07RJmXdk`&.ukMd}MsH,Dz"˄uŃS d j%b )6؃LqRnOV~# }l$Ѿ?.8jw[=+̩)gc4I`Qw:OqK~rCGNPk鑗'ssn T3L?;Jl_.xAF9\ϸvA}~/D5_eV˪5\lS˄??*VL@k>uUk .B sv, oBeٖGX?˹en3x$$F]Z 鋘6xon8L2mZ}ACɤz# ;uA ̴5¶e۱9JV}",/W4*†qu<\kÝ$)G(zF*/,q[Qy-j"n߅m/|b?>%B3HfΦL,`߹铚y7lRW3̚=.~1hNu^jC7uOƽUJ4sy7é!qknH4x'qf'W40Ћ1^),oy+)HN]_4d2 |⣮t/ECnv+' 6o&LOBϑ답](7 < ZB>_Q*10^|ݳXci wvBsIM)iI  e7tfw`U~|js v5SB.;ޞ^?N&b,cm9ϘJ=B C 2?;ڼ?TFy9%'3zcroT-Ca!$KaGAx)ӏI"iY M[T:d#*gNћ-.`F!v_ B|߄d7d=Z]!Rm - Kqg2$پ,Vlʄ3VBn F0JlGKaeu_qf$Y u)>+bs[?5 0_zAPEͣx-VltUUlZ{;u T4"[)vaP+6Ĵj&SK VQdhe+'y.U@'֭Fu2X/E~+NT}n[ny*xN·*²?yYB;gR1W1 X)#u~g'laJ,C ʼnFwh. xF]_4i̢43)7*np:8rLe91ڨFɉJb<": i65lzFAݻa?Únw|܃0 ')'y00O{pgd+sbV< ?".v!bM7+/ي3&w B0i@)hHo([ iI%QҽX[XCK i)G}H͸2A3"㨎l]G^1f- .6lL?'tjJ3!b t*,˨a^ ۈ}#_Z[mRd˸\=) ۻ Q\oXY&w*[_g(pC`:81<+@h׽3"KpIC=4δ'N7Lq终{o[0)3Zu o!VO u2Hђ^Bsk!M_j΃ޮAsaz4 ìKcx #ےGY kb"\l~daيܳ˃{i,ٗv4!1"D{" 6| BN/i"I3'v1F74,2-QgKi(aPu-/䴳7s 9bQBǛ iCe}ףw5}|((6M,WikXOvV]+؇GdCX~#؞XdA9`}ξMuـ`+_TAK਱ `teF/צ4ƶ%3;#1u:2 J~nrOBNlq7U!>t`?is:Be*vx$dVm ҄;(}$ sܗNb/g"lqqHcͮ`ύrWڮ#5<\fY"/DD'E3@ ܱ5C}>'KHI@Rl;ec9cHW_ zM=+(WuԆBӟTrVUўi$pgDHע^T/-{S# XnN65ד VW+y~ݨy-r(C:S"`e77&3dǃ: g|%ovvC Q [h$ _z(3Q6TF9N¶ %hZ?&qeѡ>\4kij^AMeq).BJuȣG׭r֎4.xQkc-xJ!iW\_?3n]ͱz$#ӸmnS4?& ^åAbܚ'$t/Cܷpk$Xz@r'vܸ>XQ1LsZj1H}T])s0&Paf$%E#yold>ܗ[㨟)v@>vq.;)xfh\˾#x*M,+YBM9ZbXPĄ)ᅷ*d/DL(aOӃ ,I~QUO9&Ƀ*xĉ.fqfwi/O+*`DD;v3a熑qZk}YPBG VFy cU:T3ղQrPǸ3˂ wttZ{ڃȪ$ [jr{m\7^MۍxBB" \.I4)%;\|o~_5@I1Sd $]A }&aDI a}W`-AO q'ȉX(oI03x݅IFw, , [%; W<{vErA+ ҹ/J+ƌ"Ŵi-^a˻%illg4o'MOϱ|􎟄6OWa&g 3ι3'm] `k %4: lE'5s"U# 0Sy/SV!aV4hZJ6&_a\UF A :hKZ$"itԏY*2=5F8+ln`dV}KRGTæUmPo׶-n[NGpnY8JjڄQbLjןtq %}O@E .K|%~JBmqGcLS6X{Yu里{Zp}U {R$ߖw]aÏePǚEJIe`]n͞LQQM<`;NnEA4W"qr3 (^ >m,v :ˋ kh<ǿZ Բv,vl4E0s& (RMKc6W4كbA^xp6?e9eezൣ~ЇfqŴd R:}<78;X0`J/_u\=ǎ 5I Iu3>#R`:/muH( PBVaXқ|vl//%HqmmYMN- 谥.Id9={(ԕ&u-HZtX ۻ2t(]=zƫ\2l/V Kabȱ|ک_1|h z dz)Bqa#Sq!Fl]!TstLsp! Z,f~?  pH"i!IAZ'jû{U1Ɂ(Yy1C []p^˸̌q .01t*qiq)?W׮}'<Ԭ`+l>Bj{\3?N`8 ~QZT RK>j`k;>1?k׸҇?W:}#q5Z}荆/`:NWbb}*? LD{; _5A/.vVnlV&;_1)>2usȻzzz~#ΜxS{/AnAωPtb"2XݔO+LRzt*٭+BrUHTRKXLGN_=IHhژozmgֵ+έG''L7OSV/G9}g5qKkDa~j@._F#=h3mntP*ʊNnf_/Yo/>$` 'sCzˣZcE8+MP0%4' [* J1RIvH$*;:u!+zv c;^ C`nAkYvTFfQBwZ(`vߝ+bsLװpwp,uf!\p3&ilԺ߭ivN&¢A 0{óuJq)rk@AO!wTדBz`@7$c<͈/%bB?[E\5s%} 3D|e)zh*Gb$8.4X3!j+_n4ϱ9PH*uNuCmJD`q] +ƩY5*NSm`9&\$)}.n.JVaN_",$ɘQo0o& }9HRw oA$_'&S)6Zylʜ6!t$̯'5Ȅ2xq}n(>\74cQp~(JTC Ya2~Qsh'A/c5fAx[GC}ZM֢'Ui9M߄!:}_i=&eIGI}I&kEfXz1g#P]zwgP-}!>c/8VDT4X){!՜poi h'Ӽ^*9A4k. )a` j̀ #v%#LUI$T ^ьuWU,.ۮyQ?Y$~  YZ