coq-emacs-8.3pl2-2.fc15$>#D..n\]ݑGP>8?td   L  $,L \ l   <du(89:`GHI(X0Y4\D]d^b<defltuvw0xPpCcoq-emacs8.3pl22.fc15GNU Emacs support for Coq proof management systemThis package provides GNU Emacs mode files for formatting Coq input.M Jx86-04.phx2.fedoraproject.orgMFedora ProjectFedora ProjectLGPLv2Fedora ProjectApplications/Engineeringhttp://coq.inria.fr/linuxnoarchu'&MA큤A큤M JM4M M M M M M 342b96d0fc03f3b3fed8786bb561a5551f3339171fa4ffe33019a5a1b3fd84b8d50b6abd0fe39280b96436bd5c4f5173ff8c1ecf758fe41e8b1690453f515b03bd3e205867c757f4622f5c6fac907aa4230f29bc7f578e6384d3b8515d34b7e3a385ffd6a28c71ed643ae7d22a46cf5a621729fe706f955d265f49150556eea8ad5562be8b7ed9f5ba243d683ae9dd2cf0fa304c9da1e46a02eda946fc78335cc04d56f2e69711a2550d51ceea474a758f34f55b54c6b690bb6800879808b91frootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcoq-8.3pl2-2.fc15.src.rpmcoq-emacs     coqemacs(bin)emacs-proofgeneralrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)8.3pl2-2.fc1523.23.0.4-14.6.0-14.0-15.2-14.9.0MMMMlMQ0@Jyt@Ji@J:,@J8Im@I@I9HHe@H@H(H4@HSJerry James - 8.3pl2-2Jerry James - 8.3pl2-1Jerry James - 8.3pl1-2Jerry James - 8.3pl1-1Fedora Release Engineering - 8.2pl1-2Alan Dunn - 8.2pl1-1Fedora Release Engineering - 8.2-2Alan Dunn - 8.2-1S390x secondary arch maintainer 8.1pl4-3.1Alan Dunn - 8.1pl4-3Fedora Release Engineering - 8.1pl4-2Richard W.M. Jones - 8.1pl4-1Alan Dunn 8.1pl3-5Alan Dunn 8.1pl3-4Alan Dunn 8.1pl3-3Alan Dunn 8.1pl3-2.1Alan Dunn 8.1pl3-2Alan Dunn 8.1pl3-1- Remove workaround for bad documentation link in 8.3pl1, fixed in 8.3pl2 - Revert change in 8.3pl1-1 to split arch-specific stuff from noarch stuff. Coq tactics are written in ocaml, which compiles to arch-specific files, and those files are stored in the same place as the noarch proof files. - Move tutorial code into main package; it is small and we can then leave all the rest of the documentation as noarch- New upstream release - Change the list of supported arches to match the ocaml list, except for ppc64, which is missing hevea- Change the mime type to application/x-coq, and inherit from text/plain (bz 530254)- New upstream release - Drop BuildRoot tag and clean section - Drop all patches (all merged or otherwise fixed upstream) - Comply with latest Ocaml packaging specs - Identify xdg-open as the default web browser - Comply with the emacs packaging guidelines, and build an XEmacs package - The -doc and -emacs* subpackages are now noarch - Workaround bug 691913 - Drop PostScript documentation; it's identical to PDF documentation - Deal with arch-specific files in /usr/share; install everything to libdir, then move the noarch stuff to datadir, but leave symlinks behind - Add a new mime type application/x-coqide and use it in the desktop file - Add post and postun scripts- Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild- New upstream release - Eliminated modification of tar_base_name that occurred for only version 8.2 - Added reference to bugzilla bug for ppc64 ExcludeArch - HTML form of documentation seems to no longer be distributed -> must generate Decided for consistency to generate all documentation - Additional file for iconv - documentation license file - Changed tutorial directory name, now also using bundled version of tutorial- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild- New upstream release - Seems documentation license has changed or wasn't explicitly stated before, fixed (is ok Fedora license) - Added versioning to documentation - Removed special OCaml, TeX logic for Fedora < 9 (no longer relevant) - Dropped makefile patch for compiling grammar.cma (fixed in Coq 8.2) - Dropped cmxa-install patch (fixed in Coq 8.2) - Changed makefile-strip patch and name (not yet fixed upstream...) - Changed check.patch -> coq-check-(version).patch, slightly changed for 8.2 (not yet fixed upstream...) - Dropped parser-renaming makefile-parser.patch, parser-man.patch (fixed in Coq 8.2) - Dropped coq-lablgtk-2.12.patch (fixed in Coq 8.2) - Changed way source (.v) files are installed - Stopped addition of other icon file (icon fixed in Coq 8.2) - Bytecode executables are now "clean" (not build with custom -> don't need to configure prelink around these) - define -> global - Added ExcludeArch sparc64- ExcludeArch s390, s390x as we don't have OCaml on those archs- Minor change to cmxa-install patch instruction - Fixed to work with lablgtk 2.12- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild- New upstream version 8.1pl4. - Attempt to rebuild against OCaml 3.11.0. - Run make with VERBOSE=1 so we can see the actual commands. - Pass -camlp5dir to configure so it uses camlp5 (overriding existence of camlp4 if it happens to be installed).- Added Coq .v files into the main package at user request.- Added creation of prelink blacklist for any bytecode files. - Fixed execstack status for binaries.- Changed parser to coq-parser to avoid name conflict with coda-client. - Made make process noisy again.- Minor bump for Fedora 8 to bring it into line with the rest.- Added check for Fedora distribution number to allow for Fedora 8 release.- Initial Fedora RPM version.        01#*+,-.8.3pl2-2.fc15coq-emacs-8.3pl2README.coq-emacscoqcoq-db.elccoq-font-lock.elccoq-inferior.elccoq-syntax.elccoq.elc/usr/share/doc//usr/share/doc/coq-emacs-8.3pl2//usr/share/emacs/site-lisp//usr/share/emacs/site-lisp/coq/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=genericdrpmxz2x86_64-redhat-linux-gnuASCII textdirectory?7zXZ !PH6]"k%jWhweL1TT,>B$sNG [03D"@xJaY;S-~k}>_#xu  yO7;p8EuB=ft#MF+P8˞rS<,ń¾{Nc[f. I8,%R¥xxVo*rZhy=nRፂ(TCP粰̐F("U\d5k) 0^Du$]R^1]_J]Dly:5ЅC&:{jĀHXW<&`r79 kGo ೀ=u׉^D;;UtV e57 w'}s^%]M([e{Emyߓ9^b@dqu./s*>j5Z1ҸN%6ɐC*g".)s%[ j -8-ۖ>ǀm/> 9>Tz8@+t'>: lgɪ'χ@a=B!G{?Z|8y@-T7l n:? lH?%AKX\ˑΓbSzIuQ۩mFHWqB`6 e?]FXʢ<, /؈`$Mѣ x2lέ/q3{!gr0K-f<2;&yW(F%[~,C4uH@cwyTf$MGRC+(Oc?80vHh[ xv/LkLnpǢW+S1? ܀ɝ֊̋x58x$y`jN;&'B'TI4<jIg./'~QbjMn,w S]N,Qc:R(:]/.oNK=3?g<ͣ܅b|E|+xSR"+up?, K^ЬiWhjd_00:N \~r=ͧp{uS;\L!_6ܩ&)ʱZq4@^=l'{K.̌L-wSh%巛/?I3a?ORA#xH9`QR=g,:S~(fF #+[Kn,nlAvmvXLr~^6. dCfbr*e"7ˏ; /1 QD YZ