gappalib-coq-source-1.1.0-1.fc22$>03VbKD>8T?Dd # 4"* 9Ecip   l  ,  t   0( Y8 d%9 %:D%GdHI X$Y,\H]^bdefltu8vwx@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.Uw@buildvm-21.phx2.fedoraproject.orglFedora ProjectFedora ProjectLGPLv2+Fedora ProjectUnspecifiedhttp://gappa.gforge.inria.fr/linuxx86_641 %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-64)    gappalib-coq(x86-64)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/lib64/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 -m64 -mtune=genericdrpmxz2x86_64-redhat-linux-gnuASCII text?7zXZ !PH6;f]"k%L-GMxNk*[  {XJqfuSu#aQ6aoƦ^ZS@ _=n,GML(' aYmc e6Y lI>X]s`Smzɑ:r6YsclE>]O!ۂ9Zq`F*W* HM@qQXkE$quס&)FawS/= Z:62L 嘏'ymnj(TANLCi I*$hlF@lHHxbڡQQ 4y,0'~!\uJ=6(J "lvُ0X[p e̪+y{SHpp(pw]Rm_GD`s {cj]vNR fl) ¤BqP7`2דD5’K@#$i`?\Xa5E tmfr#_[y`]x-wGl{@4WP! p_0:ɿ}#nyC*Y MC(}(ƫрbdh~I: wą?5%xhbv1}LiD\r˴7.h-JY?X]z--x jb ͈ ׁvj@-X-bDT lBcm鄞kBafy&ӱna_ )(#MX`%2 ]0,!{*b:lgLJr\jUBLgfmʀY-&X} 5)'ZuǏؐLQx ՁT0UjCtOSݐ|% q|8'(,L\׻un.iPuHzR|-]' ؤC׌8ΦLYFص7I*^!0bgщj-I$.dz]E9;t P2: JҨr,ć [4 Zf}&n=h#GG\#:3e-Jͼm")W ^?Huo_0;k5^( V.gl =t%"|r@wBIpDW uROJ#:4q<%Э"&]3xGѴdzPKĈq:a[oԧJ('n@/޸BMmc@OG7lwZ۲jJYP9?q{7"{:=CE-TY*%jPY! 1jsŇhggQbQӟ:_ɰ7e;D?ɵ&h.l"Ϧ&pgET3+Ql ) D6=п?Z7bF wc= z2E0[_+T**?5!P=y$(}9M[8Je[-ƗBRƛ,6,}fIQJX 3@,Zohӷ?Ml`nj%dy _|Ef-FQIU8zb?dN#pWY7:Mm߂GFѨŸ6&vmvJ7!w1' YZ