coq-emacs-8.5pl2-1.fc24$>> RpMl簡8\>:4?4d   L  ( \  v           Vp ](8C9C:CB0*G08 H0l I0 X0Y0Z0[0\0 ]1 ^1b2:d33e38f3;l3=t3\ u3 v334Ccoq-emacs8.5pl21.fc24GNU Emacs support for Coq proof management systemThis package provides GNU Emacs mode files for formatting Coq input.Warm04-builder13.arm.fedoraproject.orgFedora ProjectFedora ProjectLGPLv2Fedora ProjectUnspecifiedhttps://coq.inria.fr/linuxnoarch$-b(!QJA큤A큤W W9W+WW*WW+WW+WW+WW+342b96d0fc03f3b3fed8786bb561a5551f3339171fa4ffe33019a5a1b3fd84b859fcdb1053ec9c643286a987429ad4d0214b3e84a249363ef8cf8eeea8d9bad5207b6b67d07efafcf06bea77b5adf7c326584a8c837cdb2a98aee34bed55f8d0a483e0922443edbdab482343e4c415d41c5405044ac3263574518025e3963c53ba00b6b2454e9cc70c2af225df0c55a6cce3866eed6b162ffabb01e5f95c8e6a0b523b0324242fb2ca3a621aca2241f824cb4384a0511e0632ffd1f490acded5a7946b8ce325fdcc600abc40c11a566e8b5aeaab2d59598e7eca3386a49fda1d29359f3c3e92e3776a48e9f5109b6044290d65de9942251b1588774400a17ef78b8b917b97cca642980bc9483ee825dc58a3abf4523e095691b8dce9e02fb4fd9ef2e4858f6968f33fef7c600a119fc567a563c7de53387e26cd4167a805075230a3a7ce7ebf5a67260a57c723dfa47ba62a0c4a2e2c5c4dd2a0b241d03abebbrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootcoq-8.5pl2-1.fc24.src.rpmcoq-emacscoq-emacs-el     coqemacs(bin)emacs-proofgeneralrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)8.5pl2-1.fc2425.0.953.0.4-14.6.0-14.0-15.2-14.13.0-rc1W-@W@VV@VUUUa@Ua@U) TTT[bTR(@T->@TwTTTSSGS @SSہ@SFSi@SSr @SM@R@R@RL R6QdQ'@Q(@Q@PP@P~P3x@PP@OO:O3N@NNGMMMMlMQ0@Jyt@Ji@J:,@J8Im@I@I9HHe@H@H(H4@HO@Jerry James - 8.5pl2-1Jerry James - 8.5pl1-1Jerry James - 8.5-2Jerry James - 8.5-1Fedora Release Engineering - 8.4pl6-6Richard W.M. Jones - 8.4pl6-5Richard W.M. Jones - 8.4pl6-4Richard W.M. Jones - 8.4pl6-3Fedora Release Engineering - 8.4pl6-2Jerry James - 8.4pl6-1Richard W.M. Jones - 8.4pl5-4Richard W.M. Jones - 8.4pl5-3Jerry James - 8.4pl5-2Jerry James - 8.4pl5-1Rex Dieter 8.4pl4-19Jerry James - 8.4pl4-18Richard W.M. Jones - 8.4pl4-17Richard W.M. Jones - 8.4pl4-16Richard W.M. Jones - 8.4pl4-14Richard W.M. Jones - 8.4pl4-13Fedora Release Engineering - 8.4pl4-12Richard W.M. Jones - 8.4pl4-11Richard W.M. Jones - 8.4pl4-10Richard W.M. Jones - 8.4pl4-6Richard W.M. Jones - 8.4pl4-4Richard Hughes - 8.4pl4-3Fedora Release Engineering - 8.4pl4-2Jerry James - 8.4pl4-1Richard W.M. Jones - 8.4pl3-3Jerry James - 8.4pl3-2Jerry James - 8.4pl3-1Richard W.M. Jones - 8.4pl2-4Jerry James - 8.4pl2-3Ville Skyttä - 8.4pl2-2Jerry James - 8.4pl2-1Toshio Kuratomi - 8.4pl1-3Fedora Release Engineering - 8.4pl1-2Jerry James - 8.4pl1-1Jerry James - 8.4-3Jerry James - 8.4-2Jerry James - 8.4-1Jerry James - 8.3pl4-3Fedora Release Engineering - 8.3pl4-3Richard W.M. Jones - 8.3pl4-2Jerry James - 8.3pl4-1Jerry James - 8.3pl3-2Jerry James - 8.3pl3-1Adam Jackson - 8.3pl2-4Jerry James - 8.3pl2-3Jerry 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- New upstream release- New upstream release- Workaround ocaml dep generator failure with ocaml-lablgtk- New upstream release - Use camlp4 in preference to camlp5 - Absorb -emacs-el into -emacs according to current guidelines - Update appdata for latest specification- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild- OCaml 4.02.3 rebuild.- ocaml-4.02.2 final rebuild.- ocaml-4.02.2 rebuild.- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild- New upstream release - Drop upstreamed -fix-ints patch - Update appdata URLs- Bump release and rebuild.- ocaml-4.02.1 rebuild.- Rebuild for ocaml-camlp5 6.12- New upstream release - Drop upstreamed comment patch - Drop aarch64 bug workaround, fixed in ocaml 4.02.0- fix/update mime scriptlet- Rebuild due to ocaml update - Fix license handling- Bump release and rebuild.- Bump release and rebuild. - Fix to int types in OCaml > 4.02.0 and Fedora.- ocaml-4.02.0 final rebuild.- ocaml-4.02.0+rc1 rebuild.- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild- Add stublibs to library path to make coqide build.- ocaml-4.02.0-0.8.git10e45753.fc22 rebuild. - Add workaround for build failure on aarch64. - BR emacs since emacs-nox no longer provides this binary (RHBZ#1123573).- Add patch to fix build failure with OCaml 4.02.- Rebuild for OCaml 4.02.0 beta.- Install the coq application icon in a standard location to fix display in gnome-software and Apper.- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- New upstream release- Remove ocaml_arches macro (RHBZ#1087794).- Rebuild with fixed hevea package to get good HTML docs - Hevea is now available on all architectures that support ocaml - Drop Fedora 18 compatibility now that F-18 has reached EOL - Add AppData file- New upstream release- Rebuild for ocaml-lablgtk 2.18.- Rebuild for OCaml 4.01.0 - Enable debuginfo- Install docs to %{_pkgdocdir} where available.- New upstream release - Harden the build due to network use- Remove --vendor from desktop-file-install in F19+ https://fedorahosted.org/fesco/ticket/1077- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild- New upstream release - Drop upstreamed GDK patch - Adapt configure arguments to new version - Add csdp-tools requirement to get csdp binary- Use minimal TeXLive BRs- Rebuild for OCaml 4.00.1 - Support more GDK key modifiers in the IDE (hyper, meta, release, super) - New BRs due to the new texlive package layout - Substitute the geometry package for fullpage.sty, which is not included in the latest Fedora TeXLive packages.- New upstream release - Drop patch; merged upstream - Drop workaround for install bug; fixed in 8.4- ProofGeneral dropped support for XEmacs, so we have to drop it too- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- Rebuild for OCaml 4.00.0.- New upstream release- Rebuild for Ocaml 3.12.1- New upstream release- Rebuild for new libpng- Rebuild for new ocaml-camlp5; patch for bz 691913 no longer needed - Drop tar_base_name, no longer necessary - Drop versioned dependencies for packages that meet the dep in F14 - Build without HTML documentation on arches lacking hevea - Change ExclusiveArch to %{ocaml_arches} - Fix a broken conditional and a typo- 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.coq-emacs-el 8.5pl2-1.fc248.5pl2-1.fc248.5-1.fc24coq-emacsREADME.coq-emacscoqcoq-font-lock.elcoq-font-lock.elccoq-inferior.elcoq-inferior.elcgallina-db.elgallina-db.elcgallina-syntax.elgallina-syntax.elcgallina.elgallina.elc/usr/share/doc//usr/share/doc/coq-emacs//usr/share/emacs/site-lisp//usr/share/emacs/site-lisp/coq/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=harddrpmxz2armv7hl-redhat-linux-gnueabidirectoryASCII textLisp/Scheme program, ASCII textutf-8?`7zXZ !#,]"k%jWhweL1TW9+ӧBs5zW[}壡 XEXVҚLM|NaQ#%2Nf/\9T76?<3}0_2<}EE=':7!p5SXꮐL@8u[%+>)MQ>/z5c Lor$L$J[ -(sT^va~ޥ{җ,$ER@ (.eM2 RPn2$(]k#3wd牜c{3zW8IJ&]gCNzv;`,t%,:dƻio.&\0[ۅPZ I1I&ubާ5'!xs'em]*eB4l I1GVͼ )ک)E`10(Vy$uOzarBĭ zE.!hֲd1ru|vOX߽eF T|cH:?ƣV(v&T-Fvv 1ؘjԧvh_xj֪O0Xxh_LD:AΊXճ}6ϒH:1P(١v =a,1jT 1 e P_tĿB4;Q#C8 (ĺZׯyHҙY?p^5Ta)IOչ.E,t#PHw=!̉>AJtKvה Xv B//y;9vvg k 1P1`<.N"#g~ Y.og(Q+³z {ԣa L&7oCzyÑLb -Mfӯ\S->]$}cGpe;~ɄnnjG."{& ^1nX8"lF0<\ ,eVgw"_WE ۽ivE[ j^loltUA=M]z*ʃw)![Iu$`KӶ~# >9<W(X_UE4oqğٓ5md하ۓS8&Qyatɜ[0o!9ioI{ؾp$U`6R$6 ě$\3 H%zWz|93}lQ xMů֌+*SS\ $1)2DUCcZr#S9˥pJ)*YKmrpc gHt AenZnKNU`(٦AǑ^6lb?'9 l瑿Xr5T0[gKJ_7 tMꧻ>5=!o#k4ʇ~~6"j3<)+Px\_Z Q`-N7ΠkL߬>/:Axi E3G%`xɬ?Ep+Fr (~󼢹$ I} -(o YZ