DELTA 441353 0 4286 SVNWpUfB'lSj(C|4D^@$W%} t]e DB!/ A"=0OWoG]3a0X,E4XAQOP"(u n-u*$|p#U4\r*>e'"m,@ddnTG03G6cB: CQ;eBi9 ( ptx^uWMs6 WQu8䐩N3DBgI!)y__P;R ^tC=~:ysL0<9#V4Y}SutNFgLJcno=dBfGqy<9C57P͒^P8spF|fOw/t4nKPxb1W1w>]B! S7d}Vuu"zT x.SoJmCQc HC%@'E9#R< "J%44 ]߰S<xP朸CN*+/PE UX<)F1{uha苯zG>S1AՍ^kijiڊ䨘 ]qrζaDe bT6sebM6dfK4K1Qb IDok$QD1 YNïʜ-R2/a  ʒ9hZFvT1ӗo.>F턪FOWO t}EM$1Ѵp/,jlj,z0%Ơ|:{E@1isHzv(t 7cҕXM,ƐJ}u5"ph.e%Ub]YnE}_=eԾϯmB~C}`~.6zmPAz -]ev+-MwŋV<+YFooHܘYixT¯Y.<5bie^jJn[fpQKJV`j8(@n<3ٛ[ENDREP DELTA SVN*,**# $FreeBSD$ PORTNAME= lean DISTVERSIONPREFIX= v DISTVERSION= 3.2.0-1147 DISTVERSIONSUFFIX= -gceacfa744 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= yuri@FreeBSD.org COMMENT= Theorem prover LICENSE= APACHE20 LICENSE_FILE= ${WRKSRC}/../LICENSE LIB_DEPENDS= libgmp.so:math/gmp USES= cmake:outsource USE_GITHUB= yes GH_ACCOUNT= leodemoura USE_LDCONFIG= yes WRKSRC_SUBDIR= src .include ENDREP DELTA SVNXZXXTIMESTAMP = 1532233323 SHA256 (leodemoura-lean-v3.2.0-1147-gceacfa744_GH0.tar.gz) = cbb1fceae4b1876e135f20ec3d1c91816ffec6e84613ba4fa37fa39c96f61c86 SIZE (leodemoura-lean-v3.2.0-1147-gceacfa744_GH0.tar.gz) = 1817180 ENDREP DELTA SVNf-ffx^R]O0}UC) >aQTOQ NUTI6@ds=Ȗe?d+Gc; >M7k|bMlOwX2M}=<s8J(̼JH`'JVY酁@VX*R^RWdu^NRd!:$gQ3ԗї}q|V?iϐS(E]-M$pJ Z@+6yK!y7 m7OoqVl㹚 ځU.',~% VcZڅߐ1 8#.?~rjl _nf~*\IT[ ^!c<; ߰:H*C'05d'4/nlc=Q|h ʡ*;rխG4bbs:S4VbLUu4;ŞkK#RM#ލEmzcen|5+VRv<^SH]d$_C;>>2vZe4ڙRjR;DJπWBuu$5vzjTj4r{I_)ޱYEx{?1 PB;g OuUQ͖ MxA9؉isfNi+'V Oh 3~unVL78RXJC?@OմB!&x헉2# o8;(|ɑeXF{AO:TSSsαkD}NyB'~:~b7M?3l}&ah#_(TY?T"1֎aA $V_] MONEw1i–0se;Eb]?Hm>wUPp}ƒRgjdNTMڅΊgs+=~h|VW|/d/nE;ᅍ{`e[غ>N?NG?N4@;=*Ȗ&tc7EW6Z֎³!'7݇o'NoARfAKaՖZ)j8i A4 ;Ca _+o [jYLxm/ﷸ 6>섈_2ޘQ?Z`G*n,9&] Lqs FLx)+΁ۑ(HʛeL99\Ewݶٚ{͎3Zz+*gvbu=4PL1 yF={ :]n@|Cr׳۶r}6VC~ ,s㞈kJC~LhIUً_+Wͺ1y|/b0J.m_RsP.c[z1oe,55[qD\^Dyޔn)W 7ИYPPq+?Oƕ?1GQ <,x5;l  =輅dfat_ 6^ *amGWX~ShAE5yn'#A/v UH5n^-_vz !GX(b~VW6>"6d+D4cibprz͓G[( ᥴR2 MJÚf5ӝ.\Y`Eb.= rMDhկJyBМoW  ~" rG`@1`@0d0D QL$'&&2PO(Ҟ$p'PDo|Yݖ_$美S0"}sv"3,"’4oLpM d}gy$TXH߬/ݼa2' ͉ 6 ݰY ed9RK?!ʼnLO̞& '!%3, :\~܄rϰ3, OHJo,O ?k=vs)XN`d