metamath-doc-0.146-1.fc25$>| Cu*:K>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%rf06Y2U6KJ$N2$Ml)8+ E%Lr N_k/1/&Bz? G+yWoʕ!05]1SRŁK- M/~pb%P\-taZ4> 삙)ura򌼱Pʕ=@CPw/B-}LDʆ.=7^pX8Gt'0ms4g/0L-eN Q짰av^ UPgbP1 *m4l bÚT 5tS/XxnK_k{!R. Be׺+Æj@l/IT47rj#m8Mf[CT.-jIt4PWh"pwU5yesӡ EhWH۶+6fНGLܐl?tfJڡď-{zoQỿQ75 p56b͆z1N?&S sb$]'dV̠ud.>m Dm&syմ| dS<ܤ9Aɩߤ8gߙ' ߴ8+QL$Dުvx ^= ϙr)0v[LuZ$Ry܅;V M US2N ύi*SѵҝZ% S%?xS2 []~U"֬wDȘ&_2Gcӈ '@Cv /̵(:Y bJt=~"AzڈMdJ\P&,T ].:NlUeUf#+SnjAlHFwb $_`1dO} FM"[=)"W/GX)oڗ"0_Lϔ/jeaFzޘ7I) l&rNQ\FçWr4lL誄}ILׂ o/_[x_(jK tZf+ x(Z7I:4T~.r˝ì`4yƏAw= +655D`=rmڽvEz J"H&ӬiKAZ94 Hw{ձvg|pr^GDK<H6Y@v?xC$MZ U7|.=o,{;/X" H1q/ % K0'ބ r _=i|ũ"0}:H$/VRY j8H v̰?13w1 %@ YZ