DELTA 293795 0 869 SVNRŽN*ƒ)€a‚/&€lS„z€V ‡W·3†€D'‰\€z‚P‹…x^m‘QkÛ0…Ÿ_!ÚGß½:>>Ç±ƒª‰WÏÌÁÎ*Y|éHMôþõ{Û=H0é€}…Îñhê®E2Bè.çÅ"š3ÔöÏAýd\¤ù‚ßÈWr£ °uµÕkeädô²GD’ò~,áôøpîµZ!ç?ÞáANxßèÖ£¥`eGóŒÏÐälÝ²£Œ²¬,">c vÖi‰ÐM$Ê8_LÓÙ’Ô›,=*h†ƒµzÂþ6Î¦é¯þ?ä Ãme¤r‘±7ò»ÂÇeâ…_ž&xÑ2+èÞó×"ö„©µ/Kh7m0˜Gå¬Ùúºñ'_¨’ðy@.W$u±M§¬iÉvs…Qk|l¥®šÌ“<½náƒØ;ÕÝ‡ÒÖØXˆ€ÿˆõÇK|Èþýü1“Ÿ>™}Ð×w.âñM)ÅgÝkê3tÍó[æÿpXhý¶ke6Ø< ¯ÅKÍÕENDREP DELTA 293795 896 149 SVN€SHA256 (coq-8.4pl1.tar.gz) = 5d0e4553ab50677a94b4d5ca1650a90718e9362082a649ba95be4010390a0f80 SIZE (coq-8.4pl1.tar.gz) = 4139808 ENDREP DELTA 293795 4454 41 SVN‚l‚¥ †–y†x^RyLÔWþj!±xQ1F¤E%4lµD-Šb¡€" Ø¸ëºŠî†%¦X—ÕxtYæ{?¥/ìa«Rc%«)hWÛõÖ˜Ô&UÛhÓÔ£FãÕÔx%&Îþó&3™7ó#VO°‚Í=;Áøy8ŠÛm]à|~9^¦ƒeÜáj‡‡»æ s`Þ¥™uìÁµý¾³¸.SL<ø ÷8…ÙòN£0|÷æJ Ø—J÷€q|Ø Å¨ááx¸¹F8NþS¦òÏì}à2^‰—9(ã_+…y`7ô£€RÃ³éÍ0¼Ü2FÊcYKI>îv†@;/¿ãæ-oVÏNö3y~š,…qñ…Vzù[AŒQ9·‡Á¼” V ðôØë3YºÜŠãÞ:£ƒÃY0C¸Ï“ømæ¡Xhk4Ê }±ª“ÌÉb²1£`ªÙ9á;™Rø}(ç¡Åb¼XÈ®à0žûr¤ªùcu³–»ÓÅJB%£GÀÁŒ:×a¾¾ÃcEÂ7°‚MÞÀ®OúÆÎãnõàúðµàdÞôHžn»ö¶XêWïs¯ SuÊ¯ÅÂpPtž”€ÙÇ¦lƒï¸KNøZá?å:ˆ'ƒ!ø~ž²zÞ!&AcGn¨·Ë-0ã°ã'}»k¥Î“¶(ëÁNÔ_\ÒŽÂK9êûåJ°ô±ì˜}bõ‚ûtÎ³£e æì· óQÒæWßÛ%Î>àˆµšúÛQu·^ÉŽk]‡¯ÀÆE*¤VŸ«U£¿?~Œ¢WmÖ-× çˆõh¼å”…(¾‘+ÖhåøÙ‡Š/ë¿˜°R6¦ƒi[ Œ9- ÿUêzìhaEK‚øQwO…ý~a¸àA¾Aÿÿ)R }âó7¨IUð‘L«’(Å2RþÉÙ{C³ô|šÓ,Â=š³ üSh-…Ø=KIKz$<£·’é}bé–¨pf{PD¿£úƒR# %SNt¹UM$Eëc@5á’:æ•Å²òÚ”úñ=˜\ÚÃºÍ5ãk¡è.H ±Æ îõ¯2§’æh¿ôÞ«K^VDc@1Â°\{(gGh¬hR+õ.õ,Td9ÊütiN¬dDžcì™›Ò“m¸=ZîçL§bXPQ"gÓÇ(BÈããSG¤7ˆgjñQ‘S©ÿk7Ï( ¼7BS9—t‡Jž²=$3Ou¼pñÓ&+YDÞ¨,÷ç¦Â áSÐšÊª)‡‰pÓµ¬–”T¯´³ŠT$©’'MM»écÆd->¨TT/å~Á‘ -maUúë\l=t ôÛòø~Ã!˜y¡áXž\ý½’ú/J¦Òo¼ÄH8Â¨Î4;†Çˆ»“,/¨5•š!ÎGG¿Ú+süòï’†cï(,›±¹ûO¼C}‰v¢á9 ?-Ñ²lu{ÚÉ‰ñ‚d{d^ÝPnÚëïuE?´0Ãs„Y©ßš*F¼Qs—JZpRžSÿŽÐÒBKg”Ó„§oO1„ÑŠð™2nÒç]ÓŸ9 ;'^²ŠE@Ç.õÍ°Í&1Vb:o´d…5„½šósZ˜¤°yìM@?çEò%áZôÀÜà<äÜ€¾DG™3ò\õ8G™W*ªÒBßÜ”÷ ór¼>ãå03×Bž‹4Ñª©¶0•X7³©ÿˆßÂÄ£÷g˜¼³Ä‚íÍHÔh ãnr»UZÂô®@ž¿hpï?iöVp¸y`ÇGð!>iûJNØj7‚qŽé°'1Ÿ´ø=÷DÜâ%¾¸ÅÓj¾©`¹¦ÉÊ´´5p¢"3õw1^Pmöq_§‘ÎTë|ÃÌ Ëíeà\]@SËsd#IÙ5Ì jÚVs²ö^Â‚>;oYåæ+wd±¤–G&ª{d± ÞÇiÌ<S‹ÅMvÇŠ•=ÀiõJ4-¥`ÐÒš¬nOLT àLä4ùSïþŒ¡ÀšK†Çx»¶€óã{ÃŽ¤¤y‘5àU²‡Ì«µW!ë=SU¸b<é}}w?]&Ýˆ£`ÑÔdP º€[d}ÜÁé2ƒþOAo²[`Ú£ç$Ñ4ÓBÚ]Twgì…Îz«‘6b}¤.›‚q•ˆŠ$ùjŽ/´ªˆšÖ6hÂåµ¤3„=¦.ì&«HZ‰Îl~RN:pCw¥Mú~ÔûÇš¿‹sˆòX±¬…ï÷4;Piží`{uä#?nFîd‚rÇË«¿›A/—KÊßÙ)¡`Ñpæ¢b¤œgS÷2¸LåusWj»ô9Ø,Æo~ËìlJ’r!+R²¿Ãlqëó§æz.ÞŠ26ž®:ÂPáâvI\m“À{Û4/'åêå‰Ñ2ågwŒ• ‡“žFƒæ2˜bà‰Ø‰F0™<¹sÚhìÆ#.†´çhA‡h¸Cfc ,…PÁÎxÃQ6z;¤z™-J±M5¬ES-RÙNŠáº.¢V.µƒéÒ¼Ôuõ’<ë7Ð§ª4ÿ½6À„€q–Á_ÏttrB`) BX©&…4Ÿ|zÖ¸ˆH5[˜]ÚS/’pp(;ß&œèvêuÃþ{9ÊÝ›“år9JTÆØï›¾OR¡,.±PvÌù„A¨vñ¶˜V/øwŸ°×ÎŠ4Pšhªïõ@ÐEÊËN²á7ª°3ÁwÌn?KÝ%DWYT=EÔ.^s†ÿA—1ç-ƒéA"îlw>ŒƒsNg> £üH¤šK)`îØCö¦¢ô¶´ûI&šù°Ú¼‹ê¬4&ÁÚ¼eš„6îe£&Ûrˆ¦âx>UÌohÆ¾’žFk1¯ÔPˆdb›f´ís"“À.ä@%§e{2y¬.×'D(‰<û3¢¶;ô¹†ìLõnÜ{${ãÏ^®Ó‰,šŠrm¾ksþAqY†ˆ‹¬æ`¼‡Eâ ¦çõ(pFy P{w*À)^ÂNu®Drñ(È8à„±ý`ºVíiT{VÉJx¨F¥è³Œ hC¨jèÒãN7_ÀCáök|H¨w4g:¨Lýžšv§åtóV UŒ~ñúzý¸yIo7÷\_‡hmÜË\¥mS ±©qÛö¥^8<¿¶ÅÝyØ&¶gÅ>¦Ã ²ªˆ©z2(. ÀMX¨Í@©å{:~<Ò¸–¶C…qÇ~É÷i®`À‹qÓNuõ-4ìá^3–=½ŸéÎ¼ÑÃ•øE1$çaéçi.ÑàÅ¸iOuI0üú‹aY½j_1ÁTcýúa¶ûˆY˜}ÑabK²ƒYSÀ…‡°STU’#µdG2êÆz4»§Xi3Bæüâ7Ú{ ’4ÿ¶è¨tBµ `–“¥#YH¶“j"ô'œo”š_˜A‡í«%üãqÌŒ‹Æ©H3jÜ>›F÷ÌÍìçN~¤RcÌ6;*Í·N…#â4Ó¶<ÿËÖ»á; ÃÙ”“}H»Á"\Xž‹Hì±„ÁÏÑÌ·z -”‹f~ë‘6,XUí‰¤ …!LÓ/%Sµ¾äÛZFôàúK)²Ck—G1&ãÐ/˜QÊÿpåúúáöûíÃóæúÚÆ\óâê¿9“²úWOòuÒ*“ŽëW£ ?TLÂÝX9n»Î$ØNÈãPç8MÙÖ+¥sVÇÁÎ3Àã ÷ Cpì¿€KŒ‰…[N28XV¢ª}'©Ý‹ŒÈP[Xu`Òå%t¯í0Â¾ŒÅDû-q÷2CÜ×´RìWTu½ð¥%jËÓå‹0jUcâä¡í—@õnŸŠ¬¥0)ª·ÛZP½Ý©ƒê~/ÐÆ~ÿ#eb6ü`äÛr‹;V,§gA¿)©ÍÇÏÅkJ¸0[™[øMVîsÁ¬™ß´¸8gÞâ·» sË|æ<›M¯³t»CöA4àø¸›9Tw{xñÞí6!£ºÝ¤ª½ŸDbhÍö'¨úUã¢}Ëˆëöç8±¨aÅõŸñš]Ååu\6¿KDÅ¸©ý(ªšy˜8 ïý"7¨ýmï·ÀWÿu,‡™ENDREP id: 5-119551.0.r312410/4432 type: file pred: 5-119551.0.r300896/19322933 count: 36 text: 312410 0 462 1870 1677c5dab2023c431117b2cdb954c745 cd77afcde11bddaf66e7ef75163444ae0be2516d 312409-6p2b/_4 props: 300896 19322882 38 0 b6b34f029ed66be42751a530d6e4b830 cpath: /head/math/coq/Makefile copyroot: 0 / id: 8-119551.0.r312410/4735 type: file pred: 8-119551.0.r300896/19321234 count: 15 text: 312410 488 147 129 3a5f97835d5f0c819924dd1c9e57fca3 d4f62eba750c1b2573c10ad172a50f67b6bf5374 312409-6p2b/_5 props: 300896 19321188 33 0 d2b74571aba906f64dadd6584b7cea1d cpath: /head/math/coq/distinfo copyroot: 0 / PLAIN END ENDREP id: 6-264298.0.r312410/5056 type: dir pred: 6-264298.0.r300896/19322339 count: 5 text: 312410 5039 4 4 2d2977d1c96f487abe4a1e202dd03b4e cpath: /head/math/coq/files copyroot: 0 / PLAIN K 15 fbsd:nokeywords V 3 yes END ENDREP id: c-119551.0.r312410/5281 type: file pred: c-119551.0.r300896/19322575 count: 13 text: 312410 663 3741 37517 0651a662c053370bab839e772e141d9f af2f2c4b06f9b4acc5c2e6864ac20a5b25f8cbcc 312409-6p2b/_7 props: 312410 5235 33 0 d2b74571aba906f64dadd6584b7cea1d cpath: /head/math/coq/pkg-plist copyroot: 0 / PLAIN K 8 Makefile V 28 file 5-119551.0.r312410/4432 K 8 distinfo V 28 file 8-119551.0.r312410/4735 K 5 files V 27 dir 6-264298.0.r312410/5056 K 9 pkg-descr V 32 file a-119551.0.r300896/19321584 K 9 pkg-plist V 28 file c-119551.0.r312410/5281 END ENDREP id: 4-119551.0.r312410/5839 type: dir pred: 4-119551.0.r300896/19323510 count: 39 text: 312410 5585 241 241 f88cdff598f2cdaf9fb5ee2a07c0a49a cpath: /head/math/coq copyroot: 0 / PLAIN K 5 GiNaC V 30 dir 2-39165.0.r300896/17945125 K 8 Makefile V 24 file 2-185.0.r312268/748 K 3 PDL V 31 dir 6-103726.0.r300896/18419549 K 1 R V 28 dir 2-10844.0.r309935/426075 K 14 R-cran-Formula V 29 dir 4-290383.0.r309935/426854 K 11 R-cran-KFAS V 29 dir 4-290923.0.r309935/427645 K 17 R-cran-LearnBayes V 29 dir 4-307669.0.r309935/428308 K 15 R-cran-MCMCpack V 29 dir 4-307527.0.r309935/428971 K 11 R-cran-RHmm V 29 dir 4-308467.0.r309935/429628 K 17 R-cran-RSvgDevice V 27 dir 4-232562.0.r312190/1141 K 16 R-cran-SuppDists V 29 dir 4-273730.0.r309935/431220 K 12 R-cran-Zelig V 27 dir 4-231151.0.r310306/1289 K 16 R-cran-bdsmatrix V 29 dir 4-290384.0.r309935/432798 K 10 R-cran-car V 29 dir 4-233130.0.r310522/356415 K 11 R-cran-coda V 27 dir 4-267903.0.r310428/1142 K 13 R-cran-deldir V 29 dir 4-281926.0.r309935/435129 K 16 R-cran-dlmodeler V 29 dir 4-301445.0.r309935/435792 K 13 R-cran-gpclib V 29 dir 4-231150.0.r309935/436575 K 13 R-cran-gtable V 29 dir 4-303703.0.r309935/437232 K 13 R-cran-igraph V 26 dir 5-289904.0.r311734/997 K 13 R-cran-inline V 29 dir 4-253936.0.r309935/438785 K 15 R-cran-labeling V 29 dir 4-296327.0.r309935/439577 K 13 R-cran-memisc V 27 dir 4-290170.0.r311163/1498 K 14 R-cran-mvtnorm V 29 dir 4-270503.0.r309935/441167 K 11 R-cran-nnls V 29 dir 4-302939.0.r309935/441830 K 12 R-cran-psych V 29 dir 4-261267.0.r309935/442617 K 15 R-cran-quadprog V 29 dir 4-309473.0.r310522/357077 K 15 R-cran-sandwich V 29 dir 4-282214.0.r309935/444075 K 9 R-cran-sm V 29 dir 7-230661.0.r309935/444868 K 9 R-cran-sp V 29 dir 4-230304.0.r309935/445640 K 12 R-cran-spdep V 27 dir 4-281929.0.r310292/1108 K 17 R-cran-stabledist V 29 dir 4-309474.0.r310522/357745 K 10 R-cran-xts V 26 dir 4-280789.0.r310827/979 K 10 R-cran-zoo V 29 dir 4-280788.0.r309935/448618 K 6 aamath V 27 dir 4-137923.0.r308009/1947 K 6 abakus V 27 dir 4-152678.0.r307215/2473 K 3 abs V 30 dir 2-16350.0.r300896/18537073 K 3 add V 30 dir 2-12939.0.r300896/18603975 K 5 algae V 30 dir 4-82139.0.r300896/18195833 K 9 algotutor V 31 dir 4-126758.0.r300896/18902330 K 8 alt-ergo V 31 dir 4-287773.0.r300896/19089845 K 8 analitza V 30 dir 8l-297371.0.r311483/911360 K 3 ann V 31 dir 4-253818.0.r300896/19094846 K 3 apc V 29 dir 2-6710.0.r300896/19168253 K 6 aribas V 31 dir 4-193965.0.r300896/17921720 K 6 arpack V 30 dir 4-80169.0.r300896/18880592 K 8 arpack++ V 30 dir 4-95234.0.r300896/18217312 K 9 arpack-ng V 27 dir 4-300064.0.r304174/1230 K 8 asir2000 V 30 dir 4-47162.0.r300896/18236894 K 9 asymptote V 29 dir 4-140404.0.r302037/584848 K 5 atlas V 25 dir 4-56117.0.r305888/990 K 11 atlas-devel V 30 dir 4-90176.0.r300896/18400784 K 4 bamg V 30 dir 4-97121.0.r300896/17977660 K 8 bargraph V 31 dir 4-294217.0.r300896/18486060 K 7 biggles V 30 dir 4-50529.0.r300896/19270118 K 5 bihar V 29 dir 2-5603.0.r300896/18078890 K 5 blacs V 30 dir 4-80142.0.r300896/17950314 K 4 blas V 28 dir 2-280.0.r300896/18479854 K 7 blitz++ V 30 dir 4-67732.0.r300896/19127967 K 12 blocksolve95 V 29 dir 4-121707.0.r301684/587232 K 4 calc V 28 dir 3-162.0.r300896/18059082 K 6 calcoo V 28 dir 4-53344.0.r304323/194005 K 8 calctool V 25 dir 2-4947.0.r303070/4623 K 6 cantor V 30 dir ce-283641.0.r311483/913092 K 5 carve V 29 dir 4-291926.0.r311310/701194 K 5 cblas V 31 dir 4-288838.0.r300896/19146201 K 6 ccmath V 30 dir 4-40118.0.r300896/18441153 K 4 cgal V 29 dir 4-159258.0.r311718/526083 K 5 chaco V 31 dir 4-161300.0.r300896/19040885 K 9 chryzodus V 31 dir 4-138937.0.r300896/18386793 K 8 clarence V 30 dir 4-54038.0.r300896/18709810 K 7 clipper V 27 dir 4-312105.0.r312105/2980 K 3 cln V 30 dir 4-38257.0.r300896/19182229 K 3 clp V 31 dir 4-198778.0.r300896/19184740 K 6 coinmp V 28 dir 4-278529.0.r301960/12738 K 8 concorde V 30 dir 4-30153.0.r300896/18650154 K 10 convertall V 29 dir 4-117581.0.r311476/541924 K 3 coq V 27 dir 4-119551.0.r312410/5839 K 6 crlibm V 31 dir 4-288947.0.r300896/18014661 K 4 cvc3 V 31 dir 4-188227.0.r300896/18047728 K 7 dcdflib V 30 dir 2-15563.0.r300896/17906946 K 7 diehard V 26 dir 4-62415.0.r308016/1898 K 9 dieharder V 31 dir 4-222883.0.r300896/18302350 K 9 digitizer V 29 dir 4-165022.0.r310871/723494 K 6 dislin V 28 dir 4-95795.0.r303710/358728 K 6 djbfft V 30 dir 4-59197.0.r300896/18231132 K 5 drgeo V 28 dir k-72881.0.r301684/587994 K 6 dynare V 27 dir 4-282473.0.r310748/1305 K 1 e V 31 dir 4-120706.0.r300896/18031014 K 8 edenmath V 29 dir 4-172517.0.r301684/588711 K 5 eigen V 26 dir 4-206969.0.r307463/998 K 6 eigen2 V 31 dir e-206969.0.r300896/19176702 K 6 eigen3 V 27 dir o-206969.0.r307432/1665 K 7 eispack V 28 dir 2-299.0.r300896/18023808 K 13 elmer-umfpack V 31 dir 4-160347.0.r300896/18605833 K 10 emacs-calc V 31 dir 4-139096.0.r300896/18909553 K 4 emc2 V 26 dir 4-97124.0.r303077/1614 K 7 entropy V 30 dir 4-64354.0.r300896/18654964 K 3 ess V 27 dir 4-276061.0.r311146/1205 K 9 eukleides V 30 dir 4-60610.0.r300896/18761126 K 4 eval V 30 dir 2-10680.0.r300896/18297039 K 6 facile V 31 dir 4-206967.0.r300896/19197840 K 4 fann V 31 dir 4-186705.0.r300896/18597209 K 3 fbm V 30 dir 4-84729.0.r300896/18988345 K 12 fflas-ffpack V 31 dir 4-283609.0.r300896/18855256 K 4 fftw V 30 dir 2-17276.0.r300896/19349034 K 10 fftw-float V 31 dir 4-121298.0.r300896/18992661 K 5 fftw3 V 25 dir f-17276.0.r312217/738 K 11 fftw3-float V 31 dir 4-121063.0.r300896/17995403 K 10 fftw3-long V 31 dir 8-121063.0.r300896/19237552 K 10 fftw3-quad V 31 dir 4-283696.0.r300896/18424960 K 5 fityk V 31 dir 4-130578.0.r300896/18152143 K 8 fpc-fftw V 31 dir 4-172531.0.r300896/18999575 K 7 fpc-gmp V 31 dir 4-259369.0.r300896/18954151 K 10 fpc-numlib V 31 dir 4-226018.0.r300896/19107217 K 7 freefem V 29 dir 2-5307.0.r300896/18281257 K 7 freemat V 29 dir 4-132275.0.r308630/711355 K 11 freemat-mpi V 31 dir 4-132277.0.r300896/19345676 K 6 fricas V 29 dir 4-222842.0.r311445/271465 K 9 fung-calc V 28 dir 4-82667.0.r302037/586373 K 3 fxt V 30 dir 4-50672.0.r300896/18571923 K 10 galculator V 25 dir 4-83610.0.r312185/934 K 6 gambit V 30 dir 4-75161.0.r300896/18573743 K 3 gap V 26 dir 4-58970.0.r312018/1120 K 9 gcalctool V 30 dir 4-61145.0.r300896/17982110 K 6 gdcalc V 30 dir 4-62875.0.r300896/19235014 K 3 geg V 28 dir 2-12406.0.r309602/130197 K 13 geogebra-i18n V 27 dir 4-143470.0.r309963/5198 K 7 geonext V 28 dir 4-128341.0.r308605/23454 K 5 gexpr V 30 dir 4-43961.0.r300896/19211448 K 5 ggobi V 31 dir 4-249715.0.r300896/17963822 K 8 giacxcas V 27 dir 2-261551.0.r311303/3095 K 6 givaro V 31 dir 4-283582.0.r300896/18691068 K 7 glgraph V 30 dir 4-72664.0.r300896/17952130 K 3 glm V 27 dir 4-301955.0.r301955/4086 K 4 glpk V 26 dir 4-36057.0.r311306/3685 K 5 gmm++ V 27 dir 4-218131.0.r301982/1794 K 3 gmp V 26 dir 4-43514.0.r312232/1376 K 7 gmp-ecm V 31 dir 4-164283.0.r300896/18824273 K 5 gnubc V 31 dir 4-249168.0.r300896/17996826 K 8 gnumeric V 30 dir 2-14193.0.r300896/19026993 K 7 gnuplot V 24 dir 2-184.0.r307637/1195 K 6 goblin V 30 dir 2-55478.0.r300896/19092356 K 8 gotoblas V 31 dir 4-184333.0.r300896/18122030 K 5 grace V 25 dir 2-17277.0.r308462/988 K 9 gracetmpl V 30 dir 4-92440.0.r300896/18021342 K 10 graphthing V 27 dir 2-54530.0.r301960/14213 K 5 gretl V 28 dir 2-56450.0.r301663/274744 K 3 gri V 28 dir 4-34352.0.r311914/511354 K 4 grpn V 30 dir 2-23410.0.r300896/18936693 K 3 gsl V 30 dir 4-27399.0.r300896/18429794 K 7 hs-Agda V 29 dir 4-247094.0.r311736/772133 K 18 hs-Agda-executable V 29 dir 4-247095.0.r311736/772805 K 15 hs-NumInstances V 29 dir 5-291121.0.r311736/773484 K 13 hs-categories V 29 dir 7-279687.0.r311736/774472 K 10 hs-comonad V 29 dir 7-279689.0.r311736/775452 K 23 hs-comonad-transformers V 29 dir 7-279693.0.r311736/776455 K 14 hs-comonads-fd V 30 dir h6-311736.0.r311736/778013 K 16 hs-contravariant V 29 dir 7-279690.0.r311736/778657 K 12 hs-data-lens V 29 dir 5-291123.0.r311736/779328 K 21 hs-data-lens-template V 29 dir 5-291124.0.r311736/780004 K 15 hs-distributive V 29 dir 7-279691.0.r311736/781715 K 6 hs-erf V 29 dir 4-247108.0.r311736/782384 K 12 hs-groupoids V 30 dir ht-311736.0.r311736/783919 K 10 hs-ieee754 V 29 dir 5-298136.0.r311736/784555 K 17 hs-math-functions V 29 dir 4-290293.0.r311736/785225 K 13 hs-mwc-random V 29 dir 4-247119.0.r311736/785899 K 7 hs-nats V 30 dir i7-311736.0.r311736/787426 K 10 hs-pointed V 29 dir 7-279695.0.r311736/788369 K 14 hs-probability V 29 dir 4-247118.0.r311736/789039 K 22 hs-semigroupoid-extras V 30 dir ik-311736.0.r311736/790614 K 16 hs-semigroupoids V 29 dir 7-279692.0.r311736/791583 K 13 hs-semigroups V 29 dir 7-279685.0.r311736/792572 K 13 hs-statistics V 29 dir 4-247125.0.r311736/793243 K 15 hs-vector-space V 29 dir 4-247746.0.r311736/793917 K 6 igraph V 29 dir 4-217031.0.r305610/558038 K 8 isabelle V 31 dir 4-141691.0.r300896/18422496 K 4 ised V 29 dir 4-251331.0.r305369/440521 K 3 itl V 30 dir 2-97432.0.r300896/18643143 K 5 jacal V 30 dir 4-56207.0.r300896/17988165 K 4 jags V 27 dir 4-110135.0.r306820/1632 K 20 jakarta-commons-math V 28 dir 4-127742.0.r308605/24176 K 21 jakarta-commons-math3 V 28 dir 4-297407.0.r308605/24910 K 4 jama V 30 dir 4-82179.0.r300896/19081605 K 7 javanns V 28 dir 4-52707.0.r303710/359484 K 8 javaview V 31 dir 4-138870.0.r300896/18708388 K 7 jeuclid V 28 dir 4-249767.0.r308605/25634 K 10 jlatexmath V 26 dir 4-249766.0.r308832/954 K 6 jsmath V 29 dir 4-164162.0.r301684/589431 K 12 jsmath-fonts V 31 dir e-164162.0.r300896/17991902 K 19 jsmath-fonts-sprite V 31 dir 4-169608.0.r300896/18773032 K 11 jtransforms V 29 dir 4-262245.0.r311016/374525 K 3 jts V 27 dir 4-192174.0.r312393/2165 K 7 k3dsurf V 27 dir 4-156476.0.r307398/3815 K 8 kalgebra V 30 dir cs-283641.0.r311483/914652 K 5 kash3 V 31 dir 2-159951.0.r300896/18463472 K 6 kbruch V 30 dir d2-283641.0.r311483/915909 K 5 kcalc V 28 dir 15-8441.0.r311483/917154 K 3 kig V 30 dir dh-283641.0.r311483/918402 K 9 kktdirect V 31 dir 4-288407.0.r300896/18903761 K 6 kmplot V 30 dir dr-283641.0.r311483/919656 K 7 koctave V 28 dir 4-97428.0.r309662/704849 K 4 kseg V 30 dir 4-47883.0.r300896/19060004 K 7 labplot V 29 dir 4-150102.0.r309662/705612 K 6 lambda V 31 dir 4-109095.0.r300896/17993331 K 6 lapack V 25 dir 2-3178.0.r309957/1261 K 8 lapack++ V 30 dir 4-61741.0.r300896/18552675 K 8 lapack95 V 31 dir 4-117551.0.r300896/19232516 K 7 lapacke V 31 dir 4-269254.0.r300896/18980948 K 7 laspack V 31 dir 4-140069.0.r300896/18131695 K 7 ldouble V 31 dir 4-121047.0.r300896/19284724 K 6 levmar V 31 dir 4-259952.0.r300896/17958700 K 4 libR V 29 dir 4-278444.0.r309206/472483 K 8 libRmath V 31 dir 4-109219.0.r300896/18752039 K 8 libflame V 31 dir 4-288536.0.r300896/19032526 K 8 libjbigi V 28 dir 4-151920.0.r308605/27053 K 8 liblbfgs V 31 dir 4-256810.0.r300896/18942522 K 9 libmath++ V 31 dir 2-103550.0.r300896/17927016 K 10 libmissing V 27 dir 4-309324.0.r309697/1277 K 9 libneural V 30 dir 4-29962.0.r300896/18206310 K 7 libocas V 27 dir 4-283033.0.r304217/1526 K 9 liborigin V 31 dir 4-171749.0.r300896/18545675 K 12 libqalculate V 27 dir 4-136977.0.r305953/1092 K 9 libranlip V 31 dir 4-253982.0.r300896/18705414 K 10 libtommath V 29 dir 4-141328.0.r308777/370772 K 9 libtsnnls V 31 dir 4-263280.0.r300896/18459112 K 7 linpack V 28 dir 2-298.0.r300896/19054451 K 13 linux-relview V 30 dir 4-68813.0.r300896/18629891 K 9 lll_spect V 31 dir 4-249994.0.r300896/19278845 K 8 lp_solve V 30 dir 4-85171.0.r300896/18686700 K 4 lrng V 31 dir 4-274784.0.r300896/18056639 K 3 ltl V 31 dir 4-174849.0.r300896/18918800 K 6 ltl2ba V 31 dir 4-274737.0.r300896/18261057 K 6 lybniz V 31 dir 4-203550.0.r300896/19350867 K 9 matharray V 29 dir 4-175706.0.r305832/721467 K 10 mathomatic V 29 dir 4-133081.0.r310443/436528 K 5 matio V 27 dir 4-250256.0.r308784/1082 K 8 matrices V 31 dir 4-176116.0.r300896/18538509 K 6 matrix V 30 dir 4-40614.0.r300896/18010999 K 6 maxima V 28 dir 4-73483.0.r311445/272265 K 9 mbasecalc V 31 dir 4-111633.0.r300896/18017949 K 5 metis V 30 dir 2-10682.0.r300896/18139644 K 9 metis-edf V 28 dir m-85421.0.r301684/590920 K 6 metis4 V 30 dir p-10682.0.r300896/18276600 K 14 mingw32-libgmp V 27 dir 4-220558.0.r312260/1277 K 6 miracl V 28 dir 4-126683.0.r308737/51649 K 3 moo V 31 dir 4-190340.0.r300896/18794848 K 3 mpc V 26 dir 4-232062.0.r302138/651 K 6 mpexpr V 30 dir 4-90359.0.r300896/18125413 K 4 mpfr V 27 dir 4-141316.0.r302470/1421 K 6 mprime V 30 dir 4-79865.0.r300896/18381899 K 6 msieve V 31 dir 4-181482.0.r300896/19217279 K 3 mtl V 30 dir 4-56139.0.r300896/19017874 K 8 mtrxmath V 28 dir 4-39458.0.r301684/591629 K 5 mumps V 31 dir 4-164274.0.r300896/18569438 K 11 mumps-mpich V 31 dir 4-168703.0.r300896/18181368 K 8 muparser V 31 dir 4-156125.0.r300896/18326598 K 11 naturalmath V 30 dir 4-50943.0.r300896/18424341 K 5 nauty V 30 dir 4-43274.0.r300896/18393722 K 5 ndiff V 31 dir 4-101356.0.r300896/18488582 K 6 newmat V 30 dir 4-51145.0.r300896/18561148 K 6 ngraph V 27 dir 2-21453.0.r301960/15667 K 3 ntl V 25 dir 2-30415.0.r312396/837 K 7 numdiff V 31 dir 4-175879.0.r300896/18492274 K 7 nyh-hoc V 31 dir 4-197599.0.r300896/18503933 K 16 ocaml-ocamlgraph V 31 dir 4-110162.0.r300896/17928887 K 8 ocamlgsl V 29 dir 4-276544.0.r303029/238254 K 6 octave V 25 dir 2-1566.0.r311306/4527 K 12 octave-forge V 26 dir 4-108647.0.r311536/745 K 22 octave-forge-actuarial V 31 dir 2-256728.0.r300896/17954031 K 15 octave-forge-ad V 31 dir 4-220200.0.r300896/18928942 K 18 octave-forge-audio V 31 dir 4-220205.0.r300896/17942588 K 17 octave-forge-base V 31 dir 4-220196.0.r300896/18872479 K 16 octave-forge-bim V 27 dir 4-220286.0.r306469/1204 K 20 octave-forge-bioinfo V 31 dir 4-220217.0.r300896/18060969 K 16 octave-forge-cgi V 27 dir 4-307605.0.r307605/3138 K 30 octave-forge-civil-engineering V 31 dir 4-220219.0.r300896/18070779 K 27 octave-forge-communications V 31 dir 4-220277.0.r300896/19023033 K 20 octave-forge-control V 27 dir 4-220279.0.r306830/1095 K 27 octave-forge-data-smoothing V 31 dir 4-220282.0.r300896/18435441 K 21 octave-forge-database V 27 dir 4-311535.0.r311535/3248 K 22 octave-forge-dataframe V 31 dir 2-260164.0.r300896/18930847 K 18 octave-forge-dicom V 31 dir 4-288077.0.r300896/18508357 K 25 octave-forge-econometrics V 27 dir 4-220228.0.r311782/1587 K 19 octave-forge-engine V 31 dir 4-220215.0.r300896/18150290 K 15 octave-forge-es V 31 dir 4-257152.0.r300896/19152072 K 17 octave-forge-fenv V 31 dir 4-257153.0.r300896/18127999 K 22 octave-forge-financial V 31 dir 4-220278.0.r300896/18700716 K 17 octave-forge-fits V 27 dir 4-268658.0.r301536/1102 K 20 octave-forge-fl-core V 31 dir 4-268879.0.r300896/19229358 K 16 octave-forge-fpl V 27 dir 4-220211.0.r306831/1255 K 32 octave-forge-fuzzy-logic-toolkit V 27 dir 4-275950.0.r305212/1281 K 15 octave-forge-ga V 31 dir 4-220281.0.r300896/19227461 K 20 octave-forge-general V 27 dir 4-220226.0.r301976/1107 K 26 octave-forge-generate_html V 26 dir 4-235756.0.r305807/654 K 21 octave-forge-geometry V 27 dir 4-282489.0.r305806/1281 K 20 octave-forge-gnuplot V 31 dir 4-257154.0.r300896/18540405 K 16 octave-forge-gsl V 31 dir 4-220216.0.r300896/18344765 K 18 octave-forge-ident V 31 dir 4-220227.0.r300896/18853388 K 18 octave-forge-image V 27 dir 4-220225.0.r307196/1365 K 30 octave-forge-informationtheory V 31 dir 4-220222.0.r300896/18653526 K 24 octave-forge-integration V 31 dir 4-220223.0.r300896/19164214 K 15 octave-forge-io V 27 dir 4-220224.0.r309553/1195 K 17 octave-forge-irsa V 31 dir 4-220240.0.r300896/18517048 K 17 octave-forge-java V 27 dir 4-299668.0.r308959/4156 K 27 octave-forge-linear-algebra V 31 dir 4-220221.0.r300896/19102373 K 17 octave-forge-lssa V 27 dir 4-302531.0.r302698/1068 K 20 octave-forge-mapping V 31 dir 4-220241.0.r300896/18839457 K 22 octave-forge-mechanics V 27 dir 4-282497.0.r303356/1107 K 26 octave-forge-miscellaneous V 27 dir 4-220229.0.r305942/3128 K 30 octave-forge-missing-functions V 31 dir 4-220230.0.r300896/19299861 K 16 octave-forge-msh V 27 dir 4-220276.0.r306470/1203 K 22 octave-forge-multicore V 31 dir 4-220231.0.r300896/19141380 K 16 octave-forge-nan V 31 dir 4-220232.0.r300896/18156532 K 20 octave-forge-ncarray V 27 dir 4-301262.0.r301262/3238 K 20 octave-forge-nlwing2 V 31 dir 4-220613.0.r300896/19112805 K 17 octave-forge-nnet V 31 dir 4-220235.0.r300896/18175488 K 18 octave-forge-nurbs V 31 dir 4-234591.0.r300896/18412837 K 16 octave-forge-ocs V 31 dir 4-220236.0.r300896/18340306 K 20 octave-forge-oct2mat V 31 dir 4-234592.0.r300896/19104288 K 19 octave-forge-octcdf V 31 dir 4-220233.0.r300896/19191710 K 20 octave-forge-octclip V 27 dir 4-275949.0.r305211/1237 K 19 octave-forge-octgpr V 31 dir 4-220237.0.r300896/18669521 K 20 octave-forge-octproj V 27 dir 4-257151.0.r305210/1238 K 19 octave-forge-odebvp V 31 dir 4-220243.0.r300896/18049616 K 19 octave-forge-odepkg V 31 dir 4-220245.0.r300896/18826155 K 18 octave-forge-optim V 27 dir 4-220256.0.r307011/1505 K 24 octave-forge-optiminterp V 31 dir 4-220247.0.r300896/18494888 K 21 octave-forge-outliers V 31 dir 4-220246.0.r300896/18944421 K 21 octave-forge-parallel V 31 dir 4-257155.0.r300896/19037051 K 16 octave-forge-pdb V 31 dir 4-220248.0.r300896/18482754 K 17 octave-forge-plot V 31 dir 4-220250.0.r300896/18742895 K 18 octave-forge-pt_br V 31 dir 4-220251.0.r300896/18288954 K 23 octave-forge-quaternion V 27 dir 4-240209.0.r306468/1239 K 21 octave-forge-queueing V 27 dir 4-290509.0.r311657/1100 K 19 octave-forge-secs1d V 31 dir 4-220252.0.r300896/18660554 K 19 octave-forge-secs2d V 31 dir 4-220253.0.r300896/18698806 K 19 octave-forge-secs3d V 31 dir 4-281674.0.r300896/18753922 K 19 octave-forge-signal V 27 dir 4-220275.0.r304646/1196 K 17 octave-forge-simp V 31 dir 4-234593.0.r300896/18786846 K 20 octave-forge-sockets V 31 dir 4-220254.0.r300896/19106180 K 20 octave-forge-specfun V 31 dir 4-220255.0.r300896/18719882 K 27 octave-forge-special-matrix V 31 dir 4-220257.0.r300896/18161070 K 26 octave-forge-spline-gcvspl V 31 dir 4-220258.0.r300896/18064799 K 20 octave-forge-splines V 27 dir 4-220259.0.r307868/1476 K 23 octave-forge-statistics V 27 dir 4-220260.0.r310399/1252 K 20 octave-forge-strings V 31 dir 4-220261.0.r300896/18578156 K 19 octave-forge-struct V 31 dir 4-220262.0.r300896/18755818 K 20 octave-forge-symband V 31 dir 4-220263.0.r300896/18418126 K 21 octave-forge-symbolic V 31 dir 4-220273.0.r300896/18924424 K 23 octave-forge-tcl-octave V 31 dir 4-220272.0.r300896/17895668 K 16 octave-forge-tsa V 31 dir 4-220274.0.r300896/18066690 K 18 octave-forge-video V 31 dir 4-220266.0.r300896/18522977 K 20 octave-forge-xraylib V 31 dir 4-220269.0.r300896/18496803 K 19 octave-forge-zenity V 31 dir 4-220271.0.r300896/18189131 K 4 oleo V 23 dir 2-211.0.r305189/954 K 10 open-axiom V 29 dir 4-221592.0.r311445/272978 K 8 openblas V 27 dir 4-303185.0.r309010/1377 K 5 orpie V 31 dir 4-115770.0.r300896/18477400 K 18 p5-AI-DecisionTree V 30 dir 4-96718.0.r300896/19007381 K 13 p5-AI-Genetic V 31 dir 4-156456.0.r300896/18727150 K 24 p5-AI-NeuralNet-BackProp V 30 dir 4-36554.0.r300896/18192464 K 16 p5-AI-Perceptron V 30 dir 4-36556.0.r300896/18526695 K 26 p5-Algorithm-Combinatorics V 31 dir 4-147444.0.r300896/18338418 K 21 p5-Algorithm-CurveFit V 31 dir 4-175978.0.r300896/18433512 K 19 p5-Algorithm-KMeans V 31 dir 4-257239.0.r300896/19058164 K 20 p5-Algorithm-Munkres V 31 dir 4-226893.0.r300896/18796729 K 15 p5-Bit-ShiftReg V 30 dir 4-36694.0.r300896/17983981 K 13 p5-Bit-Vector V 26 dir 4-36695.0.r310821/1049 K 21 p5-Bit-Vector-Minimal V 31 dir 4-114937.0.r300896/18214338 K 11 p5-CAD-Calc V 31 dir 4-163026.0.r300896/19028851 K 18 p5-Chart-Math-Axis V 30 dir 4-81251.0.r300896/18847780 K 13 p5-Data-Float V 31 dir 4-170065.0.r300896/18180750 K 15 p5-Date-Handler V 30 dir 4-46901.0.r300896/19087993 K 15 p5-GIS-Distance V 31 dir 4-176189.0.r300896/18732721 K 20 p5-GIS-Distance-Fast V 31 dir 4-249051.0.r300896/19215167 K 20 p5-GIS-Distance-Lite V 31 dir 4-254315.0.r300896/19333037 K 22 p5-Geo-Coordinates-UTM V 31 dir 4-220658.0.r300896/18254568 K 15 p5-Geo-Distance V 27 dir 4-113427.0.r309061/1026 K 18 p5-Geo-Distance-XS V 31 dir 4-242265.0.r300896/18635525 K 8 p5-Graph V 30 dir 4-48625.0.r300896/18284943 K 23 p5-Math-Algebra-Symbols V 31 dir 4-163417.0.r300896/17912006 K 14 p5-Math-Base36 V 27 dir 4-218266.0.r303925/1859 K 14 p5-Math-Base85 V 30 dir 4-47927.0.r300896/19019722 K 16 p5-Math-BaseCalc V 30 dir 4-61985.0.r300896/18249392 K 15 p5-Math-BaseCnv V 31 dir 4-235243.0.r300896/19296033 K 14 p5-Math-Bezier V 30 dir 4-36719.0.r300896/18913271 K 22 p5-Math-Bezier-Convert V 29 dir 4-128233.0.r301684/592361 K 14 p5-Math-BigInt V 30 dir 4-48714.0.r300896/18857097 K 23 p5-Math-BigInt-FastCalc V 31 dir 4-265782.0.r300896/18009168 K 18 p5-Math-BigInt-GMP V 31 dir 4-184781.0.r300896/18990219 K 19 p5-Math-BigInt-Pari V 31 dir 4-233108.0.r300896/19044671 K 14 p5-Math-BigRat V 31 dir 4-130283.0.r300896/19100462 K 11 p5-Math-CDF V 31 dir 4-264615.0.r300896/18887668 K 18 p5-Math-Calc-Units V 30 dir 4-61987.0.r300896/18631771 K 14 p5-Math-Cephes V 27 dir 4-163571.0.r311108/1061 K 21 p5-Math-Combinatorics V 31 dir 4-136318.0.r300896/17973896 K 15 p5-Math-Complex V 31 dir 4-205437.0.r300896/19276284 K 18 p5-Math-ConvexHull V 31 dir 4-146218.0.r300896/18092803 K 16 p5-Math-Currency V 30 dir 4-36721.0.r300896/18615146 K 18 p5-Math-Derivative V 29 dir 4-122444.0.r305130/413509 K 12 p5-Math-Evol V 31 dir 4-236599.0.r300896/18133552 K 12 p5-Math-Expr V 30 dir 4-32903.0.r300896/18378988 K 11 p5-Math-FFT V 30 dir 4-39660.0.r300896/19290375 K 22 p5-Math-FixedPrecision V 30 dir 4-36723.0.r300896/18905657 K 11 p5-Math-GMP V 30 dir 4-36724.0.r300896/18226330 K 12 p5-Math-GMPf V 31 dir 4-299792.0.r300896/18982794 K 12 p5-Math-GMPq V 31 dir 4-299793.0.r300896/19001425 K 12 p5-Math-GMPz V 27 dir 4-299794.0.r309434/1393 K 11 p5-Math-GSL V 26 dir 4-93041.0.r309061/1895 K 16 p5-Math-Geometry V 31 dir 4-171149.0.r300896/18062871 K 23 p5-Math-Geometry-Planar V 31 dir 4-163036.0.r300896/19050126 K 27 p5-Math-Geometry-Planar-GPC V 31 dir 4-163030.0.r300896/18177424 K 35 p5-Math-Geometry-Planar-GPC-Polygon V 31 dir 4-270720.0.r300896/18843991 K 30 p5-Math-Geometry-Planar-Offset V 31 dir 4-163034.0.r300896/19166166 K 24 p5-Math-Geometry-Voronoi V 31 dir 4-237725.0.r300896/18563050 K 16 p5-Math-Gradient V 31 dir 4-250756.0.r300896/18663862 K 14 p5-Math-Int128 V 26 dir 4-309299.0.r309857/734 K 13 p5-Math-Int64 V 27 dir 4-287425.0.r311254/1320 K 19 p5-Math-Interpolate V 30 dir 4-39661.0.r300896/19301775 K 33 p5-Math-Intersection-StraightLine V 31 dir 4-156258.0.r300896/18197783 K 13 p5-Math-Logic V 28 dir 4-32904.0.r301510/668938 K 11 p5-Math-MPC V 27 dir 4-232087.0.r301752/1562 K 12 p5-Math-MPFR V 27 dir 4-227941.0.r308749/1138 K 14 p5-Math-Matrix V 31 dir 4-150667.0.r300896/17990036 K 22 p5-Math-NumberCruncher V 31 dir 4-186674.0.r300896/18221433 K 12 p5-Math-Pari V 30 dir 4-47654.0.r300896/19306115 K 15 p5-Math-Polygon V 31 dir 4-225610.0.r300896/18053355 K 20 p5-Math-Polygon-Tree V 27 dir 4-270721.0.r311274/1395 K 24 p5-Math-Polynomial-Solve V 27 dir 4-176197.0.r311298/1100 K 16 p5-Math-Prime-XS V 31 dir 4-282260.0.r300896/18204446 K 11 p5-Math-RPN V 27 dir 4-255436.0.r303400/1061 K 14 p5-Math-Random V 30 dir 4-44833.0.r300896/18729009 K 20 p5-Math-Random-ISAAC V 31 dir 4-245337.0.r300896/19171558 K 23 p5-Math-Random-ISAAC-XS V 31 dir 4-245340.0.r300896/19221105 K 17 p5-Math-Random-MT V 26 dir 4-44834.0.r302494/1272 K 22 p5-Math-Random-MT-Auto V 27 dir 4-168585.0.r309563/1183 K 17 p5-Math-Random-OO V 31 dir 4-168753.0.r300896/19345050 K 21 p5-Math-Random-Secure V 31 dir 4-271137.0.r300896/18767371 K 17 p5-Math-RandomOrg V 31 dir 4-163887.0.r300896/18335048 K 13 p5-Math-Round V 28 dir 4-88615.0.r305369/441231 K 17 p5-Math-Round-Var V 31 dir 4-163006.0.r300896/18953123 K 16 p5-Math-Sequence V 31 dir 4-162468.0.r300896/18170283 K 14 p5-Math-Series V 31 dir 4-162470.0.r300896/18802979 K 15 p5-Math-SigFigs V 31 dir 4-251780.0.r300896/18103057 K 22 p5-Math-SimpleVariable V 30 dir 4-60136.0.r300896/18457251 K 14 p5-Math-Spline V 29 dir 4-122448.0.r305130/414359 K 14 p5-Math-String V 31 dir 4-294395.0.r300896/19051998 K 16 p5-Math-Symbolic V 31 dir 4-162398.0.r300896/19294154 K 33 p5-Math-Symbolic-Custom-CCompiler V 31 dir 4-162405.0.r300896/18711762 K 32 p5-Math-Symbolic-Custom-Contains V 31 dir 4-162400.0.r300896/19003367 K 40 p5-Math-Symbolic-Custom-ErrorPropagation V 31 dir 4-162443.0.r300896/18324730 K 35 p5-Math-Symbolic-Custom-LaTeXDumper V 31 dir 4-162451.0.r300896/19334991 K 31 p5-Math-Symbolic-Custom-Pattern V 31 dir 4-162453.0.r300896/19096780 K 38 p5-Math-Symbolic-Custom-Simplification V 31 dir 4-162455.0.r300896/19086088 K 38 p5-Math-Symbolic-Custom-Transformation V 31 dir 4-162457.0.r300896/18351538 K 24 p5-Math-SymbolicX-BigNum V 31 dir 4-162439.0.r300896/18926349 K 25 p5-Math-SymbolicX-Complex V 31 dir 4-162441.0.r300896/18864840 K 23 p5-Math-SymbolicX-Error V 31 dir 4-162466.0.r300896/18542324 K 24 p5-Math-SymbolicX-Inline V 31 dir 4-162403.0.r300896/18500630 K 34 p5-Math-SymbolicX-NoSimplification V 31 dir 4-162447.0.r300896/19286676 K 40 p5-Math-SymbolicX-ParserExtensionFactory V 31 dir 4-162408.0.r300896/19223098 K 42 p5-Math-SymbolicX-Statistics-Distributions V 31 dir 4-162445.0.r300896/18894586 K 19 p5-Math-TrulyRandom V 30 dir 4-56269.0.r300896/18498707 K 13 p5-Math-Units V 31 dir 4-163406.0.r300896/18471988 K 11 p5-Math-Vec V 31 dir 4-141022.0.r300896/19329275 K 15 p5-Math-VecStat V 31 dir 4-129741.0.r300896/18370189 K 18 p5-Math-VectorReal V 31 dir 4-233830.0.r300896/18771129 K 13 p5-MatrixReal V 29 dir 2-8783.0.r300896/18730851 K 9 p5-NetCDF V 30 dir 4-95218.0.r300896/18946965 K 17 p5-Number-Compare V 30 dir 4-81398.0.r300896/18085702 K 18 p5-Number-Fraction V 31 dir 4-251879.0.r300896/19314689 K 21 p5-Number-Uncertainty V 31 dir 4-300704.0.r300896/18258998 K 19 p5-Number-WithError V 31 dir 4-162459.0.r300896/19109099 K 25 p5-Number-WithError-LaTeX V 31 dir 4-162464.0.r300896/19308033 K 14 p5-Parse-Range V 27 dir 4-307768.0.r307768/2854 K 8 p5-Roman V 30 dir 4-74709.0.r300896/18875761 K 14 p5-Set-IntSpan V 30 dir 2-15554.0.r300896/18555958 K 19 p5-Set-IntSpan-Fast V 31 dir 4-185253.0.r300896/19320988 K 22 p5-Set-IntSpan-Fast-XS V 31 dir 4-216139.0.r300896/17934081 K 16 p5-Set-Partition V 31 dir 4-164542.0.r300896/19280727 K 13 p5-Set-Window V 30 dir 4-36754.0.r300896/18774910 K 19 p5-Statistics-Basic V 31 dir 4-238507.0.r300896/19297915 K 21 p5-Statistics-Benford V 31 dir 4-233155.0.r300896/19292269 K 23 p5-Statistics-ChiSquare V 30 dir 4-36628.0.r300896/18877666 K 25 p5-Statistics-Contingency V 30 dir 4-97202.0.r300896/19219189 K 25 p5-Statistics-Descriptive V 26 dir 4-36744.0.r306679/1221 K 34 p5-Statistics-Descriptive-Discrete V 31 dir 4-179882.0.r300896/18830030 K 27 p5-Statistics-Distributions V 30 dir 4-36745.0.r300896/18667618 K 22 p5-Statistics-Forecast V 31 dir 4-180690.0.r300896/19236915 K 23 p5-Statistics-Frequency V 31 dir 4-251668.0.r300896/19268269 K 17 p5-Statistics-LTU V 30 dir 4-36746.0.r300896/18851490 K 21 p5-Statistics-LineFit V 31 dir 4-175980.0.r300896/18618900 K 18 p5-Statistics-Lite V 31 dir 4-122902.0.r300896/17979541 K 17 p5-Statistics-OLS V 30 dir 4-36747.0.r300896/18757707 K 15 p5-Statistics-R V 27 dir 4-270409.0.r311916/1168 K 24 p5-Statistics-Regression V 31 dir 4-189404.0.r300896/18559313 K 19 p5-Statistics-TTest V 31 dir 4-205995.0.r300896/18544224 K 21 p5-Task-Math-Symbolic V 31 dir 4-169617.0.r300896/18383799 K 16 p5-Text-AsciiTeX V 31 dir 4-290408.0.r300896/18769242 K 9 p5-bignum V 27 dir 4-192022.0.r304346/1378 K 4 pari V 29 dir 2-7032.0.r300896/18695480 K 8 parmetis V 30 dir 2-19366.0.r300896/19324924 K 11 parmgridgen V 26 dir 4-266353.0.r304277/642 K 20 pear-Math_BigInteger V 29 dir 4-281425.0.r301684/593054 K 23 pear-Math_Combinatorics V 31 dir 4-192312.0.r300896/19062109 K 12 pecl-big_int V 31 dir 4-135512.0.r300896/18607698 K 11 pecl-bitset V 27 dir 4-195159.0.r306015/1198 K 10 pecl-stats V 27 dir 4-169238.0.r311555/1342 K 5 petsc V 31 dir 4-122097.0.r300896/19135686 K 11 petsc-mpich V 31 dir 4-123312.0.r300896/17934711 K 6 pgcalc V 29 dir 4-131762.0.r309662/706329 K 11 php5-bcmath V 31 dir 4-114147.0.r300896/19229989 K 8 php5-gmp V 31 dir 8-114147.0.r300896/19245934 K 12 php52-bcmath V 31 dir k-253097.0.r300896/19060621 K 9 php52-gmp V 31 dir y-253100.0.r300896/18072100 K 12 php53-bcmath V 32 dir 67-296760.0.r300896/17910098 K 9 php53-gmp V 32 dir 6b-296760.0.r300896/18259633 K 8 physcalc V 30 dir 4-32044.0.r300896/19122253 K 5 plman V 28 dir 4-151700.0.r308605/28529 K 8 ploticus V 30 dir 4-53652.0.r300896/18099346 K 14 ploticus-nox11 V 30 dir 4-90788.0.r300896/18504555 K 6 plplot V 26 dir 2-8139.0.r311613/21079 K 8 polymake V 29 dir 4-125398.0.r308985/525879 K 8 primegen V 31 dir 4-231112.0.r300896/19077934 K 4 prng V 31 dir 4-250787.0.r300896/18622263 K 12 proofgeneral V 29 dir 4-141552.0.r303664/490294 K 4 pspp V 30 dir 4-28424.0.r300896/18818780 K 9 pure-mpfr V 32 dir 12-289858.0.r300896/18897934 K 13 pure-rational V 31 dir 4-283584.0.r300896/18640248 K 7 py-apgl V 27 dir 4-263688.0.r303642/2076 K 10 py-basemap V 31 dir 4-175627.0.r300896/19066430 K 15 py-basemap-data V 31 dir 4-180648.0.r300896/18278039 K 12 py-bitvector V 31 dir 4-180881.0.r300896/18600472 K 6 py-ffc V 31 dir 4-294745.0.r300896/19327422 K 7 py-fiat V 31 dir 4-294821.0.r300896/18465299 K 10 py-fpconst V 30 dir 4-90550.0.r300896/18613265 K 7 py-gato V 30 dir 4-47357.0.r300896/18716536 K 7 py-gmpy V 27 dir 4-217040.0.r310307/1070 K 10 py-gnuplot V 30 dir 4-30139.0.r300896/18585979 K 12 py-graphtool V 29 dir 4-274999.0.r311310/702628 K 6 py-gsl V 30 dir 4-54726.0.r300896/18584141 K 9 py-igraph V 31 dir 4-180374.0.r300896/18395550 K 10 py-mathdom V 31 dir 4-215823.0.r300896/18135395 K 13 py-matplotlib V 27 dir 4-115380.0.r310246/1641 K 9 py-mpmath V 31 dir 4-221772.0.r300896/18998549 K 10 py-munkres V 27 dir 4-312268.0.r312268/2150 K 11 py-networkx V 31 dir 4-214918.0.r300896/18354514 K 11 py-numarray V 30 dir 4-62097.0.r300896/18520380 K 10 py-numeric V 29 dir f-6349.0.r300896/17909471 K 10 py-numexpr V 27 dir 4-257393.0.r311266/2376 K 8 py-numpy V 29 dir 4-171823.0.r311381/709877 K 9 py-nzmath V 31 dir 4-275009.0.r300896/18154662 K 9 py-pandas V 27 dir 4-302642.0.r310973/2230 K 10 py-plastex V 31 dir 4-221239.0.r300896/19079787 K 11 py-probstat V 30 dir 4-67863.0.r300896/19282170 K 10 py-pybloom V 31 dir 4-269385.0.r300896/18356352 K 7 py-pymc V 31 dir 4-224222.0.r300896/18920644 K 8 py-roman V 31 dir 4-284510.0.r300896/18661991 K 13 py-scientific V 30 dir 2-20396.0.r300896/18108854 K 10 py-svgmath V 31 dir 4-234452.0.r300896/18502495 K 9 py-symeig V 31 dir 4-220906.0.r300896/18940379 K 8 py-sympy V 27 dir 4-218429.0.r312151/6493 K 6 py-ufl V 31 dir 4-294823.0.r300896/19271943 K 8 py-viper V 31 dir 4-294824.0.r300896/19030688 K 9 qalculate V 31 dir 4-117583.0.r300896/18703277 K 2 qd V 31 dir 4-188439.0.r300896/18984614 K 5 qhull V 27 dir 4-107890.0.r306943/2911 K 6 qhull5 V 28 dir m-107890.0.r301960/17181 K 8 qrupdate V 27 dir 4-239012.0.r305177/1499 K 7 qtiplot V 29 dir 4-135221.0.r311476/542688 K 11 qtiplot-doc V 29 dir 4-172675.0.r311381/711250 K 8 qtoctave V 27 dir 4-228607.0.r309366/5914 K 9 qwtplot3d V 29 dir 4-117647.0.r309662/707098 K 13 qwtplot3d-qt4 V 31 dir e-117647.0.r300896/18892595 K 7 randlib V 29 dir z-6153.0.r300896/18510447 K 5 rapid V 31 dir 4-206921.0.r300896/18088627 K 12 reed-solomon V 31 dir 4-138189.0.r300896/18342878 K 6 rkward V 29 dir 4-160825.0.r309935/451211 K 11 rkward-kde4 V 29 dir i-160825.0.r309935/451961 K 10 rngstreams V 31 dir 4-222881.0.r300896/17956180 K 4 rocs V 30 dir e1-283641.0.r311483/921328 K 12 ros-geometry V 29 dir o-265095.0.r311476/543572 K 6 rpcalc V 29 dir 4-248945.0.r311476/544406 K 3 rpy V 28 dir 4-92667.0.r309935/453247 K 4 rpy2 V 28 dir i-92667.0.r309935/454067 K 12 ruby-algebra V 30 dir 4-42397.0.r300896/18896480 K 10 ruby-fftw3 V 31 dir 4-112344.0.r300896/18938529 K 12 ruby-gnuplot V 30 dir 4-37886.0.r300896/18624103 K 8 ruby-gsl V 31 dir 4-107472.0.r300896/18450455 K 11 ruby-narray V 30 dir 4-37878.0.r300896/18202581 K 16 ruby-narray_miss V 27 dir 4-102312.0.r310801/1415 K 15 ruby-numru_misc V 31 dir 4-103994.0.r300896/18333162 K 16 ruby-numru_units V 31 dir 4-103996.0.r300896/18410950 K 4 saga V 29 dir 4-244368.0.r310871/725075 K 4 sage V 26 dir 4-289761.0.r311954/629 K 2 sc V 31 dir 4-225542.0.r300896/19074531 K 9 scalapack V 30 dir 4-80147.0.r300896/18145125 K 6 scilab V 26 dir 1d-6991.0.r309128/1247 K 19 scilab-toolbox-sivp V 29 dir 4-200249.0.r301600/451481 K 18 scilab-toolbox-swt V 29 dir 4-165598.0.r301600/452387 K 4 sdpa V 28 dir 4-90200.0.r301684/595275 K 8 sdpa-gmp V 29 dir 4-211030.0.r301684/595992 K 6 sdpara V 29 dir 4-104439.0.r301684/596759 K 6 sedumi V 31 dir 4-221262.0.r300896/18377128 K 12 simd-viterbi V 31 dir 4-138196.0.r300896/18959419 K 6 slatec V 31 dir 4-288144.0.r300896/18763648 K 7 slgrace V 29 dir 4-198545.0.r305298/378598 K 4 snns V 27 dir 2-17571.0.r311585/12110 K 9 solitaire V 30 dir 4-44401.0.r300896/18431609 K 4 spar V 30 dir 4-43374.0.r300896/18243571 K 6 spblas V 31 dir 4-288564.0.r300896/18722009 K 11 speedcrunch V 29 dir 4-197663.0.r301600/453283 K 7 spooles V 30 dir 4-80138.0.r300896/17904061 K 13 spooles-mpich V 30 dir 4-80140.0.r300896/18373752 K 3 stp V 31 dir 4-215221.0.r300896/18104473 K 11 suitesparse V 29 dir 4-167234.0.r311914/511739 K 7 superlu V 30 dir 2-12384.0.r300896/18748137 K 10 superlu_mt V 30 dir 4-84726.0.r300896/18974110 K 4 surf V 30 dir 4-41833.0.r300896/18025223 K 6 tablix V 31 dir 4-148920.0.r300896/18029190 K 5 taucs V 30 dir 4-97207.0.r300896/18672901 K 7 testu01 V 31 dir 4-223948.0.r300896/18245412 K 6 tetgen V 28 dir 4-153525.0.r302092/25602 K 5 timbl V 31 dir 4-208938.0.r300896/18992051 K 12 tomsfastmath V 29 dir 4-141334.0.r308777/371481 K 5 topaz V 30 dir 2-22794.0.r300896/18611441 K 8 triangle V 31 dir 6-121715.0.r300896/18247535 K 5 trlan V 31 dir 4-283045.0.r300896/18638805 K 10 truthtable V 28 dir 4-167406.0.r308605/30037 K 5 tvmet V 30 dir 4-63519.0.r300896/18003886 K 3 ufc V 29 dir 4-296121.0.r311310/704064 K 7 umatrix V 29 dir 2-6708.0.r300896/18081315 K 3 ump V 31 dir 4-161401.0.r300896/17971993 K 5 units V 26 dir 4-49519.0.r306382/1108 K 8 unixstat V 30 dir 4-50517.0.r300896/18714710 K 6 unuran V 31 dir 4-222882.0.r300896/19084122 K 3 vtk V 30 dir 2-19163.0.r300896/18407216 K 8 vtk-data V 30 dir b-96642.0.r300896/18994775 K 12 vtk-examples V 28 dir l-96642.0.r301663/275404 K 11 vtk-headers V 30 dir t-96642.0.r300896/19130898 K 8 vtk-java V 27 dir z-96642.0.r308605/30650 K 10 vtk-python V 31 dir 15-96642.0.r300896/18683748 K 7 vtk-tcl V 31 dir 1b-96642.0.r300896/19209359 K 4 vtk5 V 27 dir 13-19163.0.r310429/2714 K 5 wcalc V 31 dir 4-190954.0.r300896/18039795 K 6 wfmath V 29 dir 4-128419.0.r310647/314336 K 5 wingz V 29 dir 2-4797.0.r300896/18438299 K 6 wingz3 V 29 dir l-4797.0.r300896/19196014 K 8 wxMaxima V 29 dir 4-139194.0.r311445/273782 K 8 x12arima V 31 dir 4-259688.0.r300896/19005513 K 5 xblas V 31 dir 4-288627.0.r300896/18628042 K 4 xgfe V 28 dir 4-59887.0.r309662/707857 K 5 xgobi V 30 dir 4-51784.0.r300896/18166552 K 6 xgraph V 28 dir 2-498.0.r300896/18647200 K 7 xlapack V 31 dir 4-289645.0.r300896/19198447 K 6 xldlas V 30 dir 2-10705.0.r300896/17961998 K 9 xlispstat V 29 dir 2-2068.0.r300896/18390094 K 5 xplot V 29 dir 2-5861.0.r300896/18279448 K 6 xppaut V 27 dir 4-123347.0.r309496/2257 K 7 xspread V 25 dir 2-1904.0.r307278/1279 K 5 yacas V 26 dir 4-44287.0.r304904/3595 END ENDREP id: 1-162.0.r312410/41229 type: dir pred: 1-162.0.r312396/36223 count: 7807 text: 312410 6017 35199 35199 6c2e74573423f309dffb49ae84bef1ea cpath: /head/math copyroot: 0 / PLAIN K 7 CHANGES V 26 file 1-99373.0.r311920/485 K 9 COPYRIGHT V 26 file 1-146787.0.r309727/49 K 4 GIDs V 27 file 1-168311.0.r310918/151 K 5 KNOBS V 31 file 1-147337.0.r300895/4669965 K 5 LEGAL V 24 file 1-748.0.r309993/837 K 5 MOVED V 26 file 1-69878.0.r312205/648 K 8 Makefile V 21 file 1-6.0.r302115/94 K 2 Mk V 23 dir 1-5.0.r312234/11178 K 6 README V 29 file 1-2408.0.r300895/4775053 K 9 Templates V 28 dir 1-2932.0.r300895/4753190 K 5 Tools V 26 dir 3-15302.0.r312366/3587 K 4 UIDs V 27 file 4-168311.0.r312267/115 K 8 UPDATING V 27 file 1-102685.0.r312402/144 K 13 accessibility V 28 dir 1-42583.0.r311483/249514 K 6 arabic V 27 dir 1-38973.0.r311644/49717 K 9 archivers V 25 dir 1-242.0.r312365/11353 K 5 astro V 24 dir 1-301.0.r312394/8125 K 5 audio V 25 dir 1-148.0.r312364/45968 K 10 benchmarks V 23 dir 1-62.0.r312004/7295 K 7 biology V 25 dir 1-9066.0.r312356/7310 K 3 cad V 24 dir 1-276.0.r312166/6062 K 7 chinese V 25 dir 1-3770.0.r312400/9783 K 5 comms V 23 dir 1-76.0.r312376/9350 K 10 converters V 25 dir 1-1561.0.r312222/9660 K 9 databases V 25 dir 1-771.0.r312395/53660 K 9 deskutils V 26 dir 1-2098.0.r312404/16109 K 5 devel V 25 dir 1-73.0.r312409/236891 K 3 dns V 25 dir 1-6145.0.r312242/9526 K 7 editors V 23 dir 4-6.0.r312406/19712 K 9 emulators V 25 dir 1-181.0.r312310/12007 K 7 finance V 26 dir 1-4110.0.r312382/12412 K 6 french V 27 dir 1-25673.0.r311700/68183 K 3 ftp V 26 dir 1-199.0.r312119/307720 K 5 games V 25 dir 1-104.0.r312385/60396 K 6 german V 26 dir 1-7451.0.r311700/71930 K 8 graphics V 24 dir 1-94.0.r312397/55557 K 6 hebrew V 28 dir 3-31142.0.r311644/156013 K 9 hungarian V 28 dir 1p-38973.0.r311700/74046 K 3 irc V 23 dir 1-42.0.r311973/8547 K 8 japanese V 25 dir 1-410.0.r312044/19822 K 4 java V 25 dir 1-2798.0.r312134/8569 K 6 korean V 25 dir 1-5873.0.r311824/3254 K 4 lang V 24 dir 1-15.0.r312374/19331 K 4 mail V 25 dir 1-57.0.r312384/334556 K 4 math V 25 dir 1-162.0.r312410/41229 K 4 misc V 24 dir 7-35.0.r312401/34850 K 10 multimedia V 25 dir d-333.0.r312373/26643 K 3 net V 24 dir 1-22.0.r312353/67683 K 6 net-im V 28 dir 15-11144.0.r311911/29208 K 8 net-mgmt V 26 dir r-1011.0.r312368/20637 K 7 net-p2p V 26 dir g-29106.0.r312338/8729 K 4 news V 24 dir 1-145.0.r312192/5458 K 4 palm V 27 dir 1-6646.0.r311310/895550 K 6 polish V 27 dir tv-38973.0.r312239/2646 K 10 ports-mgmt V 25 dir 1-5132.0.r312269/5272 K 10 portuguese V 28 dir 1-17842.0.r311700/100146 K 5 print V 24 dir 1-79.0.r312391/21574 K 7 russian V 27 dir 1-1559.0.r311700/104769 K 7 science V 26 dir n-5356.0.r312002/14779 K 8 security V 26 dir 1-269.0.r312408/172758 K 6 shells V 22 dir w-6.0.r312138/3206 K 8 sysutils V 25 dir b-339.0.r312379/55118 K 8 textproc V 25 dir 1-322.0.r312407/90666 K 9 ukrainian V 28 dir g-39704.0.r311700/106869 K 10 vietnamese V 27 dir 1-4812.0.r311718/839387 K 3 www V 26 dir 1-114.0.r312398/123673 K 3 x11 V 24 dir 1-16.0.r312359/25742 K 10 x11-clocks V 24 dir 1-931.0.r312278/5707 K 11 x11-drivers V 30 dir 1-157567.0.r311381/1266186 K 6 x11-fm V 24 dir 1-691.0.r312202/2738 K 9 x11-fonts V 25 dir 1-543.0.r312218/10239 K 11 x11-servers V 25 dir 1n-710.0.r311444/3180 K 10 x11-themes V 27 dir 1-14410.0.r312164/12301 K 12 x11-toolkits V 25 dir 1-120.0.r312309/19739 K 6 x11-wm V 24 dir 1-40.0.r312277/10995 END ENDREP id: 2-1.0.r312410/44672 type: dir pred: 2-1.0.r312409/240338 count: 312153 text: 312410 41401 3258 3258 51c83b5eb89787f5e29e3606d7addd01 props: 308235 235189 45 0 7a04b33bf8e35fd5c3d111baaf403dc5 cpath: /head copyroot: 0 / PLAIN K 8 branches V 23 dir 0-1.0.r307934/26820 K 4 head V 23 dir 2-1.0.r312410/44672 K 8 svnadmin V 22 dir 3-1.0.r312065/1285 K 4 tags V 22 dir 8-1.0.r308518/4563 END ENDREP id: 0.0.r312410/45071 type: dir pred: 0.0.r312409/240740 count: 312410 text: 312410 44896 162 162 dfad2589a7e1752402db935f6ade95cd cpath: / copyroot: 0 / minfo-cnt: 2 5-119551.0.t312409-6p2b modify-file true false /head/math/coq/Makefile 8-119551.0.t312409-6p2b modify-file true false /head/math/coq/distinfo 7-293795.0.r300896/19321933 delete-file false false /head/math/coq/files/patch-coq-camlp5-605 c-119551.0.t312409-6p2b modify-file true true /head/math/coq/pkg-plist 45071 45239