gappalib-coq-source-1.1.0-1.fc22$>0˒`@.av->8t?dd # 4"* 9Ecip   l  ,  t   0( Y8 d%9 %:D%GdHI X$Y,\H]^bdefltuXvwx `Cgappalib-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.Uwbuildhw-08.phx2.fedoraproject.orglFedora ProjectFedora ProjectLGPLv2+Fedora ProjectUnspecifiedhttp://gappa.gforge.inria.fr/linuxi6861 %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(x86-32)    gappalib-coq(x86-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 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnuASCII text?7zXZ !PH6;d?]"k%L-GMxNk*[  {XJqfuSubtZ$)8Ɓ-O,O\&Kwu˩pO Zy`2%PG!Z+,BRl"BO/1Ck0sg(XyX <g݈>eGl#WGGTg-KѤ",Sf(~`FwTT|5+:Cm@FS09uT);Knn :NL(2QY|HӳKQ1xr,rwTanj~dTuܶ5|Mr'-sK.!n-d Pp[7Ǐ!o;e`'gCN`V |ђBP#Fi䖂ͳը$OBu OǽqO/9'6f햔 TU   cAkΠqtO 1RZ )jfDbm_Iya}L]E6E2!)eF=H*ڻjnCBh60L:ЫLa;;&ɿS8gљ0(([lSbiQx`Vr" ߚca%Ƨ7EבUkQ4zEEX ;eBs1#>҇e9ZsJ(!I:m/>" 'Sqa6b3ח%K7%]^K⋼;)|qXEt݂~#>&cw vܓ45/Y*9s K=UT4HG=)S­CڢOΫl: qF?H!8ALooZ̼[rK˿4{"ڌ5ԃܱWy>)p~Xp.?[2avyyƥ*ɾV Ja|t??n`w q,ߐyfzCq 3Ġ?创oKPce@tYxԋZ=wgRŃ6DغLU@[i-W Aeګ^|ZRMNIKR*1V/@# Sc5+^4;a% f%,$P x?cb}/U 6n.f` D1[xwI5dX\[2VM`Bs?B&:d(vw=_N1j+&uVJת X-"s³¶gɒ0(#uFlowBfxX )z2pe9RrYlDQZv0~*6tss;j37ͥ7!V\e@;6>U>i3 l $4ѦL;NY@+셙[IιǢ@ fZr,$?CTdўv󞑍@ӓHK& SjjӮ s Cu'acK SkYXnb*!Eyp*Qh9n&iƕO2?9=cuZ\]?Vu Wk%OPwðT)q>ZCD(͝xM@8D$tN:'6~J<)e=n:$=3ihD7u nVaHJksK*j"kb=yӗ1U4hwzTŽ ݃"Atkxۋr_z%[! ‰[%Cŭ-b 8W8 u#pâW06ނ.5Tzjw6O<>A$QOirOrnv qxd$g^wZc2-PoߘT9Qmۜ᳄!\3! ukoycx?v-quɣtM7'pKlӋIJ((+>һ[ bGOv:HE4MZdq_\ːUc2+L^$XQ36v4,3N`Py8uHKrm:5~rS0Ms#),`5`VWo1` 2k(Si[ѐY5!#mWsque#+PT'"EbDMi+.8p? $* a>OELb<m9&1$Ucʶ> +y𯸟QG# ҩw?f Dg~$!1ϱ9je> *38 k=ۖ v5O  YZ