DELTA 356255 0 31 SVNa  SChy3 SUBDIR += why3-gplENDREP DELTA SVNx^]]k0_!Z_ ju..l%GыAPlc--!ON;s缺nj  >u"O\B#wx)pJ9',γy_|bNV9 ^qB7,S1fGA«4m(.fߖqWJJQ߲0rT;4!$QN ;9θ=N(/88qrXR cIo(G0h@п tsxL&<Ŋ|߮<W6v^Yvp#G*ϲtZ$i;֓lĝjxcnOn,Iz'~[wHm1nշևI_q} Z`ps\ { eKUB`JkpKa)nAQ%Q:ap$pzHnj҃%[d,lge@eK)K$,g260)[(P፸!0 嫺JFpp; ^0 W4K-j$ۛi:M\cLaCuEL5Ų' 3P&K# #T"aKd/Wz=bX76Ν$n~w}!.#'venzI)h'76:nYo-1@puuK%:w>"8Ё7T o0{@½~sa O}4[Mho #include #include +#include #include #include ENDREP DELTA SVNoaoox^]n0|=r-ͩEZ\IU;KjRe;2O 1-r ݄́n.Ş>W=9+*n8sg+pMC\\zGF ryAm A=êЙ67Ey3PM5;Шn0v!dXRF@+IX n"kK;kGcpl*]W d9(4bTEg&7 >.gk]7}vi~ENDREP DELTA SVN'x^Ms&83qjr7WVO!hI 0O#梒>jnh@6xwӜnd~nhuw~TN﵂}oEnnox Zp# uk)؎r|H. od|Pޑ7cQ 'hx}//}K=D Ȅ#zA.M>e#'G˜] NB:VaW^EUQT#u Ehےy%+ $@"rNZ,Gk;I8!AG>ϕ2`^ސf: U|hrrsA1xI xђcfHIǢDOD֬04e⎞->AMȥ(#Uy#CjQ[ot{/ ]m:z\Wm?"Ak'ׅɉMi_Qs,wqԲI-זڽL踾g-0,tsRO8ST3v"O,4Tőucp66S6, J~e;\jjQXKxX7`HU1y+;S/ښ^<1簘<=غ`=;AȠ!踂V`6j鶚-'|k1t0}SA"q\[_T{,1q 3-LJ6RR&\VqS2SJqdMV8w:ov?p_tΎ b9\Dk4֋#N iò:t[rin${Z.Z7:T+<-3ԝ/u%=KjwG{+| KoW7ComNKt] jBV* -S^xf%5KZ ENDREP DELTA SVNegee# Created by: John Marino # $FreeBSD$ PORTNAME= why3 PORTVERSION= 2014 CATEGORIES= math MASTER_SITES= http://downloads.dragonlace.net/src/ \ LOCAL/marino PKGNAMESUFFIX= -gpl DISTNAME= ${PORTNAME}${PKGNAMESUFFIX}-${PORTVERSION}-src MAINTAINER= marino@FreeBSD.org COMMENT= Deductive program verification platform with SPARK support LICENSE= LGPL21 GPLv3 LICENSE_COMB= multi ALL_TARGET= all .include "${.CURDIR}/../why3/Makefile.common" .include ENDREP DELTA SVNSHA256 (why3-gpl-2014-src.tar.gz) = 0f598327b3c27f98bc7064929d990d422303155d106b1d9eb48246c039415e9e SIZE (why3-gpl-2014-src.tar.gz) = 4568701 ENDREP DELTA SVN,.,,--- Makefile.in.orig 2014-04-03 10:14:03.000000000 +0000 +++ Makefile.in @@ -46,7 +46,6 @@ OCAMLLIB = @OCAMLLIB@ OCAMLINSTALLLIB = $(DESTDIR)@OCAMLINSTALLLIB@ OCAMLBEST = @OCAMLBEST@ OCAMLVERSION = @OCAMLVERSION@ -CC = gcc COQC = @COQC@ COQDEP = @COQDEP@ CAMLP5O = @CAMLP5O@ ENDREP DELTA SVN3R33x^]T˒0+UN,=P KT<'@# Q٥*?n0.7d31M1&O^+$48$tdbc}хEKF8 3R$ݺ8>ކ顩IE*;*$I s lʴ9 b.]* ^x6\ЊSOζBH.(vPf/j-qBb t*PCYJ=O1RrSA44qJYfu߱w ˘<@DmRv/8q9*آC_[ӳh@gaRO=Tր³ %z%vBTaJ>B`, g: _$fs$dMClGF S7BRF]ê3Ź ?75 vɣF9Į9y駘B'RrF4W`O28 jT lٶibDT4v%qS'%Rb?3٣9piuªI zⴋZs pFkLE޼zv%git$b1 _Ѧ9'_k[Knlqæ[<0wwyCAENDREP DELTA SVNP!PPx^Mo6 83bޚ!. DJIRv2If/1E%n;wŇ7+FǖOһNG^+8GF _? q[e-8@Z#ۓg(df]~xHޑKWFss0c](mLH:{p#p>tjO9p"J cVa ΎF@Zmh>}uSS+0Z[52.==l2NzjǞC򑅦]ׅ kqdG\!T KҬ_%}u(l `X\Ŗ۴lt!`!h!,Gp,McbmM Lǂx]4pXʞuO .u>iZ@XSޱB7gՉ,1_9ۖCF/5B>.EGXFuqF#enЙ^ .Goi$/ 8JƂ f K#Q͐sdRlv©v4yANjT93$k F;1(A'@˲f|WK9{Ali2Η j-FW LF{-f+_y¦|cX>ѷ-SwpA.w$mam:`ϭ!u<}$ȤЁaBQI9`Pr]NyKБZʥ*"3yV KlsGfQ(֘@+q-J!U<u)A2XV]_HsDEhjTQF[fPw;jz9"$R-c喙vxA(Reu1ȿЯo7Co}o/I~XU.)d]סKT/KZyvENDREP id: 2-185.0.r356538/6960 type: file pred: 2-185.0.r356255/1734 count: 885 text: 356538 0 53 18315 290f8e696e30b3036f60e587a5068bfa 6de03cb1a8fd86198bf1fc9d1e0cc97fd57acbdf 356537-7n43/_3 props: 311627 8521 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/math/Makefile copyroot: 0 / id: 5-356538.0.r356538/7247 type: file count: 0 text: 356538 78 427 528 a508fa79d5418afa580a862ff76de068 fd62a699a716a056ef7a4d501d9852f8dcf7a766 356537-7n43/_7 props: 334546 1234 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/math/why3/Makefile copyroot: 0 / id: 8-356538.0.r356538/7513 type: file count: 0 text: 356538 518 1170 2463 4a97bea8b7f65480017a3074c3bcf6ec 6a0773af4222619838a824f4b1d5a58ead05b836 356537-7n43/_9 props: 334546 1234 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/math/why3/Makefile.common copyroot: 0 / id: a-356538.0.r356538/7789 type: file count: 0 text: 356538 1701 141 127 0715596eae9d6849e61485514e129eeb f5657ffce12dab7dba9dcfb7397943cc16ee3a5a 356537-7n43/_b props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3/distinfo copyroot: 0 / id: d-356538.0.r356538/8056 type: file count: 0 text: 356538 1855 255 238 256accaea8f9c872d81eea98122f86aa 86e47cf88f30200384b11ec768ed418e94bdafb1 356537-7n43/_f props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3/files/patch-src_tools_cpulimit.c copyroot: 0 / PLAIN K 26 patch-src_tools_cpulimit.c V 28 file d-356538.0.r356538/8056 END ENDREP id: c-356538.0.r356538/8430 type: dir count: 0 text: 356538 8347 70 0 9dcf05024640b42866fd8389a2da58b1 cpath: /head/math/why3/files copyroot: 0 / id: g-356538.0.r356538/8577 type: file count: 0 text: 356538 2123 624 1135 10bd311d00cdc494b407592c1ba2d126 31ef9e9c5ce1db2683328b1f0d5c9753b85aaba8 356537-7n43/_h props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3/pkg-descr copyroot: 0 / id: i-356538.0.r356538/8846 type: file count: 0 text: 356538 2760 1206 6933 ada82c1d51b95d4d87eddd21fd9cd11e 28ac4e509ab5103fef51924bf8b9b183eb4a3e00 356537-7n43/_j props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3/pkg-plist copyroot: 0 / PLAIN K 8 Makefile V 28 file 5-356538.0.r356538/7247 K 15 Makefile.common V 28 file 8-356538.0.r356538/7513 K 8 distinfo V 28 file a-356538.0.r356538/7789 K 5 files V 27 dir c-356538.0.r356538/8430 K 9 pkg-descr V 28 file g-356538.0.r356538/8577 K 9 pkg-plist V 28 file i-356538.0.r356538/8846 END ENDREP id: 4-356538.0.r356538/9421 type: dir count: 0 text: 356538 9116 292 0 c871f3be2494906ba80a33129919247b cpath: /head/math/why3 copyroot: 0 / id: l-356538.0.r356538/9563 type: file count: 0 text: 356538 3979 502 485 62e83d67f6704b861aa66fdaaeb4c3c8 15bccae339e89364fe6c383e33f13610431664d7 356537-7n43/_n props: 334546 1234 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/math/why3-gpl/Makefile copyroot: 0 / id: o-356538.0.r356538/9835 type: file count: 0 text: 356538 4494 160 143 9a788282743a0bb25ef5a1fa40c26eac eac8f8bca02b71f62da6d0a1ac5aa4e589f1e256 356537-7n43/_p props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3-gpl/distinfo copyroot: 0 / id: r-356538.0.r356538/10106 type: file count: 0 text: 356538 4667 317 300 aa715b0bda4fe71536474b765aa38000 6ecae80fd1e2ea9b16deb3da83bf190097262809 356537-7n43/_t props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3-gpl/files/patch-Makefile.in copyroot: 0 / id: u-356538.0.r356538/10393 type: file count: 0 text: 356538 1855 255 238 256accaea8f9c872d81eea98122f86aa 86e47cf88f30200384b11ec768ed418e94bdafb1 356537-7n43/_v props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3-gpl/files/patch-src_tools_cpulimit.c copyroot: 0 / PLAIN K 17 patch-Makefile.in V 29 file r-356538.0.r356538/10106 K 26 patch-src_tools_cpulimit.c V 29 file u-356538.0.r356538/10393 END ENDREP id: q-356538.0.r356538/10831 type: dir count: 0 text: 356538 10689 129 0 82a3ac5b48d1db0a485a9c4908b66c3f cpath: /head/math/why3-gpl/files copyroot: 0 / id: w-356538.0.r356538/10985 type: file count: 0 text: 356538 4997 737 1331 2cfe756a18b9b4307de5ddf5fbb1b0aa 4199e39384f11068921e2739d3c0b7bc499440d5 356537-7n43/_x props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3-gpl/pkg-descr copyroot: 0 / id: y-356538.0.r356538/11259 type: file count: 0 text: 356538 5747 1200 6736 ab7920da9b6af89932c0a056b231db8c 2c8ec59fa5ee213bd35b82c46141ed21819c8f8a 356537-7n43/_z props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce cpath: /head/math/why3-gpl/pkg-plist copyroot: 0 / PLAIN K 8 Makefile V 28 file l-356538.0.r356538/9563 K 8 distinfo V 28 file o-356538.0.r356538/9835 K 5 files V 28 dir q-356538.0.r356538/10831 K 9 pkg-descr V 29 file w-356538.0.r356538/10985 K 9 pkg-plist V 29 file y-356538.0.r356538/11259 END ENDREP id: k-356538.0.r356538/11787 type: dir count: 0 text: 356538 11534 240 0 ae70ce20a7b32a97a0fa250992ae7c79 cpath: /head/math/why3-gpl copyroot: 0 / PLAIN K 5 GiNaC V 26 dir 2-39165.0.r353611/1029 K 8 Makefile V 25 file 2-185.0.r356538/6960 K 3 PDL V 30 dir 6-103726.0.r347809/1089752 K 1 R V 28 dir 2-10844.0.r352986/794213 K 29 R-cran-ChangeAnomalyDetection V 30 dir 4-317457.0.r347809/1091167 K 14 R-cran-Formula V 30 dir 4-290383.0.r347809/1091858 K 11 R-cran-KFAS V 26 dir 4-290923.0.r349483/974 K 17 R-cran-LearnBayes V 30 dir 4-307669.0.r347809/1093204 K 15 R-cran-MCMCpack V 30 dir 4-307527.0.r347809/1093883 K 11 R-cran-RHmm V 30 dir 4-308467.0.r347809/1094555 K 17 R-cran-RSvgDevice V 26 dir 4-232562.0.r352401/995 K 20 R-cran-RcppArmadillo V 27 dir 4-317461.0.r353162/1001 K 16 R-cran-SuppDists V 29 dir 4-273730.0.r355288/187776 K 12 R-cran-Zelig V 27 dir 4-231151.0.r350363/1337 K 16 R-cran-bdsmatrix V 30 dir 4-290384.0.r347809/1097944 K 10 R-cran-car V 26 dir 4-233130.0.r352896/977 K 11 R-cran-coda V 30 dir 4-267903.0.r347809/1099289 K 13 R-cran-deldir V 30 dir 4-281926.0.r347809/1099955 K 16 R-cran-dlmodeler V 30 dir 4-301445.0.r347809/1100620 K 15 R-cran-forecast V 26 dir 4-317458.0.r353560/973 K 15 R-cran-fracdiff V 30 dir 4-317459.0.r347809/1101962 K 13 R-cran-gpclib V 30 dir 4-231150.0.r347809/1102638 K 10 R-cran-gss V 26 dir 4-317429.0.r355878/960 K 13 R-cran-gtable V 30 dir 4-303703.0.r347809/1103970 K 13 R-cran-igraph V 26 dir 5-289904.0.r351958/978 K 13 R-cran-inline V 26 dir 4-253936.0.r350361/980 K 15 R-cran-labeling V 30 dir 4-296327.0.r347809/1105982 K 13 R-cran-memisc V 30 dir 4-290170.0.r347809/1106656 K 14 R-cran-mvtnorm V 30 dir 4-270503.0.r347809/1107328 K 11 R-cran-nnls V 30 dir 4-302939.0.r347809/1107989 K 15 R-cran-outliers V 30 dir 4-314659.0.r347809/1108661 K 12 R-cran-psych V 30 dir 4-261267.0.r347809/1109337 K 15 R-cran-quadprog V 30 dir 4-309473.0.r347809/1110011 K 15 R-cran-sandwich V 30 dir 4-282214.0.r347809/1110690 K 9 R-cran-sm V 27 dir 7-230661.0.r350360/1251 K 9 R-cran-sp V 26 dir 4-230304.0.r350359/971 K 12 R-cran-spdep V 30 dir 4-281929.0.r347809/1112693 K 12 R-cran-sspir V 27 dir 4-328495.0.r354749/1030 K 17 R-cran-stabledist V 30 dir 4-309474.0.r347809/1114027 K 10 R-cran-xts V 30 dir 4-280789.0.r347809/1114696 K 10 R-cran-zoo V 30 dir 4-280788.0.r347809/1115361 K 6 aamath V 26 dir 4-137923.0.r345355/966 K 6 abacus V 30 dir 2-326410.0.r347809/1116108 K 6 abakus V 26 dir 4-152678.0.r345526/582 K 3 abs V 29 dir 2-16350.0.r351411/1117164 K 3 add V 26 dir 2-12939.0.r343868/1037 K 5 algae V 29 dir 4-82139.0.r347809/1116845 K 9 algotutor V 27 dir 4-126758.0.r355857/1449 K 8 alt-ergo V 27 dir 4-287773.0.r356261/1946 K 8 analitza V 30 dir 8l-297371.0.r353599/648763 K 3 ann V 27 dir 4-253818.0.r355316/3325 K 3 apc V 24 dir 2-6710.0.r344391/858 K 6 aribas V 30 dir 4-193965.0.r340718/8302802 K 9 armadillo V 30 dir 4-314935.0.r347809/1117553 K 6 arpack V 29 dir 4-80169.0.r347809/1118304 K 8 arpack++ V 26 dir 4-95234.0.r355316/4059 K 9 arpack-ng V 30 dir 4-300064.0.r347809/1119712 K 8 asir2000 V 26 dir 4-47162.0.r355024/2337 K 6 aspcud V 29 dir 4-339367.0.r343214/746685 K 9 asymptote V 27 dir 4-140404.0.r355661/7141 K 5 atlas V 28 dir 4-56117.0.r352986/794946 K 11 atlas-devel V 26 dir 4-90176.0.r348373/1441 K 4 bamg V 26 dir 4-97121.0.r341299/1849 K 8 bargraph V 30 dir 4-294217.0.r340722/4182947 K 7 biggles V 26 dir 4-50529.0.r353618/1011 K 5 bihar V 28 dir 2-5603.0.r347809/1121957 K 5 blacs V 29 dir 4-80142.0.r347809/1122696 K 4 blas V 23 dir 2-280.0.r350244/880 K 7 blitz++ V 26 dir 4-67732.0.r355316/4795 K 12 blocksolve95 V 30 dir 4-121707.0.r347809/1124039 K 5 bsdnt V 30 dir 4-338583.0.r340725/7373592 K 4 calc V 27 dir 3-162.0.r340725/7374587 K 6 calcoo V 29 dir 4-53344.0.r340722/4187909 K 8 calctool V 25 dir 2-4947.0.r353550/1253 K 6 cantor V 30 dir ce-283641.0.r353599/649524 K 5 carve V 30 dir 4-291926.0.r351411/1119421 K 5 cblas V 29 dir 4-288838.0.r352986/795595 K 6 ccmath V 29 dir 4-40118.0.r340718/8320096 K 4 cgal V 28 dir 4-159258.0.r346780/21229 K 5 chaco V 27 dir 4-161300.0.r344389/1120 K 9 chryzodus V 30 dir 4-138937.0.r340725/7385704 K 8 clarence V 25 dir 4-54038.0.r348693/804 K 5 clasp V 29 dir 2-327622.0.r346356/395133 K 7 clipper V 28 dir 4-312105.0.r347776/53372 K 3 cln V 27 dir 4-38257.0.r342404/77885 K 5 cloog V 26 dir 4-321979.0.r350879/634 K 3 clp V 30 dir 4-198778.0.r347809/1125452 K 6 coinmp V 26 dir 4-278529.0.r349258/718 K 8 concorde V 25 dir 4-30153.0.r345357/848 K 10 convertall V 27 dir 4-117581.0.r344621/1334 K 3 coq V 30 dir 4-119551.0.r340718/8327337 K 6 crlibm V 30 dir 4-288947.0.r340722/4194425 K 4 cvc3 V 30 dir 4-188227.0.r340722/4195124 K 7 dcdflib V 29 dir 2-15563.0.r340725/7390731 K 7 diehard V 25 dir 4-62415.0.r344620/827 K 9 dieharder V 29 dir 4-222883.0.r355288/188539 K 6 djbfft V 25 dir 4-59197.0.r346135/749 K 5 drgeo V 25 dir k-72881.0.r351743/625 K 6 dynare V 28 dir 4-282473.0.r349401/56510 K 1 e V 26 dir 4-120706.0.r345358/662 K 8 edenmath V 26 dir 4-172517.0.r343816/685 K 6 eigen2 V 29 dir e-206969.0.r345222/357805 K 6 eigen3 V 27 dir o-206969.0.r346777/1480 K 7 eispack V 27 dir 2-299.0.r347809/1127630 K 13 elmer-umfpack V 30 dir 4-160347.0.r347809/1128341 K 10 emacs-calc V 28 dir 4-139096.0.r353576/18236 K 4 emc2 V 26 dir 4-97124.0.r345420/1748 K 3 ent V 26 dir 4-323853.0.r348565/900 K 7 entropy V 29 dir 4-64354.0.r340722/4202488 K 3 ess V 30 dir 4-276061.0.r347809/1129103 K 9 eukleides V 26 dir 4-60610.0.r355316/5536 K 4 eval V 28 dir 2-10680.0.r347965/100634 K 6 facile V 28 dir 4-206967.0.r353924/18260 K 4 fann V 28 dir 4-186705.0.r347776/54698 K 12 fflas-ffpack V 29 dir 4-283609.0.r344614/155297 K 4 fftw V 28 dir 2-17276.0.r351936/762507 K 10 fftw-float V 27 dir 4-121298.0.r347124/2451 K 5 fftw3 V 25 dir f-17276.0.r350121/616 K 11 fftw3-float V 27 dir 4-121063.0.r347093/2246 K 10 fftw3-long V 27 dir 8-121063.0.r347093/2798 K 10 fftw3-quad V 27 dir 4-283696.0.r347093/3348 K 5 fityk V 29 dir 4-130578.0.r351936/763243 K 4 foma V 27 dir 4-353158.0.r354209/1853 K 8 fpc-fftw V 29 dir 4-172531.0.r341492/521378 K 7 fpc-gmp V 29 dir 4-259369.0.r341492/521987 K 10 fpc-numlib V 29 dir 4-226018.0.r341492/522596 K 7 freemat V 30 dir 4-132275.0.r347809/1130530 K 6 fricas V 27 dir 4-222842.0.r355316/6230 K 3 fxt V 26 dir 4-50672.0.r355316/6962 K 10 galculator V 26 dir 4-83610.0.r348374/1374 K 6 gambit V 26 dir 4-75161.0.r351950/1193 K 3 gap V 26 dir 4-58970.0.r355597/1401 K 9 gcalctool V 26 dir 4-61145.0.r351007/1242 K 6 gdcalc V 25 dir 4-62875.0.r342842/617 K 3 geg V 28 dir 2-12406.0.r342397/160502 K 13 geogebra-i18n V 29 dir 4-143470.0.r340674/810423 K 7 geonext V 28 dir 4-128341.0.r347776/55397 K 5 gexpr V 26 dir 4-43961.0.r344619/1590 K 5 ggobi V 29 dir 4-249715.0.r353520/472830 K 8 giacxcas V 29 dir 2-261551.0.r355274/212671 K 6 givaro V 30 dir 4-283582.0.r340722/4212415 K 5 gkmap V 30 dir 4-324367.0.r351411/1120835 K 7 glgraph V 29 dir 4-72664.0.r340718/8355206 K 3 glm V 27 dir 4-301955.0.r349913/1399 K 4 glpk V 26 dir 4-36057.0.r355548/1126 K 5 gmm++ V 30 dir 4-218131.0.r340722/4213817 K 3 gmp V 28 dir 4-43514.0.r351936/764649 K 7 gmp-ecm V 26 dir 4-164283.0.r342688/602 K 5 gnubc V 30 dir 4-249168.0.r340722/4215134 K 8 gnumeric V 28 dir 2-14193.0.r355995/482090 K 7 gnuplot V 26 dir 2-184.0.r353607/367301 K 6 goblin V 29 dir 2-55478.0.r340718/8360729 K 8 gotoblas V 27 dir 4-184333.0.r355316/7652 K 5 grace V 27 dir 2-17277.0.r352855/60744 K 9 gracetmpl V 26 dir 4-92440.0.r355316/8393 K 10 graphthing V 25 dir 2-54530.0.r349032/632 K 5 gretl V 29 dir 2-56450.0.r351411/1122297 K 3 gri V 26 dir 4-34352.0.r355316/9069 K 6 gringo V 26 dir 4-339359.0.r340913/767 K 4 grpn V 29 dir 2-23410.0.r340718/8365725 K 3 gsl V 26 dir 4-27399.0.r346884/1943 K 7 hexcalc V 34 dir 2-539.0-341901.r351411/1123036 K 7 hs-Agda V 29 dir 4-247094.0.r349475/660112 K 15 hs-NumInstances V 29 dir 5-291121.0.r349475/660778 K 13 hs-categories V 29 dir 7-279687.0.r349475/661450 K 10 hs-comonad V 29 dir 7-279689.0.r349475/662117 K 23 hs-comonad-transformers V 29 dir 7-279693.0.r349475/662794 K 14 hs-comonads-fd V 30 dir h6-311736.0.r349475/663479 K 16 hs-contravariant V 29 dir 7-279690.0.r349475/664200 K 12 hs-data-lens V 29 dir 5-291123.0.r349475/664872 K 21 hs-data-lens-template V 29 dir 5-291124.0.r349475/665549 K 15 hs-distributive V 29 dir 7-279691.0.r349475/666275 K 6 hs-erf V 29 dir 4-247108.0.r349475/666940 K 12 hs-groupoids V 30 dir ht-311736.0.r349475/667606 K 10 hs-ieee754 V 29 dir 5-298136.0.r349475/668273 K 17 hs-math-functions V 29 dir 4-290293.0.r349475/668945 K 13 hs-mwc-random V 29 dir 4-247119.0.r349475/669619 K 7 hs-nats V 30 dir i7-311736.0.r349475/670287 K 10 hs-pointed V 29 dir 7-279695.0.r349475/670949 K 14 hs-probability V 29 dir 4-247118.0.r349475/671617 K 22 hs-semigroupoid-extras V 30 dir ik-311736.0.r349475/672301 K 16 hs-semigroupoids V 29 dir 7-279692.0.r349475/672984 K 13 hs-semigroups V 29 dir 7-279685.0.r349475/673657 K 13 hs-statistics V 29 dir 4-247125.0.r349475/674327 K 15 hs-vector-space V 29 dir 4-247746.0.r349475/674999 K 6 igraph V 30 dir 4-217031.0.r351411/1123771 K 8 isabelle V 30 dir 4-141691.0.r340725/7432419 K 4 ised V 26 dir 4-251331.0.r348025/711 K 3 itl V 29 dir 2-97432.0.r340725/7433811 K 5 jacal V 26 dir 4-56207.0.r350338/3145 K 4 jags V 30 dir 4-110135.0.r347809/1150534 K 20 jakarta-commons-math V 27 dir 4-127742.0.r352353/3146 K 21 jakarta-commons-math3 V 27 dir 4-297407.0.r352352/3067 K 4 jama V 25 dir 4-82179.0.r356096/569 K 7 javanns V 29 dir 4-52707.0.r340872/1793819 K 8 javaview V 28 dir 4-138870.0.r347776/58249 K 7 jeuclid V 28 dir 4-249767.0.r355556/41961 K 10 jlatexmath V 27 dir 4-249766.0.r352756/1354 K 6 jsmath V 29 dir 4-164162.0.r352986/796300 K 12 jsmath-fonts V 28 dir e-164162.0.r347776/60368 K 19 jsmath-fonts-sprite V 28 dir 4-169608.0.r347776/61084 K 11 jtransforms V 27 dir 4-262245.0.r354180/1011 K 3 jts V 29 dir 4-192174.0.r352986/797047 K 8 kalgebra V 30 dir cs-283641.0.r353599/650239 K 5 kash3 V 29 dir 2-159951.0.r352986/797794 K 6 kbruch V 30 dir d2-283641.0.r353599/650954 K 5 kcalc V 28 dir 15-8441.0.r353599/651703 K 3 kig V 30 dir dh-283641.0.r353599/652409 K 9 kktdirect V 30 dir 4-288407.0.r347809/1151191 K 6 kmplot V 30 dir dr-283641.0.r353599/653119 K 7 labplot V 27 dir 4-150102.0.r354402/2061 K 6 lambda V 26 dir 4-109095.0.r344392/847 K 6 lapack V 27 dir 2-3178.0.r352986/798529 K 8 lapack++ V 29 dir 4-61741.0.r347809/1153392 K 8 lapack95 V 30 dir 4-117551.0.r347809/1154150 K 7 lapacke V 30 dir 4-269254.0.r347809/1154861 K 7 laspack V 30 dir 4-140069.0.r340722/4245216 K 7 ldouble V 27 dir 4-121047.0.r345359/1082 K 6 levmar V 30 dir 4-259952.0.r347809/1155570 K 4 libR V 27 dir 4-278444.0.r350130/1334 K 8 libRmath V 27 dir 4-109219.0.r350209/1925 K 8 libflame V 27 dir 4-288536.0.r355316/9761 K 8 libjbigi V 29 dir 4-151920.0.r344281/143022 K 8 liblbfgs V 30 dir 4-256810.0.r340725/7447140 K 10 libmissing V 26 dir 4-309324.0.r353087/970 K 9 libneural V 26 dir 4-29962.0.r355517/1101 K 7 libocas V 28 dir 4-283033.0.r347776/62527 K 9 liborigin V 29 dir 4-171749.0.r331383/585978 K 12 libqalculate V 30 dir 4-136977.0.r351411/1124526 K 9 libranlip V 30 dir 4-253982.0.r340725/7450959 K 10 libtommath V 27 dir 4-141328.0.r344166/1079 K 9 libtsnnls V 30 dir 4-263280.0.r347809/1156996 K 7 linpack V 27 dir 2-298.0.r347809/1157736 K 9 lll_spect V 30 dir 4-249994.0.r340725/7452340 K 8 lp_solve V 25 dir 4-85171.0.r342676/749 K 4 lrng V 29 dir 4-274784.0.r327746/282096 K 3 ltl V 28 dir 4-174849.0.r355316/10509 K 6 ltl2ba V 26 dir 4-274737.0.r345360/537 K 6 lybniz V 26 dir 4-203550.0.r344398/654 K 9 mate-calc V 36 dir 4-61145.b-334661.r351411/1125356 K 10 mathomatic V 29 dir 4-133081.0.r348550/461786 K 5 matio V 29 dir 4-250256.0.r352854/317047 K 16 matlab-installer V 33 dir 4-318605.0-342611.r344013/645 K 6 matrix V 27 dir 4-40614.0.r347776/63223 K 6 maxima V 29 dir 4-73483.0.r340725/7454870 K 9 mbasecalc V 30 dir 4-111633.0.r340718/8420820 K 5 metis V 29 dir 2-10682.0.r340725/7455917 K 9 metis-edf V 27 dir m-85421.0.r348597/34133 K 6 metis4 V 25 dir p-10682.0.r345362/609 K 14 mingw32-libgmp V 27 dir 4-220558.0.r347009/1425 K 7 minisat V 27 dir 2-327544.0.r349723/1536 K 6 miracl V 27 dir 4-126683.0.r350882/2059 K 3 moo V 30 dir 4-190340.0.r340725/7461257 K 3 mpc V 30 dir 4-232062.0.r340722/4260416 K 6 mpexpr V 29 dir 4-90359.0.r340725/7462483 K 4 mpfr V 29 dir 4-141316.0.r351936/766027 K 6 mprime V 29 dir 4-79865.0.r340872/1799500 K 6 msieve V 28 dir 4-181482.0.r355316/11197 K 3 mtl V 29 dir 4-56139.0.r340725/7466095 K 8 mtrxmath V 25 dir 4-39458.0.r344617/807 K 5 mumps V 27 dir 4-164274.0.r354002/6675 K 11 mumps-mpich V 27 dir 4-168703.0.r354002/7223 K 8 muparser V 28 dir 4-156125.0.r347776/64607 K 11 naturalmath V 26 dir 4-50943.0.r341302/1008 K 5 nauty V 26 dir 4-43274.0.r354303/1003 K 5 ndiff V 26 dir 4-101356.0.r343255/548 K 6 newmat V 26 dir 4-51145.0.r344168/2666 K 6 ngraph V 29 dir 2-21453.0.r340725/7470973 K 3 ntl V 29 dir 2-30415.0.r340718/8435117 K 7 numdiff V 26 dir 4-175879.0.r344375/552 K 7 nyh-hoc V 26 dir 4-197599.0.r344401/583 K 16 ocaml-ocamlgraph V 27 dir 4-110162.0.r353041/2008 K 12 ocaml-zarith V 27 dir 4-356255.0.r356255/3887 K 8 ocamlgsl V 30 dir 4-276544.0.r340725/7471999 K 6 octave V 24 dir 2-1566.0.r353616/631 K 12 octave-forge V 30 dir 4-108647.0.r347809/1161340 K 22 octave-forge-actuarial V 30 dir 2-256728.0.r347809/1162068 K 15 octave-forge-ad V 29 dir 4-220200.0.r355288/189297 K 18 octave-forge-audio V 30 dir 4-220205.0.r347809/1163632 K 17 octave-forge-base V 30 dir 4-220196.0.r347809/1164360 K 16 octave-forge-bim V 27 dir 4-220286.0.r349698/1049 K 20 octave-forge-bioinfo V 30 dir 4-220217.0.r347809/1165824 K 16 octave-forge-cgi V 30 dir 4-307605.0.r347809/1166556 K 30 octave-forge-civil-engineering V 30 dir 4-220219.0.r347809/1167299 K 27 octave-forge-communications V 30 dir 4-220277.0.r347809/1168053 K 20 octave-forge-control V 27 dir 4-220279.0.r351961/1063 K 27 octave-forge-data-smoothing V 30 dir 4-220282.0.r347809/1169537 K 21 octave-forge-database V 30 dir 4-311535.0.r347809/1170282 K 22 octave-forge-dataframe V 27 dir 2-260164.0.r349634/1087 K 18 octave-forge-dicom V 30 dir 4-288077.0.r347809/1171759 K 19 octave-forge-divand V 30 dir 4-345001.0.r347809/1172481 K 25 octave-forge-econometrics V 30 dir 4-220228.0.r347809/1173219 K 19 octave-forge-engine V 27 dir 4-220215.0.r351648/1690 K 17 octave-forge-fenv V 30 dir 4-257153.0.r347809/1174739 K 22 octave-forge-financial V 30 dir 4-220278.0.r347809/1175475 K 17 octave-forge-fits V 27 dir 4-268658.0.r355418/1045 K 20 octave-forge-fl-core V 29 dir 4-268879.0.r355288/190065 K 16 octave-forge-fpl V 30 dir 4-220211.0.r347809/1177818 K 32 octave-forge-fuzzy-logic-toolkit V 30 dir 4-275950.0.r347809/1178564 K 15 octave-forge-ga V 30 dir 4-220281.0.r347809/1179309 K 20 octave-forge-general V 30 dir 4-220226.0.r347809/1180038 K 26 octave-forge-generate_html V 30 dir 4-235756.0.r347809/1180782 K 21 octave-forge-geometry V 30 dir 4-282489.0.r347809/1181527 K 20 octave-forge-gnuplot V 30 dir 4-257154.0.r347809/1182266 K 16 octave-forge-gsl V 27 dir 4-220216.0.r351648/2411 K 18 octave-forge-ident V 30 dir 4-220227.0.r347809/1183734 K 18 octave-forge-image V 30 dir 4-220225.0.r347809/1184503 K 30 octave-forge-informationtheory V 30 dir 4-220222.0.r347809/1185247 K 24 octave-forge-integration V 30 dir 4-220223.0.r347809/1185999 K 15 octave-forge-io V 27 dir 4-220224.0.r353888/1033 K 17 octave-forge-irsa V 30 dir 4-220240.0.r347809/1187462 K 27 octave-forge-linear-algebra V 30 dir 4-220221.0.r347809/1188204 K 17 octave-forge-lssa V 27 dir 4-302531.0.r354446/1180 K 18 octave-forge-ltfat V 27 dir 4-327510.0.r349315/1085 K 20 octave-forge-mapping V 30 dir 4-220241.0.r347809/1190460 K 22 octave-forge-mechanics V 30 dir 4-282497.0.r347809/1191200 K 26 octave-forge-miscellaneous V 27 dir 4-220229.0.r354362/1360 K 30 octave-forge-missing-functions V 30 dir 4-220230.0.r347809/1192700 K 16 octave-forge-msh V 30 dir 4-220276.0.r347809/1193438 K 22 octave-forge-multicore V 30 dir 4-220231.0.r347809/1194171 K 16 octave-forge-mvn V 30 dir 4-338355.0.r347809/1194906 K 16 octave-forge-nan V 30 dir 4-220232.0.r347809/1195636 K 20 octave-forge-ncarray V 27 dir 4-301262.0.r352973/1079 K 19 octave-forge-netcdf V 27 dir 4-324825.0.r355456/1043 K 20 octave-forge-nlwing2 V 30 dir 4-220613.0.r347809/1197824 K 17 octave-forge-nnet V 30 dir 4-220235.0.r347809/1198559 K 18 octave-forge-nurbs V 30 dir 4-234591.0.r347809/1199292 K 16 octave-forge-ocs V 30 dir 4-220236.0.r347809/1200024 K 20 octave-forge-oct2mat V 30 dir 4-234592.0.r347809/1200758 K 19 octave-forge-octcdf V 28 dir 4-220233.0.r352855/63536 K 20 octave-forge-octclip V 30 dir 4-275949.0.r347809/1202223 K 19 octave-forge-octgpr V 30 dir 4-220237.0.r347809/1202960 K 20 octave-forge-octproj V 30 dir 4-257151.0.r347809/1203697 K 19 octave-forge-odebvp V 30 dir 4-220243.0.r347809/1204434 K 19 octave-forge-odepkg V 30 dir 4-220245.0.r347809/1205170 K 18 octave-forge-optim V 27 dir 4-220256.0.r356227/1062 K 24 octave-forge-optiminterp V 30 dir 4-220247.0.r347809/1206692 K 21 octave-forge-outliers V 30 dir 4-220246.0.r347809/1207435 K 21 octave-forge-parallel V 27 dir 4-257155.0.r351648/3174 K 16 octave-forge-pdb V 30 dir 4-220248.0.r347809/1208952 K 17 octave-forge-plot V 30 dir 4-220250.0.r347809/1209683 K 18 octave-forge-pt_br V 30 dir 4-220251.0.r347809/1210462 K 23 octave-forge-quaternion V 30 dir 4-240209.0.r347809/1211201 K 21 octave-forge-queueing V 27 dir 4-290509.0.r348010/1065 K 19 octave-forge-secs1d V 30 dir 4-220252.0.r347809/1212681 K 19 octave-forge-secs2d V 30 dir 4-220253.0.r347809/1213417 K 19 octave-forge-secs3d V 30 dir 4-281674.0.r347809/1214153 K 19 octave-forge-signal V 30 dir 4-220275.0.r347809/1214885 K 17 octave-forge-simp V 30 dir 4-234593.0.r347809/1215619 K 20 octave-forge-sockets V 30 dir 4-220254.0.r347809/1216354 K 20 octave-forge-specfun V 30 dir 4-220255.0.r347809/1217092 K 27 octave-forge-special-matrix V 30 dir 4-220257.0.r347809/1217837 K 26 octave-forge-spline-gcvspl V 27 dir 4-220258.0.r351648/3905 K 20 octave-forge-splines V 27 dir 4-220259.0.r349933/1061 K 23 octave-forge-statistics V 30 dir 4-220260.0.r347809/1220069 K 20 octave-forge-strings V 30 dir 4-220261.0.r347809/1220810 K 19 octave-forge-struct V 30 dir 4-220262.0.r347809/1221547 K 20 octave-forge-symband V 30 dir 4-220263.0.r347809/1222284 K 21 octave-forge-symbolic V 26 dir 4-220273.0.r353612/580 K 23 octave-forge-tcl-octave V 30 dir 4-220272.0.r347809/1223761 K 16 octave-forge-tsa V 30 dir 4-220274.0.r347809/1224495 K 18 octave-forge-video V 26 dir 4-220266.0.r351517/651 K 20 octave-forge-xraylib V 30 dir 4-220269.0.r347809/1226009 K 19 octave-forge-zenity V 30 dir 4-220271.0.r347809/1226746 K 4 ogdf V 29 dir 2-326473.0.r352986/800627 K 4 oleo V 26 dir 2-211.0.r353607/368013 K 10 open-axiom V 28 dir 4-221592.0.r355316/11899 K 8 openblas V 26 dir 4-303185.0.r356243/605 K 7 openfst V 27 dir 4-337544.0.r352678/1379 K 5 orpie V 28 dir 4-115770.0.r355316/12591 K 18 p5-AI-DecisionTree V 29 dir 4-96718.0.r340717/7900234 K 13 p5-AI-Genetic V 26 dir 4-156456.0.r353417/682 K 24 p5-AI-NeuralNet-BackProp V 25 dir 4-36554.0.r353414/719 K 16 p5-AI-Perceptron V 25 dir 4-36556.0.r353415/713 K 26 p5-Algorithm-Combinatorics V 30 dir 4-147444.0.r340718/8510235 K 21 p5-Algorithm-CurveFit V 30 dir 4-175978.0.r340717/7903906 K 19 p5-Algorithm-KMeans V 30 dir 4-257239.0.r340718/8510974 K 20 p5-Algorithm-Munkres V 28 dir 4-226893.0.r354861/55146 K 15 p5-Bit-ShiftReg V 29 dir 4-36694.0.r340718/8512471 K 13 p5-Bit-Vector V 27 dir 4-36695.0.r341825/10588 K 21 p5-Bit-Vector-Minimal V 30 dir 4-114937.0.r340718/8513916 K 11 p5-CAD-Calc V 27 dir 4-163026.0.r353416/1237 K 18 p5-Chart-Math-Axis V 29 dir 4-81251.0.r340718/8515362 K 13 p5-Data-Float V 30 dir 4-170065.0.r340717/7909755 K 15 p5-Date-Handler V 29 dir 4-46901.0.r340718/8516084 K 15 p5-GIS-Distance V 30 dir 4-176189.0.r340717/7911199 K 20 p5-GIS-Distance-Fast V 28 dir 4-249051.0.r341825/11623 K 20 p5-GIS-Distance-Lite V 28 dir 4-254315.0.r341825/12971 K 22 p5-Geo-Coordinates-UTM V 28 dir 4-220658.0.r341829/40009 K 15 p5-Geo-Distance V 30 dir 4-113427.0.r340718/8519015 K 18 p5-Geo-Distance-XS V 28 dir 4-242265.0.r341829/41053 K 8 p5-Graph V 27 dir 4-48625.0.r341825/13983 K 23 p5-Math-Algebra-Symbols V 26 dir 4-163417.0.r353418/682 K 14 p5-Math-Base36 V 28 dir 4-218266.0.r341825/14998 K 14 p5-Math-Base85 V 27 dir 4-47927.0.r341829/42077 K 16 p5-Math-BaseCalc V 29 dir 4-61985.0.r340718/8523350 K 15 p5-Math-BaseCnv V 28 dir 4-235243.0.r354861/55861 K 14 p5-Math-Bezier V 29 dir 4-36719.0.r340718/8524793 K 22 p5-Math-Bezier-Convert V 30 dir 4-128233.0.r340718/8525523 K 14 p5-Math-BigInt V 27 dir 4-48714.0.r341825/16018 K 23 p5-Math-BigInt-FastCalc V 27 dir 4-265782.0.r354720/1063 K 18 p5-Math-BigInt-GMP V 27 dir 4-184781.0.r354721/1054 K 19 p5-Math-BigInt-Pari V 27 dir 4-233108.0.r354723/1051 K 14 p5-Math-BigRat V 30 dir 4-130283.0.r340718/8527698 K 11 p5-Math-CDF V 28 dir 4-264615.0.r341829/44431 K 18 p5-Math-Calc-Units V 29 dir 4-61987.0.r340718/8529138 K 14 p5-Math-Cephes V 27 dir 4-163571.0.r343692/1127 K 21 p5-Math-Combinatorics V 26 dir 4-136318.0.r353413/695 K 15 p5-Math-Complex V 30 dir 4-205437.0.r340717/7926485 K 18 p5-Math-ConvexHull V 28 dir 4-146218.0.r341825/17051 K 16 p5-Math-Currency V 29 dir 4-36721.0.r340717/7927941 K 18 p5-Math-Derivative V 27 dir 4-122444.0.r353412/1091 K 12 p5-Math-Evol V 30 dir 4-236599.0.r340717/7929400 K 12 p5-Math-Expr V 29 dir 4-32903.0.r340718/8532766 K 11 p5-Math-FFT V 25 dir 4-39660.0.r353410/706 K 22 p5-Math-FixedPrecision V 29 dir 4-36723.0.r340717/7931554 K 16 p5-Math-Fleximal V 27 dir 4-344918.0.r344918/2938 K 11 p5-Math-GMP V 26 dir 4-36724.0.r343690/1114 K 12 p5-Math-GMPf V 27 dir 4-299792.0.r352286/1011 K 12 p5-Math-GMPq V 27 dir 4-299793.0.r349488/1013 K 12 p5-Math-GMPz V 27 dir 4-299794.0.r349643/1014 K 11 p5-Math-GSL V 26 dir 4-93041.0.r356340/1074 K 16 p5-Math-Geometry V 28 dir 4-171149.0.r341829/45770 K 23 p5-Math-Geometry-Planar V 26 dir 4-163036.0.r353465/619 K 27 p5-Math-Geometry-Planar-GPC V 26 dir 4-163030.0.r353408/671 K 35 p5-Math-Geometry-Planar-GPC-Polygon V 27 dir 4-270720.0.r343177/1126 K 30 p5-Math-Geometry-Planar-Offset V 27 dir 4-163034.0.r353411/1051 K 24 p5-Math-Geometry-Voronoi V 30 dir 4-237725.0.r340717/7937511 K 16 p5-Math-Gradient V 30 dir 4-250756.0.r340718/8540761 K 14 p5-Math-Int128 V 30 dir 4-309299.0.r347809/1228877 K 13 p5-Math-Int64 V 30 dir 4-287425.0.r340718/8542191 K 19 p5-Math-Interpolate V 29 dir 4-39661.0.r340718/8542909 K 33 p5-Math-Intersection-StraightLine V 26 dir 4-156258.0.r353407/704 K 13 p5-Math-Logic V 25 dir 4-32904.0.r355248/582 K 11 p5-Math-MPC V 30 dir 4-232087.0.r340717/7940444 K 12 p5-Math-MPFR V 30 dir 4-227941.0.r340714/5543179 K 14 p5-Math-Matrix V 30 dir 4-150667.0.r340718/8545106 K 18 p5-Math-MatrixReal V 32 dir 2-8783.0-334605.r343207/1147 K 22 p5-Math-NumberCruncher V 30 dir 4-186674.0.r340718/8545834 K 12 p5-Math-Pari V 26 dir 4-47654.0.r354724/1077 K 15 p5-Math-Polygon V 27 dir 4-225610.0.r340836/1084 K 20 p5-Math-Polygon-Tree V 30 dir 4-270721.0.r340718/8547325 K 24 p5-Math-Polynomial-Solve V 27 dir 4-176197.0.r354725/1071 K 16 p5-Math-Prime-XS V 30 dir 4-282260.0.r340718/8548056 K 11 p5-Math-RPN V 28 dir 4-255436.0.r341829/46795 K 14 p5-Math-Random V 29 dir 4-44833.0.r340718/8549492 K 20 p5-Math-Random-ISAAC V 28 dir 4-245337.0.r341825/18094 K 23 p5-Math-Random-ISAAC-XS V 28 dir 4-245340.0.r342152/16915 K 17 p5-Math-Random-MT V 29 dir 4-44834.0.r340718/8551680 K 22 p5-Math-Random-MT-Auto V 29 dir 4-168585.0.r347305/404110 K 17 p5-Math-Random-OO V 27 dir 4-168753.0.r342503/1417 K 21 p5-Math-Random-Secure V 28 dir 4-271137.0.r341825/19456 K 17 p5-Math-RandomOrg V 26 dir 4-163887.0.r353406/697 K 13 p5-Math-Round V 26 dir 4-88615.0.r352949/1825 K 17 p5-Math-Round-Var V 27 dir 4-163006.0.r353405/1138 K 16 p5-Math-Sequence V 27 dir 4-162468.0.r353403/1050 K 14 p5-Math-Series V 27 dir 4-162470.0.r353404/1043 K 15 p5-Math-SigFigs V 28 dir 4-251780.0.r341825/20802 K 22 p5-Math-SimpleVariable V 29 dir 4-60136.0.r340718/8558224 K 14 p5-Math-Spline V 27 dir 4-122448.0.r353400/1182 K 14 p5-Math-String V 30 dir 4-294395.0.r340717/7958032 K 16 p5-Math-Symbolic V 30 dir 4-162398.0.r340717/7958750 K 33 p5-Math-Symbolic-Custom-CCompiler V 30 dir 4-162405.0.r340718/8559697 K 32 p5-Math-Symbolic-Custom-Contains V 30 dir 4-162400.0.r340718/8560458 K 40 p5-Math-Symbolic-Custom-ErrorPropagation V 30 dir 4-162443.0.r340718/8561226 K 35 p5-Math-Symbolic-Custom-LaTeXDumper V 30 dir 4-162451.0.r340718/8561997 K 31 p5-Math-Symbolic-Custom-Pattern V 30 dir 4-162453.0.r340718/8562759 K 38 p5-Math-Symbolic-Custom-Simplification V 26 dir 4-162455.0.r353397/705 K 38 p5-Math-Symbolic-Custom-Transformation V 30 dir 4-162457.0.r340717/7964059 K 24 p5-Math-SymbolicX-BigNum V 26 dir 4-162439.0.r353402/703 K 25 p5-Math-SymbolicX-Complex V 30 dir 4-162441.0.r340718/8565027 K 23 p5-Math-SymbolicX-Error V 30 dir 4-162466.0.r340717/7966306 K 24 p5-Math-SymbolicX-Inline V 30 dir 4-162403.0.r340717/7967050 K 34 p5-Math-SymbolicX-NoSimplification V 26 dir 4-162447.0.r353396/704 K 40 p5-Math-SymbolicX-ParserExtensionFactory V 30 dir 4-162408.0.r340717/7968579 K 42 p5-Math-SymbolicX-Statistics-Distributions V 26 dir 4-162445.0.r353401/700 K 19 p5-Math-TrulyRandom V 26 dir 4-56269.0.r343059/1346 K 13 p5-Math-Units V 30 dir 4-163406.0.r340717/7970846 K 11 p5-Math-Vec V 28 dir 4-141022.0.r342152/17941 K 15 p5-Math-VecStat V 30 dir 4-129741.0.r340718/8568753 K 18 p5-Math-VectorReal V 28 dir 4-233830.0.r354861/56573 K 9 p5-NetCDF V 27 dir 4-95218.0.r352855/64286 K 17 p5-Number-Compare V 29 dir 4-81398.0.r340718/8570959 K 18 p5-Number-Fraction V 27 dir 4-251879.0.r353511/1047 K 21 p5-Number-Uncertainty V 30 dir 4-300704.0.r340718/8572422 K 19 p5-Number-WithError V 28 dir 4-162459.0.r341829/50219 K 25 p5-Number-WithError-LaTeX V 26 dir 4-162464.0.r353398/989 K 14 p5-Parse-Range V 26 dir 4-307768.0.r342583/963 K 8 p5-Roman V 27 dir 4-74709.0.r341829/51235 K 14 p5-Set-IntSpan V 29 dir 2-15554.0.r340718/8576046 K 19 p5-Set-IntSpan-Fast V 28 dir 4-185253.0.r341829/52267 K 22 p5-Set-IntSpan-Fast-XS V 28 dir 4-216139.0.r341829/53316 K 16 p5-Set-Partition V 27 dir 4-164542.0.r353399/1053 K 13 p5-Set-Window V 27 dir 4-36754.0.r341825/23175 K 19 p5-Statistics-Basic V 28 dir 4-238507.0.r341825/24212 K 21 p5-Statistics-Benford V 28 dir 4-233155.0.r341825/25259 K 23 p5-Statistics-ChiSquare V 27 dir 4-36628.0.r341829/54363 K 25 p5-Statistics-Contingency V 29 dir 4-97202.0.r340717/7985459 K 25 p5-Statistics-Descriptive V 27 dir 4-36744.0.r341825/26309 K 34 p5-Statistics-Descriptive-Discrete V 26 dir 4-179882.0.r353395/716 K 27 p5-Statistics-Distributions V 27 dir 4-36745.0.r341825/27365 K 22 p5-Statistics-Forecast V 30 dir 4-180690.0.r340717/7988450 K 23 p5-Statistics-Frequency V 27 dir 4-251668.0.r342149/1020 K 17 p5-Statistics-LTU V 27 dir 4-36746.0.r341825/28402 K 21 p5-Statistics-LineFit V 30 dir 4-175980.0.r340717/7990663 K 18 p5-Statistics-Lite V 29 dir 4-122902.0.r355288/190794 K 17 p5-Statistics-OLS V 27 dir 4-36747.0.r341829/56435 K 15 p5-Statistics-R V 30 dir 4-270409.0.r347809/1229600 K 24 p5-Statistics-Regression V 28 dir 4-189404.0.r341825/29450 K 19 p5-Statistics-TTest V 30 dir 4-205995.0.r340717/7993611 K 21 p5-Task-Math-Symbolic V 30 dir 4-169617.0.r340718/8588531 K 16 p5-Text-AsciiTeX V 30 dir 4-290408.0.r340717/7995081 K 9 p5-bignum V 30 dir 4-192022.0.r340718/8589257 K 4 pari V 28 dir 2-7032.0.r340725/7498775 K 8 parmetis V 28 dir 2-19366.0.r352986/801278 K 11 parmgridgen V 27 dir 4-266353.0.r351165/3406 K 20 pear-Math_BigInteger V 26 dir 4-281425.0.r343905/996 K 23 pear-Math_Combinatorics V 30 dir 4-192312.0.r340718/8592764 K 12 pecl-big_int V 29 dir 4-135512.0.r342699/405914 K 11 pecl-bitset V 29 dir 4-195159.0.r340835/190328 K 10 pecl-stats V 29 dir 4-169238.0.r340835/190983 K 11 pecl-trader V 27 dir 4-343761.0.r343761/2326 K 5 petsc V 29 dir 4-122097.0.r352986/802026 K 11 php5-bcmath V 30 dir 4-114147.0.r340722/4331522 K 8 php5-gmp V 30 dir 8-114147.0.r340722/4332082 K 12 php53-bcmath V 30 dir 67-296760.0.r332429/470381 K 9 php53-gmp V 30 dir 6b-296760.0.r332429/471063 K 12 php55-bcmath V 38 dir 4-114147.13-321684.r340722/4333872 K 9 php55-gmp V 38 dir 8-114147.14-321684.r340722/4334527 K 8 physcalc V 26 dir 4-32044.0.r347854/1100 K 5 plman V 28 dir 4-151700.0.r347776/67552 K 8 ploticus V 29 dir 4-53652.0.r351411/1126149 K 14 ploticus-nox11 V 29 dir 4-90788.0.r340722/4337385 K 6 plplot V 24 dir 2-8139.0.r355539/588 K 10 plplot-ada V 27 dir 4-344634.0.r344634/4726 K 8 polymake V 26 dir 4-125398.0.r354841/660 K 8 primegen V 26 dir 4-231112.0.r347112/812 K 4 prng V 30 dir 4-250787.0.r340722/4338044 K 12 proofgeneral V 29 dir 4-141552.0.r353520/473590 K 4 pspp V 25 dir 4-28424.0.r354410/684 K 9 pure-mpfr V 28 dir 12-289858.0.r345420/7436 K 13 pure-rational V 27 dir 4-283584.0.r345420/8091 K 7 py-apgl V 27 dir 4-263688.0.r350339/1028 K 10 py-basemap V 30 dir 4-175627.0.r347809/1233211 K 15 py-basemap-data V 26 dir 4-180648.0.r344341/669 K 12 py-bitvector V 27 dir 4-180881.0.r353327/1105 K 13 py-bottleneck V 30 dir 4-335898.0.r347809/1233871 K 14 py-fastcluster V 30 dir 4-336815.0.r347809/1234532 K 6 py-ffc V 27 dir 4-294745.0.r352368/1325 K 7 py-fiat V 30 dir 4-294821.0.r347809/1235240 K 10 py-fpconst V 29 dir 4-90550.0.r340722/4343575 K 7 py-gato V 29 dir 4-47357.0.r340722/4344275 K 7 py-gmpy V 28 dir 4-217040.0.r347776/68198 K 10 py-gnuplot V 29 dir 4-30139.0.r347809/1235900 K 14 py-graphillion V 34 dir 4-321453.0-321557.r335305/1160 K 6 py-gsl V 25 dir 4-54726.0.r355303/627 K 9 py-igraph V 30 dir 4-180374.0.r351411/1128282 K 10 py-mathdom V 26 dir 4-215823.0.r344362/567 K 13 py-matplotlib V 30 dir 4-115380.0.r351411/1128989 K 9 py-mpmath V 30 dir 4-221772.0.r340722/4347675 K 10 py-munkres V 26 dir 4-312268.0.r341542/460 K 11 py-networkx V 26 dir 4-214918.0.r349451/986 K 11 py-numarray V 29 dir 4-62097.0.r340722/4349187 K 10 py-numeric V 28 dir f-6349.0.r340725/7528849 K 10 py-numexpr V 30 dir 4-257393.0.r347809/1238796 K 8 py-numpy V 27 dir 4-171823.0.r355841/1412 K 9 py-nzmath V 30 dir 4-275009.0.r340725/7532385 K 9 py-pandas V 30 dir 4-302642.0.r347809/1240241 K 8 py-patsy V 30 dir 4-333533.0.r347809/1240938 K 10 py-plastex V 30 dir 4-221239.0.r340722/4351296 K 11 py-probstat V 29 dir 4-67863.0.r340722/4351951 K 10 py-pybloom V 26 dir 4-269385.0.r344366/566 K 7 py-pymc V 30 dir 4-224222.0.r347809/1241595 K 8 py-roman V 26 dir 4-284510.0.r344367/598 K 13 py-scientific V 27 dir 2-20396.0.r352855/65775 K 14 py-statsmodels V 30 dir 4-334582.0.r347809/1243072 K 10 py-svgmath V 26 dir 4-234452.0.r354422/914 K 9 py-symeig V 27 dir 4-220906.0.r352327/1338 K 8 py-sympy V 27 dir 4-218429.0.r353771/1514 K 6 py-ufl V 30 dir 4-294823.0.r340718/8623192 K 8 py-viper V 26 dir 4-294824.0.r355302/530 K 9 qalculate V 28 dir 4-117583.0.r355316/14049 K 2 qd V 30 dir 4-188439.0.r347809/1244450 K 5 qhull V 27 dir 4-107890.0.r341306/1036 K 6 qhull5 V 28 dir m-107890.0.r355316/14794 K 8 qrupdate V 26 dir 4-239012.0.r355961/707 K 7 qtiplot V 29 dir 4-135221.0.r353800/226924 K 11 qtiplot-doc V 29 dir 4-172675.0.r353800/227679 K 8 qtoctave V 30 dir 4-228607.0.r347809/1245955 K 13 qwtplot3d-qt4 V 30 dir e-117647.0.r340725/7548821 K 7 randlib V 28 dir z-6153.0.r340722/4358916 K 5 rapid V 27 dir 4-206921.0.r345364/2154 K 6 reduce V 29 dir 4-344974.0.r352993/116454 K 12 reed-solomon V 28 dir 4-138189.0.r355316/15543 K 11 rkward-kde4 V 26 dir i-160825.0.r348467/608 K 10 rngstreams V 30 dir 4-222881.0.r340725/7552390 K 4 rocs V 30 dir e1-283641.0.r353599/653830 K 6 rpcalc V 30 dir 4-248945.0.r340718/8636533 K 3 rpy V 25 dir 4-92667.0.r355935/708 K 4 rpy2 V 26 dir i-92667.0.r355936/1145 K 12 ruby-algebra V 26 dir 4-42397.0.r344394/1015 K 10 ruby-fftw3 V 26 dir 4-112344.0.r349460/868 K 12 ruby-gnuplot V 26 dir 4-37886.0.r350495/1423 K 8 ruby-gsl V 26 dir 4-107472.0.r345941/819 K 11 ruby-narray V 25 dir 4-37878.0.r350494/748 K 16 ruby-narray_miss V 26 dir 4-102312.0.r350496/857 K 15 ruby-numru_misc V 26 dir 4-103994.0.r350497/839 K 16 ruby-numru_units V 26 dir 4-103996.0.r350498/838 K 14 rubygem-narray V 27 dir 4-349189.0.r349460/1848 K 19 rubygem-narray_miss V 27 dir 4-349190.0.r349190/2210 K 4 saga V 26 dir 4-244368.0.r353072/725 K 4 sage V 28 dir 4-289761.0.r355933/22472 K 2 sc V 26 dir 4-225542.0.r350411/981 K 9 scalapack V 28 dir 4-80147.0.r352986/802773 K 6 scilab V 25 dir 1d-6991.0.r352097/734 K 19 scilab-toolbox-sivp V 27 dir 4-200249.0.r352751/2508 K 18 scilab-toolbox-swt V 30 dir 4-165598.0.r347809/1256275 K 4 sdpa V 29 dir 4-90200.0.r347809/1256991 K 8 sdpa-gmp V 30 dir 4-211030.0.r340722/4369368 K 6 sdpara V 30 dir 4-104439.0.r347809/1257744 K 6 sedumi V 30 dir 4-221262.0.r347809/1258501 K 4 sfft V 30 dir 4-324787.0.r347809/1259202 K 12 simd-viterbi V 28 dir 4-138196.0.r355316/16251 K 6 slatec V 29 dir 4-288144.0.r356241/258924 K 7 slgrace V 30 dir 4-198545.0.r347809/1260607 K 4 snns V 26 dir 2-17571.0.r345420/8884 K 9 solitaire V 26 dir 4-44401.0.r344397/1338 K 4 spar V 27 dir 4-43374.0.r342315/54624 K 6 spblas V 28 dir 4-288564.0.r347776/71130 K 11 speedcrunch V 27 dir 4-197663.0.r349725/3724 K 7 spooles V 25 dir 4-80138.0.r355754/601 K 13 spooles-mpich V 29 dir 4-80140.0.r340722/4375072 K 3 stp V 26 dir 4-215221.0.r347264/639 K 11 suitesparse V 27 dir 4-167234.0.r354700/1318 K 7 superlu V 29 dir 2-12384.0.r347809/1262083 K 10 superlu_mt V 29 dir 4-84726.0.r347809/1262835 K 4 surf V 26 dir 4-41833.0.r344400/1139 K 6 tablix V 28 dir 4-148920.0.r355316/17010 K 5 taucs V 29 dir 4-97207.0.r347809/1263586 K 7 testu01 V 28 dir 4-223948.0.r347776/71834 K 6 tetgen V 27 dir 4-153525.0.r345367/1080 K 5 timbl V 30 dir 4-208938.0.r351411/1131200 K 12 tomsfastmath V 28 dir 4-141334.0.r355316/17712 K 5 topaz V 26 dir 2-22794.0.r344404/1951 K 8 triangle V 28 dir 6-121715.0.r347776/72526 K 5 trlan V 30 dir 4-283045.0.r347809/1264241 K 10 truthtable V 30 dir 4-167406.0.r340872/1817053 K 5 tvmet V 25 dir 4-63519.0.r355893/707 K 3 ufc V 26 dir 4-296121.0.r344599/555 K 3 ump V 30 dir 4-161401.0.r340725/7598527 K 5 units V 25 dir 4-49519.0.r353812/989 K 8 unixstat V 28 dir 4-50517.0.r355274/213420 K 6 unuran V 28 dir 4-222882.0.r355316/18467 K 4 vtk5 V 27 dir 13-19163.0.r351330/1074 K 9 vtk5-data V 26 dir 4-313143.0.r343933/676 K 4 vtk6 V 29 dir 4-339158.0.r352986/803510 K 5 wcalc V 26 dir 4-190954.0.r356354/554 K 6 wfmath V 26 dir 4-128419.0.r349045/258 K 4 why3 V 27 dir 4-356538.0.r356538/9421 K 8 why3-gpl V 28 dir k-356538.0.r356538/11787 K 6 wingz3 V 28 dir l-4797.0.r340872/1819387 K 8 wxMaxima V 29 dir 4-139194.0.r352993/117255 K 8 x12arima V 30 dir 4-259688.0.r347809/1265647 K 5 xblas V 30 dir 4-288627.0.r340722/4390154 K 5 xgobi V 29 dir 4-51784.0.r351411/1132761 K 6 xgraph V 27 dir 2-498.0.r340725/7608430 K 7 xlapack V 27 dir 4-289645.0.r350244/2885 K 6 xldlas V 29 dir 2-10705.0.r340725/7610149 K 5 xplot V 28 dir 2-5861.0.r340718/8680069 K 6 xppaut V 27 dir 4-123347.0.r355102/1329 K 7 xspread V 28 dir 2-1904.0.r351411/1133454 K 5 yacas V 26 dir 4-44287.0.r342453/3877 END ENDREP id: 1-162.0.r356538/46887 type: dir pred: 1-162.0.r356354/35591 count: 9071 text: 356538 11935 34939 0 412540f6bcc5f7c6a6d30edeed36716c cpath: /head/math copyroot: 0 / PLAIN K 10 .arcconfig V 27 file 1-354154.0.r354154/104 K 10 .gitignore V 26 file 1-348322.0.r348482/68 K 7 CHANGES V 26 file 1-99373.0.r355709/328 K 15 CONTRIBUTING.md V 27 file 1-348323.0.r348323/344 K 9 COPYRIGHT V 25 file 1-146787.0.r345912/0 K 4 GIDs V 28 file 1-168311.0.r356387/3490 K 8 Keywords V 27 dir 1-314142.0.r351064/5501 K 5 LEGAL V 24 file 1-748.0.r356055/863 K 5 MOVED V 26 file 1-69878.0.r356350/206 K 8 Makefile V 22 file 1-6.0.r335781/123 K 2 Mk V 22 dir 1-5.0.r356242/2958 K 6 README V 25 file 1-2408.0.r340854/960 K 9 Templates V 24 dir 1-2932.0.r349240/801 K 5 Tools V 26 dir 3-15302.0.r356192/3190 K 4 UIDs V 28 file 4-168311.0.r356387/3773 K 8 UPDATING V 28 file 1-102685.0.r356387/4058 K 13 accessibility V 26 dir 1-42583.0.r356479/4525 K 6 arabic V 26 dir 1-38973.0.r356060/3128 K 9 archivers V 25 dir 1-242.0.r356528/11630 K 5 astro V 24 dir 1-301.0.r356230/6676 K 5 audio V 25 dir 1-148.0.r356533/42336 K 10 benchmarks V 23 dir 1-62.0.r356069/5781 K 7 biology V 25 dir 1-9066.0.r356437/5345 K 3 cad V 25 dir 1-276.0.r356330/36925 K 7 chinese V 25 dir 1-3770.0.r356251/7918 K 5 comms V 23 dir 1-76.0.r356490/9682 K 10 converters V 25 dir 1-1561.0.r356494/9447 K 9 databases V 25 dir 1-771.0.r356472/52085 K 9 deskutils V 26 dir 1-2098.0.r356500/14683 K 5 devel V 25 dir 1-73.0.r356532/252356 K 3 dns V 26 dir 1-6145.0.r356426/10413 K 7 editors V 23 dir 4-6.0.r356510/15430 K 9 emulators V 24 dir 1-181.0.r356407/8907 K 7 finance V 26 dir 1-4110.0.r356339/15640 K 6 french V 26 dir 1-25673.0.r356172/2287 K 3 ftp V 24 dir 1-199.0.r356345/6099 K 5 games V 25 dir 1-104.0.r356531/60762 K 6 german V 25 dir 1-7451.0.r356000/2825 K 8 graphics V 24 dir 1-94.0.r356506/53937 K 6 hebrew V 28 dir 3-31142.0.r353599/607881 K 9 hungarian V 29 dir 1p-38973.0.r353599/609452 K 3 irc V 24 dir 1-42.0.r356504/10167 K 8 japanese V 25 dir 1-410.0.r356444/19733 K 4 java V 26 dir 1-2798.0.r356537/15446 K 6 korean V 25 dir 1-5873.0.r355850/3995 K 4 lang V 24 dir 1-15.0.r356522/17641 K 4 mail V 24 dir 1-57.0.r356482/40111 K 4 math V 25 dir 1-162.0.r356538/46887 K 4 misc V 24 dir 7-35.0.r356524/26110 K 10 multimedia V 25 dir d-333.0.r356409/21867 K 3 net V 24 dir 1-22.0.r356471/67263 K 6 net-im V 28 dir 15-11144.0.r356504/20466 K 8 net-mgmt V 26 dir r-1011.0.r356509/18854 K 7 net-p2p V 27 dir g-29106.0.r356387/12745 K 4 news V 24 dir 1-145.0.r355690/6037 K 4 palm V 25 dir 1-6646.0.r355688/2757 K 6 polish V 27 dir tv-38973.0.r356049/1814 K 10 ports-mgmt V 25 dir 1-5132.0.r356507/7309 K 10 portuguese V 26 dir 1-17842.0.r355406/2177 K 5 print V 24 dir 1-79.0.r356408/17183 K 7 russian V 25 dir 1-1559.0.r354626/3902 K 7 science V 26 dir n-5356.0.r356275/10527 K 8 security V 26 dir 1-269.0.r356536/161770 K 6 shells V 22 dir w-6.0.r356322/3500 K 8 sysutils V 25 dir b-339.0.r356511/56003 K 8 textproc V 25 dir 1-322.0.r356416/84499 K 9 ukrainian V 29 dir g-39704.0.r353599/1087924 K 10 vietnamese V 25 dir 1-4812.0.r356056/1877 K 3 www V 26 dir 1-114.0.r356529/128735 K 3 x11 V 24 dir 1-16.0.r356452/25272 K 10 x11-clocks V 26 dir 1-931.0.r355486/157900 K 11 x11-drivers V 27 dir 1-157567.0.r355734/5946 K 6 x11-fm V 24 dir 1-691.0.r356201/6548 K 9 x11-fonts V 25 dir 1-543.0.r356460/10362 K 11 x11-servers V 25 dir 1n-710.0.r355734/9595 K 10 x11-themes V 27 dir 1-14410.0.r356393/10500 K 12 x11-toolkits V 25 dir 1-120.0.r356527/14857 K 6 x11-wm V 23 dir 1-40.0.r356410/9258 END ENDREP id: 2-1.0.r356538/50459 type: dir pred: 2-1.0.r356537/19017 count: 355549 text: 356538 47056 3390 0 c915e1c5a1ee591e9408f5ba27d4ec78 props: 308235 235189 45 0 7a04b33bf8e35fd5c3d111baaf403dc5 cpath: /head copyroot: 0 / PLAIN K 8 branches V 23 dir 0-1.0.r356091/23506 K 4 head V 23 dir 2-1.0.r356538/50459 K 8 svnadmin V 22 dir 3-1.0.r356430/1278 K 4 tags V 22 dir 8-1.0.r336829/4760 END ENDREP id: 0.0.r356538/50854 type: dir pred: 0.0.r356537/19413 count: 356538 text: 356538 50679 162 0 3e009bbb0e3f72a53bbb31d3811718c9 props: 341041 7140 346 0 8b695b9f61597e4917effffba3bbfaa3 cpath: / copyroot: 0 / minfo-cnt: 11 2-185.0.t356537-7n43 modify-file true false /head/math/Makefile _4.0.t356537-7n43 add-dir false false /head/math/why3 _k.0.t356537-7n43 add-dir false false /head/math/why3-gpl _l.0.t356537-7n43 add-file true true /head/math/why3-gpl/Makefile _o.0.t356537-7n43 add-file true true /head/math/why3-gpl/distinfo _q.0.t356537-7n43 add-dir false false /head/math/why3-gpl/files _r.0.t356537-7n43 add-file true true /head/math/why3-gpl/files/patch-Makefile.in _u.0.t356537-7n43 add-file true true /head/math/why3-gpl/files/patch-src_tools_cpulimit.c _w.0.t356537-7n43 add-file true true /head/math/why3-gpl/pkg-descr _y.0.t356537-7n43 add-file true true /head/math/why3-gpl/pkg-plist _5.0.t356537-7n43 add-file true true /head/math/why3/Makefile _8.0.t356537-7n43 add-file true true /head/math/why3/Makefile.common _a.0.t356537-7n43 add-file true true /head/math/why3/distinfo _c.0.t356537-7n43 add-dir false false /head/math/why3/files _d.0.t356537-7n43 add-file true true /head/math/why3/files/patch-src_tools_cpulimit.c _g.0.t356537-7n43 add-file true true /head/math/why3/pkg-descr _i.0.t356537-7n43 add-file true true /head/math/why3/pkg-plist 50854 51078