DELTA 403444 0 407 SVN† † † † † † † Œΐ† † † ’ΰ† † † ™€† † † Ÿ †‘8†’d†‘8€ccmath/why3-gpl|math/why3-spark|2015-12-10|Change why3 suffix (upstream request and for consistency) ENDREP DELTA 390517 0 67 SVN‰F‰H  „^…„e„asparkENDREP DELTA 403087 0 29 SVN•R•T  “ …‚/“#sparkENDREP DELTA 390670 0 513 SVN‰F‰H  B…ˆEsparkENDREP id: 1-69878.0.r403466/401 type: file pred: 1-69878.0.r403444/1270 count: 4390 text: 403466 0 211 612635 aeac3eca89789f4395397c24eee8ae2d c7e26b3a6da2cb81450758f85100bd0b349cf685 403465-8nbe/_2 props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/MOVED copyroot: 0 / id: 8-390479.0.r403466/684 type: file pred: 8-390479.0.r390517/95 count: 2 text: 403466 237 28 1224 dfb500e828960a64cf75f26caf8ff40b e7d9aa716de98706d2d59e7777221cc83f3437fa 403465-8nbe/_5 props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/lang/spark/Makefile copyroot: 0 / PLAIN K 8 Makefile V 27 file 8-390479.0.r403466/684 K 8 distinfo V 30 file b-390479.0.r390479/279132 K 5 files V 29 dir d-390479.0.r390479/280885 K 9 pkg-descr V 30 file n-390479.0.r390479/281038 K 9 pkg-plist V 30 file p-390479.0.r390479/281310 END ENDREP id: 7-390479.0.r403466/1234 type: dir pred: 7-390479.0.r390517/645 count: 2 text: 403466 977 244 0 82e1206a4141d0cd75c051dd02e478c7 cpath: /head/lang/spark copyroot: 0 / PLAIN K 5 Gofer V 25 dir 2-909.0.r371587/20364 K 8 Makefile V 24 file 3-15.0.r403127/4628 K 4 abcl V 26 dir 4-168699.0.r397466/998 K 10 adacontrol V 27 dir 4-323392.0.r401702/1177 K 5 afnix V 26 dir 4-39147.0.r391049/1032 K 12 alchemist.el V 27 dir 4-390618.0.r399810/1629 K 8 algol68g V 26 dir 4-260883.0.r400203/957 K 5 alisp V 28 dir 4-89650.0.r401096/652387 K 11 angelscript V 26 dir 4-324616.0.r401466/505 K 5 arena V 28 dir 4-165505.0.r371587/22470 K 4 asis V 27 dir 4-323389.0.r403166/1237 K 5 asn1c V 28 dir 4-119385.0.r371587/23201 K 6 atlast V 24 dir 2-8677.0.r345249/670 K 3 ats V 26 dir 4-283527.0.r380913/764 K 4 awka V 25 dir 4-43359.0.r380825/708 K 7 bas2tap V 28 dir 4-195429.0.r380306/91158 K 8 basic256 V 30 dir 4-283355.0.r386312/1434902 K 7 beignet V 28 dir 1f-397198.0.r399857/3232 K 4 bf2c V 27 dir 4-89524.0.r385637/54079 K 6 bigloo V 25 dir 4-73600.0.r387453/707 K 3 bsh V 26 dir g-53793.0.r397957/1345 K 7 bwbasic V 25 dir 2-2047.0.r386840/1007 K 1 c V 29 dir 4-383790.0.r387986/495036 K 3 ccl V 27 dir 4-247065.0.r400996/4034 K 5 cdent V 28 dir 4-253196.0.r371288/20529 K 5 cduce V 29 dir 4-137728.0.r402586/477191 K 6 ceylon V 27 dir 4-361333.0.r374103/1792 K 8 cfortran V 29 dir 4-223812.0.r374492/565031 K 12 chibi-scheme V 28 dir 4-383717.0.r402862/16055 K 7 chicken V 26 dir 4-78219.0.r398209/1199 K 4 cint V 28 dir 4-198050.0.r371587/28523 K 3 cjs V 30 dir v8-372768.0.r399684/587260 K 11 clang-devel V 29 dir x-243274.0.r396152/282303 K 7 clang33 V 36 dir i-243274.1-320628.r397064/441978 K 7 clang34 V 36 dir i-243274.1-334531.r402595/344204 K 7 clang35 V 34 dir i-243274.1-363768.r400327/1600 K 7 clang36 V 33 dir i-243274.1-377636.r401291/685 K 7 clang37 V 33 dir x-243274.1-396049.r402868/520 K 7 clojure V 26 dir 4-201700.0.r391117/557 K 15 clojure-mode.el V 28 dir 4-224790.0.r385637/55142 K 14 cloudabi-clang V 29 dir 4-390358.0.r399906/290192 K 6 clover V 29 dir 2p-397198.0.r399021/58580 K 5 cmucl V 27 dir 2-7340.0.r400848/648526 K 11 cmucl-extra V 28 dir 4-73371.0.r400848/649221 K 5 cocor V 25 dir 4-73388.0.r387771/987 K 7 cparser V 29 dir 4-223322.0.r387082/347378 K 14 csharp-mode.el V 29 dir 4-165762.0.r387529/283270 K 6 cython V 26 dir 4-222650.0.r399596/997 K 14 diveintopython V 27 dir 4-41970.0.r371587/35409 K 3 dlv V 26 dir 4-192545.0.r368524/793 K 4 dmd1 V 34 dir 4-265368.0-351280.r396690/1186 K 4 dmd2 V 27 dir g-265368.0.r402911/1173 K 7 duktape V 27 dir 4-373582.0.r396541/1975 K 3 ecl V 27 dir 4-114633.0.r396952/1673 K 4 elan V 28 dir 4-152225.0.r371587/38372 K 6 elixir V 27 dir 4-362657.0.r398271/5973 K 14 elixir-mode.el V 27 dir 4-390617.0.r399691/1039 K 3 elk V 24 dir 2-1112.0.r374852/573 K 16 emacs-lisp-intro V 29 dir 2-10709.0.r386312/1437121 K 6 erlang V 26 dir 2-15596.0.r402660/1704 K 11 erlang-java V 27 dir 4-379504.0.r402660/2693 K 11 erlang-riak V 28 dir 4-397706.0.r397706/30770 K 16 erlang-runtime15 V 33 dir 2-15596.0-317410.r401738/4803 K 16 erlang-runtime16 V 33 dir 2-15596.0-317415.r401738/5619 K 16 erlang-runtime17 V 33 dir 2-15596.0-350789.r403237/2344 K 16 erlang-runtime18 V 33 dir 2-15596.0-390481.r402660/3802 K 9 erlang-wx V 27 dir e-379504.0.r402660/4842 K 8 execline V 26 dir 4-92085.0.r399546/1463 K 6 expect V 26 dir 2-383.0.r387082/365234 K 3 f2c V 28 dir 2-18115.0.r387082/366484 K 4 fasm V 26 dir 4-185688.0.r386179/950 K 6 ferite V 27 dir 4-48755.0.r395395/92788 K 4 ficl V 25 dir 4-95409.0.r385788/554 K 3 fpc V 28 dir 4-51265.0.r403255/489115 K 8 fpc-base V 29 dir 4-106838.0.r403082/587589 K 8 fpc-docs V 29 dir 4-103327.0.r403082/588597 K 7 fpc-lua V 29 dir 4-259374.0.r403082/590095 K 8 fpc-rexx V 29 dir 4-259382.0.r403082/591598 K 15 fpc-rtl-console V 30 dir 7u-403082.0.r403082/592541 K 13 fpc-rtl-extra V 30 dir 80-403082.0.r403082/593383 K 14 fpc-rtl-objpas V 30 dir 86-403082.0.r403082/594226 K 15 fpc-rtl-unicode V 30 dir 8c-403082.0.r403082/595072 K 7 fpc-tcl V 29 dir 4-165955.0.r403082/595960 K 9 fpc-units V 26 dir 4-165963.0.r403435/504 K 9 fpc-utils V 29 dir 2-168608.0.r403082/597474 K 6 fsharp V 27 dir 4-233574.0.r393140/1695 K 8 gambit-c V 27 dir e-182819.0.r402558/1416 K 6 gauche V 28 dir 4-65934.0.r397374/166104 K 4 gawk V 25 dir 2-14148.0.r389708/579 K 3 gcc V 25 dir n-9316.0.r402352/1749 K 7 gcc-aux V 27 dir 4-301801.0.r402635/8237 K 9 gcc-ecj45 V 26 dir 4-310694.0.r384982/521 K 5 gcc46 V 28 dir 9j-9316.0.r397956/284359 K 5 gcc47 V 28 dir a3-9316.0.r397956/285090 K 5 gcc48 V 26 dir an-9316.0.r402245/2509 K 5 gcc49 V 32 dir an-9316.0-315178.r403020/694 K 4 gcc5 V 33 dir an-9316.0-365695.r403150/1548 K 8 gcc5-aux V 27 dir 4-381294.0.r403112/1618 K 10 gcc5-devel V 33 dir an-9316.0-384947.r403381/2406 K 8 gcc6-aux V 34 dir 4-381294.0-403127.r403169/1616 K 10 gcc6-devel V 33 dir an-9316.0-384331.r403239/1670 K 3 gcl V 26 dir 2-956.0.r384819/504120 K 6 gforth V 26 dir 4-34082.0.r397268/1941 K 3 ghc V 26 dir 2-23008.0.r401738/8484 K 3 gjs V 30 dir ff-244923.0.r393607/877082 K 9 gnat_util V 26 dir 4-323388.0.r403153/681 K 15 gnatdroid-armv7 V 27 dir 4-281378.0.r402635/9235 K 18 gnatdroid-binutils V 27 dir 4-281288.0.r402635/9983 K 22 gnatdroid-binutils-x86 V 27 dir f-402635.0.r402735/1136 K 17 gnatdroid-sysroot V 27 dir 4-281235.0.r399716/7033 K 21 gnatdroid-sysroot-x86 V 28 dir n-402635.0.r402635/13307 K 13 gnatdroid-x86 V 29 dir 11-402635.0.r402635/14144 K 9 gnu-cobol V 34 dir 4-64104.0-353174.r371587/50870 K 12 gnustep-base V 28 dir r-18728.0.r397315/661280 K 2 go V 27 dir 2-248419.0.r401214/2246 K 4 go14 V 33 dir 2-248419.0-394910.r402537/695 K 7 gprolog V 25 dir 4-44911.0.r394761/562 K 6 groovy V 27 dir 4-129464.0.r398194/2013 K 7 gscheme V 29 dir 4-177497.0.r397315/662294 K 5 guile V 24 dir 2-2131.0.r390026/660 K 6 guile2 V 26 dir 4-355255.0.r397875/644 K 7 harbour V 28 dir 4-98525.0.r399346/590052 K 3 hla V 28 dir 4-214196.0.r371587/56662 K 4 hope V 26 dir 4-48875.0.r395394/1565 K 12 hs-brainfuck V 29 dir 4-247098.0.r394918/983351 K 11 hs-unlambda V 29 dir 4-247100.0.r394918/984326 K 3 huc V 27 dir 4-96863.0.r371587/58875 K 4 hugs V 28 dir 2-8779.0.r374303/1210745 K 3 icc V 27 dir 4-56705.0.r371587/60325 K 3 ici V 27 dir 2-15439.0.r371587/61007 K 4 icon V 25 dir 2-1298.0.r382329/1799 K 9 intel2gas V 28 dir 2-19416.0.r401096/653124 K 8 intercal V 28 dir 2-10547.0.r399346/590737 K 2 io V 27 dir 4-147215.0.r401234/1686 K 4 itcl V 25 dir 2-188.0.r371587/64615 K 5 itcl4 V 28 dir 4-366511.0.r371587/65336 K 21 jakarta-commons-jelly V 29 dir 4-140673.0.r386097/711287 K 6 jimtcl V 29 dir 4-341712.0.r403273/287853 K 5 jruby V 25 dir 4-48007.0.r401240/748 K 11 js_of_ocaml V 26 dir 4-349330.0.r386612/562 K 6 jython V 27 dir 4-40996.0.r402105/16780 K 4 kawa V 26 dir 4-57655.0.r374530/1716 K 7 kturtle V 30 dir c2-283641.0.r381052/669103 K 10 lafontaine V 27 dir 4-65712.0.r371587/68144 K 3 lci V 29 dir 4-377881.0.r387986/496950 K 3 lfe V 29 dir 4-395524.0.r403254/411232 K 5 libhx V 26 dir 4-236402.0.r384277/927 K 6 libjit V 26 dir 4-107945.0.r384069/656 K 8 libobjc2 V 26 dir 4-283935.0.r397876/635 K 6 librep V 26 dir 2-23023.0.r382086/1006 K 22 libstdc++_stldoc_4.2.2 V 30 dir 4-205799.0.r386312/1444778 K 14 linux-c6-tcl85 V 30 dir dw-368845.0.r393817/546332 K 16 linux-f10-libg2c V 29 dir 4-167011.0.r397461/162196 K 15 linux-f10-tcl85 V 26 dir 4-231702.0.r388548/546 K 7 linux-j V 28 dir 4-51787.0.r400848/650012 K 7 lua-ada V 29 dir 4-389905.0.r398832/623170 K 11 lua-mode.el V 29 dir 4-103683.0.r401096/653831 K 5 lua51 V 33 dir 4-309973.0-355360.r392509/830 K 5 lua52 V 27 dir 4-309973.0.r392509/1584 K 5 lua53 V 27 dir 7-377213.0.r403386/1038 K 6 luajit V 27 dir 7-289477.0.r388291/1047 K 8 malbolge V 28 dir 4-301017.0.r395395/94118 K 5 maude V 29 dir 4-158902.0.r401096/654574 K 4 mawk V 26 dir 2-16169.0.r385905/1165 K 3 mdk V 26 dir 4-40716.0.r375094/3392 K 11 micropython V 29 dir 4-356895.0.r403255/490066 K 10 mit-scheme V 27 dir 2-1202.0.r399346/591467 K 5 mixal V 26 dir 2-5088.0.r371587/77564 K 5 mlton V 26 dir 2-150108.0.r398392/935 K 4 mmix V 27 dir 4-34829.0.r371587/79027 K 7 modula3 V 27 dir 4-338413.0.r389306/1099 K 4 mono V 26 dir 4-63383.0.r402349/2375 K 10 mono-basic V 29 dir 4-236512.0.r387082/370176 K 9 moscow_ml V 24 dir 2-3442.0.r390681/832 K 4 mosh V 26 dir 4-218727.0.r396523/915 K 5 mtasc V 29 dir 4-219973.0.r386137/271564 K 6 munger V 27 dir 4-123447.0.r396827/1062 K 4 nawk V 26 dir 2-11712.0.r372409/2446 K 3 nbc V 26 dir 4-213151.0.r394541/535 K 4 nbfc V 29 dir 4-213890.0.r374492/567137 K 6 nesasm V 28 dir 4-198903.0.r371587/82680 K 7 newlisp V 27 dir 4-172946.0.r387132/4421 K 13 newlisp-devel V 36 dir 4-172946.0-313772.r387082/378194 K 5 nhc98 V 26 dir 1l-51940.0.r377491/618 K 6 nickle V 27 dir 4-41507.0.r371587/85689 K 3 nim V 34 dir 4-333788.0-383175.r400388/1698 K 3 nml V 27 dir 4-46419.0.r371587/87148 K 3 nqc V 25 dir 2-20726.0.r402480/691 K 4 nwcc V 28 dir 4-201502.0.r371587/87830 K 2 nx V 27 dir 4-333508.0.r399358/2874 K 5 ocaml V 25 dir 2-5189.0.r398402/1420 K 14 ocaml-autoconf V 26 dir 4-251436.0.r361856/760 K 11 ocaml-nox11 V 26 dir 4-102263.0.r361857/361 K 3 ofc V 29 dir 4-166219.0.r390310/776087 K 5 ohugs V 28 dir 4-76948.0.r387082/379641 K 4 onyx V 25 dir 2-45214.0.r401230/668 K 4 oo2c V 27 dir 4-30006.0.r371587/92183 K 9 opendylan V 26 dir 4-203941.0.r396490/703 K 3 p2c V 26 dir 2-164.0.r401096/655290 K 18 p5-Data-JavaScript V 27 dir 4-48613.0.r380306/94140 K 8 p5-Error V 26 dir 2-29774.0.r388097/1470 K 9 p5-Expect V 26 dir 2-26066.0.r374038/1009 K 15 p5-ExtUtils-F77 V 26 dir 2-23645.0.r388869/2236 K 16 p5-Interpolation V 30 dir 4-150644.0.r373448/4036484 K 7 p5-JSAN V 29 dir 4-180684.0.r381221/120212 K 26 p5-JavaScript-SpiderMonkey V 30 dir 4-139352.0.r373448/4038608 K 20 p5-JavaScript-Squish V 29 dir 4-144931.0.r396892/849620 K 26 p5-JavaScript-Value-Escape V 27 dir 4-274317.0.r389582/1166 K 17 p5-List-MoreUtils V 27 dir 4-132339.0.r389469/1208 K 8 p5-Marpa V 26 dir 4-285695.0.r391320/620 K 11 p5-Marpa-PP V 26 dir 4-285696.0.r398496/575 K 11 p5-Marpa-XS V 26 dir 4-285697.0.r394485/657 K 14 p5-Modern-Perl V 26 dir 4-252285.0.r398497/564 K 13 p5-Parse-Perl V 29 dir 4-265054.0.r388857/273795 K 13 p5-Perl6-Subs V 30 dir 4-153027.0.r373448/4047358 K 11 p5-Promises V 27 dir 4-378069.0.r378069/2743 K 21 p5-Pugs-Compiler-Rule V 29 dir 4-169273.0.r396892/850357 K 25 p5-Quantum-Superpositions V 29 dir 4-164142.0.r375378/742394 K 20 p5-Scalar-List-Utils V 26 dir 4-51840.0.r392438/1030 K 9 p5-Switch V 29 dir 4-42006.0.r373448/4051592 K 6 p5-Tcl V 24 dir 2-6948.0.r375940/669 K 13 p5-Test-XPath V 30 dir 4-253232.0.r373448/4053346 K 12 p5-Try-Catch V 26 dir 4-391259.0.r391522/557 K 11 p5-Try-Tiny V 27 dir 4-240668.0.r379109/1171 K 17 p5-Try-Tiny-Retry V 30 dir 4-364793.0.r373448/4055412 K 11 p5-TryCatch V 30 dir 4-253190.0.r373448/4056440 K 8 p5-ePerl V 25 dir 2-7531.0.r383885/1105 K 13 p5-signatures V 27 dir 4-238876.0.r393078/1030 K 5 p5-v6 V 30 dir 4-169285.0.r386312/1446220 K 6 parrot V 27 dir 4-133434.0.r399922/1035 K 6 pbasic V 25 dir 2-2103.0.r363266/5559 K 3 pcc V 26 dir 4-199646.0.r395322/576 K 9 pecl-perl V 29 dir 4-186385.0.r375378/743900 K 11 perl5-devel V 33 dir 1f-1419.0-384103.r403205/1312 K 8 perl5.16 V 26 dir 1f-1419.0.r400851/1804 K 8 perl5.18 V 33 dir 1f-1419.0-324662.r400851/2657 K 8 perl5.20 V 33 dir 1f-1419.0-355497.r400851/3606 K 8 perl5.22 V 33 dir 1f-1419.0-387481.r400851/4557 K 11 petite-chez V 27 dir 5-234360.0.r398767/1218 K 3 pfe V 26 dir 4-34438.0.r391044/2276 K 9 phantomjs V 26 dir 4-272954.0.r396204/647 K 5 pharo V 30 dir 4-296452.0.r367888/2249037 K 3 phc V 29 dir 4-167718.0.r371587/116618 K 11 php-mode.el V 26 dir 4-61701.0.r393296/1067 K 4 php5 V 28 dir u-81722.0.r399346/592358 K 15 php5-extensions V 29 dir 4-114187.0.r401553/415768 K 5 php55 V 36 dir u-81722.10-321684.r399346/593353 K 16 php55-extensions V 36 dir 4-114187.11-321684.r360810/81950 K 5 php56 V 35 dir u-81722.10-367268.r402669/56395 K 16 php56-extensions V 37 dir 4-114187.12-367268.r367268/428180 K 7 php_doc V 25 dir 4-41872.0.r363754/513 K 5 picoc V 27 dir 4-260484.0.r365030/2065 K 6 pike78 V 29 dir 4-234153.0.r390310/779772 K 6 polyml V 27 dir 4-140373.0.r400041/1276 K 4 ptoc V 28 dir 2-10325.0.r371587/118205 K 4 pure V 29 dir 4-271378.0.r399346/595832 K 10 py-clojure V 28 dir 4-353721.0.r371288/24933 K 10 py-mx-base V 28 dir 2-19008.0.r394508/717170 K 9 py-prolog V 27 dir 4-83793.0.r371288/26364 K 4 pypy V 27 dir 4-287302.0.r403361/2543 K 11 pypy3-devel V 35 dir 4-287302.0-324602.r374221/14441 K 6 python V 25 dir 2-2042.0.r386379/1223 K 15 python-doc-html V 25 dir 2-19180.0.r391240/802 K 17 python-doc-pdf-a4 V 29 dir 2-19181.0.r340722/3834679 K 21 python-doc-pdf-letter V 29 dir 2-19182.0.r340722/3835245 K 15 python-doc-text V 30 dir 4-275799.0.r340722/3835812 K 14 python-mode.el V 29 dir 4-147020.0.r371587/122983 K 12 python-tools V 29 dir 4-365326.0.r399684/589415 K 7 python2 V 27 dir 6-324864.0.r386379/1807 K 8 python27 V 26 dir 5l-2042.0.r399611/6388 K 7 python3 V 27 dir i-324864.0.r386379/2396 K 8 python32 V 27 dir 73-2042.0.r401909/62744 K 8 python33 V 34 dir 73-2042.0-309312.r401909/64831 K 8 python34 V 28 dir d-350610.0.r401909/66582 K 8 python35 V 35 dir d-350610.0-396397.r401909/68372 K 4 qore V 27 dir 4-244193.0.r395028/1681 K 7 qscheme V 25 dir 4-62108.0.r387381/645 K 7 qt5-qml V 30 dir 60-346930.0.r381532/345097 K 5 quack V 33 dir 4-92616.0-394326.r394326/2639 K 6 racket V 29 dir m-216546.0.r394893/112416 K 14 racket-minimal V 37 dir 14-216546.0-341390.r394893/114824 K 6 ratfor V 25 dir 2-32030.0.r396749/706 K 8 rexx-imc V 24 dir 2-3847.0.r388632/753 K 11 rexx-regina V 25 dir 4-93554.0.r396741/695 K 12 rexx-regutil V 29 dir 4-264001.0.r371587/131542 K 12 rexx-wrapper V 25 dir 4-93563.0.r379869/722 K 5 rhino V 29 dir 4-206297.0.r396103/430407 K 8 rubinius V 29 dir 4-262839.0.r397064/443046 K 6 ruby20 V 34 dir 40-210636.0-312871.r402110/943 K 6 ruby21 V 35 dir 40-210636.0-344909.r402110/1838 K 6 ruby22 V 35 dir 40-210636.0-379473.r402110/2737 K 6 runawk V 27 dir 4-252135.0.r379070/2339 K 4 rust V 27 dir 4-289669.0.r401025/2024 K 12 rust-nightly V 27 dir 4-392106.0.r396750/5073 K 5 s9fes V 29 dir 4-230036.0.r401096/655979 K 18 sagittarius-scheme V 29 dir 4-360853.0.r397064/444487 K 20 sather-specification V 29 dir 4-169984.0.r386097/715494 K 15 sather-tutorial V 29 dir 4-169986.0.r386097/716215 K 4 sbcl V 26 dir 4-73159.0.r402845/1955 K 5 scala V 26 dir 4-233950.0.r396725/948 K 10 scala-docs V 26 dir 4-306314.0.r397312/962 K 8 scheme48 V 25 dir 2-736.0.r382211/20402 K 3 scm V 24 dir 2-329.0.r394797/1921 K 4 sdcc V 26 dir 4-108778.0.r402241/725 K 10 sdcc-devel V 27 dir i-108778.0.r402241/1396 K 3 see V 28 dir 6-133435.0.r382211/21127 K 5 seed7 V 29 dir 4-216938.0.r397461/162900 K 4 siod V 28 dir 2-18176.0.r397461/163636 K 4 sisc V 28 dir 4-78210.0.r371587/144286 K 7 sketchy V 29 dir 4-135413.0.r401096/656678 K 4 slib V 25 dir 2-12844.0.r402685/778 K 10 slib-guile V 27 dir 9-95811.0.r370066/19852 K 11 slib-guile2 V 34 dir 9-95811.0-370066.r370066/21529 K 5 slisp V 25 dir 4-47091.0.r345787/544 K 9 smalltalk V 24 dir 2-925.0.r396909/1247 K 5 smlnj V 35 dir f-11924.0-363509.r400848/650813 K 7 snobol4 V 27 dir 4-179157.0.r377801/3274 K 5 spark V 27 dir 7-390479.0.r403466/1234 K 14 spidermonkey17 V 35 dir 4-79724.0-303570.r399346/597430 K 15 spidermonkey170 V 34 dir 4-305994.0-315532.r399507/1736 K 15 spidermonkey185 V 26 dir 4-305994.0.r399905/717 K 14 spidermonkey24 V 37 dir 4-305994.0-336683.r386312/1462671 K 3 spl V 26 dir 4-55419.0.r388515/1216 K 6 squeak V 29 dir 5-110728.0.r399346/598978 K 8 squirrel V 27 dir 7-195571.0.r356127/1271 K 6 stalin V 29 dir 4-243256.0.r401096/657422 K 8 starlogo V 28 dir 6-24230.0.r371587/151802 K 6 stldoc V 28 dir 4-56852.0.r371587/152498 K 6 swi-pl V 25 dir 2-4155.0.r395393/1519 K 7 tcbasic V 27 dir 4-384187.0.r386785/1500 K 3 tcc V 27 dir 4-223624.0.r393585/3361 K 10 tcl-manual V 28 dir 4-51858.0.r400848/651543 K 11 tcl-wrapper V 27 dir 4-188523.0.r353003/1790 K 5 tcl84 V 28 dir 1f-7628.0.r394508/720657 K 5 tcl85 V 27 dir 4-183590.0.r390470/4483 K 5 tcl86 V 29 dir u-183590.0.r394508/721400 K 4 tclX V 27 dir 2-7879.0.r371587/157496 K 6 tinypy V 29 dir 4-231456.0.r397461/164282 K 5 tolua V 27 dir 4-122062.0.r402742/1039 K 7 tolua++ V 28 dir 4-154200.0.r393445/62030 K 14 tuareg-mode.el V 28 dir 4-207676.0.r385637/60161 K 5 twelf V 26 dir 4-149566.0.r362672/586 K 3 ucc V 26 dir 4-219172.0.r380727/718 K 5 urweb V 27 dir 4-294290.0.r394385/1686 K 2 v8 V 29 dir 4-274006.0.r399684/590159 K 8 v8-devel V 34 dir 4-274006.0-337829.r397422/1674 K 4 vala V 27 dir 4-195359.0.r396147/1091 K 11 visualworks V 28 dir 4-62087.0.r371587/161025 K 10 whitespace V 29 dir 4-163999.0.r363374/797755 K 3 x10 V 26 dir 4-288064.0.r399697/598 K 7 yabasic V 26 dir 4-24050.0.r399419/1385 K 3 yap V 27 dir 4-322261.0.r392738/1974 K 9 yap-devel V 27 dir 4-330001.0.r392738/3436 K 6 yorick V 25 dir 2-8794.0.r386795/1631 K 7 ypsilon V 30 dir 2-218073.0.r386312/1466349 END ENDREP id: 1-15.0.r403466/18267 type: dir pred: 1-15.0.r403435/17543 count: 14489 text: 403466 1405 16849 0 038008fa8263eed6af4e2ee069f3a909 cpath: /head/lang copyroot: 0 / id: 2-185.0.r403466/18434 type: file pred: 2-185.0.r403087/708 count: 955 text: 403466 290 32 19156 a64445a8c21b76b173c896aaceba01af 69a56cb68da0450bccf5fd2859451d791f3a97be 403465-8nbe/_7 props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/math/Makefile copyroot: 0 / id: l-356538.0-403466.r403466/18721 type: file pred: l-356538.0.r390670/1845 count: 4 text: 403466 347 28 1224 1d405e2d50a209f7384532c7ba1f29b1 720b8c0a0a4851304092edde2a3efa4d493e288c 403465-8nbe/_9 props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5 cpath: /head/math/why3-spark/Makefile copyroot: 403466 /head/math/why3-spark PLAIN K 8 Makefile V 36 file l-356538.0-403466.r403466/18721 K 8 distinfo V 28 file o-356538.0.r390670/2145 K 5 files V 27 dir q-356538.0.r390670/3227 K 9 pkg-descr V 27 file w-356538.0.r357001/565 K 9 pkg-plist V 28 file y-356538.0.r390670/3410 END ENDREP id: k-356538.0-403466.r403466/19312 type: dir pred: k-356538.0.r390670/3963 count: 5 text: 403466 19055 244 0 dca1cd0d8c4bdad1cfdf0017f2e70cd5 cpath: /head/math/why3-spark copyfrom: 403465 /head/math/why3-gpl PLAIN K 5 GiNaC V 26 dir 2-39165.0.r393050/1424 K 8 Makefile V 26 file 2-185.0.r403466/18434 K 3 PDL V 26 dir 6-103726.0.r400235/955 K 1 R V 26 dir 2-10844.0.r400221/5006 K 29 R-cran-ChangeAnomalyDetection V 30 dir 4-317457.0.r367888/2319722 K 14 R-cran-Formula V 27 dir 4-290383.0.r389336/1134 K 11 R-cran-KFAS V 27 dir 4-290923.0.r402594/1323 K 17 R-cran-LearnBayes V 30 dir 4-307669.0.r367888/2321742 K 15 R-cran-MCMCpack V 30 dir 4-307527.0.r367888/2322418 K 11 R-cran-MSwM V 27 dir 4-403087.0.r403087/1966 K 19 R-cran-MatrixModels V 27 dir 4-401711.0.r401711/2072 K 10 R-cran-NMF V 27 dir 4-393969.0.r393969/2457 K 11 R-cran-RHmm V 30 dir 4-308467.0.r367888/2323092 K 17 R-cran-RSvgDevice V 30 dir 4-232562.0.r367888/2323763 K 20 R-cran-RcppArmadillo V 27 dir 4-317461.0.r403089/1017 K 16 R-cran-RcppEigen V 27 dir 2-401684.0.r401684/2181 K 14 R-cran-SparseM V 27 dir 4-401712.0.r401712/2081 K 16 R-cran-SuppDists V 30 dir 4-273730.0.r386312/1566561 K 11 R-cran-VGAM V 27 dir 4-402348.0.r402348/2318 K 12 R-cran-Zelig V 30 dir 4-231151.0.r367888/2325781 K 16 R-cran-bdsmatrix V 30 dir 4-290384.0.r367888/2326447 K 10 R-cran-car V 27 dir 4-233130.0.r402534/1520 K 11 R-cran-coda V 26 dir 4-267903.0.r399889/963 K 13 R-cran-deldir V 27 dir 4-281926.0.r389322/1516 K 16 R-cran-dlmodeler V 27 dir 4-301445.0.r374217/1603 K 15 R-cran-forecast V 27 dir 4-317458.0.r402596/1328 K 15 R-cran-fracdiff V 30 dir 4-317459.0.r367888/2330457 K 13 R-cran-gpclib V 30 dir 4-231150.0.r367888/2331134 K 10 R-cran-gss V 26 dir 4-317429.0.r393098/952 K 13 R-cran-gtable V 30 dir 4-303703.0.r367888/2332461 K 13 R-cran-igraph V 27 dir 5-289904.0.r403091/1887 K 13 R-cran-inline V 27 dir 4-253936.0.r385025/1197 K 12 R-cran-irlba V 26 dir 4-393972.0.r403090/972 K 15 R-cran-labeling V 30 dir 4-296327.0.r367888/2334453 K 11 R-cran-lme4 V 27 dir 4-401698.0.r401698/2178 K 13 R-cran-maxLik V 27 dir 4-402738.0.r402738/2208 K 13 R-cran-memisc V 26 dir 4-290170.0.r389324/979 K 12 R-cran-minqa V 29 dir 4-385880.0.r385917/270974 K 16 R-cran-miscTools V 27 dir 4-402721.0.r402721/1975 K 14 R-cran-mvtnorm V 30 dir 4-270503.0.r367888/2335800 K 13 R-cran-nloptr V 27 dir 4-401681.0.r401681/2268 K 11 R-cran-nnls V 30 dir 4-302939.0.r367888/2336467 K 15 R-cran-outliers V 30 dir 4-314659.0.r367888/2337140 K 15 R-cran-pbkrtest V 27 dir 4-401708.0.r401708/2264 K 12 R-cran-psych V 30 dir 4-261267.0.r367888/2337815 K 15 R-cran-quadprog V 30 dir 4-309473.0.r367888/2338490 K 15 R-cran-quantreg V 27 dir 4-401714.0.r401714/2383 K 15 R-cran-sandwich V 27 dir 4-282214.0.r401043/1325 K 9 R-cran-sm V 30 dir 7-230661.0.r367888/2339832 K 9 R-cran-sp V 26 dir 4-230304.0.r399890/954 K 12 R-cran-spdep V 27 dir 4-281929.0.r403096/1429 K 12 R-cran-sspir V 30 dir 4-328495.0.r367888/2341804 K 17 R-cran-stabledist V 26 dir 4-309474.0.r388655/537 K 10 R-cran-xts V 30 dir 4-280789.0.r367888/2343151 K 10 R-cran-zoo V 26 dir 4-280788.0.r403099/972 K 6 aamath V 26 dir 4-137923.0.r395233/721 K 6 abacus V 27 dir 2-326410.0.r384957/1515 K 6 abakus V 29 dir 4-152678.0.r379358/522394 K 3 abs V 28 dir 2-16350.0.r380306/163885 K 3 add V 26 dir 2-12939.0.r391403/1204 K 5 algae V 25 dir 4-82139.0.r380664/730 K 9 algotutor V 26 dir 4-126758.0.r392144/680 K 8 alt-ergo V 29 dir 4-287773.0.r385413/469146 K 14 alt-ergo-spark V 27 dir 4-390756.0.r390756/2780 K 8 analitza V 30 dir 8l-297371.0.r381052/685600 K 3 ann V 26 dir 4-253818.0.r386778/692 K 3 apc V 28 dir 2-6710.0.r386312/1567259 K 6 aribas V 26 dir 4-193965.0.r359928/663 K 9 armadillo V 27 dir 4-314935.0.r402917/1420 K 6 arpack V 27 dir 4-80169.0.r372546/22416 K 8 arpack++ V 28 dir 4-95234.0.r387082/467473 K 9 arpack-ng V 27 dir 4-300064.0.r374217/2300 K 15 arpack-ng-mpich V 27 dir 8-370227.0.r370227/2716 K 8 asir2000 V 25 dir 4-47162.0.r396813/946 K 6 aspcud V 27 dir 4-339367.0.r394461/1062 K 9 asymptote V 29 dir 4-140404.0.r395047/505608 K 5 atlas V 26 dir 4-56117.0.r383217/1703 K 4 bamg V 25 dir 4-97121.0.r396679/664 K 8 bargraph V 28 dir 4-294217.0.r372546/27458 K 7 biggles V 25 dir 4-50529.0.r387448/832 K 5 blacs V 28 dir 4-80142.0.r399346/660398 K 4 blas V 27 dir 2-280.0.r367888/2354490 K 7 blitz++ V 27 dir 4-67732.0.r372546/29608 K 12 blocksolve95 V 26 dir 4-121707.0.r376503/831 K 5 bsdnt V 29 dir 4-338583.0.r385637/131299 K 4 calc V 25 dir 3-162.0.r372546/31813 K 6 calcoo V 28 dir 4-53344.0.r366215/413124 K 8 calctool V 26 dir 2-4947.0.r372546/32527 K 6 cantor V 30 dir ce-283641.0.r381052/686975 K 5 carve V 30 dir 4-291926.0.r386312/1569428 K 5 cblas V 29 dir 4-288838.0.r385787/478727 K 6 ccmath V 27 dir 4-40118.0.r387917/11592 K 4 cgal V 26 dir 4-159258.0.r397344/868 K 5 chaco V 28 dir 4-161300.0.r372546/34004 K 9 chryzodus V 29 dir 4-138937.0.r387082/468550 K 8 clarence V 26 dir 4-54038.0.r371328/8719 K 5 clasp V 26 dir 2-327622.0.r394460/967 K 6 clblas V 28 dir 2z-397198.0.r399097/1202 K 5 clfft V 28 dir 39-397198.0.r399097/2595 K 7 clipper V 30 dir 4-312105.0.r386312/1571513 K 3 cln V 26 dir 4-38257.0.r380699/1718 K 5 cloog V 27 dir 4-321979.0.r393484/1008 K 3 clp V 27 dir 4-198778.0.r400462/2984 K 5 clrng V 28 dir 3n-397198.0.r399097/3286 K 8 cminpack V 27 dir 4-379703.0.r379703/4596 K 5 cmlib V 26 dir 4-386679.0.r395471/732 K 6 coinmp V 27 dir 4-278529.0.r397792/1559 K 8 concorde V 27 dir 4-30153.0.r372546/39096 K 10 convertall V 28 dir 4-117581.0.r372546/39787 K 3 coq V 27 dir 4-119551.0.r387123/1372 K 6 crlibm V 29 dir 4-288947.0.r383107/646818 K 13 cryptominisat V 27 dir 4-385495.0.r385495/5585 K 4 cvc3 V 28 dir 4-188227.0.r372546/41227 K 7 dcdflib V 28 dir 2-15563.0.r401096/725078 K 7 diehard V 26 dir 4-62415.0.r401208/2809 K 9 dieharder V 28 dir 4-222883.0.r372546/43427 K 6 djbfft V 27 dir 4-59197.0.r372546/44169 K 5 drgeo V 25 dir k-72881.0.r368866/595 K 6 dynare V 26 dir 4-282473.0.r374810/627 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 28 dir e-206969.0.r372546/46263 K 6 eigen3 V 27 dir o-206969.0.r402397/3983 K 7 eispack V 27 dir 2-299.0.r367888/2363944 K 4 emc2 V 26 dir 4-97124.0.r395483/8621 K 3 ent V 26 dir 4-323853.0.r348565/898 K 7 entropy V 26 dir 4-64354.0.r358240/1513 K 3 ess V 26 dir 4-276061.0.r402481/925 K 9 eukleides V 26 dir 4-60610.0.r402508/1772 K 4 eval V 26 dir 2-10680.0.r365060/1064 K 6 facile V 27 dir 4-206967.0.r402914/1002 K 4 fann V 28 dir 4-186705.0.r347776/54652 K 12 fflas-ffpack V 29 dir 4-283609.0.r375872/467049 K 4 fftw V 25 dir 2-17276.0.r387794/685 K 10 fftw-float V 27 dir 4-121298.0.r347124/2447 K 5 fftw3 V 28 dir f-17276.0.r366788/285354 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 27 dir 4-130578.0.r385438/1566 K 4 foma V 30 dir 4-353158.0.r386312/1572251 K 8 fpc-fftw V 29 dir 4-172531.0.r403082/615059 K 7 fpc-gmp V 29 dir 4-259369.0.r403082/615662 K 10 fpc-numlib V 29 dir 4-226018.0.r403082/616268 K 7 freemat V 29 dir 4-132275.0.r387982/171347 K 6 fricas V 27 dir 4-222842.0.r398144/1948 K 3 fxt V 26 dir 4-50672.0.r392426/6559 K 10 galculator V 25 dir 4-83610.0.r393087/561 K 6 gambit V 26 dir 4-75161.0.r383950/2787 K 3 gap V 26 dir 4-58970.0.r402900/1013 K 6 gdcalc V 27 dir 4-62875.0.r375144/17068 K 3 geg V 25 dir 2-12406.0.r388702/582 K 13 geogebra-i18n V 27 dir 4-143470.0.r372596/4097 K 7 geonext V 27 dir 4-128341.0.r372596/4830 K 5 gexpr V 29 dir 4-43961.0.r386312/1573626 K 5 ggobi V 27 dir 4-249715.0.r372596/5557 K 8 giacxcas V 29 dir 2-261551.0.r401096/726553 K 6 givaro V 29 dir 4-283582.0.r374163/360217 K 5 gkmap V 27 dir 4-324367.0.r372596/6969 K 7 glgraph V 29 dir 4-72664.0.r367888/2369716 K 3 glm V 29 dir 4-301955.0.r403436/132390 K 4 glpk V 28 dir 4-36057.0.r393429/672345 K 5 gmm++ V 27 dir 4-218131.0.r372596/8324 K 3 gmp V 29 dir 4-43514.0.r386312/1575734 K 7 gmp-ecm V 26 dir 4-164283.0.r365180/576 K 16 gnome-calculator V 35 dir 4-61145.7-372768.r393607/937619 K 5 gnubc V 26 dir 4-249168.0.r392542/571 K 8 gnumeric V 26 dir 2-14193.0.r399422/1016 K 7 gnuplot V 24 dir 2-184.0.r402781/2957 K 18 gnuplot-tex-extras V 27 dir 9-374699.0.r374699/5152 K 6 goblin V 25 dir 2-55478.0.r390404/625 K 8 gotoblas V 30 dir 4-184333.0.r386312/1577125 K 5 grace V 28 dir 2-17277.0.r390310/837320 K 9 gracetmpl V 26 dir 4-92440.0.r384082/2455 K 10 graphthing V 28 dir 2-54530.0.r397077/628076 K 5 gretl V 26 dir 2-56450.0.r370389/1098 K 3 gri V 27 dir 4-34352.0.r398833/50545 K 6 gringo V 27 dir 4-339359.0.r397007/1148 K 4 grpn V 28 dir 2-23410.0.r368108/582653 K 3 gsl V 27 dir 4-27399.0.r372596/11895 K 7 hexcalc V 30 dir 2-539.0-341901.r361261/593 K 4 hfst V 30 dir 4-360628.0.r386312/1578549 K 7 hs-Agda V 30 dir 4-247094.0.r394918/1043748 K 14 hs-Agda-stdlib V 30 dir sz-394918.0.r403255/508127 K 15 hs-NumInstances V 30 dir 5-291121.0.r394918/1046856 K 14 hs-adjunctions V 31 dir tg-394918.0.r394918/1048067 K 13 hs-categories V 30 dir 7-279687.0.r394918/1049021 K 10 hs-comonad V 30 dir 7-279689.0.r394918/1050001 K 16 hs-contravariant V 30 dir 7-279690.0.r394918/1050990 K 12 hs-data-lens V 30 dir 5-291123.0.r394918/1051977 K 21 hs-data-lens-template V 30 dir 5-291124.0.r394918/1052978 K 15 hs-distributive V 30 dir 7-279691.0.r394918/1053660 K 6 hs-erf V 30 dir 4-247108.0.r394918/1054327 K 10 hs-ieee754 V 30 dir 5-298136.0.r394918/1055300 K 17 hs-kan-extensions V 31 dir ua-394918.0.r394918/1056519 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 30 dir 7-279695.0.r394918/1059143 K 14 hs-probability V 30 dir 4-247118.0.r394918/1060414 K 16 hs-semigroupoids V 30 dir 7-279692.0.r394918/1061410 K 13 hs-semigroups V 30 dir 7-279685.0.r394918/1062997 K 13 hs-statistics V 30 dir 4-247125.0.r394918/1063986 K 15 hs-vector-space V 30 dir 4-247746.0.r394918/1064979 K 6 igraph V 27 dir 4-217031.0.r376704/2677 K 5 ipopt V 27 dir 4-366918.0.r399119/1730 K 4 ised V 29 dir 4-251331.0.r397380/130039 K 5 jacal V 26 dir 4-56207.0.r378301/1882 K 4 jags V 30 dir 4-110135.0.r386312/1579302 K 20 jakarta-commons-math V 27 dir 4-127742.0.r391394/1256 K 21 jakarta-commons-math3 V 29 dir 4-297407.0.r386097/781614 K 4 jama V 25 dir 4-82179.0.r395473/662 K 7 jeuclid V 28 dir 4-249767.0.r372596/16839 K 10 jlatexmath V 29 dir 4-249766.0.r395231/428202 K 12 jsmath-fonts V 29 dir e-164162.0.r380306/164580 K 11 jtransforms V 30 dir 4-262245.0.r386312/1579956 K 3 jts V 29 dir 4-192174.0.r400848/711454 K 8 kalgebra V 30 dir cs-283641.0.r381052/687688 K 6 kbruch V 30 dir d2-283641.0.r381052/688401 K 5 kcalc V 28 dir 15-8441.0.r381052/689147 K 3 kig V 30 dir dh-283641.0.r381052/689851 K 9 kktdirect V 29 dir 4-288407.0.r385787/480105 K 6 kmplot V 30 dir dr-283641.0.r381052/690558 K 7 labplot V 27 dir 4-150102.0.r369079/1465 K 6 lambda V 29 dir 4-109095.0.r401096/727205 K 6 lapack V 25 dir 2-3178.0.r383402/2670 K 8 lapack++ V 25 dir 4-61741.0.r395431/744 K 8 lapack95 V 26 dir 4-117551.0.r390067/608 K 7 lapacke V 27 dir 4-269254.0.r382985/2359 K 7 laspack V 30 dir 4-140069.0.r386312/1580665 K 7 ldouble V 30 dir 4-121047.0.r386312/1581367 K 6 levmar V 26 dir 4-259952.0.r386074/868 K 4 libR V 27 dir 4-278444.0.r375097/2285 K 8 libRmath V 27 dir 4-109219.0.r350209/1920 K 8 libflame V 26 dir 4-288536.0.r387523/562 K 8 libjbigi V 30 dir 4-151920.0.r386312/1582069 K 8 liblbfgs V 29 dir 4-256810.0.r396103/447522 K 10 libmissing V 29 dir 4-309324.0.r363390/405047 K 9 libneural V 28 dir 4-29962.0.r401096/727899 K 7 libocas V 27 dir 4-283033.0.r382199/9463 K 9 liborigin V 29 dir 4-171749.0.r395231/428902 K 8 libproj4 V 28 dir 4-370687.0.r382199/10187 K 12 libqalculate V 26 dir 4-136977.0.r379112/685 K 9 libranlip V 29 dir 4-253982.0.r383107/647517 K 6 librsb V 26 dir 4-388293.0.r388394/623 K 10 libtommath V 27 dir 4-141328.0.r401594/1579 K 9 libtsnnls V 28 dir 4-263280.0.r372596/23305 K 7 linpack V 27 dir 2-298.0.r367888/2399784 K 9 lll_spect V 29 dir 4-249994.0.r400848/712151 K 8 lp_solve V 25 dir 4-85171.0.r378625/687 K 4 lrng V 30 dir 4-274784.0.r386312/1582717 K 3 ltl V 28 dir 4-174849.0.r372596/24796 K 6 ltl2ba V 26 dir 4-274737.0.r345360/535 K 6 lybniz V 28 dir 4-203550.0.r375144/18440 K 6 math77 V 27 dir 4-398992.0.r398992/3845 K 10 mathomatic V 27 dir 4-133081.0.r376400/1256 K 5 matio V 29 dir 4-250256.0.r387255/333614 K 16 matlab-installer V 36 dir 4-318605.0-342611.r368845/714796 K 6 maxima V 25 dir 4-73483.0.r380756/659 K 9 mbasecalc V 30 dir 4-111633.0.r367888/2401983 K 5 metis V 28 dir 2-10682.0.r394572/479982 K 9 metis-edf V 27 dir m-85421.0.r379319/17541 K 6 metis4 V 27 dir p-10682.0.r372596/27710 K 14 mingw32-libgmp V 28 dir 4-220558.0.r372596/28400 K 7 minisat V 27 dir 2-327544.0.r390672/2865 K 6 miracl V 30 dir 4-126683.0.r386312/1583406 K 3 moo V 30 dir 4-190340.0.r340725/7458075 K 12 mosesdecoder V 29 dir 4-367003.0.r399684/650041 K 3 mpc V 26 dir 4-232062.0.r383350/947 K 6 mpexpr V 26 dir 4-90359.0.r375097/3583 K 4 mpfr V 27 dir 4-141316.0.r402662/1411 K 4 mpir V 27 dir 4-361925.0.r402167/6380 K 6 msieve V 30 dir 4-181482.0.r386312/1584104 K 3 mtl V 28 dir 4-56139.0.r374163/360948 K 8 mtrxmath V 25 dir 4-39458.0.r344617/805 K 5 mumps V 28 dir 4-164274.0.r382199/12125 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.r354303/1001 K 5 ndiff V 27 dir 4-101356.0.r375097/4940 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 28 dir 4-370660.0.r384229/42493 K 3 ntl V 27 dir 2-30415.0.r372596/34880 K 7 numdiff V 26 dir 4-175879.0.r379141/693 K 7 nyh-hoc V 26 dir 4-197599.0.r344401/580 K 16 ocaml-ocamlgraph V 26 dir 4-110162.0.r397637/594 K 12 ocaml-zarith V 26 dir 4-356255.0.r399103/652 K 8 ocamlgsl V 26 dir 4-276544.0.r396713/957 K 6 octave V 26 dir 2-1566.0.r399093/70341 K 12 octave-forge V 26 dir 4-108647.0.r392249/760 K 22 octave-forge-actuarial V 28 dir 2-256728.0.r394904/85861 K 15 octave-forge-ad V 28 dir 4-220200.0.r394904/86271 K 18 octave-forge-audio V 28 dir 4-220205.0.r394904/86682 K 17 octave-forge-base V 27 dir 4-220196.0.r398561/1319 K 16 octave-forge-bim V 28 dir 4-220286.0.r394904/87034 K 20 octave-forge-bioinfo V 28 dir 4-220217.0.r394904/87389 K 16 octave-forge-cgi V 28 dir 4-307605.0.r394904/87743 K 30 octave-forge-civil-engineering V 28 dir 4-220219.0.r394904/88098 K 27 octave-forge-communications V 28 dir 4-220277.0.r394904/88462 K 20 octave-forge-control V 27 dir 4-220279.0.r400583/1008 K 27 octave-forge-data-smoothing V 28 dir 4-220282.0.r394904/89179 K 21 octave-forge-database V 28 dir 4-311535.0.r394904/89540 K 22 octave-forge-dataframe V 28 dir 2-260164.0.r394904/89892 K 18 octave-forge-dicom V 28 dir 4-288077.0.r394904/90253 K 19 octave-forge-divand V 28 dir 4-345001.0.r394904/90606 K 20 octave-forge-doctest V 28 dir 4-391607.0.r394904/90957 K 25 octave-forge-econometrics V 28 dir 4-220228.0.r394904/91315 K 19 octave-forge-engine V 28 dir 4-220215.0.r394904/91682 K 17 octave-forge-fenv V 28 dir 4-257153.0.r394904/92089 K 22 octave-forge-financial V 28 dir 4-220278.0.r394904/92448 K 17 octave-forge-fits V 28 dir 4-268658.0.r394904/92808 K 20 octave-forge-fl-core V 28 dir 4-268879.0.r394904/93210 K 16 octave-forge-fpl V 28 dir 4-220211.0.r394904/93618 K 32 octave-forge-fuzzy-logic-toolkit V 28 dir 4-275950.0.r394904/93969 K 15 octave-forge-ga V 28 dir 4-220281.0.r394904/94343 K 20 octave-forge-general V 28 dir 4-220226.0.r394904/94696 K 26 octave-forge-generate_html V 28 dir 4-235756.0.r394904/95050 K 21 octave-forge-geometry V 28 dir 4-282489.0.r394904/95415 K 20 octave-forge-gnuplot V 28 dir 4-257154.0.r394904/95778 K 16 octave-forge-gsl V 28 dir 4-220216.0.r394904/96140 K 18 octave-forge-ident V 28 dir 4-220227.0.r394904/96498 K 18 octave-forge-image V 28 dir 4-220225.0.r394904/96892 K 30 octave-forge-informationtheory V 28 dir 4-220222.0.r394904/97249 K 24 octave-forge-integration V 28 dir 4-220223.0.r394904/97621 K 21 octave-forge-interval V 27 dir 4-378280.0.r398454/1167 K 15 octave-forge-io V 26 dir 4-220224.0.r399987/981 K 17 octave-forge-irsa V 28 dir 4-220240.0.r394904/98723 K 22 octave-forge-level-set V 28 dir 4-379409.0.r394904/99114 K 27 octave-forge-linear-algebra V 28 dir 4-220221.0.r394904/99464 K 17 octave-forge-lssa V 28 dir 4-302531.0.r394904/99871 K 18 octave-forge-ltfat V 26 dir 4-327510.0.r400159/989 K 20 octave-forge-mapping V 29 dir 4-220241.0.r394904/100573 K 22 octave-forge-mechanics V 29 dir 4-282497.0.r394904/100934 K 26 octave-forge-miscellaneous V 29 dir 4-220229.0.r394904/101296 K 30 octave-forge-missing-functions V 29 dir 4-220230.0.r394904/101666 K 16 octave-forge-msh V 29 dir 4-220276.0.r394904/102036 K 22 octave-forge-multicore V 29 dir 4-220231.0.r394904/102396 K 16 octave-forge-mvn V 29 dir 4-338355.0.r394904/102762 K 16 octave-forge-nan V 29 dir 4-220232.0.r394904/103114 K 20 octave-forge-ncarray V 29 dir 4-301262.0.r394904/103467 K 19 octave-forge-netcdf V 29 dir 4-324825.0.r394904/103865 K 20 octave-forge-nlwing2 V 29 dir 4-220613.0.r394904/104225 K 17 octave-forge-nnet V 29 dir 4-220235.0.r394904/104589 K 18 octave-forge-nurbs V 26 dir 4-234591.0.r396235/992 K 16 octave-forge-ocs V 27 dir 4-220236.0.r395216/1000 K 20 octave-forge-oct2mat V 29 dir 4-234592.0.r394904/105649 K 19 octave-forge-octcdf V 29 dir 4-220233.0.r394904/106005 K 20 octave-forge-octclip V 29 dir 4-275949.0.r394904/106357 K 19 octave-forge-octgpr V 29 dir 4-220237.0.r394904/106718 K 20 octave-forge-octproj V 29 dir 4-257151.0.r394904/107073 K 19 octave-forge-odebvp V 29 dir 4-220243.0.r394904/107434 K 19 octave-forge-odepkg V 29 dir 4-220245.0.r394904/107789 K 19 octave-forge-optics V 29 dir 4-374726.0.r394904/108137 K 18 octave-forge-optim V 29 dir 4-220256.0.r394904/108488 K 24 octave-forge-optiminterp V 29 dir 4-220247.0.r394904/108893 K 21 octave-forge-outliers V 29 dir 4-220246.0.r394904/109261 K 21 octave-forge-parallel V 27 dir 4-257155.0.r400584/1040 K 16 octave-forge-pdb V 29 dir 4-220248.0.r394904/109980 K 17 octave-forge-plot V 29 dir 4-220250.0.r394904/110340 K 18 octave-forge-pt_br V 29 dir 4-220251.0.r394904/110747 K 23 octave-forge-quaternion V 29 dir 4-240209.0.r394904/111101 K 21 octave-forge-queueing V 29 dir 4-290509.0.r394904/111461 K 19 octave-forge-secs1d V 29 dir 4-220252.0.r394904/111826 K 19 octave-forge-secs2d V 29 dir 4-220253.0.r394904/112189 K 19 octave-forge-secs3d V 29 dir 4-281674.0.r394904/112552 K 19 octave-forge-signal V 29 dir 4-220275.0.r394904/112907 K 17 octave-forge-simp V 29 dir 4-234593.0.r394904/113267 K 20 octave-forge-sockets V 29 dir 4-220254.0.r394904/113620 K 20 octave-forge-specfun V 29 dir 4-220255.0.r394904/113981 K 27 octave-forge-special-matrix V 29 dir 4-220257.0.r394904/114345 K 26 octave-forge-spline-gcvspl V 29 dir 4-220258.0.r394904/114716 K 20 octave-forge-splines V 27 dir 4-220259.0.r402682/1047 K 23 octave-forge-statistics V 29 dir 4-220260.0.r394904/115430 K 16 octave-forge-stk V 26 dir 4-370002.0.r399230/978 K 20 octave-forge-strings V 29 dir 4-220261.0.r394904/116130 K 19 octave-forge-struct V 29 dir 4-220262.0.r394904/116483 K 20 octave-forge-symband V 29 dir 4-220263.0.r394904/116843 K 21 octave-forge-symbolic V 27 dir 4-220273.0.r402557/1003 K 23 octave-forge-tcl-octave V 29 dir 4-220272.0.r394904/117561 K 16 octave-forge-tsa V 26 dir 4-220274.0.r397112/986 K 18 octave-forge-video V 29 dir 4-220266.0.r394904/118323 K 20 octave-forge-xraylib V 29 dir 4-220269.0.r394904/118685 K 19 octave-forge-zenity V 29 dir 4-220271.0.r394904/119049 K 4 ogdf V 26 dir 2-326473.0.r385871/734 K 4 oleo V 26 dir 2-211.0.r387082/474247 K 10 open-axiom V 26 dir 4-221592.0.r402909/617 K 8 openblas V 29 dir 4-303185.0.r384932/526525 K 7 openfst V 26 dir 4-337544.0.r371396/729 K 5 orpie V 29 dir 4-115770.0.r385413/471972 K 18 p5-AI-DecisionTree V 29 dir 4-96718.0.r373448/4275374 K 13 p5-AI-Genetic V 29 dir 4-156456.0.r375378/809895 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.r375378/811345 K 26 p5-Algorithm-Combinatorics V 30 dir 4-147444.0.r373448/4279559 K 21 p5-Algorithm-CurveFit V 30 dir 4-175978.0.r373448/4280624 K 19 p5-Algorithm-KMeans V 27 dir 4-257239.0.r376183/1115 K 20 p5-Algorithm-Munkres V 30 dir 4-226893.0.r386312/1587006 K 15 p5-Bit-ShiftReg V 29 dir 4-36694.0.r373448/4283803 K 13 p5-Bit-Vector V 25 dir 4-36695.0.r382491/679 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.r375378/812059 K 18 p5-Chart-Math-Axis V 29 dir 4-81251.0.r373448/4287955 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 27 dir 4-176189.0.r389377/1776 K 20 p5-GIS-Distance-Fast V 30 dir 4-249051.0.r373448/4292127 K 20 p5-GIS-Distance-Lite V 30 dir 4-254315.0.r373448/4293180 K 22 p5-Geo-Coordinates-UTM V 30 dir 4-220658.0.r386312/1587745 K 15 p5-Geo-Distance V 30 dir 4-113427.0.r373448/4295287 K 18 p5-Geo-Distance-XS V 30 dir 4-242265.0.r373448/4296337 K 8 p5-Graph V 29 dir 4-48625.0.r373448/4297361 K 23 p5-Math-Algebra-Symbols V 26 dir 4-163417.0.r388060/675 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.r386097/782332 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 26 dir 4-48714.0.r401266/1150 K 23 p5-Math-BigInt-FastCalc V 27 dir 4-265782.0.r402955/1444 K 18 p5-Math-BigInt-GMP V 27 dir 4-184781.0.r402956/1032 K 19 p5-Math-BigInt-Pari V 27 dir 4-233108.0.r402295/1039 K 14 p5-Math-BigRat V 29 dir 4-130283.0.r381221/180876 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.r396892/933014 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 29 dir 4-36721.0.r373448/4317157 K 18 p5-Math-Derivative V 27 dir 4-122444.0.r388319/1043 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.r394693/1002 K 12 p5-Math-GMPf V 26 dir 4-299792.0.r399758/856 K 12 p5-Math-GMPq V 27 dir 4-299793.0.r400764/1017 K 12 p5-Math-GMPz V 27 dir 4-299794.0.r400887/1015 K 11 p5-Math-GSL V 26 dir 4-93041.0.r401646/1467 K 16 p5-Math-Geometry V 26 dir 4-171149.0.r398529/579 K 23 p5-Math-Geometry-Planar V 29 dir 4-163036.0.r375378/815691 K 27 p5-Math-Geometry-Planar-GPC V 29 dir 4-163030.0.r375378/816434 K 35 p5-Math-Geometry-Planar-GPC-Polygon V 29 dir 4-270720.0.r402586/494490 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.r375378/817180 K 24 p5-Math-Geometry-Voronoi V 30 dir 4-237725.0.r373448/4334926 K 16 p5-Math-Gradient V 30 dir 4-250756.0.r373448/4335980 K 14 p5-Math-Int128 V 27 dir 4-309299.0.r385564/1024 K 13 p5-Math-Int64 V 29 dir 4-287425.0.r390915/293853 K 19 p5-Math-Interpolate V 26 dir 4-39661.0.r398530/1037 K 33 p5-Math-Intersection-StraightLine V 27 dir 4-156258.0.r388316/1095 K 13 p5-Math-Logic V 28 dir 4-32904.0.r375378/818670 K 11 p5-Math-MPC V 27 dir 4-232087.0.r376184/1588 K 12 p5-Math-MPFR V 27 dir 4-227941.0.r402424/1014 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.r376186/1662 K 22 p5-Math-NumberCruncher V 30 dir 4-186674.0.r373448/4346518 K 12 p5-Math-Pari V 26 dir 4-47654.0.r380673/1299 K 15 p5-Math-Polygon V 26 dir 4-225610.0.r379944/630 K 20 p5-Math-Polygon-Tree V 27 dir 4-270721.0.r386326/1214 K 24 p5-Math-Polynomial-Solve V 27 dir 4-176197.0.r400287/1056 K 16 p5-Math-Prime-XS V 26 dir 4-282260.0.r394488/672 K 11 p5-Math-RPN V 30 dir 4-255436.0.r373448/4352805 K 14 p5-Math-Random V 26 dir 4-44833.0.r395693/1461 K 20 p5-Math-Random-ISAAC V 30 dir 4-245337.0.r373448/4354884 K 23 p5-Math-Random-ISAAC-XS V 26 dir 4-245340.0.r381259/732 K 17 p5-Math-Random-MT V 26 dir 4-44834.0.r402547/1591 K 22 p5-Math-Random-MT-Auto V 30 dir 4-168585.0.r373448/4358052 K 17 p5-Math-Random-OO V 29 dir 4-168753.0.r375378/819387 K 21 p5-Math-Random-Secure V 30 dir 4-271137.0.r373448/4360151 K 17 p5-Math-RandomOrg V 29 dir 4-163887.0.r375378/820114 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.r375378/820837 K 16 p5-Math-Sequence V 29 dir 4-162468.0.r375378/821559 K 14 p5-Math-Series V 29 dir 4-162470.0.r375378/822278 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.r375378/822995 K 14 p5-Math-String V 29 dir 4-294395.0.r381221/181594 K 16 p5-Math-Symbolic V 26 dir 4-162398.0.r387755/662 K 33 p5-Math-Symbolic-Custom-CCompiler V 26 dir 4-162405.0.r376097/695 K 32 p5-Math-Symbolic-Custom-Contains V 30 dir 4-162400.0.r373448/4372717 K 40 p5-Math-Symbolic-Custom-ErrorPropagation V 30 dir 4-162443.0.r373448/4373829 K 35 p5-Math-Symbolic-Custom-LaTeXDumper V 30 dir 4-162451.0.r373448/4374939 K 31 p5-Math-Symbolic-Custom-Pattern V 26 dir 4-162453.0.r379945/681 K 38 p5-Math-Symbolic-Custom-Simplification V 29 dir 4-162455.0.r375378/823740 K 38 p5-Math-Symbolic-Custom-Transformation V 30 dir 4-162457.0.r373448/4378250 K 24 p5-Math-SymbolicX-BigNum V 29 dir 4-162439.0.r375378/824495 K 25 p5-Math-SymbolicX-Complex V 30 dir 4-162441.0.r373448/4380402 K 23 p5-Math-SymbolicX-Error V 30 dir 4-162466.0.r373448/4381472 K 24 p5-Math-SymbolicX-Inline V 30 dir 4-162403.0.r373448/4382541 K 34 p5-Math-SymbolicX-NoSimplification V 29 dir 4-162447.0.r375378/825246 K 40 p5-Math-SymbolicX-ParserExtensionFactory V 30 dir 4-162408.0.r373448/4384740 K 42 p5-Math-SymbolicX-Statistics-Distributions V 29 dir 4-162445.0.r375378/826015 K 19 p5-Math-TrulyRandom V 28 dir 4-56269.0.r390918/515645 K 13 p5-Math-Units V 30 dir 4-163406.0.r373448/4387967 K 13 p5-Math-Utils V 27 dir 4-399363.0.r402418/1017 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 30 dir 4-233830.0.r373448/4391080 K 9 p5-NetCDF V 28 dir 4-95218.0.r396892/935529 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 30 dir 4-162459.0.r373448/4396331 K 25 p5-Number-WithError-LaTeX V 29 dir 4-162464.0.r375378/826775 K 14 p5-Parse-Range V 26 dir 4-307768.0.r376690/586 K 8 p5-Roman V 29 dir 4-74709.0.r373448/4399453 K 14 p5-Set-IntSpan V 29 dir 2-15554.0.r373448/4400476 K 19 p5-Set-IntSpan-Fast V 30 dir 4-185253.0.r373448/4401524 K 22 p5-Set-IntSpan-Fast-XS V 30 dir 4-216139.0.r386312/1589227 K 16 p5-Set-Partition V 29 dir 4-164542.0.r375378/827505 K 13 p5-Set-Window V 29 dir 4-36754.0.r373448/4404658 K 19 p5-Statistics-Basic V 30 dir 4-238507.0.r386312/1589966 K 21 p5-Statistics-Benford V 30 dir 4-233155.0.r373448/4406759 K 23 p5-Statistics-ChiSquare V 29 dir 4-36628.0.r373448/4407813 K 25 p5-Statistics-Contingency V 29 dir 4-97202.0.r373448/4408873 K 25 p5-Statistics-Descriptive V 26 dir 4-36744.0.r390117/1066 K 34 p5-Statistics-Descriptive-Discrete V 29 dir 4-179882.0.r375378/828248 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 30 dir 4-251668.0.r373448/4414225 K 17 p5-Statistics-LTU V 29 dir 4-36746.0.r373448/4415269 K 21 p5-Statistics-LineFit V 30 dir 4-175980.0.r386312/1591442 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 27 dir 4-270409.0.r400288/1143 K 24 p5-Statistics-Regression V 30 dir 4-189404.0.r373448/4420517 K 19 p5-Statistics-TTest V 30 dir 4-205995.0.r386312/1592178 K 21 p5-Task-Math-Symbolic V 30 dir 4-169617.0.r373448/4422637 K 16 p5-Text-AsciiTeX V 26 dir 4-290408.0.r376486/970 K 9 p5-bignum V 27 dir 4-192022.0.r398087/1003 K 4 pari V 26 dir 2-7032.0.r372555/21314 K 8 parmetis V 26 dir 2-19366.0.r375624/7270 K 11 parmgridgen V 27 dir 4-266353.0.r397096/2864 K 4 pdal V 29 dir 4-363814.0.r391657/127562 K 20 pear-Math_BigInteger V 28 dir 4-281425.0.r369092/46820 K 23 pear-Math_Combinatorics V 29 dir 4-192312.0.r402439/672807 K 12 pecl-big_int V 29 dir 4-135512.0.r402450/450350 K 11 pecl-bitset V 27 dir 4-195159.0.r373135/1223 K 10 pecl-stats V 29 dir 4-169238.0.r402450/451000 K 11 pecl-trader V 27 dir 4-343761.0.r343761/2322 K 11 php5-bcmath V 30 dir 4-114147.0.r340722/4319117 K 8 php5-gmp V 30 dir 8-114147.0.r340722/4319675 K 12 php55-bcmath V 38 dir 4-114147.13-321684.r340722/4321458 K 9 php55-gmp V 38 dir 8-114147.14-321684.r340722/4322110 K 12 php56-bcmath V 37 dir 4-114147.14-367268.r367268/482408 K 9 php56-gmp V 37 dir 8-114147.15-367268.r367268/483058 K 8 physcalc V 28 dir 4-32044.0.r400848/712890 K 7 picosat V 36 dir 4-365711.0-366063.r366063/258003 K 5 plman V 29 dir 4-151700.0.r387082/475256 K 8 ploticus V 28 dir 4-53652.0.r390310/838057 K 14 ploticus-nox11 V 25 dir 4-90788.0.r361015/411 K 6 plplot V 25 dir 2-8139.0.r399182/1060 K 10 plplot-ada V 27 dir 4-344634.0.r399177/3163 K 8 primegen V 26 dir 4-231112.0.r347112/807 K 4 prng V 28 dir 4-250787.0.r361962/11588 K 12 proofgeneral V 26 dir 4-141552.0.r396096/729 K 4 pspp V 26 dir 4-28424.0.r390284/2124 K 9 pure-mpfr V 30 dir 12-289858.0.r401096/728555 K 13 pure-rational V 29 dir 4-283584.0.r401096/729213 K 11 py-altgraph V 27 dir 4-373537.0.r373537/2228 K 7 py-apgl V 28 dir 4-263688.0.r371328/14371 K 10 py-basemap V 27 dir 4-175627.0.r378831/1425 K 15 py-basemap-data V 28 dir 4-180648.0.r371328/15726 K 10 py-bitmath V 27 dir 4-392067.0.r392067/2250 K 12 py-bitvector V 28 dir 4-180881.0.r371328/16380 K 13 py-bottleneck V 26 dir 4-335898.0.r402279/979 K 12 py-colormath V 27 dir 4-392173.0.r392173/2273 K 16 py-cryptominisat V 27 dir k-385495.0.r385495/6656 K 14 py-fastcluster V 28 dir 4-336815.0.r371328/17687 K 6 py-ffc V 28 dir 4-294745.0.r372555/27892 K 7 py-fiat V 28 dir 4-294821.0.r371328/19067 K 10 py-fpconst V 27 dir 4-90550.0.r371328/19716 K 7 py-gato V 29 dir 4-47357.0.r386312/1592892 K 7 py-gmpy V 30 dir 4-217040.0.r386312/1593547 K 10 py-gnuplot V 28 dir 4-30139.0.r397461/220389 K 14 py-graphillion V 36 dir 4-321453.0-321557.r385637/133459 K 6 py-gsl V 25 dir 4-54726.0.r398254/802 K 9 py-igraph V 27 dir 4-180374.0.r376833/1059 K 10 py-mathdom V 26 dir 4-215823.0.r396894/688 K 13 py-matplotlib V 29 dir 4-115380.0.r400758/395849 K 9 py-mpmath V 28 dir 4-221772.0.r371328/25130 K 10 py-munkres V 26 dir 4-312268.0.r403312/963 K 11 py-networkx V 27 dir 4-214918.0.r401958/2819 K 11 py-numarray V 25 dir 4-62097.0.r382094/790 K 10 py-numeric V 24 dir f-6349.0.r381462/652 K 10 py-numexpr V 27 dir 4-257393.0.r398618/1564 K 8 py-numpy V 27 dir 4-171823.0.r401140/1449 K 9 py-nzmath V 28 dir 4-275009.0.r372555/29325 K 9 py-pandas V 27 dir 4-302642.0.r400611/1052 K 8 py-patsy V 27 dir 4-333533.0.r374217/8492 K 10 py-plastex V 29 dir 4-221239.0.r401096/729871 K 11 py-probstat V 25 dir 4-67863.0.r381585/862 K 10 py-pybloom V 28 dir 4-269385.0.r371328/31308 K 10 py-pycosat V 33 dir 4-365712.1-366063.r366068/617 K 8 py-pyfst V 26 dir 4-371395.0.r390633/528 K 7 py-pymc V 26 dir 4-224222.0.r395944/550 K 8 py-roman V 28 dir 4-284510.0.r371328/31956 K 13 py-scientific V 27 dir 2-20396.0.r372555/30068 K 14 py-statsmodels V 28 dir 4-334582.0.r395483/11443 K 10 py-svgmath V 28 dir 4-234452.0.r371328/34055 K 9 py-symeig V 29 dir 4-220906.0.r394508/782676 K 8 py-sympy V 27 dir 4-218429.0.r403370/1402 K 9 py-theano V 30 dir 4-380579.0.r386312/1594239 K 6 py-ufl V 28 dir 4-294823.0.r371328/35977 K 8 py-viper V 28 dir 4-294824.0.r371328/36613 K 9 qalculate V 29 dir 4-117583.0.r393444/629975 K 2 qd V 28 dir 4-188439.0.r372555/32222 K 5 qhull V 28 dir 4-107890.0.r395483/12184 K 6 qhull5 V 28 dir m-107890.0.r395483/12918 K 8 qrupdate V 30 dir 4-239012.0.r386312/1594992 K 7 qtiplot V 29 dir 4-135221.0.r395231/429648 K 11 qtiplot-doc V 29 dir 4-172675.0.r377770/510035 K 8 qtoctave V 29 dir 4-228607.0.r379845/389718 K 13 qwtplot3d-qt4 V 28 dir e-117647.0.r372555/36695 K 7 randlib V 24 dir z-6153.0.r365997/559 K 5 rapid V 27 dir 4-206921.0.r387891/1147 K 6 reduce V 29 dir 4-344974.0.r390310/838793 K 12 reed-solomon V 29 dir 4-138189.0.r361099/133691 K 11 rkward-kde4 V 34 dir i-160825.0-402161.r402378/4673 K 10 rngstreams V 29 dir 4-222881.0.r361099/134394 K 4 rocs V 30 dir e1-283641.0.r381052/691267 K 6 rpcalc V 29 dir 4-248945.0.r380306/168154 K 3 rpy V 25 dir 4-92667.0.r400613/545 K 4 rpy2 V 25 dir i-92667.0.r388444/589 K 12 ruby-algebra V 26 dir 4-42397.0.r396013/2117 K 25 rubygem-expression_parser V 29 dir 4-385782.0.r391169/859877 K 13 rubygem-fftw3 V 27 dir 4-368187.0.r368187/2095 K 14 rubygem-narray V 27 dir 4-349189.0.r378557/1031 K 19 rubygem-narray_miss V 27 dir 4-349190.0.r349190/2206 K 18 rubygem-numru-misc V 27 dir 4-356622.0.r380307/5743 K 19 rubygem-numru-units V 29 dir 4-356619.0.r391169/860550 K 14 rubygem-rb-gsl V 26 dir 4-378107.0.r389462/529 K 4 saga V 26 dir 4-244368.0.r402226/620 K 4 sage V 29 dir 4-289761.0.r394508/783367 K 2 sc V 30 dir 4-225542.0.r386312/1595739 K 9 scalapack V 27 dir 4-80147.0.r398833/51862 K 6 scilab V 26 dir 1d-6991.0.r399136/2731 K 19 scilab-toolbox-sivp V 28 dir 4-200249.0.r372555/43319 K 18 scilab-toolbox-swt V 28 dir 4-165598.0.r372555/44076 K 4 sdpa V 28 dir 4-90200.0.r401096/730569 K 6 sdpara V 29 dir 4-104439.0.r401096/731309 K 4 sfft V 27 dir 4-324787.0.r375097/6251 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 30 dir 4-288144.0.r386312/1597179 K 7 slgrace V 30 dir 4-198545.0.r386312/1597884 K 4 snns V 27 dir 2-17571.0.r372555/47724 K 9 solitaire V 28 dir 4-44401.0.r400848/713588 K 4 spar V 25 dir 4-43374.0.r388517/936 K 6 spblas V 27 dir 4-288564.0.r375097/6932 K 11 speedcrunch V 26 dir 4-197663.0.r386721/603 K 7 spooles V 28 dir 4-80138.0.r387082/478339 K 13 spooles-mpich V 25 dir 4-80140.0.r358373/410 K 3 stp V 29 dir 4-215221.0.r383107/648899 K 11 suitesparse V 26 dir 4-167234.0.r386119/504 K 7 superlu V 25 dir 2-12384.0.r385210/595 K 10 superlu_mt V 28 dir 4-84726.0.r385847/345691 K 4 surf V 28 dir 4-41833.0.r390310/840116 K 6 tablix V 28 dir 4-148920.0.r372555/53475 K 5 taucs V 26 dir 4-97207.0.r370106/1824 K 7 testu01 V 29 dir 4-223948.0.r384215/566379 K 6 tetgen V 27 dir 4-153525.0.r366828/2063 K 5 timbl V 28 dir 4-208938.0.r372555/54860 K 12 tomsfastmath V 26 dir 4-141334.0.r401496/915 K 5 topaz V 28 dir 2-22794.0.r386097/783074 K 8 triangle V 29 dir 6-121715.0.r386097/783766 K 5 trlan V 30 dir 4-283045.0.r367888/2508555 K 10 truthtable V 27 dir 4-167406.0.r380307/7140 K 5 tvmet V 27 dir 4-63519.0.r372555/57030 K 3 ufc V 26 dir 4-296121.0.r371460/884 K 3 ump V 27 dir 4-161401.0.r378549/2592 K 5 units V 29 dir 4-49519.0.r386312/1599280 K 6 unuran V 28 dir 4-222882.0.r360499/25922 K 13 vowpal_wabbit V 26 dir 4-377088.0.r390634/635 K 4 vtk5 V 28 dir 13-19163.0.r397378/58406 K 9 vtk5-data V 29 dir 4-313143.0.r374492/629853 K 4 vtk6 V 26 dir 4-339158.0.r402510/594 K 5 wcalc V 27 dir 4-190954.0.r402219/1512 K 6 wfmath V 28 dir 4-128419.0.r372555/60648 K 4 why3 V 26 dir 4-356538.0.r402062/664 K 10 why3-spark V 35 dir k-356538.0-403466.r403466/19312 K 6 wingz3 V 27 dir l-4797.0.r386097/784491 K 8 wxMaxima V 29 dir 4-139194.0.r397077/628871 K 8 x12arima V 30 dir 4-259688.0.r367888/2513022 K 5 xblas V 27 dir 4-288627.0.r375097/8204 K 5 xgobi V 25 dir 4-51784.0.r402566/636 K 6 xgraph V 24 dir 2-498.0.r376508/2313 K 7 xlapack V 30 dir 4-289645.0.r367888/2513578 K 6 xldlas V 29 dir 2-10705.0.r386312/1600818 K 5 xplot V 26 dir 2-5861.0.r360499/28651 K 6 xppaut V 26 dir 4-123347.0.r397669/838 K 7 xspread V 24 dir 2-1904.0.r367887/657 K 5 yacas V 28 dir 4-44287.0.r388831/380862 K 2 z3 V 27 dir 4-397543.0.r397618/2313 END ENDREP id: 1-162.0.r403466/55864 type: dir pred: 1-162.0.r403436/168898 count: 10332 text: 403466 19522 36329 0 d5f839fdbce57272d9eb81a3eb937046 cpath: /head/math copyroot: 0 / PLAIN K 10 .arcconfig V 26 file 1-354154.0.r391201/64 K 10 .gitignore V 26 file 1-348322.0.r376072/79 K 7 CHANGES V 27 file 1-99373.0.r400846/2247 K 15 CONTRIBUTING.md V 27 file 1-348323.0.r348323/344 K 9 COPYRIGHT V 26 file 1-146787.0.r375875/49 K 4 GIDs V 28 file 1-168311.0.r402837/1521 K 8 Keywords V 27 dir 1-314142.0.r399974/1114 K 5 LEGAL V 25 file 1-748.0.r400622/2897 K 5 MOVED V 26 file 1-69878.0.r403466/401 K 8 Makefile V 22 file 1-6.0.r365265/122 K 2 Mk V 23 dir 1-5.0.r403297/22480 K 6 README V 25 file 1-2408.0.r340854/956 K 9 Templates V 24 dir 1-2932.0.r400392/749 K 5 Tools V 26 dir 3-15302.0.r397867/3222 K 4 UIDs V 28 file 4-168311.0.r402837/1802 K 8 UPDATING V 28 file 1-102685.0.r403445/1092 K 13 accessibility V 27 dir 1-42583.0.r401900/10690 K 6 arabic V 26 dir 1-38973.0.r401516/1273 K 9 archivers V 25 dir 1-242.0.r403280/11529 K 5 astro V 24 dir 1-301.0.r403351/6993 K 5 audio V 25 dir 1-148.0.r403387/42386 K 10 benchmarks V 24 dir 1-62.0.r403254/53017 K 7 biology V 25 dir 1-9066.0.r403064/5523 K 3 cad V 24 dir 1-276.0.r403149/5971 K 7 chinese V 25 dir 1-3770.0.r403201/8232 K 5 comms V 23 dir 1-76.0.r403451/9840 K 10 converters V 26 dir 1-1561.0.r403255/54582 K 9 databases V 25 dir 1-771.0.r403460/53047 K 9 deskutils V 26 dir 1-2098.0.r403440/16499 K 5 devel V 25 dir 1-73.0.r403457/286806 K 3 dns V 26 dir 1-6145.0.r403455/12029 K 7 editors V 23 dir 4-6.0.r403436/15874 K 9 emulators V 25 dir 1-181.0.r403357/10308 K 7 finance V 26 dir 1-4110.0.r403459/11850 K 6 french V 28 dir 1-25673.0.r403201/300037 K 3 ftp V 24 dir 1-199.0.r403132/5506 K 5 games V 25 dir 1-104.0.r403436/73684 K 6 german V 25 dir 1-7451.0.r403422/2712 K 8 graphics V 24 dir 1-94.0.r403453/55411 K 6 hebrew V 28 dir 3-31142.0.r400704/134089 K 9 hungarian V 29 dir 1p-38973.0.r400704/135609 K 3 irc V 23 dir 1-42.0.r402989/8379 K 8 japanese V 25 dir 1-410.0.r403339/15812 K 4 java V 25 dir 1-2798.0.r403465/6822 K 6 korean V 27 dir 1-5873.0.r400848/647845 K 4 lang V 24 dir 1-15.0.r403466/18267 K 4 mail V 24 dir 1-57.0.r403439/40546 K 4 math V 25 dir 1-162.0.r403466/55864 K 4 misc V 24 dir 7-35.0.r403394/25708 K 10 multimedia V 25 dir d-333.0.r403327/24266 K 3 net V 24 dir 1-22.0.r403456/70935 K 6 net-im V 28 dir 15-11144.0.r403300/11064 K 8 net-mgmt V 26 dir r-1011.0.r403385/18304 K 7 net-p2p V 26 dir g-29106.0.r403284/6382 K 4 news V 24 dir 1-145.0.r402733/6997 K 4 palm V 25 dir 1-6646.0.r402271/1784 K 6 polish V 27 dir tv-38973.0.r402375/2769 K 10 ports-mgmt V 25 dir 1-5132.0.r403001/4776 K 10 portuguese V 28 dir 1-17842.0.r403201/304131 K 5 print V 24 dir 1-79.0.r403399/14559 K 7 russian V 27 dir 1-1559.0.r403201/307348 K 7 science V 26 dir n-5356.0.r403452/10549 K 8 security V 26 dir 1-269.0.r403438/143643 K 6 shells V 22 dir w-6.0.r403278/2661 K 8 sysutils V 25 dir b-339.0.r403390/59380 K 8 textproc V 25 dir 1-322.0.r403424/91252 K 9 ukrainian V 28 dir g-39704.0.r400704/163411 K 10 vietnamese V 28 dir 1-4812.0.r401096/1216886 K 3 www V 26 dir 1-114.0.r403462/135442 K 3 x11 V 25 dir 1-16.0.r403297/814748 K 10 x11-clocks V 24 dir 1-931.0.r403328/5944 K 11 x11-drivers V 27 dir 1-157567.0.r403182/4350 K 6 x11-fm V 27 dir 1-691.0.r401096/1408148 K 9 x11-fonts V 25 dir 1-543.0.r403449/12115 K 11 x11-servers V 25 dir 1n-710.0.r400485/1821 K 10 x11-themes V 27 dir 1-14410.0.r402443/10813 K 12 x11-toolkits V 26 dir 1-120.0.r403297/829568 K 6 x11-wm V 23 dir 1-40.0.r403463/7579 END ENDREP id: 2-1.0.r403466/59454 type: dir pred: 2-1.0.r403465/10410 count: 400907 text: 403466 56035 3406 0 252365967812b24a192a597877b890df props: 7322 2587 45 0 7a04b33bf8e35fd5c3d111baaf403dc5 cpath: /head copyroot: 0 / PLAIN K 8 branches V 24 dir 0-1.0.r403447/169541 K 4 head V 23 dir 2-1.0.r403466/59454 K 8 projects V 30 dir 0-377393.0.r378744/3577692 K 8 svnadmin V 22 dir 3-1.0.r402266/1244 K 4 tags V 22 dir 8-1.0.r393564/5019 END ENDREP id: 0.0.r403466/59895 type: dir pred: 0.0.r403465/10850 count: 403466 text: 403466 59670 212 0 669d5c857d6049425465fc9338340867 props: 341041 7130 346 0 8b695b9f61597e4917effffba3bbfaa3 cpath: / copyroot: 0 / minfo-cnt: 29 1-69878.0.t403465-8nbe modify-file true false /head/MOVED 8-390479.0.t403465-8nbe modify-file true false /head/lang/spark/Makefile 2-185.0.t403465-8nbe modify-file true false /head/math/Makefile k-356538.0.r390670/3963 delete-dir false false /head/math/why3-gpl k-356538._0.t403465-8nbe add-dir false false /head/math/why3-spark 403465 /head/math/why3-gpl l-356538._0.t403465-8nbe modify-file true false /head/math/why3-spark/Makefile 59895 60119