gappalib-coq-source-1.1.0-1.fc22$>0h+d@o` q>8?td # 4&. =Igmx    t  4  ( |   @( i8 t%9 %:T%GtHIX4Y<\X]^bdefltuhvwxpCgappalib-coq-source1.1.01.fc22Source 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.UxQarm04-builder19.arm.fedoraproject.orglFedora ProjectFedora ProjectLGPLv2+Fedora ProjectUnspecifiedhttp://gappa.gforge.inria.fr/linuxarmv7hl1 %c 4fB-GXz?D # v3 `U/U/U/U/U/U/U/U/U/U/U/U/U/U/U/U/U/U/U/U/U/f25151f092b2c4ebff4a9690a18b376442d59157203cc5833bd8151f1fa17e211c8b0ef3aae59eecb29474016d75648c49c864db68f44335e0d517ff4996b53787078dc87058fcf268980a95de4fd8282e67ce204208abe4448d98c5a32da833e3fbbad8f7e612d35e7f013d3ef99b4ac81c29ab7d42ef733e3163a25562dbf95a0fa6092616112b93a3a72b95e6f2739e9561dfd520a7533dc7c32ff0eec5425877ac9261ac30303705890fa6d5aa32d147231717e5196f3d3b84f16d4f1c1dc574a34be13b93ca1940c445f8bceea0327364e4337deec69b07a5f793f093d847eab968ade6076f457a0bbc47c3629bb4a2a6a92690b6a4c5d4554bfdd14f79017f1a0e1f4ca9c9da26a0089019d386873febda2aaf0b25abc9211630813d21e9af165fe86c01bc0208307eccf65e3fd5121acc8cb64e6c79042286f29d9ad084026abbc18f3093a8111a12eb07476008c1fb15f4c9ffa1330003e928aa5ef64ed5d230c8fd9c7cb689257a13bdd987923bff3af4d6cab13715ba978a5743300da177ae4806e0572e4e9eded2004c1037f07d54bc5305eee3d247d2bbc6b36f17d85d599bcd8ed51f2621c2c6331d7918852b7daf51dbe3d195e0373d562d3fb513739f2b05b3a9df6356cb47f17e8bc0163cdac9b7510aa101501778ea2c02057fd15b28484353bf0dd4be7f236f61a4167f194cdb8bfac1552c1ca15d83a100c3972384a80a89fb42e60e4319fe27c76fbc5946e7c24f9adbe8016244a1337140f900f7fdba22a413b9f0638b8c0d2e22a51369d2fb217bafc0b87c532db3577a4811b6e8aae68ede19a4af299849f2e9941dde55ffd6114b3e51ec40fa9fc1b16cfbddffc1b62f955b246dbda98e10adb9d91d33ecd32f036cb5457cf1072e4e489597e876e1ae8a8127ed2b01c61a2172b5c880f13155411842a0c76447rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootgappalib-coq-1.1.0-1.fc22.src.rpmgappalib-coq-sourcegappalib-coq-source(armv7hl-32)    gappalib-coq(armv7hl-32)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)1.1.0-1.fc223.0.4-14.6.0-14.0-15.2-14.12.0.1UUa@Ua@U) T-@T[bTR(@T@T@S%@SGSuSSSr @SU@SM@S0@R@R6R@QQY@Q@Q'@Q@PP@P3x@P@PO N@NNN@NJerry James - 1.1.0-1Richard W.M. Jones - 1.0.0-21Fedora Release Engineering - 1.0.0-20Jerry James - 1.0.0-19Richard W.M. Jones - 1.0.0-18Jerry James - 1.0.0-17Jerry James - 1.0.0-16Jerry James - 1.0.0-15Richard W.M. Jones - 1.0.0-14Jerry James - 1.0.0-13Fedora Release Engineering - 1.0.0-12Jerry James - 1.0.0-12Richard W.M. Jones - 1.0.0-11Fedora Release Engineering - 1.0.0-10Jerry James - 1.0.0-9Jerry James - 1.0.0-8Richard W.M. Jones - 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- New upstream release- ocaml-4.02.2 rebuild.- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild- Rebuild for coq 8.4pl6- ocaml-4.02.1 rebuild.- Rebuild for ocaml-camlp5 6.12- Rebuild for coq 8.4pl5- Rebuild for flocq 2.4.0- ocaml-4.02.0 final rebuild.- ocaml-4.02.0+rc1 rebuild.- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild- Add workaround for ocamlopt beta version string - Fix license handling- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- Rebuild for coq 8.4pl4- Rebuild for flocq 2.3.0- Remove ocaml_arches macro (RHBZ#1087794).- 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.1.0-1.fc221.1.0-1.fc22Gappa_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 -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=harddrpmxz2armv7hl-redhat-linux-gnueabiASCII text?7zXZ !PH6;d?]"k%L-GMxNk*[  {XJqfuSubtZ$)8Ɓ-dX KX)Al$+VљmϮT_˃s͛& 7B B+t}T.R񹅒R^Ѭ 6 @V>6ǡ9JQhX٧+`BW}x*s'5L\ Iͥ}a횵Ug$1H59 #m)'&ee SY. lS5;cO)xhuC.:r?4^9hgI$oČr={1iLɾ/-3okլX FmZ2kRu*1D[hSS) JgD i비 \=rj׭=63*ƎR]\kMJ(* HRͲ~ RJG`xLl!,ŷr9ZF4' <ϕaG*>xc }ǡ2e1Fb6RUJ̐H 7W6Jn.Q*{y}? 1`2$sK Q}52@vZk%.~3 je5 J- VmZI!7!Y;aD-զPX͑KԯͰ%hl80.a)wLIyN&6mI̬neNcn͊]74~~D2}9=&nw?O+j]yVmJ}xg:UvHl-X6{sȀ׸+,n%5TIDHw'V,哟(ѠӪK\'=f!GV-'6DCyTrIDܴ7dҎ =r@+Qb(;ӝ#zI Lq:Y!=A9!bkWrd E*О[j"Ѭ=dU>y}!u`I ].wJo%;]$'D`Pgs;sZߕq9۾{K .|D<{xkH̴9twࢋk0B|)(21'"fS?tf;"7#wtk1S*ͽ>j^Z0S2ͱH>!usOC!4aX.DF6tb _\jo+(NхD[#:StM jGmV# ){  $up(7T:hh6=~'-KRC 6}aDUxQ,:va, Ӑc𬖏 <ӿw2{;-@H+3eͿiKY(cq&ERK$LX,b7аj O}x;A2a~W9aKd&~(w@`,pQwϴڨo8%T2b'Jl qnQqЦ #fVdlCڲ8Wo=F49IW:rX!*>bP0 vv$֦'*]'BU!5Ds;X 8U^ayVDJD BXUY?gӀ!#k."lC"j&[)Sz^joaR(kc0+wOg8v.ڮLi \/Ge%*00ORC'A]CO,΁DkulAmp#q -db&R( tVZ&t۟/*۽' yajuq޲H+n|~-gcAZ_wءkK$5mۆ6hܨc1ׄŽKhўrzSq~J娯\b#e繳KuPxUgU?'_7PQɬO,wnQwКszXu[%j}ť{z x1 Qέjn>Y>I+0\Lthcs8nh{ %&T'$0L>yD/I&.&5\? chQX{Xu]Dئ%rk*}LS9Io0"ˈn 2$n1QF!Fn블OP\5\a Lg5Jo 6kÇ&Ve1,i0I4є0xv::@.uy\Ey"PBDFV\?8`rזgt0B& I=)+I DQh{ZH}0Z[/NU ;[ |M&ʖ͡|ĢqTsRY 11B*'^Q54:}:|8Puҩ`!v׆*Jݰ276mBܚ&>Vrevs4 $::Թ +-˻;]-tD=#q֮j'.G9Ec[vg)bg]v¬׆KWj`‚1ߓ@ʳo@$fw2 W;<~6d*3X2Triژ>>%LLBPARJTD*D2918eWgNrƵKR]iVc q`"x6ܣڐCBS-2R 65LiPՁ:xSƵ B,io zR)-?G\. ?_>7ЄIM^G_McwؼZ^Z|TJt.zv,R=3∲ۭ-gY;W8r~2!_GV9QOC8@G@pR-CgA;/! v5O  YZ