gappalib-coq-source-1.0.0-8.fc20$> V?*b+>8?d # 4"* 9Rpv|  $ x  8  ,    <( e8 l9 :GHIhXY\]^Jbkd'e,f/l1tHuvwxPCgappalib-coq-source1.0.08.fc20Source Coq filesThis package contains the source Coq files for gappalib-coq. These files are not needed to use gappalib-coq. They are made available for informational purposes.SR:buildvm-26.phx2.fedoraproject.org_Fedora ProjectFedora ProjectLGPLv2+Fedora ProjectApplications/Engineeringhttp://gappa.gforge.inria.fr/linuxi686@ Sc3b#,/HWz8lD 6 `v3 _QWQWQWQWQWQWQWQWQWQWQWQWQWQWQWQWQWQWQWQWQWe2a68321eb94626b9e6aa9724c9ee9fed79eb660840d6c30689087cf89a14c41033f259bbcd0719de481340b8b308a207f188889b33e01c62462ce4daa819738973814ee3f28ccc5f9c2eb7e4d8273cf86fcd6ac9c1bdb7aed9773f8fb6caf56331b41e975d6fc48e531ea79005ce8582073a8051a3b15aead0c8589fc899cfe0d6ea586e46d18b0f8434e677da0e4301bfe4fdcfa77c7c1b4330df5ee09c9b74a5153ee17a6efd08d196e2d5ce54a6cc77762771619860ef2bdc0293c23f675c574a34be13b93ca1940c445f8bceea0327364e4337deec69b07a5f793f093d847eab968ade6076f457a0bbc47c3629bb4a2a6a92690b6a4c5d4554bfdd14f79bc1033d77d6c8bc97f6bba0ec0bf5dcbcbd51389366ed15832a2aca77084072489de774fa60a4a08e3ec8e1f1e7d7f9c695fbc6fdae81b1650e0cacb8d038e23c28e35538b65b937cbc45deddfde88fe640fdebffdcaf41d147e6cc4effa6cfbc62eedb3dbd1e25cdcc32d11b58641cad3dc2ad47246d322a7bb2f800108a0b55780cb3425d2be5ee65116e0f35ff90e734a03dd5a162bffaf4f0e808bc1d60f2a491551a583a4075ff0393b7404883ade375c61013092b5dc85d36e8f115620ac6f916f059a20101f317112009aa366d614992427bd62a40c1b838f4f250ab12a388de6d6c81ec73adda11ff918482e6ec74e9df5137e4490e2f34d3ed67ae5ea0efaa6c72c3cf2af42082a394df5fbcf6ecf799fc22207169024bad05c03135863dccd09b4a2319b4c02e997664a21860ed6bb0551f3e51b672d2348cc4b1c11479305bd9e263694a9543e72e445e19352b2d952ee6baef6468db984ee6026c1b16cfbddffc1b62f955b246dbda98e10adb9d91d33ecd32f036cb5457cf10748e67cd7e5e1980cc58916540967683f6355c43b97685db86dec9c7908255b4arootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootgappalib-coq-1.0.0-8.fc20.src.rpmgappalib-coq-sourcegappalib-coq-source(x86-32)    gappalib-coq(x86-32)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)1.0.0-8.fc203.0.4-14.6.0-14.0-15.2-14.11.2Sr @SU@S0@R@R6R@QQY@Q@Q'@Q@PP@P3x@P@PO N@NNN@NJerry James - 1.0.0-8Jerry James - 1.0.0-7Jerry James - 1.0.0-6Jerry James - 1.0.0-5Jerry James - 1.0.0-4Jerry James - 1.0.0-3Fedora Release Engineering - 1.0.0-2Jerry James - 1.0.0-1Jerry James - 0.21.1-1Jerry James - 0.20.0-1Fedora Release Engineering - 0.18.0-7Jerry James - 0.18.0-6Jerry James - 0.18.0-5Jerry James - 0.18.0-4Jerry James - 0.18.0-3Fedora Release Engineering - 0.18.0-2Jerry James - 0.18.0-1Jerry James - 0.17.0-2Jerry James - 0.17.0-1Jerry James - 0.16.0-3Jerry James - 0.16.0-2Jerry James - 0.16.0-1- Rebuild for coq 8.4pl4- Rebuild for flocq 2.3.0- Rebuild for flocq 2.2.2- Rebuild for coq 8.4pl3- Rebuild for OCaml 4.01.0 - Enable debuginfo- Rebuild for flocq 2.2.0- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild- New upstream release- New upstream release- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild- Rebuild for coq 8.4pl1- Rebuild for OCaml 4.00.1- Rebuild for coq 8.4- Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- New upstream release- Rebuild for coq 8.3pl3- New upstream release- BR ocaml- Split out a -devel subpackage- Initial RPM 1.0.0-8.fc201.0.0-8.fc20Gappa_common.vGappa_decimal.vGappa_definitions.vGappa_dyadic.vGappa_fixed.vGappa_float.vGappa_library.vGappa_obfuscate.vGappa_pred_abs.vGappa_pred_bnd.vGappa_pred_fixflt.vGappa_pred_nzr.vGappa_pred_rel.vGappa_real.vGappa_rewriting.vGappa_round.vGappa_round_aux.vGappa_round_def.vGappa_tactic.vGappa_tree.vGappa_user.v/usr/lib/coq/user-contrib/Gappa/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnuASCII text?7zXZ !PH6]"k%qSL-GMxNk*[  {XJ[Z ▊yc@韤F*4t~:i15w=(AЛMxw9e/䤞Di`ry%z=$Sn֏+æPQ.[b-%⬾˅-J ޳ 3@K!~$ 4{Q`z`r?] :Q0hc#e"|2B`g3!ђ5GVp/zZdYJ!CkY}:8Hٌ :b>kߣk c4ȤYG ,Ze5@R rtmhbV_H9e HeRӺUz{|\TvRp>\TxapuF6L<#-n/kye%k␢2׳`]i`9fy0fub_GB]ٷyBmXkg#s,G}r<nG( f[B1Tq0i5MEԲ)9OrJl'ѢSMSB\qt檉{aJ!}w僃)^xt}fѝY_(_%Z5+ɸTĖyoyM)"^=Jg UL )I"ab:sJ4jI@ wdo#j5$B3 dWH`qp 1׫Jw>g)ÀT&m|>+X7[A0aǎjܝ<\H#EiNܲ'd4Nr1o}n&>}a|u候8MR}8hdF7G~Z4&v>Lk[UJYQޯ'j4m` ?,37 [ujW8e )U{Q?1doVGr.=Z5zEHu=.gP^>PF~k|4bPG&:*I]y˫CSסeIg n3IScs ܤNT܉!7E~)_AHT@'50CsΝgi^% v!H YZ