DELTA 430096 0 683 SVNl8! *l\xu| n"P'x^MQMo0<ۿCەrāȐUئUoof|ǜĸHmӰ(1\F\jNNyN_~?z)nyo0LtqҢO8&uazjZŌ'Å~ת%C,N BM7ENDREP DELTA 387123 50 129 SVNTIMESTAMP = 1483174912 SHA256 (coq-8.5.tar.gz) = 89a92fb8b91e7cb0797d41c87cd13e4b63bee76c32a6dcc3d7c8055ca6a9ae3d SIZE (coq-8.5.tar.gz) = 5346653 ENDREP DELTA SVN | x^Rn0}^bJɦM)R P KH>!LcHQ14n/93g!<2Ay:%6hL&#_M/' "S[ WoN4Uhrw4M}0HϡН^O `MKNUP0*j%$ ÁS 6(HIAM` Ùuz5Xqh TefZCGh1{;!aŮ>6T0(rR|kV"5"p˹`; YlK˖ f>f+,v9?Q5e RGIR2TPR8RThu=Pj/t<'! x$|l9*WdV3"~Ր[Eo,Ah9/Ϋe4 | qQۤBalThiY6-hI帴ϘZVZLx?θ=VRC %fbe*-PQ==\||cFC3O* 91pfN§Of2T*jb'Nһ%tB@,*;PQ:\6F˙\2U4>L37wJ ;\P]41ӟE</k?>kmX{2Q1|Zr* cȂ FZ4P<Њ$cK"k*öosYlڏU9߈$ȅx^]r:a'շT4tNTi¢)Hf"eR'_3kڲ׿?Hw|TCim>9!^s2ΈAhѤ`1/HҷSppu$9GVPh HsrJ&/DK$Q`c^Pr(T=Y10ò60 /No*6=vOђ/_i!Wx9Hp)M)fM dWag!~+=pĩ`-R t4{UG~!MղǪzF wuU=a:?>;`X&VY.7$i>T'2tas^y9-|qǻ S_VmU/&L; /[٦Ɏ]|2R&`XV$ϹGi`+Ov+ksk1fvRp1o"s<"|(Uiӂ|橬EW(fIMA-9.y=i&9?63:Ӧל]x}9k s%T`jęV%q"zy8_җ3;!̧݄̕uc.;/]5k깬~lwphR&WuW)J=1o>N.%>k?q#%?ek>uf6==>Zcp=-vf>2.S;rWvLjsxӴ1Du+ؑMRוZr?Um{3{t0+s{vDstO:J'19G?1Wyųn[8]X&SA|lS_"9:"vyukv䫼,Vvj=N"MnN/;+ Yni]ͨykZfu1Z']ʥlLJg(#ڋ/TEyٹSWw_ |&LnyY=>(UO)U鎯׽m}r̿"hILlDdz x,SZ~{bNj;gc;~j~sU$x80^(U(l_LR0T5!> et1 EL:ar @]踭#vbUxuajmڵrwLO3Bv)hF8z zj].4 "_.>-Ŀ+mYQ|L<[8] 6it3-S2r9s-qγ@%mkmvٖ]mkeط,=.3"-)?~,n%-<*8F[ۂƖr:5vZ.XK@#M`/>Q4Սn~v4 Y*ؔdSsb 3&$jHCA5dTCִ iK۠hGV nC i?[Z,p(N`AoF,-3ʀ)s8ӊ˝e;BSLpW⨧qz.0%W\<#;vp@JD:ȑn^A"5ix|0~K`{ŽhbtDT#7#Wۻ'0~ a :C)sѸ!lE`d:i8~{PLsôոQU LO#0 1! ' ӄbI  1sc @wz=z4 2LLx1`| aUNzt7h6U7\)=\hv *0FEe!'dah}?1wܑcr]"w4Uvu]44 U2TOװOOP=At4 3HPD@J=@+J턼q'<|iv(Jw`~ E?(mR:9gURxrq./$jz|d=' *5BŠcilMc5pso˶f@MP T&ilkcqh#"&e}2V膵UK%3D=lp,}]pëz\oFNebBp9ğgBu{f'VM9iei1rԊdWSkF6 9ƜMVbb,gkSU6X}Fqfgix= 36}?EcڸWQaYO"4:4Q|F}ODNK8s]hɉ'c3wA=zmNpv(\Ux5 W\OM^=4'QtLB_ ^{!q1dl{kx?G.fqM$tqyIF2/V$EjAFhbC'7I4_MG,I]EQޓTi[ꖤn&-ua7V\+r>mՕ3VM:UT|:㕸VjOvqC4w$pl^@z8n[Tk(;{:Y"߅7cbOwGCE qK# k#pG<?[7Erֽ)Rw:V7}lgoƸeGN&)6ZUi\ۈJ'=OkK$`]Jɇߕaˤ= XO^G'bRnTVvx7aԑ^ f30u>ARn5|v?F[o =.qXQcVU}87TKL%~x obtYs+X+iyLk^ELiZK*nPT#g!7XJM U;"(՜'pl0\̊ 3P2f ,!@%p„ >RS PR0- ET*]- ɰZ KtXiǿ_`= @@/xe|Aj V 7x׸Az !np7.G:v|4uzߑα! n0@ ^ѻ%Ё@+yGkyFP@u NT*]*tu?Vp'+}zҒ@ d\ ӻfYTQ0:u01&w=/Lo1XͰ -Y.֧;  ['8G`E2(%!I4L[D4 !  L2$`` Di((_:_K4j:!r/iQ.n7G<,@{V >Z\;?|e_bD5GBV8MqnƨsCOeAxyNLߚ]&H1,+L4:11b|<{"]#{x1׽zpB7Grt(Lug&s+bFq."3FS\k"U 7J\1zB{A}[ջH=F'Kg{@QmQl3FcQ;$(/R#(_;'(z+kV9"E=A'ؑƨA(mvkQ}E`#"b<̙GآGK,1ƱP}B Ji.i^9 hDe0T~bzT7Lzk>(T< mZjJh ,b^4 3TO|z W@>= C x|#0=F`B5pFc*z`MS#j#JoE6DnA%O|EG@T60e@rub/:mS7Ba7z> 5Lu{9:7di{ +Pfx N|zu05~/Lgx~bG59)RR}QQHAUGI(!\xvP T]Ƣw PG@J+#* )T0X| L:+"I#$]h~csEN -F YȌ|6܈Mt`j? :")߱xv|,>Ff S=Ԕ0LEw1twKT:XmP9lVA0Pp {_v= `"9ND;w1GL(s@Ov _+ރ{a33JCnb(qYU!9T9kˎ4sËҋF(e]dnkʆŴ۷;z1 #+ˬ9 us̠Dfr'^ l x v'ތY.)`th.b{#'ԏytg""?WDPݟܟL`ksz&iNLuB=2PLjF X;E;,Cb%$5/l~J0$wMf! -c da;g$;< G!i=F=ZT52c CA0}pbK) Մlz}r v T Ϫ8䎳 6!g@T}Vm7\j%7Z1DDUTH둞G@T}$SۨRu<.*5VõGpGPVcC- (]hDdFi^]ds#.^'G(V# kA=1pɈ!$`>1.1 2H@]< h#̺=@|BJΎ"A׉$)f\!R=ƥw>>qjPLjQ|Kgho\u0cnEPka\a@tb] DUm D-+Ǧ>\x |Q,%F.6[ud o(vf/]Wg>_k ru9W-?#CZh4Ťu~Str$MN&WZ?Gg)Ut_$)BBb~~ ̑IkK[8rfeOl19 p1=0gZ(r|,Q3ʱc nte/+RvAjRN T[<)ՐFSR T?7v63pHe9%#~{fݵWoap+-}-墯/A?32sQU+ށzyQKώB +K&~rk94͎6^ h,_kJyKkm6_kE2Z=O,R>%zy|ݜ9 +r}c8A%#Fv8#rNq(.ݺ4""N *nRC]jVK 5(8A$!ȖX=ˍ ׾uS(S/.~Wwk@<f^f& /ԧy4a럶Jƒ.gVYDTW5ZuxB=T+zEh2(.pbgO|R226ݷPKrD_)ؤ][sݩ@he ARyʻC~`AWfkCfVcq0"yH7XʋG*S/0B\1qG;pjW+lp_:0"cY3HKx<3p`%R}PLDmhKEۿ=R%9 0J_q6}[^TGҦn$'/$H˟7S 9ZPX+MWO}- W~N+埰33J)[03kS\_ɹrN|%ۋv +a 잸u7?Z |3圾 J m΍="܅%ʅ%8ߐ6r4EEܾ) prHvywPH.R3 EDzӴ iC|;ޤ ѿ"8E%8 6QLiR;~?:IvSJt9H Gធ([N3 S/I7ЭD3K`E- ^zIB,5<1;6ݷPrDD0XZVF~,,O2k-#?݃cFAW]gkc! !ԖP] 7Ja W6DO9;2 LL uܬd2x:S1oSr3t 4\\HB0ԏXTs*5V]vrSpPBG#Š!hO-6 ~Mtmb+"3X\lD$G0Dk@J෿PGGR Gq :drUu|'(m=!çsZC13Rgh?(已M_c 9FGgh͋XeÍ M$">0jAk@" 7A1݇q- B SR}֣@A> #աp)A4 z"ӽ&qTjjIď.D8HH҈YZVU*5Bu{JP=Z5t*ZZ-PQ|LrOQK`LjȌѬed[6TXU}S&: Z (DB"seK P 4ФPDD52 h"?\G!@x ) pAd41OPIq̣& L4LE2\ASN>LlTjj,J늲kS1/cRCUs OUsL154a[6]v]]x^r6{3c홪\df-' `;!K T9 A (?Vf;geݝ }nʞ߮K.DW><5~0r1x+v5zl_sx 0+UVϜREg%z [+&ECSw6l~K:g.a/e~eZ_6{f-[?|;gӋ'Jd}%#Nk&MYt@=/{|||||e %Ksϡ?ߗS޹Ҏcf>4`|=ilr%zl=1-iNz_i\m&RƗCE޺9a26lg۲!N&f:X.k6[N5ņW$1fٖsf3w: tR4(|b+$e:537ے4|0c6ϛN y-iD9i̢Io&&u7Ml̾H&}3L\\]+lc'=O1tL^$rj|\Xͨ IJ@ f u7+{Z)oݰN@OS'cWu"YF( [%ɨsZ:>ڗIau!Hq!QE4]! 0n)h 3YE$r%U`};B%t*΁1KO"ؙNظMhNƤsYE}ĊkVuX39Ē (rYn^e[g(#[&,z^b ky7ߠK}V's =TZQZx0e4({;ꎲo>r#{|l9Ky(JsEXeڌwxJ/8T.vP9RT\tl!H=qZ *$HCU=`"@*vHFͿp GD GJ8!XxC[( e0xaםZ~NLe-*qRu/>^Y}Zv~S)`ߋ7k9Ò8U :!_nf _`-_#{(N e{xw o XMlg6܄}9hעG/?v5XhZV 8ֱ1-}7 ҆^Yp $@* C5EwOoZHg.j*T}om=CU/lR)} ~J灷<6e]~էˇO꺖=լO`Ҹ`Njv>T Zu{Wnͷ˫U{)~[p娼Dܟ'iyZ.ڈlDZr?ּm+!ǡOz#Eo|ENDREP id: 5-119551.0.r430124/14818 type: file pred: 5-119551.0.r430096/711 count: 56 text: 430124 0 437 1592 6f01483b7cfcb764f3043bfad21bb85c 2275d639e10fb405fa0efd2b39d118b47029f226 430123-97vw/_4 props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/math/coq/Makefile copyroot: 0 / id: 8-119551.0.r430124/15112 type: file pred: 8-119551.0.r387123/576 count: 21 text: 430124 463 164 146 74eadb41b4408201d2145e0ce1c280ec 2c08ea42fd2b1e4f99b0219e1bdbecb035b6bc64 430123-97vw/_5 props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/coq/distinfo copyroot: 0 / id: 7-430124.0.r430124/15408 type: file count: 0 text: 430124 654 651 1033 a653dab5e32fcc9f2aa94aa233c39ebc af598c1daca0eec42fae1e77a60578f593eb464e 430123-97vw/_9 props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/coq/files/patch-Makefile.build copyroot: 0 / id: a-430124.0.r430124/15693 type: file count: 0 text: 430124 1318 313 296 6ff6adc8279cf53123388075e9d7c216 e36c545bf47f589007ec4a5deaee2eb81fe52bf1 430123-97vw/_b props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/coq/files/patch-configure.ml copyroot: 0 / PLAIN K 20 patch-Makefile.build V 29 file 7-430124.0.r430124/15408 K 18 patch-configure.ml V 29 file a-430124.0.r430124/15693 END ENDREP id: 6-430124.0.r430124/16113 type: dir count: 0 text: 430124 15976 124 0 eeddc3f8b3b40086048fa73c05792201 cpath: /head/math/coq/files copyroot: 0 / id: c-119551.0.r430124/16262 type: file pred: c-119551.0.r387123/870 count: 18 text: 430124 1644 13147 141661 49afebf9df0f90fdb0b543011e118a96 1e40ecdf61a46536a0c16713044cabb226b0d378 430123-97vw/_c props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/coq/pkg-plist copyroot: 0 / PLAIN K 8 Makefile V 29 file 5-119551.0.r430124/14818 K 8 distinfo V 29 file 8-119551.0.r430124/15112 K 5 files V 28 dir 6-430124.0.r430124/16113 K 9 pkg-descr V 27 file a-119551.0.r426358/615 K 9 pkg-plist V 29 file c-119551.0.r430124/16262 END ENDREP id: 4-119551.0.r430124/16818 type: dir pred: 4-119551.0.r430096/1209 count: 65 text: 430124 16565 240 0 be4e6f42fee07da9f65d59c1be508306 cpath: /head/math/coq copyroot: 0 / PLAIN K 5 GiNaC V 25 dir 2-39165.0.r414970/567 K 8 Makefile V 24 file 2-185.0.r429664/852 K 3 PDL V 27 dir 6-103726.0.r423872/1924 K 1 R V 28 dir 2-10844.0.r428057/578781 K 13 R-cran-Amelia V 29 dir 4-403844.0.r412348/775871 K 29 R-cran-ChangeAnomalyDetection V 29 dir 4-317457.0.r412348/776550 K 14 R-cran-Formula V 27 dir 4-290383.0.r389336/1134 K 11 R-cran-KFAS V 27 dir 4-290923.0.r429317/1004 K 17 R-cran-LearnBayes V 30 dir 4-307669.0.r367888/2321742 K 15 R-cran-MCMCpack V 27 dir 4-307527.0.r427622/1003 K 11 R-cran-MSwM V 27 dir 4-403087.0.r403087/1966 K 14 R-cran-MatchIt V 27 dir 4-403950.0.r403950/2170 K 19 R-cran-MatrixModels V 27 dir 4-401711.0.r401711/2072 K 10 R-cran-NMF V 29 dir 4-393969.0.r412348/777894 K 11 R-cran-RHmm V 30 dir 4-308467.0.r367888/2323092 K 17 R-cran-RSvgDevice V 29 dir 4-232562.0.r415499/652117 K 20 R-cran-RcppArmadillo V 27 dir 4-317461.0.r429270/1038 K 16 R-cran-RcppEigen V 27 dir 2-401684.0.r420762/1188 K 12 R-cran-Rmpfr V 27 dir 4-414259.0.r427947/1212 K 14 R-cran-SparseM V 27 dir 4-401712.0.r427760/1008 K 16 R-cran-SuppDists V 27 dir 4-273730.0.r424113/1015 K 11 R-cran-VGAM V 26 dir 4-402348.0.r416272/998 K 12 R-cran-Zelig V 27 dir 4-231151.0.r425780/1005 K 17 R-cran-assertthat V 27 dir 4-403846.0.r403846/2124 K 16 R-cran-backports V 27 dir 4-428705.0.r428705/2339 K 16 R-cran-bdsmatrix V 30 dir 4-290384.0.r367888/2326447 K 10 R-cran-car V 27 dir 4-233130.0.r428984/1364 K 11 R-cran-coda V 27 dir 4-267903.0.r428462/1297 K 13 R-cran-deldir V 27 dir 4-281926.0.r410683/1324 K 16 R-cran-dlmodeler V 27 dir 4-301445.0.r374217/1603 K 12 R-cran-dplyr V 27 dir 4-403943.0.r417638/1128 K 15 R-cran-forecast V 26 dir 4-317458.0.r424039/999 K 15 R-cran-fracdiff V 30 dir 4-317459.0.r367888/2330457 K 14 R-cran-geepack V 26 dir 4-403949.0.r422794/996 K 10 R-cran-gmp V 27 dir 4-414258.0.r414258/2092 K 13 R-cran-gpclib V 29 dir 4-231150.0.r415738/917110 K 10 R-cran-gss V 27 dir 4-317429.0.r421103/1023 K 13 R-cran-gtable V 26 dir 4-303703.0.r409657/981 K 13 R-cran-igraph V 29 dir 5-289904.0.r412348/782530 K 17 R-cran-influenceR V 27 dir 4-418937.0.r418937/2441 K 13 R-cran-inline V 27 dir 4-253936.0.r385025/1197 K 12 R-cran-irlba V 26 dir 4-393972.0.r423651/988 K 15 R-cran-labeling V 30 dir 4-296327.0.r367888/2334453 K 15 R-cran-lazyeval V 27 dir 4-403845.0.r417639/1018 K 11 R-cran-lme4 V 27 dir 4-401698.0.r418571/1237 K 13 R-cran-maxLik V 29 dir 4-402738.0.r412348/783837 K 11 R-cran-mcmc V 27 dir 4-418525.0.r418525/2160 K 13 R-cran-memisc V 26 dir 4-290170.0.r429271/997 K 12 R-cran-minqa V 29 dir 4-385880.0.r412348/784496 K 16 R-cran-miscTools V 27 dir 4-402721.0.r427278/1006 K 14 R-cran-mvtnorm V 30 dir 4-270503.0.r367888/2335800 K 13 R-cran-nloptr V 29 dir 4-401681.0.r412348/785151 K 11 R-cran-nnls V 29 dir 4-302939.0.r415738/917771 K 14 R-cran-nortest V 27 dir 4-422961.0.r422961/1969 K 15 R-cran-numDeriv V 27 dir 4-423659.0.r423659/2187 K 15 R-cran-outliers V 30 dir 4-314659.0.r367888/2337140 K 15 R-cran-pbkrtest V 26 dir 4-401708.0.r417044/975 K 12 R-cran-psych V 29 dir 4-261267.0.r415738/918436 K 15 R-cran-quadprog V 30 dir 4-309473.0.r367888/2338490 K 15 R-cran-quantreg V 27 dir 4-401714.0.r421667/1106 K 15 R-cran-sandwich V 29 dir 4-282214.0.r412348/787115 K 9 R-cran-sm V 30 dir 7-230661.0.r367888/2339832 K 9 R-cran-sp V 26 dir 4-230304.0.r429715/994 K 12 R-cran-spdep V 27 dir 4-281929.0.r423546/1110 K 12 R-cran-sspir V 29 dir 4-328495.0.r412348/788425 K 17 R-cran-stabledist V 27 dir 4-309474.0.r422223/1348 K 13 R-cran-survey V 26 dir 4-411817.0.r427934/996 K 16 R-cran-truncnorm V 27 dir 4-422959.0.r422959/2107 K 10 R-cran-xts V 29 dir 4-280789.0.r412348/789085 K 10 R-cran-zoo V 27 dir 4-280788.0.r428722/1013 K 6 aamath V 26 dir 4-137923.0.r408372/718 K 6 abacus V 29 dir 2-326410.0.r415499/653535 K 6 abakus V 29 dir 4-152678.0.r420774/880735 K 3 abs V 28 dir 2-16350.0.r380306/163885 K 3 add V 28 dir 2-12939.0.r415499/654266 K 5 algae V 28 dir 4-82139.0.r428057/580155 K 9 algotutor V 29 dir 4-126758.0.r415499/655006 K 8 alt-ergo V 29 dir 4-287773.0.r417685/453011 K 5 amath V 29 dir 4-425086.0.r426566/897805 K 8 analitza V 30 dir 8l-297371.0.r424182/668873 K 3 ann V 29 dir 4-253818.0.r415738/919184 K 3 apc V 27 dir 2-6710.0.r415499/655691 K 6 aribas V 26 dir 4-193965.0.r359928/663 K 9 armadillo V 27 dir 4-314935.0.r429889/1664 K 6 arpack V 28 dir 4-80169.0.r428057/580891 K 8 arpack++ V 28 dir 4-95234.0.r417685/454487 K 9 arpack-ng V 29 dir 4-300064.0.r428057/581587 K 15 arpack-ng-mpich V 27 dir 8-370227.0.r420410/3098 K 8 asir2000 V 28 dir 4-47162.0.r412348/796954 K 6 aspcud V 30 dir 4-339367.0.r426908/1098274 K 9 asymptote V 29 dir 4-140404.0.r415499/657126 K 5 atlas V 28 dir 4-56117.0.r428057/582323 K 8 bargraph V 29 dir 4-294217.0.r422140/869954 K 7 biggles V 28 dir 4-50529.0.r412348/800522 K 5 blacs V 28 dir 4-80142.0.r428057/583055 K 4 blas V 27 dir 2-280.0.r367888/2354490 K 7 blitz++ V 28 dir 4-67732.0.r428132/178544 K 12 blocksolve95 V 29 dir 4-121707.0.r428057/583803 K 5 bsdnt V 29 dir 4-338583.0.r412348/803481 K 8 cadabra2 V 29 dir 4-418304.0.r428370/106928 K 4 calc V 24 dir 3-162.0.r408684/1501 K 6 calcoo V 28 dir 4-53344.0.r428152/963940 K 8 calctool V 27 dir 2-4947.0.r412348/804209 K 6 cantor V 30 dir ce-283641.0.r428057/584562 K 5 carve V 30 dir 4-291926.0.r426908/1099764 K 5 cblas V 29 dir 4-288838.0.r428057/585212 K 6 ccmath V 27 dir 4-40118.0.r387917/11592 K 12 ceres-solver V 26 dir 4-424034.0.r429102/777 K 4 cgal V 26 dir 4-159258.0.r429807/956 K 5 chaco V 26 dir 4-161300.0.r429880/718 K 9 chryzodus V 29 dir 4-138937.0.r412348/807837 K 8 clarence V 26 dir 4-54038.0.r371328/8719 K 5 clasp V 26 dir 2-327622.0.r422376/553 K 6 clblas V 31 dir 2z-397198.0.r426908/1101253 K 5 clfft V 28 dir 39-397198.0.r423661/2671 K 7 clipper V 30 dir 4-312105.0.r386312/1571513 K 3 cln V 25 dir 4-38257.0.r426361/722 K 5 cloog V 29 dir 4-321979.0.r412348/810734 K 3 clp V 29 dir 4-198778.0.r428057/586600 K 5 clrng V 27 dir 3n-397198.0.r425696/736 K 8 cminpack V 29 dir 4-379703.0.r416242/663227 K 5 cmlib V 29 dir 4-386679.0.r428057/587327 K 6 coinmp V 29 dir 4-278529.0.r424427/816402 K 8 concorde V 27 dir 4-30153.0.r372546/39096 K 10 convertall V 27 dir 4-117581.0.r425749/1993 K 3 coq V 28 dir 4-119551.0.r430124/16818 K 6 crlibm V 27 dir 4-288947.0.r420218/1053 K 13 cryptominisat V 30 dir 4-385495.0.r426908/1101955 K 4 cvc3 V 29 dir 4-188227.0.r426566/900706 K 7 diehard V 26 dir 4-62415.0.r401208/2809 K 9 dieharder V 29 dir 4-222883.0.r417685/458023 K 6 djbfft V 27 dir 4-59197.0.r372546/44169 K 5 drgeo V 28 dir k-72881.0.r426566/901439 K 6 dynare V 29 dir 4-282473.0.r428057/588063 K 1 e V 28 dir 4-120706.0.r372546/44861 K 8 edenmath V 29 dir 4-172517.0.r397315/720937 K 6 eigen2 V 29 dir e-206969.0.r415738/922804 K 6 eigen3 V 27 dir o-206969.0.r423320/1093 K 7 eispack V 26 dir 2-299.0.r428057/588745 K 4 emc2 V 26 dir 4-97124.0.r420943/2176 K 3 ent V 26 dir 4-323853.0.r417786/748 K 7 entropy V 26 dir 4-64354.0.r358240/1513 K 3 ess V 27 dir 4-276061.0.r415023/1713 K 9 eukleides V 29 dir 4-60610.0.r424411/1109487 K 4 eval V 26 dir 2-10680.0.r365060/1064 K 6 facile V 27 dir 4-206967.0.r429835/1028 K 4 fann V 29 dir 4-186705.0.r424427/818416 K 12 fflas-ffpack V 29 dir 4-283609.0.r428057/589444 K 4 fftw V 28 dir 2-17276.0.r428057/590184 K 10 fftw-float V 27 dir 4-121298.0.r347124/2447 K 5 fftw3 V 26 dir f-17276.0.r424661/4222 K 11 fftw3-float V 27 dir 4-121063.0.r347093/2240 K 10 fftw3-long V 27 dir 8-121063.0.r347093/2790 K 10 fftw3-quad V 27 dir 4-283696.0.r347093/3338 K 5 fityk V 30 dir 4-130578.0.r426908/1103445 K 4 foma V 29 dir 4-353158.0.r422140/871433 K 8 fpc-fftw V 29 dir 4-172531.0.r412348/821480 K 7 fpc-gmp V 29 dir 4-259369.0.r412348/822083 K 10 fpc-numlib V 29 dir 4-226018.0.r403082/616268 K 7 freemat V 29 dir 4-132275.0.r428057/590917 K 3 fxt V 26 dir 4-50672.0.r416925/1544 K 10 galculator V 25 dir 4-83610.0.r429923/620 K 6 gambit V 26 dir 4-75161.0.r418813/1474 K 3 gap V 26 dir 4-58970.0.r429969/1913 K 6 gdcalc V 28 dir 4-62875.0.r412348/824888 K 3 geg V 28 dir 2-12406.0.r428152/964620 K 8 geogebra V 34 dir 4-143470.0-410466.r425077/1246 K 7 geonext V 29 dir 4-128341.0.r415499/667822 K 5 gexpr V 28 dir 4-43961.0.r415499/668511 K 5 ggobi V 29 dir 4-249715.0.r428152/965355 K 8 giacxcas V 29 dir 2-261551.0.r428057/591617 K 6 givaro V 27 dir 4-283582.0.r429236/2232 K 5 gkmap V 29 dir 4-324367.0.r428152/966048 K 7 glgraph V 28 dir 4-72664.0.r428132/179190 K 3 glm V 27 dir 4-301955.0.r409329/1594 K 4 glpk V 26 dir 4-36057.0.r419263/1841 K 5 gmm++ V 29 dir 4-218131.0.r415738/924196 K 3 gmp V 29 dir 4-43514.0.r424411/1110179 K 7 gmp-ecm V 29 dir 4-164283.0.r415738/924847 K 16 gnome-calculator V 35 dir 4-61145.7-372768.r412348/830692 K 5 gnubc V 26 dir 4-249168.0.r392542/571 K 8 gnumeric V 28 dir 2-14193.0.r412348/831438 K 7 gnuplot V 24 dir 2-184.0.r424500/1210 K 18 gnuplot-tex-extras V 29 dir 9-374699.0.r415499/670589 K 6 goblin V 25 dir 2-55478.0.r390404/625 K 8 gotoblas V 26 dir 4-184333.0.r429052/626 K 5 grace V 28 dir 2-17277.0.r412348/833547 K 9 gracetmpl V 28 dir 4-92440.0.r426566/902877 K 10 graphthing V 26 dir 2-54530.0.r420272/3062 K 5 gretl V 28 dir 2-56450.0.r428057/593052 K 3 gri V 28 dir 4-34352.0.r412348/835695 K 6 gringo V 29 dir 4-339359.0.r412348/836373 K 4 grpn V 28 dir 2-23410.0.r428152/966731 K 3 gsl V 29 dir 4-27399.0.r424411/1110908 K 7 hexcalc V 33 dir 2-539.0-341901.r406010/458654 K 4 hfst V 29 dir 4-360628.0.r426566/903614 K 7 hs-Agda V 30 dir 4-247094.0.r394918/1043748 K 14 hs-Agda-stdlib V 27 dir sz-394918.0.r409208/581 K 15 hs-NumInstances V 30 dir 5-291121.0.r394918/1046856 K 14 hs-adjunctions V 30 dir tg-394918.0.r427548/770200 K 13 hs-categories V 29 dir 7-279687.0.r427548/770869 K 10 hs-comonad V 29 dir 7-279689.0.r427548/771533 K 16 hs-contravariant V 29 dir 7-279690.0.r427548/772200 K 12 hs-data-lens V 29 dir 5-291123.0.r427548/772869 K 21 hs-data-lens-template V 29 dir 5-291124.0.r427548/773544 K 15 hs-distributive V 29 dir 7-279691.0.r427548/774221 K 6 hs-erf V 30 dir 4-247108.0.r394918/1054327 K 10 hs-ieee754 V 29 dir 5-298136.0.r427548/774888 K 17 hs-kan-extensions V 30 dir ua-394918.0.r427548/775562 K 17 hs-math-functions V 30 dir 4-290293.0.r394918/1057167 K 13 hs-mwc-random V 30 dir 4-247119.0.r394918/1058160 K 10 hs-pointed V 29 dir 7-279695.0.r427548/776231 K 14 hs-probability V 30 dir 4-247118.0.r394918/1060414 K 16 hs-semigroupoids V 29 dir 7-279692.0.r427548/776899 K 13 hs-semigroups V 29 dir 7-279685.0.r427548/777617 K 13 hs-statistics V 29 dir 4-247125.0.r415499/671987 K 15 hs-vector-space V 30 dir 4-247746.0.r394918/1064979 K 6 igraph V 29 dir 4-217031.0.r424427/820194 K 5 ipopt V 29 dir 4-366918.0.r428057/593744 K 4 ised V 26 dir 4-251331.0.r429504/605 K 5 jacal V 28 dir 4-56207.0.r412348/838524 K 4 jags V 29 dir 4-110135.0.r428057/594491 K 20 jakarta-commons-math V 29 dir 4-127742.0.r415499/673386 K 21 jakarta-commons-math3 V 29 dir 4-297407.0.r415499/674106 K 4 jama V 28 dir 4-82179.0.r415499/674816 K 7 jeuclid V 29 dir 4-249767.0.r425127/376413 K 10 jlatexmath V 29 dir 4-249766.0.r425127/377117 K 12 jsmath-fonts V 29 dir e-164162.0.r380306/164580 K 11 jtransforms V 26 dir 4-262245.0.r420866/514 K 3 jts V 27 dir 4-192174.0.r418622/1133 K 8 kalgebra V 30 dir cs-283641.0.r424182/670340 K 6 kbruch V 30 dir d2-283641.0.r424182/671051 K 5 kcalc V 28 dir 15-8441.0.r424182/671796 K 3 kig V 31 dir dh-283641.0.r426908/1104899 K 9 kktdirect V 29 dir 4-288407.0.r428057/595145 K 6 kmplot V 28 dir dr-283641.0.r425760/1302 K 7 labplot V 29 dir 4-150102.0.r426566/905738 K 6 lambda V 26 dir 4-109095.0.r408378/644 K 6 lapack V 24 dir 2-3178.0.r428484/637 K 8 lapack++ V 28 dir 4-61741.0.r428057/596608 K 8 lapack95 V 29 dir 4-117551.0.r428057/597349 K 7 lapacke V 29 dir 4-269254.0.r415499/676890 K 7 laspack V 29 dir 4-140069.0.r417685/465086 K 7 ldouble V 26 dir 4-121047.0.r421356/709 K 6 levmar V 29 dir 4-259952.0.r428057/598046 K 8 libRmath V 29 dir 4-109219.0.r428057/598741 K 8 libflame V 29 dir 4-288536.0.r417685/466481 K 8 libjbigi V 29 dir 4-151920.0.r422140/872130 K 8 liblbfgs V 29 dir 4-256810.0.r415738/926251 K 10 libmissing V 29 dir 4-309324.0.r417685/467134 K 7 libocas V 29 dir 4-283033.0.r417685/467829 K 9 liborigin V 30 dir 4-171749.0.r426908/1105601 K 8 libproj4 V 29 dir 4-370687.0.r412348/849119 K 12 libqalculate V 26 dir 4-136977.0.r424453/602 K 9 libranlip V 27 dir 4-253982.0.r423265/1702 K 6 librsb V 29 dir 4-388293.0.r428057/599476 K 10 libtommath V 27 dir 4-141328.0.r410694/2459 K 9 libtsnnls V 29 dir 4-263280.0.r428057/600179 K 7 linpack V 26 dir 2-298.0.r428057/600912 K 9 lll_spect V 29 dir 4-249994.0.r417685/469960 K 8 lp_solve V 26 dir 4-85171.0.r426312/3051 K 4 lrng V 29 dir 4-274784.0.r417685/470608 K 3 ltl V 29 dir 4-174849.0.r412348/853495 K 6 ltl2ba V 29 dir 4-274737.0.r417685/471252 K 6 lybniz V 28 dir 4-203550.0.r375144/18440 K 6 math77 V 29 dir 4-398992.0.r428057/601595 K 7 mathmod V 34 dir 4-156476.0-410155.r426342/2038 K 10 mathomatic V 29 dir 4-133081.0.r415499/680348 K 5 matio V 27 dir 4-250256.0.r425035/1518 K 16 matlab-installer V 36 dir 4-318605.0-342611.r421496/581634 K 6 maxima V 26 dir 4-73483.0.r422546/4538 K 9 mbasecalc V 29 dir 4-111633.0.r412348/856394 K 5 metis V 28 dir 2-10682.0.r426566/907207 K 9 metis-edf V 27 dir m-85421.0.r426042/65687 K 6 metis4 V 28 dir p-10682.0.r417685/473513 K 14 mingw32-libgmp V 30 dir 4-220558.0.r424411/1113030 K 7 minisat V 29 dir 2-327544.0.r415499/681087 K 6 miracl V 29 dir 4-126683.0.r426566/907895 K 3 moo V 26 dir 4-190340.0.r428256/572 K 12 mosesdecoder V 30 dir 4-367003.0.r426908/1106352 K 3 mpc V 29 dir 4-232062.0.r412348/858499 K 6 mpexpr V 26 dir 4-90359.0.r422788/1899 K 4 mpfr V 26 dir 4-141316.0.r422857/588 K 4 mpir V 29 dir 4-361925.0.r412348/859864 K 6 msieve V 29 dir 4-181482.0.r417685/474204 K 3 mtl V 28 dir 4-56139.0.r417685/474939 K 8 mtrxmath V 25 dir 4-39458.0.r344617/805 K 5 mumps V 29 dir 4-164274.0.r428057/602334 K 11 mumps-mpich V 27 dir 4-168703.0.r354002/7217 K 8 muparser V 28 dir 4-156125.0.r372596/32036 K 11 naturalmath V 27 dir 4-50943.0.r372596/32733 K 5 nauty V 26 dir 4-43274.0.r429486/1011 K 5 ndiff V 29 dir 4-101356.0.r412348/861988 K 6 newmat V 28 dir 4-51145.0.r374492/626940 K 6 ngraph V 26 dir 2-21453.0.r392401/3086 K 5 nlopt V 29 dir 4-370660.0.r424866/364898 K 3 ntl V 28 dir 2-30415.0.r418767/732750 K 7 numdiff V 29 dir 4-175879.0.r412348/864052 K 7 nyh-hoc V 26 dir 4-197599.0.r344401/580 K 16 ocaml-ocamlgraph V 29 dir 4-110162.0.r428596/491996 K 12 ocaml-zarith V 27 dir 4-356255.0.r424051/1661 K 8 ocamlgsl V 29 dir 4-276544.0.r427136/365030 K 6 octave V 25 dir 2-1566.0.r428762/1829 K 12 octave-forge V 29 dir 4-108647.0.r412348/867574 K 22 octave-forge-actuarial V 29 dir 2-256728.0.r428057/603720 K 18 octave-forge-audio V 29 dir 4-220205.0.r428057/604452 K 17 octave-forge-base V 29 dir 4-220196.0.r412348/868280 K 16 octave-forge-bim V 29 dir 4-220286.0.r428057/605120 K 20 octave-forge-bioinfo V 29 dir 4-220217.0.r428057/605794 K 16 octave-forge-cgi V 29 dir 4-307605.0.r428057/606464 K 30 octave-forge-civil-engineering V 29 dir 4-220219.0.r428057/607148 K 27 octave-forge-communications V 29 dir 4-220277.0.r428057/607839 K 20 octave-forge-control V 29 dir 4-220279.0.r428057/608523 K 27 octave-forge-data-smoothing V 29 dir 4-220282.0.r428057/609211 K 21 octave-forge-database V 29 dir 4-311535.0.r428057/609939 K 22 octave-forge-dataframe V 29 dir 2-260164.0.r428057/610619 K 19 octave-forge-divand V 29 dir 4-345001.0.r428057/611293 K 20 octave-forge-doctest V 29 dir 4-391607.0.r428057/611960 K 25 octave-forge-econometrics V 29 dir 4-220228.0.r428057/612642 K 19 octave-forge-engine V 29 dir 4-220215.0.r428057/613325 K 17 octave-forge-fenv V 29 dir 4-257153.0.r428057/614046 K 22 octave-forge-financial V 29 dir 4-220278.0.r428057/614722 K 17 octave-forge-fits V 29 dir 4-268658.0.r428057/615398 K 20 octave-forge-fl-core V 29 dir 4-268879.0.r428057/616119 K 16 octave-forge-fpl V 29 dir 4-220211.0.r428057/616846 K 32 octave-forge-fuzzy-logic-toolkit V 29 dir 4-275950.0.r428057/617531 K 15 octave-forge-ga V 29 dir 4-220281.0.r428057/618220 K 20 octave-forge-general V 29 dir 4-220226.0.r428057/618893 K 26 octave-forge-generate_html V 29 dir 4-235756.0.r428057/619577 K 21 octave-forge-geometry V 29 dir 4-282489.0.r428057/620257 K 20 octave-forge-gnuplot V 29 dir 4-257154.0.r428057/620939 K 16 octave-forge-gsl V 29 dir 4-220216.0.r428057/621609 K 18 octave-forge-ident V 29 dir 4-220227.0.r428057/622280 K 18 octave-forge-image V 29 dir 4-220225.0.r428057/622948 K 30 octave-forge-informationtheory V 29 dir 4-220222.0.r428057/623633 K 24 octave-forge-integration V 29 dir 4-220223.0.r428057/624325 K 21 octave-forge-interval V 29 dir 4-378280.0.r428057/625040 K 15 octave-forge-io V 29 dir 4-220224.0.r428057/625707 K 17 octave-forge-irsa V 29 dir 4-220240.0.r428057/626376 K 22 octave-forge-level-set V 29 dir 4-379409.0.r428057/627090 K 27 octave-forge-linear-algebra V 29 dir 4-220221.0.r428057/627776 K 17 octave-forge-lssa V 29 dir 4-302531.0.r428057/628504 K 18 octave-forge-ltfat V 27 dir 4-327510.0.r429458/1060 K 20 octave-forge-mapping V 29 dir 4-220241.0.r428057/629852 K 22 octave-forge-mechanics V 29 dir 4-282497.0.r428057/630536 K 26 octave-forge-miscellaneous V 29 dir 4-220229.0.r428057/631222 K 30 octave-forge-missing-functions V 29 dir 4-220230.0.r428057/631918 K 16 octave-forge-msh V 29 dir 4-220276.0.r428057/632600 K 22 octave-forge-multicore V 29 dir 4-220231.0.r428057/633278 K 16 octave-forge-mvn V 29 dir 4-338355.0.r428057/633955 K 16 octave-forge-nan V 29 dir 4-220232.0.r428057/634625 K 20 octave-forge-ncarray V 29 dir 4-301262.0.r428057/635300 K 19 octave-forge-netcdf V 29 dir 4-324825.0.r428057/636019 K 20 octave-forge-nlwing2 V 29 dir 4-220613.0.r428057/636700 K 17 octave-forge-nnet V 29 dir 4-220235.0.r428057/637379 K 18 octave-forge-nurbs V 29 dir 4-234591.0.r428057/638051 K 16 octave-forge-ocs V 29 dir 4-220236.0.r428057/638722 K 20 octave-forge-oct2mat V 29 dir 4-234592.0.r428057/639399 K 19 octave-forge-octcdf V 29 dir 4-220233.0.r428057/640075 K 20 octave-forge-octclip V 29 dir 4-275949.0.r428057/640752 K 20 octave-forge-octproj V 29 dir 4-257151.0.r428057/641430 K 19 octave-forge-odebvp V 29 dir 4-220243.0.r428057/642109 K 19 octave-forge-odepkg V 29 dir 4-220245.0.r428057/642784 K 19 octave-forge-optics V 29 dir 4-374726.0.r428057/643456 K 18 octave-forge-optim V 29 dir 4-220256.0.r428057/644130 K 24 octave-forge-optiminterp V 29 dir 4-220247.0.r428057/644860 K 21 octave-forge-outliers V 29 dir 4-220246.0.r428057/645545 K 21 octave-forge-parallel V 29 dir 4-257155.0.r428641/142599 K 16 octave-forge-pdb V 29 dir 4-220248.0.r428057/646899 K 17 octave-forge-plot V 29 dir 4-220250.0.r428057/647570 K 18 octave-forge-pt_br V 29 dir 4-220251.0.r428057/648292 K 23 octave-forge-quaternion V 29 dir 4-240209.0.r428057/648971 K 21 octave-forge-queueing V 29 dir 4-290509.0.r428057/649652 K 19 octave-forge-secs1d V 29 dir 4-220252.0.r428057/650334 K 19 octave-forge-secs2d V 29 dir 4-220253.0.r428057/651010 K 19 octave-forge-secs3d V 29 dir 4-281674.0.r428057/651686 K 19 octave-forge-signal V 29 dir 4-220275.0.r428057/652362 K 17 octave-forge-simp V 29 dir 4-234593.0.r428057/653038 K 20 octave-forge-sockets V 29 dir 4-220254.0.r428057/653711 K 22 octave-forge-sparsersb V 29 dir 4-406002.0.r428057/654435 K 20 octave-forge-specfun V 29 dir 4-220255.0.r428057/655118 K 27 octave-forge-special-matrix V 29 dir 4-220257.0.r428057/655805 K 20 octave-forge-splines V 29 dir 4-220259.0.r428057/656488 K 23 octave-forge-statistics V 29 dir 4-220260.0.r428057/657169 K 16 octave-forge-stk V 29 dir 4-370002.0.r428057/657844 K 20 octave-forge-strings V 29 dir 4-220261.0.r428057/658518 K 19 octave-forge-struct V 29 dir 4-220262.0.r428057/659195 K 20 octave-forge-symband V 29 dir 4-220263.0.r428057/659874 K 21 octave-forge-symbolic V 29 dir 4-220273.0.r428057/660551 K 23 octave-forge-tcl-octave V 29 dir 4-220272.0.r428057/661235 K 19 octave-forge-tisean V 29 dir 4-406003.0.r428057/661958 K 16 octave-forge-tsa V 29 dir 4-220274.0.r428057/662630 K 18 octave-forge-video V 29 dir 4-220266.0.r428352/672027 K 19 octave-forge-zenity V 29 dir 4-220271.0.r428057/663980 K 19 octave-forge-zeromq V 29 dir 4-409699.0.r428057/664651 K 4 ogdf V 29 dir 2-326473.0.r414892/431940 K 4 oleo V 25 dir 2-211.0.r420708/13815 K 8 openblas V 29 dir 4-303185.0.r428057/665359 K 7 openfst V 26 dir 4-337544.0.r425252/546 K 8 openlibm V 28 dir 4-407468.0.r426199/45500 K 5 orpie V 29 dir 4-115770.0.r412348/893487 K 18 p5-AI-DecisionTree V 28 dir 4-96718.0.r415499/690095 K 13 p5-AI-Genetic V 29 dir 4-156456.0.r415499/690819 K 24 p5-AI-NeuralNet-BackProp V 28 dir 4-36554.0.r375378/810620 K 16 p5-AI-Perceptron V 28 dir 4-36556.0.r412348/894190 K 26 p5-Algorithm-Combinatorics V 29 dir 4-147444.0.r415499/691551 K 21 p5-Algorithm-CurveFit V 29 dir 4-175978.0.r412348/894916 K 19 p5-Algorithm-KMeans V 29 dir 4-257239.0.r412348/895642 K 20 p5-Algorithm-Munkres V 29 dir 4-226893.0.r415499/692288 K 15 p5-Bit-ShiftReg V 29 dir 4-36694.0.r373448/4283803 K 13 p5-Bit-Vector V 28 dir 4-36695.0.r412348/896349 K 21 p5-Bit-Vector-Minimal V 30 dir 4-114937.0.r373448/4285884 K 11 p5-CAD-Calc V 29 dir 4-163026.0.r412348/897056 K 18 p5-Chart-Math-Axis V 28 dir 4-81251.0.r412348/897772 K 13 p5-Data-Float V 30 dir 4-170065.0.r373448/4288996 K 15 p5-Date-Handler V 28 dir 4-46901.0.r388088/374741 K 15 p5-GIS-Distance V 29 dir 4-176189.0.r412348/898485 K 20 p5-GIS-Distance-Fast V 29 dir 4-249051.0.r412348/899210 K 20 p5-GIS-Distance-Lite V 29 dir 4-254315.0.r412348/899940 K 22 p5-Geo-Coordinates-UTM V 30 dir 4-220658.0.r386312/1587745 K 15 p5-Geo-Distance V 29 dir 4-113427.0.r412348/900668 K 18 p5-Geo-Distance-XS V 29 dir 4-242265.0.r412348/901395 K 8 p5-Graph V 28 dir 4-48625.0.r412348/902107 K 23 p5-Math-Algebra-Symbols V 29 dir 4-163417.0.r415499/693014 K 14 p5-Math-Base36 V 26 dir 4-218266.0.r375952/608 K 14 p5-Math-Base85 V 29 dir 4-47927.0.r373448/4300481 K 16 p5-Math-BaseCalc V 29 dir 4-61985.0.r373448/4301510 K 15 p5-Math-BaseCnv V 29 dir 4-235243.0.r412348/902812 K 14 p5-Math-Bezier V 28 dir 4-36719.0.r386075/462193 K 22 p5-Math-Bezier-Convert V 30 dir 4-128233.0.r373448/4304640 K 14 p5-Math-BigInt V 25 dir 4-48714.0.r428430/560 K 23 p5-Math-BigInt-FastCalc V 27 dir 4-265782.0.r428746/1094 K 18 p5-Math-BigInt-GMP V 27 dir 4-184781.0.r427885/1075 K 19 p5-Math-BigInt-Lite V 27 dir 4-428431.0.r428431/3023 K 19 p5-Math-BigInt-Pari V 27 dir 4-233108.0.r427960/1078 K 14 p5-Math-BigRat V 27 dir 4-130283.0.r414205/1124 K 11 p5-Math-CDF V 26 dir 4-264615.0.r394486/656 K 18 p5-Math-Calc-Units V 29 dir 4-61987.0.r373448/4311933 K 14 p5-Math-Cephes V 29 dir 4-163571.0.r415499/693730 K 21 p5-Math-Combinatorics V 29 dir 4-136318.0.r375378/813523 K 15 p5-Math-Complex V 30 dir 4-205437.0.r373448/4315069 K 18 p5-Math-ConvexHull V 30 dir 4-146218.0.r373448/4316117 K 16 p5-Math-Currency V 26 dir 4-36721.0.r418073/1575 K 18 p5-Math-Derivative V 27 dir 4-122444.0.r405040/1030 K 12 p5-Math-Evol V 29 dir 4-236599.0.r396892/933732 K 12 p5-Math-Expr V 25 dir 4-32903.0.r402575/981 K 11 p5-Math-FFT V 26 dir 4-39660.0.r388317/1366 K 22 p5-Math-FixedPrecision V 28 dir 4-36723.0.r388088/375459 K 16 p5-Math-Fleximal V 29 dir 4-344918.0.r397550/324101 K 11 p5-Math-GMP V 26 dir 4-36724.0.r426499/1205 K 12 p5-Math-GMPf V 27 dir 4-299792.0.r429119/1068 K 12 p5-Math-GMPq V 27 dir 4-299793.0.r426434/1048 K 12 p5-Math-GMPz V 27 dir 4-299794.0.r425531/1070 K 11 p5-Math-GSL V 26 dir 4-93041.0.r425532/1475 K 16 p5-Math-Geometry V 29 dir 4-171149.0.r412348/910681 K 23 p5-Math-Geometry-Planar V 29 dir 4-163036.0.r412348/911409 K 27 p5-Math-Geometry-Planar-GPC V 29 dir 4-163030.0.r415499/694462 K 37 p5-Math-Geometry-Planar-GPC-PolygonXS V 36 dir 4-270720.0-386320.r390932/382651 K 30 p5-Math-Geometry-Planar-Offset V 29 dir 4-163034.0.r412348/912149 K 24 p5-Math-Geometry-Voronoi V 29 dir 4-237725.0.r412348/912893 K 16 p5-Math-Gradient V 30 dir 4-250756.0.r373448/4335980 K 14 p5-Math-Int128 V 29 dir 4-309299.0.r427552/676504 K 13 p5-Math-Int64 V 27 dir 4-287425.0.r406341/1022 K 19 p5-Math-Interpolate V 26 dir 4-39661.0.r398530/1037 K 33 p5-Math-Intersection-StraightLine V 29 dir 4-156258.0.r415499/695208 K 13 p5-Math-Logic V 28 dir 4-32904.0.r375378/818670 K 11 p5-Math-MPC V 27 dir 4-232087.0.r428073/1042 K 12 p5-Math-MPFR V 27 dir 4-227941.0.r426500/1093 K 14 p5-Math-Matrix V 30 dir 4-150667.0.r373448/4344274 K 18 p5-Math-MatrixReal V 32 dir 2-8783.0-334605.r423553/1308 K 22 p5-Math-NumberCruncher V 29 dir 4-186674.0.r415499/695954 K 12 p5-Math-Pari V 28 dir 4-47654.0.r412348/916579 K 15 p5-Math-Polygon V 27 dir 4-225610.0.r429849/1057 K 20 p5-Math-Polygon-Tree V 29 dir 4-270721.0.r412348/918005 K 24 p5-Math-Polynomial-Solve V 27 dir 4-176197.0.r416035/1152 K 16 p5-Math-Prime-XS V 27 dir 4-282260.0.r425533/1090 K 11 p5-Math-RPN V 29 dir 4-255436.0.r415499/696681 K 14 p5-Math-Random V 26 dir 4-44833.0.r395693/1461 K 20 p5-Math-Random-ISAAC V 29 dir 4-245337.0.r412348/920897 K 23 p5-Math-Random-ISAAC-XS V 29 dir 4-245340.0.r412348/921629 K 17 p5-Math-Random-MT V 28 dir 4-44834.0.r412348/922341 K 22 p5-Math-Random-MT-Auto V 29 dir 4-168585.0.r412348/923067 K 17 p5-Math-Random-OO V 29 dir 4-168753.0.r412348/923795 K 21 p5-Math-Random-Secure V 29 dir 4-271137.0.r412348/924523 K 17 p5-Math-RandomOrg V 29 dir 4-163887.0.r415499/697401 K 13 p5-Math-Round V 25 dir 4-88615.0.r398531/558 K 17 p5-Math-Round-Var V 29 dir 4-163006.0.r415499/698124 K 16 p5-Math-Sequence V 29 dir 4-162468.0.r415499/698847 K 14 p5-Math-Series V 29 dir 4-162470.0.r415499/699567 K 15 p5-Math-SigFigs V 27 dir 4-251780.0.r392527/1113 K 22 p5-Math-SimpleVariable V 29 dir 4-60136.0.r373448/4367415 K 14 p5-Math-Spline V 29 dir 4-122448.0.r412348/927405 K 14 p5-Math-String V 29 dir 4-294395.0.r381221/181594 K 16 p5-Math-Symbolic V 29 dir 4-162398.0.r415499/700289 K 33 p5-Math-Symbolic-Custom-CCompiler V 29 dir 4-162405.0.r415499/701032 K 32 p5-Math-Symbolic-Custom-Contains V 29 dir 4-162400.0.r415499/701789 K 40 p5-Math-Symbolic-Custom-ErrorPropagation V 29 dir 4-162443.0.r415499/702553 K 35 p5-Math-Symbolic-Custom-LaTeXDumper V 29 dir 4-162451.0.r415499/703321 K 31 p5-Math-Symbolic-Custom-Pattern V 29 dir 4-162453.0.r415499/704080 K 38 p5-Math-Symbolic-Custom-Simplification V 29 dir 4-162455.0.r415499/704842 K 38 p5-Math-Symbolic-Custom-Transformation V 29 dir 4-162457.0.r415499/705610 K 24 p5-Math-SymbolicX-BigNum V 29 dir 4-162439.0.r415499/706365 K 25 p5-Math-SymbolicX-Complex V 29 dir 4-162441.0.r415499/707107 K 23 p5-Math-SymbolicX-Error V 29 dir 4-162466.0.r415499/707847 K 24 p5-Math-SymbolicX-Inline V 29 dir 4-162403.0.r415499/708586 K 34 p5-Math-SymbolicX-NoSimplification V 29 dir 4-162447.0.r415499/709337 K 40 p5-Math-SymbolicX-ParserExtensionFactory V 29 dir 4-162408.0.r415499/710104 K 42 p5-Math-SymbolicX-Statistics-Distributions V 29 dir 4-162445.0.r415499/710880 K 19 p5-Math-TrulyRandom V 28 dir 4-56269.0.r390918/515645 K 13 p5-Math-Units V 29 dir 4-163406.0.r415499/711628 K 13 p5-Math-Utils V 27 dir 4-399363.0.r415085/1025 K 11 p5-Math-Vec V 30 dir 4-141022.0.r373448/4388999 K 15 p5-Math-VecStat V 30 dir 4-129741.0.r373448/4390036 K 18 p5-Math-VectorReal V 29 dir 4-233830.0.r415499/712351 K 9 p5-NetCDF V 28 dir 4-95218.0.r412348/939489 K 17 p5-Number-Compare V 29 dir 4-81398.0.r373448/4393181 K 18 p5-Number-Fraction V 30 dir 4-251879.0.r373448/4394221 K 14 p5-Number-Misc V 27 dir 4-392616.0.r392616/2573 K 21 p5-Number-Uncertainty V 26 dir 4-300704.0.r398532/587 K 19 p5-Number-WithError V 29 dir 4-162459.0.r415499/713082 K 25 p5-Number-WithError-LaTeX V 29 dir 4-162464.0.r415499/713819 K 14 p5-Parse-Range V 29 dir 4-307768.0.r412348/941675 K 8 p5-Roman V 28 dir 4-74709.0.r415499/714540 K 14 p5-Set-IntSpan V 29 dir 2-15554.0.r373448/4400476 K 19 p5-Set-IntSpan-Fast V 29 dir 4-185253.0.r412348/942400 K 22 p5-Set-IntSpan-Fast-XS V 29 dir 4-216139.0.r412348/943136 K 16 p5-Set-Partition V 29 dir 4-164542.0.r415499/715252 K 13 p5-Set-Window V 29 dir 4-36754.0.r373448/4404658 K 19 p5-Statistics-Basic V 29 dir 4-238507.0.r412348/943872 K 21 p5-Statistics-Benford V 30 dir 4-233155.0.r373448/4406759 K 23 p5-Statistics-ChiSquare V 28 dir 4-36628.0.r415499/715978 K 25 p5-Statistics-Contingency V 28 dir 4-97202.0.r412348/944604 K 25 p5-Statistics-Descriptive V 28 dir 4-36744.0.r428773/436152 K 34 p5-Statistics-Descriptive-Discrete V 29 dir 4-179882.0.r415499/716728 K 27 p5-Statistics-Distributions V 29 dir 4-36745.0.r373448/4412096 K 22 p5-Statistics-Forecast V 30 dir 4-180690.0.r386312/1590703 K 23 p5-Statistics-Frequency V 29 dir 4-251668.0.r415738/928305 K 17 p5-Statistics-LTU V 29 dir 4-36746.0.r373448/4415269 K 21 p5-Statistics-LineFit V 29 dir 4-175980.0.r425174/650147 K 18 p5-Statistics-Lite V 27 dir 4-122902.0.r401225/1049 K 17 p5-Statistics-OLS V 29 dir 4-36747.0.r373448/4418417 K 15 p5-Statistics-R V 29 dir 4-270409.0.r412348/945326 K 24 p5-Statistics-Regression V 29 dir 4-189404.0.r415499/717479 K 19 p5-Statistics-TTest V 29 dir 4-205995.0.r412348/946050 K 21 p5-Task-Math-Symbolic V 29 dir 4-169617.0.r412348/946787 K 16 p5-Text-AsciiTeX V 26 dir 4-290408.0.r376486/970 K 9 p5-bignum V 27 dir 4-192022.0.r428747/1031 K 4 pari V 27 dir 2-7032.0.r417685/477089 K 8 parmetis V 28 dir 2-19366.0.r417685/477732 K 11 parmgridgen V 29 dir 4-266353.0.r415499/718974 K 4 pdal V 26 dir 4-363814.0.r428921/713 K 20 pear-Math_BigInteger V 29 dir 4-281425.0.r428494/744906 K 23 pear-Math_Combinatorics V 29 dir 4-192312.0.r428494/745590 K 12 pecl-big_int V 29 dir 4-135512.0.r429154/389844 K 11 pecl-bitset V 29 dir 4-195159.0.r428488/542542 K 12 pecl-bitset2 V 36 dir 4-195159.0-410545.r428488/543257 K 10 pecl-stats V 29 dir 4-169238.0.r428488/543949 K 11 pecl-stats2 V 29 dir 4-423697.0.r428488/544601 K 11 pecl-trader V 29 dir 4-343761.0.r428488/545256 K 12 php56-bcmath V 37 dir 4-114147.14-367268.r422652/523876 K 9 php56-gmp V 37 dir 8-114147.15-367268.r422652/524524 K 12 php70-bcmath V 37 dir 4-114147.11-408932.r422569/522336 K 9 php70-gmp V 37 dir 8-114147.12-408932.r422569/522984 K 8 physcalc V 26 dir 4-32044.0.r415141/3161 K 7 picosat V 34 dir 4-365711.0-366063.r417659/1300 K 5 plman V 29 dir 4-151700.0.r387082/475256 K 8 ploticus V 28 dir 4-53652.0.r418829/580084 K 14 ploticus-nox11 V 25 dir 4-90788.0.r361015/411 K 6 plplot V 27 dir 2-8139.0.r428340/357942 K 10 plplot-ada V 29 dir 4-344634.0.r414332/469701 K 8 primegen V 26 dir 4-231112.0.r347112/807 K 4 prng V 29 dir 4-250787.0.r417685/478381 K 12 proofgeneral V 29 dir 4-141552.0.r412348/953279 K 4 pspp V 26 dir 4-28424.0.r419128/1093 K 9 pure-mpfr V 28 dir 12-289858.0.r406019/1472 K 13 pure-rational V 27 dir 4-283584.0.r405004/1228 K 11 py-altgraph V 27 dir 4-373537.0.r428901/1007 K 7 py-apgl V 29 dir 4-263688.0.r412348/954654 K 10 py-basemap V 29 dir 4-175627.0.r412348/955304 K 15 py-basemap-data V 28 dir 4-180648.0.r371328/15726 K 10 py-bitmath V 29 dir 4-392067.0.r415738/928971 K 12 py-bitvector V 30 dir 4-180881.0.r424411/1161664 K 13 py-bottleneck V 29 dir 4-335898.0.r417356/579705 K 11 py-cdecimal V 26 dir 4-406959.0.r407123/690 K 12 py-colormath V 29 dir 4-392173.0.r424866/365544 K 16 py-cryptominisat V 26 dir k-385495.0.r421342/557 K 14 py-fastcluster V 29 dir 4-336815.0.r417356/580362 K 6 py-ffc V 29 dir 4-294745.0.r403506/386357 K 7 py-fiat V 29 dir 4-294821.0.r415738/929624 K 10 py-fpconst V 27 dir 4-90550.0.r371328/19716 K 7 py-gato V 28 dir 4-47357.0.r412348/959923 K 7 py-gmpy V 29 dir 4-217040.0.r422140/872781 K 8 py-gmpy2 V 26 dir 4-416879.0.r417694/979 K 10 py-gnuplot V 25 dir 4-30139.0.r426151/601 K 14 py-graphillion V 34 dir 4-321453.0-321557.r410030/1320 K 6 py-gsl V 28 dir 4-54726.0.r412348/961917 K 9 py-igraph V 29 dir 4-180374.0.r415738/930277 K 10 py-intspan V 26 dir 4-415293.0.r417309/998 K 8 py-keras V 27 dir 4-417325.0.r426220/1005 K 10 py-luminol V 29 dir 2-413550.0.r424866/366193 K 10 py-mathdom V 29 dir 4-215823.0.r412348/963217 K 13 py-matplotlib V 26 dir 4-115380.0.r426885/569 K 9 py-mpmath V 29 dir 4-221772.0.r412348/964567 K 10 py-munkres V 26 dir 4-312268.0.r403312/963 K 11 py-networkx V 29 dir 4-214918.0.r424866/366883 K 11 py-numarray V 25 dir 4-62097.0.r425794/554 K 10 py-numeric V 25 dir f-6349.0.r425596/1512 K 10 py-numexpr V 26 dir 4-257393.0.r426450/995 K 8 py-numpy V 29 dir 4-171823.0.r428057/666824 K 9 py-nzmath V 28 dir 4-275009.0.r372555/29325 K 9 py-pandas V 27 dir 4-302642.0.r425655/1439 K 8 py-patsy V 29 dir 4-333533.0.r417356/581061 K 10 py-plastex V 29 dir 4-221239.0.r412348/968090 K 11 py-probstat V 25 dir 4-67863.0.r381585/862 K 10 py-pybloom V 29 dir 4-269385.0.r415738/930937 K 10 py-pycosat V 36 dir 4-365712.1-366063.r415499/723201 K 9 py-pyhull V 27 dir 4-404409.0.r404409/2119 K 7 py-pymc V 29 dir 4-224222.0.r412348/970824 K 11 py-pysparse V 29 dir 4-418286.0.r428057/667519 K 8 py-pyvtk V 26 dir 4-404902.0.r415525/999 K 8 py-roman V 28 dir 4-284510.0.r371328/31956 K 13 py-scientific V 28 dir 2-20396.0.r412348/971571 K 14 py-statsmodels V 29 dir 4-334582.0.r417356/581718 K 10 py-svgmath V 28 dir 4-234452.0.r371328/34055 K 9 py-symeig V 29 dir 4-220906.0.r428057/668173 K 8 py-sympy V 26 dir 4-218429.0.r414153/591 K 9 py-theano V 29 dir 4-380579.0.r426566/910658 K 6 py-ufl V 29 dir 4-294823.0.r415738/931591 K 8 py-viper V 29 dir 4-294824.0.r415738/932242 K 5 py-yt V 27 dir 4-429583.0.r429583/3366 K 9 qalculate V 26 dir 4-117583.0.r424314/588 K 2 qd V 29 dir 4-188439.0.r428057/668874 K 5 qhull V 27 dir 4-107890.0.r428392/1642 K 6 qhull5 V 28 dir m-107890.0.r395483/12918 K 8 qrupdate V 29 dir 4-239012.0.r428057/669615 K 7 qtiplot V 29 dir 4-135221.0.r424339/643446 K 11 qtiplot-doc V 30 dir 4-172675.0.r424411/1163119 K 8 qtoctave V 29 dir 4-228607.0.r424339/644946 K 13 qwtplot3d-qt4 V 29 dir e-117647.0.r426827/593329 K 7 randlib V 24 dir z-6153.0.r417787/591 K 5 rapid V 29 dir 4-206921.0.r415499/726055 K 6 reduce V 26 dir 4-344974.0.r426559/616 K 12 reed-solomon V 29 dir 4-138189.0.r361099/133691 K 11 rkward-kde4 V 36 dir i-160825.0-402161.r428057/670435 K 10 rngstreams V 26 dir 4-222881.0.r417790/951 K 4 rocs V 31 dir e1-283641.0.r426908/1107805 K 6 rpcalc V 27 dir 4-248945.0.r425750/2193 K 3 rpy V 25 dir 4-92667.0.r415844/602 K 4 rpy2 V 28 dir i-92667.0.r428057/671117 K 12 ruby-algebra V 25 dir 4-42397.0.r429665/620 K 15 rubygem-algebra V 27 dir 4-429664.0.r429664/2126 K 25 rubygem-expression_parser V 30 dir 4-385782.0.r414136/1167365 K 13 rubygem-fftw3 V 26 dir 4-368187.0.r414170/508 K 14 rubygem-narray V 29 dir 4-349189.0.r428377/524912 K 19 rubygem-narray_miss V 26 dir 4-349190.0.r414169/514 K 18 rubygem-numru-misc V 26 dir 4-356622.0.r414147/513 K 19 rubygem-numru-units V 26 dir 4-356619.0.r414172/514 K 14 rubygem-rb-gsl V 30 dir 4-378107.0.r414136/1171452 K 4 saga V 26 dir 4-244368.0.r429882/626 K 4 sage V 29 dir 4-289761.0.r428352/672727 K 2 sc V 26 dir 4-225542.0.r408385/616 K 9 scalapack V 28 dir 4-80147.0.r428057/671849 K 6 scilab V 28 dir 1d-6991.0.r428057/672581 K 19 scilab-toolbox-sivp V 29 dir 4-200249.0.r424339/647241 K 18 scilab-toolbox-swt V 29 dir 4-165598.0.r428129/137937 K 4 sdpa V 28 dir 4-90200.0.r428057/673217 K 6 sdpara V 29 dir 4-104439.0.r428057/673860 K 4 sfft V 29 dir 4-324787.0.r426566/911357 K 4 sfst V 28 dir 4-361056.0.r372555/46245 K 12 simd-viterbi V 29 dir 4-138196.0.r361099/138577 K 6 slatec V 29 dir 4-288144.0.r428057/674559 K 7 slgrace V 29 dir 4-198545.0.r412348/991465 K 4 snns V 28 dir 2-17571.0.r415499/730320 K 9 solitaire V 28 dir 4-44401.0.r400848/713588 K 16 sound-of-sorting V 29 dir 4-409318.0.r415499/730975 K 4 spar V 28 dir 4-43374.0.r417166/755955 K 6 spblas V 29 dir 4-288564.0.r426566/912051 K 11 speedcrunch V 27 dir 4-197663.0.r425617/2513 K 7 spooles V 28 dir 4-80138.0.r416469/562270 K 13 spooles-mpich V 25 dir 4-80140.0.r358373/410 K 3 stp V 30 dir 4-215221.0.r426908/1108501 K 11 suitesparse V 29 dir 4-167234.0.r428057/675265 K 7 superlu V 28 dir 2-12384.0.r428057/676000 K 10 superlu_mt V 28 dir 4-84726.0.r428057/676740 K 4 surf V 28 dir 4-41833.0.r428132/179832 K 6 tablix V 29 dir 4-148920.0.r428152/967475 K 5 taucs V 28 dir 4-97207.0.r428057/677483 K 7 testu01 V 27 dir 4-223948.0.r427133/2000 K 6 tetgen V 29 dir 4-153525.0.r415499/735233 K 5 timbl V 26 dir 4-208938.0.r416865/564 K 12 tomsfastmath V 29 dir 4-141334.0.r426566/912745 K 5 topaz V 28 dir 2-22794.0.r426518/319356 K 8 triangle V 29 dir 6-121715.0.r417685/484022 K 5 trlan V 29 dir 4-283045.0.r428057/678131 K 10 truthtable V 27 dir 4-167406.0.r380307/7140 K 5 tvmet V 26 dir 4-63519.0.r423497/1053 K 3 ufc V 30 dir 4-296121.0.r426908/1109194 K 3 ump V 29 dir 4-161401.0.r415839/677129 K 5 units V 26 dir 4-49519.0.r419120/1078 K 6 unuran V 27 dir 4-222882.0.r423456/1506 K 13 vowpal_wabbit V 30 dir 4-377088.0.r426908/1109941 K 4 vtk5 V 30 dir 13-19163.0.r424411/1166047 K 9 vtk5-data V 29 dir 4-313143.0.r374492/629853 K 4 vtk6 V 29 dir 4-339158.0.r427356/379796 K 5 wcalc V 30 dir 4-190954.0.r412348/1004334 K 6 wfmath V 28 dir 4-128419.0.r372555/60648 K 4 why3 V 30 dir 4-356538.0.r412348/1005074 K 6 wingz3 V 27 dir l-4797.0.r421387/876782 K 8 wxMaxima V 26 dir 4-139194.0.r424611/679 K 8 x12arima V 29 dir 4-259688.0.r428057/678828 K 5 xblas V 29 dir 4-288627.0.r417685/486068 K 23 xfce4-calculator-plugin V 27 dir 4-407514.0.r417182/1224 K 6 xgraph V 26 dir 2-498.0.r415499/736646 K 7 xlapack V 30 dir 4-289645.0.r367888/2513578 K 6 xldlas V 28 dir 2-10705.0.r415499/737378 K 5 xplot V 25 dir 2-5861.0.r418660/1286 K 6 xppaut V 30 dir 4-123347.0.r424411/1166787 K 7 xspread V 28 dir 2-1904.0.r412348/1008138 K 5 yacas V 26 dir 4-44287.0.r425612/2080 K 2 z3 V 27 dir 4-397543.0.r428167/3223 END ENDREP id: 1-162.0.r430124/54602 type: dir pred: 1-162.0.r430096/38992 count: 11127 text: 430124 16992 37597 0 f57954faeefcd2c7cc34f5f39e04b2cd cpath: /head/math copyroot: 0 / PLAIN K 10 .arcconfig V 26 file 1-354154.0.r422906/41 K 14 .gitattributes V 27 file 1-411777.0.r411777/210 K 10 .gitignore V 26 file 1-348322.0.r376072/79 K 7 CHANGES V 27 file 1-99373.0.r428889/3033 K 15 CONTRIBUTING.md V 27 file 1-348323.0.r348323/344 K 9 COPYRIGHT V 26 file 1-146787.0.r430107/51 K 4 GIDs V 29 file 1-168311.0.r429481/10706 K 8 Keywords V 27 dir 1-314142.0.r419368/1305 K 5 LEGAL V 24 file 1-748.0.r420195/336 K 5 MOVED V 26 file 1-69878.0.r430115/242 K 8 Makefile V 24 file 1-6.0.r424411/75633 K 2 Mk V 22 dir 1-5.0.r429613/7220 K 6 README V 25 file 1-2408.0.r340854/956 K 9 Templates V 24 dir 1-2932.0.r414724/906 K 5 Tools V 26 dir 3-15302.0.r421545/3096 K 4 UIDs V 29 file 4-168311.0.r429481/10989 K 8 UPDATING V 28 file 1-102685.0.r430014/1718 K 13 accessibility V 26 dir 1-42583.0.r429711/2851 K 6 arabic V 27 dir 1-38973.0.r425933/52485 K 9 archivers V 25 dir 1-242.0.r429899/12795 K 5 astro V 24 dir 1-301.0.r429628/8447 K 5 audio V 25 dir 1-148.0.r430017/44648 K 4 base V 26 dir 1-420954.0.r425903/598 K 10 benchmarks V 23 dir 1-62.0.r429903/6116 K 7 biology V 25 dir 1-9066.0.r429998/6277 K 3 cad V 24 dir 1-276.0.r429885/5069 K 7 chinese V 25 dir 1-3770.0.r429918/8864 K 5 comms V 24 dir 1-76.0.r429711/13307 K 10 converters V 25 dir 1-1561.0.r429652/9559 K 9 databases V 25 dir 1-771.0.r430031/55094 K 9 deskutils V 26 dir 1-2098.0.r430065/15774 K 5 devel V 25 dir 1-73.0.r430121/311726 K 3 dns V 26 dir 1-6145.0.r430109/12564 K 7 editors V 23 dir 4-6.0.r429964/14689 K 9 emulators V 25 dir 1-181.0.r430011/10528 K 7 finance V 26 dir 1-4110.0.r429991/13555 K 6 french V 26 dir 1-25673.0.r429421/2088 K 3 ftp V 24 dir 1-199.0.r429445/5968 K 5 games V 25 dir 1-104.0.r429961/61431 K 6 german V 25 dir 1-7451.0.r429549/2728 K 8 graphics V 24 dir 1-94.0.r430062/57630 K 6 hebrew V 28 dir 3-31142.0.r425933/458841 K 9 hungarian V 29 dir 1p-38973.0.r425933/460362 K 3 irc V 23 dir 1-42.0.r429786/7743 K 8 japanese V 25 dir 1-410.0.r429987/17430 K 4 java V 27 dir 1-2798.0.r429875/120791 K 6 korean V 27 dir 1-5873.0.r428152/898981 K 4 lang V 24 dir 1-15.0.r430101/18562 K 4 mail V 24 dir 1-57.0.r430016/43717 K 4 math V 25 dir 1-162.0.r430124/54602 K 4 misc V 24 dir 7-35.0.r429892/26559 K 10 multimedia V 25 dir d-333.0.r430123/24747 K 3 net V 24 dir 1-22.0.r430122/76828 K 6 net-im V 28 dir 15-11144.0.r429615/15660 K 8 net-mgmt V 26 dir r-1011.0.r429977/21894 K 7 net-p2p V 26 dir g-29106.0.r429927/9456 K 4 news V 24 dir 1-145.0.r429672/4843 K 4 palm V 25 dir 1-6646.0.r429773/2377 K 6 polish V 27 dir tv-38973.0.r428751/2249 K 10 ports-mgmt V 26 dir 1-5132.0.r429892/30945 K 10 portuguese V 26 dir 1-17842.0.r426671/2214 K 5 print V 24 dir 1-79.0.r429883/15872 K 7 russian V 25 dir 1-1559.0.r429890/3255 K 7 science V 26 dir n-5356.0.r430116/11917 K 8 security V 25 dir 1-269.0.r430113/64438 K 6 shells V 22 dir w-6.0.r429653/3767 K 8 sysutils V 25 dir b-339.0.r430118/65574 K 8 textproc V 25 dir 1-322.0.r430082/95121 K 9 ukrainian V 29 dir g-39704.0.r428150/1199097 K 10 vietnamese V 25 dir 1-4812.0.r426675/2930 K 3 www V 26 dir 1-114.0.r430114/207307 K 3 x11 V 24 dir 1-16.0.r430014/29594 K 10 x11-clocks V 27 dir 1-931.0.r428152/1730396 K 11 x11-drivers V 27 dir 1-157567.0.r428258/4810 K 6 x11-fm V 24 dir 1-691.0.r429577/3200 K 9 x11-fonts V 25 dir 1-543.0.r430013/11096 K 11 x11-servers V 27 dir 1n-710.0.r429499/778493 K 10 x11-themes V 29 dir 1-14410.0.r428946/1025670 K 12 x11-toolkits V 26 dir 1-120.0.r429918/608033 K 6 x11-wm V 25 dir 1-40.0.r429892/309484 END ENDREP id: 2-1.0.r430124/58285 type: dir pred: 2-1.0.r430123/28434 count: 426268 text: 430124 54772 3500 0 d3a2e247c3c08bb23cd7c9c43f216bf5 props: 7322 2587 45 0 7a04b33bf8e35fd5c3d111baaf403dc5 cpath: /head copyroot: 0 / PLAIN K 8 branches V 23 dir 0-1.0.r429801/49197 K 4 head V 23 dir 2-1.0.r430124/58285 K 8 projects V 30 dir 0-377393.0.r378744/3577692 K 8 svnadmin V 22 dir 3-1.0.r429654/1652 K 4 tags V 22 dir 8-1.0.r421958/5118 END ENDREP id: 0.0.r430124/58725 type: dir pred: 0.0.r430123/28874 count: 430124 text: 430124 58501 211 0 5c09bc6ec6f0f44b716230c2efbe2a24 props: 341041 7130 346 0 8b695b9f61597e4917effffba3bbfaa3 cpath: / copyroot: 0 / minfo-cnt: 35 5-119551.0.t430123-97vw modify-file true false /head/math/coq/Makefile 8-119551.0.t430123-97vw modify-file true false /head/math/coq/distinfo _6.0.t430123-97vw add-dir false false /head/math/coq/files _7.0.t430123-97vw add-file true true /head/math/coq/files/patch-Makefile.build _a.0.t430123-97vw add-file true true /head/math/coq/files/patch-configure.ml c-119551.0.t430123-97vw modify-file true false /head/math/coq/pkg-plist 58725 58949