metamath-theories-0.144-1.fc24$>0:Jk}/@Zi>7 ? d ! W *9 HTlr|         >  H p   0D(8 9 :C G  H 0 I X X dY h\ x ] ^ b d e f l t 4 u \ v   Cmetamath-theories0.1441.fc24Existing mathematical theories in the metamath formatThis package contains metamath theory files for several branches of mathematics, such as ZFC set theory, HOL, and Peano arithmetic.Y buildvm-armv7-07.arm.fedoraproject.orgZFedora ProjectFedora ProjectGPLv2+ and CC0Fedora ProjectUnspecifiedhttp://us.metamath.org/linuxnoarchUITk)*fl4IA큤YH`:BUUUbH;WhYyVBY,bf547fa18b02068d95d4797b2dad91ea1137fd5dac0835d043375ee56e7bc504b68d7488bdbf2d55d1a955f3a6a3efac68ca9e3009d24f867e1a75aacb7b03d3acea027bf1c48e1fc645942e2dad41ea2b33d40de15b094f0e5256f337fc63434f1f8c2739dd3414e3e364ac6c6f40809ed38b2cefff069e04404ecf81b0ca8243ead5a0b37e968462cd66331dec324d42959c8f54460eab35cfb869b423d3f278e5635c24e1e3c5b4a751990250bd9331b35cca5d3db23d4e18806627280a36f7c5d8b86bd3e87e36fdb9c1e9ff22f897dc45a35887e97d5d76eee3c8f4a92b6f8253afbb955b1ad771c0f344dce4143697ff546072e2c916d9134ad2b0d48557bd1a8b24c2247b80b7ed5f95df5ba466254b02734053f6381c011924eabdf4rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootmetamath-0.144-1.fc24.src.rpmmetamath-theories    metamathrpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)0.144-1.fc243.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 RPM 0.144-1.fc24metamathbig-unifier.mmdemo0.mmhol.mmiset.mmmiu.mmnf.mmpeano.mmql.mmset.mm/usr/share//usr/share/metamath/-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 !#,% e]"k%06" O6d0}LK}v?[ 0\Ő6}L^SbPК}oArGN|CV׵"c8n&ҝt@RIt˕GGFPZ7۰oQWewѧ&φ v[#G;ڜ̱O-OgA۳yQ[F0ʄ%Q_k&${dݯ7s[9G7"Diɑ\P* =4Jx0ש_E̫9p{6q vYgJ\Ph7Nxʴsfwv6Pb;Qz@!N hwč&ɋr믷^U'.wZx0pD|Cb\5|:|HĈM[_8S2R $T,+!o`1m#~ސtmŇ2z6D0.T%|W҅>0Yqa32"#S[mՊ* &y{+`42,OS4v bYyo6sܬ9O ÊtnS^'Hd~jAI,8X r ‹n3Y?u:r Z'Ce@1hToCʘ5CŞ/XCOv^uY˝=\iW /づsC$ ۴{Z&Σ[H[BÕRZbD%CѺk=L 7i&zOxc2x?رŬn. QjNTg5-2gm7Sr%ݧ0,mڋ,J,$057B^:L-[4ɪl28dN'4Ǫ1`.ZE)g(>N}T`޿4LΙF(mwk YcF;ƴIl YS$}_x>V53PY<@cD'z,,wsご U,';pG?waKq#:PԼ+Md-"7yBM# SsȮӫI[Xjp/tnBNM}0$Hv$ IqDž/ǧ\=/p`tdQ1wH~`.'殱[@b,!v|E$qD.P̚/L:>`fÅu;rG'Y|BZIn a#A09i A'QX;!?SlG2.gva(9<]zvԱi*'1&9}Xóe|-W0)-_PZ}4{$a Vl 8ݚjpϿּ̽WH?L ߹G Cw 3$n;<,LŒZl/*Oc*MmC{|n10p4`ROE|R W őM%F rMvUs"""o%G!Br?(ɎPN-j\f{^ {&<:}Wb5Z))Cy%.#u&:NФխEߙ!4~M#/^Bu#v |LS)=+Q~VQxT8T`ƪ݊..t~zG-[Y6+ zj_Л]Eh b߲@tw.y 6Rk$8I=7"Ħs&*7I{97``uY@8ޞ&C0. yФcϿR/3G˃1G&.B\F[ct)s=|̴jTeLQ[ _k o9vRl*ˑ@`pcal^`+yā{ԓ(%Poa]'sErHVH_WNJ.ԍ9f?{7a$r(|13Չ~ ^(cèK(&o}%(E>NNx~$.p;=Ι;wa-0v*V^i^hВs#GcVȿ8cQRdžsL,iQ;gw `)FQ'.?ԮљiYSzTED' <ل2O!S%o-^$Q}F{oEO+eH:1M)\[ҁ;E-ln/Gj y78P&qdojҖ3rc<``1zF<zdpˊ3x'I*8hjhk"N̤?>׋-U>؈PN4&=*=n_o%3-*7ƊDP u)@*L1CL$בFBL3۵F~p ⵀ'xOگR14Uuu(o@HlMxBL CO!ʋO+4:͆ג zF}FdC/>so(L: &>*b[=@!dmSzV.ٱ`7<~a)tVCՌ|t:¡,4WK۝";dM [dͯv]cr vY󗍫Hc?^لu𴣚 !ڗ*Ȉ vxWQ76>T|0ȕIKoy|qR@hIwDK?A&wh鋼+PT>&:sdwV!,[V_}Y|N0f/ NaM輪?y.A#uzh:fHD]Kl!Ȁm&{ *DWtw롸N=桙+$"tGj쯫\*[nI2q?ҰnHĖ$CJ|pRmע -5[M'A_P; `NPP{S > oqf)o(l=I;7?(ȑHE;<@a^-C9EmEQbOUjxdO7n!f.EY&) p>ƣd$rӟNuhn;mZ.ҥ &+գ=S jPf"jibY^~2p̾RL4K&W`wbIZ3wd0ADR5W4&k6!-2T`M6a{u U;a2]x4҈秗GA eTa gxI.n}@0E;DgMt;*6r4K;IK]"K}x6Ɇ.e(|5uAF#.pUQ@I%8D&Q2/ 6-ƴ/r-֥R+$^K~ɬ>.bV\hf)Ʀ o*œw1{R!W`>/J``W1jjW@T-g#EP*V/A656 Ԣ_|W+V4Z$DaطlB)+1t"g Ývu8PEÓo3i~jbg{0HAJ>ſG9,ƑMDfR//f%쏀 Doc#*::3PPkM4Ք "}zzMYYfL|XwO Gn1Ejy1>NUzevPM97 \\s!1N49dXRKdPy!fg^)d@s@+Q\H9 tֽ<D63lW3"r^N}*N:8V8^(unb3hMH>FBC;â˄?a3/~$Cu/.q.ny\VXb5Ck?;HsZI:)3ȥŢCvLh Tci aOQNΖ(](ע/ɮs*P3?2}Oc3TLEowGҗl,iY:+zi)oO yמ&nsHj^m*WIȔzʝP d>.,0϶IM6^m"Pڀ(Y.l^Xk2@XKh,+ ֕iwi Odggn^{o rY5MSxL2?P]3T:P|Dn3a?I@^5| DwuIg)̍=}aZWwhwndELBvƝRLh fE#C(JZF(=t)h,8s &Mש͟n2Oq3~cM5"eUY3dY͹E$3Vڼf+F2S4b0I&u`O1?Yx#&O67LbVoa Qp2Oms8eKz`YD Bˤ_a Zx'Vmԋ|ilQo i39 ERK3.A8,@p,@14K/*b- lfu4$'(v._SZs5nq~%, GviCv&R=#ϳK3|4Tz2(hM Ф\ڥm: " (Kzq%f5 ͂ܣ!YgL/gRGu6'U2 !}7}ؐefLa$`c URwpNp}Ok_; ޫ(#gP"𩋢LA]xrU}a=(-)Z$pFKDy0XǞ YP?9> pa~4pݾNs*QF?z|h+:O % An@\ p:}~Oa#دPp0E$OTf##,0$CB9]vp{^)pT\Sţ })- 2mEEbQH;V<]!҉ Tn-=WaMX:q;tJ7vbcN|z6R.0Le*G }{mOCeM?4w~"ċZQF_FL-C8]r3B*;Kko/j/0w{'*s]^UO?;++MEH|uH4̉]qLI`Lz8σ1 dFґs{b rjno^C\5 A?)4 YZ