metamath-doc-0.146-1.fc26$>暵rީ6>7 ? d  .dh     $  $4(89:}GHIXY\]^b _d ;e @f Cl Et `u pv   Cmetamath-doc0.1461.fc26The Metamath bookThis package contains The Metamath book, which provides an in-depth understanding of the Metamath language and program. The first part of the book also includes an easy-to-read informal discussion of abstract mathematics and computers, with references to other proof verifiers and automated theorem provers.YZ/buildvm-19.phx2.fedoraproject.orgrFedora ProjectFedora ProjectCC0Fedora ProjectUnspecifiedhttp://us.metamath.org/linuxnoarch,sFHA큤A큤YZ/YZ.YZ/Bc3fd5c2e6963a970e8fa57be334471fd639a378295cd50c15f579f81a94afcd8e32b1062f7da84967e7019d01ab805935caa7ab7321a7ced0e30ebe75e5df1670rootrootrootrootrootrootrootrootmetamath-0.146-1.fc26.src.rpmmetamath-doc    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-15.2-14.13.0.1YZ1YRHYY]X@X@XdW@WWWWi,@W3W,@Jerry James - 0.146-1Jerry James - 0.145-1Jerry James - 0.144-1Jerry James - 0.141-1Jerry James - 0.139-1Fedora Release Engineering - 0.138-2Jerry James - 0.138-1Jerry James - 0.135-1Jerry James - 0.134-1Jerry James - 0.133-1Jerry James - 0.132-1Jerry James - 0.131-1Jerry James - 0.125-2Jerry James - 0.125-1- New upstream version (bz 1467070)- New upstream version (bz 1462574)- New upstream version (bz 1450652)- New upstream version (bz 1448745)- New upstream version (bz 1406763) - Install all of the theories (bz 1422091)- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild- New upstream version (bz 1406763)- New upstream version (bz 1377308)- New upstream version (bz 1370745)- New upstream version- New upstream version- New upstream version- Fix unowned directory - Add the manual- Initial RPM0.146-1.fc26metamathmetamath.pdfmetamath-docLICENSE.TXT/usr/share/doc//usr/share/doc/metamath//usr/share/licenses//usr/share/licenses/metamath-doc/-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 -m64 -mtune=genericdrpmxz2x86_64-redhat-linux-gnudirectoryASCII textutf-8?7zXZ !#,]"k%rf06Y2U6KJR,ڐ}Cq8ZΫRÑBPƳ?Qgِ̏9)I>$ t~>Cš?{Gh˙ohy)tPҪEAFC۲m/@>\ ]671< "FX&6S/>Y8Bm1*;y ;| r}79R G*% q'h><+#dN4P lE*xEy5֣DK}&*jںQo +xP?%Tۥ',C_yry:T)~cԅ0grM8L`}B[#êstO ¬nYZ4SG3y9a5XkEX'BFIĺC)CHY{]Oٝ4oy´sӄOwvGߟzˀ[JYph2+or՟Jr #`,3(.p@",(T4%'B^bZ w)PALRr^FK̨?VYb҈H9D]j7fUq߅D 7͵Uz$|ܼˎ3=S뿇g 5y>Ά K3dM7~DreGG.҉04Q߆誸*37d/Iü&b.'txpHTRp:Ejֈ(ӇAa]V^;4Q!tK9&kH4P$j0՛6sx2wLzjp;W&tԷH~ټ~LZz)eB1r@X"v0vA7U {<%Ŭ^Jhª͈ `8}|^ЧMȂ83a/am?baA AICZob4[Ҷ6Yz%ɬjm+㬧+o꼟]y%LQb)ZZ_.[+$\OHhl t"aw3 -j5ᣓa#׫=NL]XdQf\ ]ECD{;݄=['$jVA ONnZQA+D/L)FӐ8|Zi/G yԡDvF&Gl$ƕQن` ;5 ׆ϑ@s!%Ă A3IaZw`JlW\ilx}pL k'Ɠ;0BБV/mٮ]I˵q:Hv`gܦ)x5/QrsBn"칎N@Eye3I2fcY6!9d6Ԁh\?OT]` aq= WtzJY j %  YZ