metamath-doc-0.146-1.fc25$>%&Àr #hI>7 ? d  .dh    (  (8(89:GHIXY\]^ b cd \e af dl ft u v   Cmetamath-doc0.1461.fc25The 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-armv7-08.arm.fedoraproject.orgrFedora ProjectFedora ProjectCC0Fedora ProjectUnspecifiedhttp://us.metamath.org/linuxnoarch,sFHA큤A큤YZݍYZ݋YZݎBc69cb02f48e31490a05d589bba885118bda769f89960f8b52b12e445e45d2e6d832b1062f7da84967e7019d01ab805935caa7ab7321a7ced0e30ebe75e5df1670rootrootrootrootrootrootrootrootmetamath-0.146-1.fc25.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.fc25metamathmetamath.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 !#,]"k%rf06Y2U6ݥre{h^?V/ӍI7UCAהΝyb$1c@G[>.V;(d(@h?8cD$2 >s PX,O6XK -}m !QH(u ~iDgMO_rGoZG+S ~!ѯ􌥷- Z5`I%إGTkP{ƋЇ'hi^_y{{|" >6>aO$q5Εm瀢  bUx܆<@%,R+ ^=|+%|@ FSZuY G2)V]ѪIg#EYr#m'ێ/ oxETՓ!=qX_ÃΝ.Bj4G&y` v>9TʫL+9\3 Ϲ?kfVɓ7|D$W&DOerorcȢ!xқ"ww()3ͺr"g_ <AI.fEX(c ҮciOuHZJY<^. C9Jt_EbmdC@ /sJ>nQbW朅Ɂ#&G3~F Q5:Z?Vfrߴu݀XC1 4Oڨq ˚^BY{†V4.P sӁDt*+th Rpv_fT=5a&4*~kS`?\(:M|* "q͋>jJ)sgUmTb}j?g EҢz :ԛGh,%P/[2+AnY{B{: VOx(׎4Ԕń2z7 3"AM2G?.1.oT7/5a1S  تkߐ:JqwEr>{ÝvnڲHBo a>g٧f8 Wr?&iQ++ex¦.T8i eqz{L6:f9STe8M:@t >gsrN#ɞ q'77 rRZ LooƏ/#okM>"BZ͙z/s1eEJ#zHxLŐg~AJK'I#`"D5/%ЊҫA2,m 9YKޟKLNkߦK+'1A{Pܠ>2+4c'ݱP r |";76Jr1e"P*}(Nm}e<4A)BvqQ$kݡ^>&yhL(@־؃sOc稽Q A:j[;-^i1\usPAPΏz71BYru.I>eR)_ټ##fOgˉl|RfT)%n>i~*T-ŗ|#VzP8l&Nv01^!2+J%u)H@٬@i ʛӍ6Xq8̷\pP\[߱7ph05t5S#/m?C/4]BE'w; YZ