metamath-doc-0.144-1.fc24$>d{c'@b>7 .? d  .dh    (  (8(8 9 : GHIXY \],^[bd e f l t u v   Cmetamath-doc0.1441.fc24The 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.Y buildvm-armv7-07.arm.fedoraproject.orgrFedora ProjectFedora ProjectCC0Fedora ProjectUnspecifiedhttp://us.metamath.org/linuxnoarch,yFHA큤A큤Y YY Bc7a69adffac25e107277a2507233c55dbf28aa40d579674c88cc8386052d4ea1232b1062f7da84967e7019d01ab805935caa7ab7321a7ced0e30ebe75e5df1670rootrootrootrootrootrootrootrootmetamath-0.144-1.fc24.src.rpmmetamath-doc    rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-15.2-14.13.0.1YY]X@X@XdW@WWWWi,@W3W,@Jerry 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 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.144-1.fc24metamathmetamath.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 -march=armv7-a -mfpu=vfpv3-d16 -mfloat-abi=harddrpmxz2armv7hl-redhat-linux-gnueabidirectoryASCII textutf-8?7zXZ !#,u]"k%rf06Y2U6˜!b@XV_ YT9T\,c꣮_6J{2LʁNs'(BauGr-hc|Op _ Jgr6Kl]eossDtV#X+Z T/9{ <6D#) l ^tlJWw;ze<_iFiLIWT-0ؠ8M}&owBo6pW 7#2F3A;c1-n1@U"rl˫~!mw򢭧/U\@c+oɖ䴵f]k{,2|H݁]Y 4 euRV5!$h(xҷv{TPI;&P6l0xEʿR/o6k?OɃ{=EElC%=O{0HZw5z医Gs@iaq'ʓխ*ŁYI G`>e45H^7Q`v&6dW㋗j$ *zS]zA_s׾Q?PiH.,>z$Ո':?)ѿj4󋅝q8DgQg4WAvv^,R=7.4B'ypM\#tnk>m -iW'`@:DّvV)pdg$md_s Nv[79V"l{包i跤n톹^@İ7 ;ti>)ElCp'$jMRTp"}3zT'hyDh ͡:CmN0 rAɱX[t@98ǞSST7-:癕Y 18k{QOW;3_rB oһBP"h[E%ͧdY $rU aY\Gm\~X$mRulY~gd-뾀<@:piv%~T*ǡLPDA!9e $~.8ζ YZ