why3-proofgeneral-1.8.0-4.fc42 >t 6 6_ Љ3!XPȬI^Dg ȬI^DPnj$# n-MpS% =N۰n,E9ԝ KX\Zk-wKܻD Lʥ#i7R>k[^t }(_-ҜQzFͺ@vՙN_ifrQJW{(cjaҔܙ92"Crk)P?,E'-6ɪEEyW`U2L 'oU(- +oPG}jMloA̚ m`"by96i5_^͢ȒN1_zLۚnSnJP(%DSOe;`lW!D]/t `n\,). ÿ/iPs=gf^#9q+z}Isac2689b2cb45ca90772783033296109d7ebbdf81da931b920a541983a3212984ba069c62e0eab18406df296d2e7c5c93e6d681f003020462f02aa400473045022100c06ea1236d98078c33acfe420efc977ab7110b361a0ff9f1cdaef37db595c0f202203ad59a631711ee101b6ecd8e99429aa4e746a4ee6e3818cbdf6006628a9c6a5903020462f02aa400473045022100c7cab3278cc2b59be7ba2cfc66a02a9ca08caff56eacce0257c2bcaacd29003302200e31c1e720e0b4a3e70e2fa4b6782675a820f0517927c35b90030151d598d32a03020462f02aa400483046022100a501a12c303a6c725211bba4ffb11be0d82c40c3c3acc8b89d04150ceab5d9ad022100ed9cc8cc79fde17ee70e3ed06aa4a56273682df3dc688bfb43d88df1b0e3ae5cQ"""@гb:=>`<?d ! D|  +18H P X h , 0@Th=(j8t9: GHIXY\]^bld[e`felhtuv$hlCwhy3-proofgeneral1.8.04.fc42Why3 integration with ProofGeneralThis package provides a why3 plugin for ProofGeneral.gbuildvm-x86-04.iad2.fedoraproject.org:Fedora ProjectFedora ProjectLGPL-2.1-only WITH OCaml-LGPL-linking-exceptionFedora ProjectUnspecifiedhttps://www.why3.org/linuxnoarch /A큤g6gYgYg60335e4f9f17a11e0a27f26bc737df14b8ce38431fe8ec2f4d72a23f108d7177a809da0256507de3e162e61755ae86f7e035fff5ca00d92259192bfbf435550debb5501894fa61619145f53a58ffc77d3db3d67efc53d0cbba0459e5589e5b817rootrootrootrootrootrootrootrootwhy3-1.8.0-4.fc42.src.rpmwhy3-proofgeneral    emacs-proofgeneralrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)why33.0.4-14.6.0-14.0-15.4.18-11.8.0-4.fc424.20.0ggg@g g g{fff`f=@fr@fj@fXj@f! @fg@e@e@e@ee4@exK@e@d^@d@d\@dd~d@dd(Jerry James - 1.8.0-4Jerry James - 1.8.0-3Fedora Release Engineering - 1.8.0-2Jerry James - 1.8.0-1Jerry James - 1.7.2-10Jerry James - 1.7.2-9Jerry James - 1.7.2-8Fedora Release Engineering - 1.7.2-7Jerry James - 1.7.2-6Jerry James - 1.7.2-5Richard W.M. Jones - 1.7.2-4Jerry James - 1.7.2-3Richard W.M. Jones - 1.7.2-2Jerry James - 1.7.2-1Richard W.M. Jones - 1.7.1-3Jerry James - 1.7.1-2Jerry James - 1.7.1-1Fedora Release Engineering - 1.7.0-2Jerry James - 1.7.0-1Richard W.M. Jones - 1.6.0-9Richard W.M. Jones - 1.6.0-8Richard W.M. Jones - 1.6.0-7Jerry James - 1.6.0-6Jerry James - 1.6.0-5Jerry James - 1.6.0-4Fedora Release Engineering - 1.6.0-3Jerry James - 1.6.0-2Jerry James - 1.6.0-2Jerry James - 1.6.0-1Jerry James - 1.5.1-7- Rebuild for flocq 4.2.1- Add patch for C23 compatibility- Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild- OCaml 5.3.0 rebuild for Fedora 42 - Version 1.8.0 - Disable documentation build due to bugs in 1.8.0- Fix the location of the icon- Rebuild for ocaml-re 1.13.3- Rebuild for ocaml-menhir 20240715, ocaml-ppxlib 0.33.0, and ocaml-zip 1.1.2- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuild for ocaml-zarith 1.14- Rebuild for ocaml-ppx-sexp-conv 0.17.0- OCaml 5.2.0 ppc64le fix- Rebuild for apron 0.9.15 - New upstream URL- OCaml 5.2.0 for Fedora 41- Version 1.7.2- Use %{bash_completions_dir} macro- Build again because koji ran out of disk space- Version 1.7.1- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Version 1.7.0 - Drop upstreamed coq patch- OCaml 5.1.1 + s390x code gen fix for Fedora 40- OCaml 5.1.1 rebuild for Fedora 40- OCaml 5.1 rebuild for Fedora 40- Rebuild for ocaml-ocamlgraph 2.1.0- Require cvc5 instead of cvc4- Rebuild for ocaml-zarith 1.13- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Validate metadata with appstream-util- Rebuild for mpfr 4.2.0- Version 1.6.0 - Enable inference with BDDs - Add patch for coq 8.17 support- Rebuild for coq 8.17.01.8.0-4.fc42why3-proofgeneralREADMEwhyitp.elwhyitp.elc/usr/share/doc//usr/share/doc/why3-proofgeneral//usr/share/emacs/site-lisp/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=x86-64 -mtune=generic -fasynchronous-unwind-tables -fstack-clash-protection -fcf-protection -mtls-dialect=gnu2 -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19x86_64-redhat-linux-gnudirectoryLisp/Scheme program, ASCII texthttps://bugz.fedoraproject.org/why3git:https://gitlab.inria.fr/why3/why3.gitutf-80b0bc6240c9beadb6aef6986704c1667e07d4d649b44dbcc2a7570ca1a69ec4fba97bd50ac8da6f3231bcec8480927480cd26531050b072d908eff426918ab70?@(/hbY,`X[-kEƀ NEz4 N'kgu1  oB\Dzf\v;͛ہos\N"Cwy?ǿD͡lAS9$I#F'A#337K_Іٕ8zZ<Ո}gSXL0AX rAOeCB z8>z4{:OA+MRsBfTcU*#Ha>sqDq1Kt UH:JM؀8"A@uh4?BV4(#HHTIMb7 Ìgc>֒`{ !F`n#R!D(|Wϥ8tΧvr怙)ō6A2*HM\On ۮnJvE0j̋pL_eT dY1!@WE)\wo\!h;J2L$[+bkXiQp nBʘ?N[c Nփ) ӕЦ,iw*-k-i '7ES"(o1q?YE{DwAh5@ǖs{OZNP,1pI +r=7RAdv[Hm@dz%\J׋XLI&mzS[fz.> <k X|?P+zK@Hq$#1g§dl(.I[֩5dِL_ `"Ug?;W/xg 9?@ #8נ֧l`啈eiǺ ~xP@]&f2+F9Ԋ&tqs$! XZ)E;/{7(1kux>j2!1D[p6ȶPBjA\ݠE)|ȋ˾ q}ƚ_b! 2/[On7 zb80BX+-naDmM $nzt| nʏRu GrFSe'Io t^B7(ʦ~j!=%ӨVk4#@Z@\ RC'{KZ!W],]FPe߅xC5ʮ]ӦEg_<;`D8bϦ^aX;@< uy'>4E^P)SE)%y8IQ=5`򾻻b¦-0 bBQgn|᫉uh^_ʋ ^ $ ANCi/7U&-=4'5{obr$~֍-$wNR8GgK@cc={7[ʛ豙jz࢞cjHu-&إÚ.!DZ{Füe.vV"Xx2 jWc'jG.]| hRe3-LܤYRj