DELTA 472948 0 34
SVN ¯V¯i  b „  Scvc4ENDREP
DELTA
SVN  wˆ>€wwx^UQo£8~Æ¿ÂêVÚ½k[uï%:NGI¹#$ÒÕI'!ñÕ±6íFmþû	iÓ“îá™ù<öÌ|3þ„/'5!£x|‰Ðb%¡3ól#Ì¿µâ½Åþ<´óä:‰7G¾ÛÆ6SüOö˜¡™'^”Æ~¢õ¥*9´,íÁÌ¥)UÆ×¢.LR4V!ž8Y!­UCüd[<øaŸÙFY“ò÷†×„®(/MEòL”;äÎg3/LlÃi”€Ð«5Ùâª¤ÆpŽg	þƒU®i¶¢Œªž‰¢a'M‰ü	¡Àw½0†P!ô[7p–±÷ªK'~ †ËçïÑŸqäî-w¾øË§zÓ({/C¤Œ®2®X}››RòH˜ÕëðßÈÐ•R¥r'Ùö¸V; ³D£¥Œ{¯%ùQÕCÀ7Š2iå]»jý­2¹Êa`ÑëVy8°s|‚pÀ™‘‹mE©‡ùÕÕÍÍ€e¼ÄÕC™¾¦%.·ÙÁp%Ãà._®éÌDž18€h?éÎ½c;"‘^¥í…2š†ËÔ‡ºŒ e­ò(§N4¯lc0(¨ÌVŒ
R^žïªÎò¨o@ž¨Úä-íËç`î:ÁÈ‰½½µ¢ÜÒÚ[óëé„Icº¸û³ã;/tßuÚÚ¨‚ñÜÝð#'œ¶µ×™ÓÌÜ>üŒõ¿%Ùî(êÄ]®£ *E—­¬ˆT¹&RZuÃÓn „æ‹º*†²O€öpœÎ,Ž<g€ŒÇÞh9=‚"gìÏ.g@À·êô ´élÝ <õì,è•£ÓSk¼uq#ØàØy)	Ö~x³%540£Îjè» <…€ø‚¿t%–¸µZFÞŠ‚@§µ¤é£‡	Ô›ð–š‘MV’Ô¦ :H;¿®^ëÉr(¸qØ¿XLgÛÿò¹UÝÍgPSÊsÖ¬¶Ö0ÜV²¸8ñåÚ¤»Çúw×‰wZŒZ!ÚŸ]z2ù·>é¾¡Ž¾]ƒ¶ÒW„^ËrrÈw?¹³šd£œôˆ®—{K[³÷ûŒr[½3t©n[ëX–ófé1›õtÒSÝ‚u—®ãüR}ø‡óëæB‘!vïÝo8c·Ã‡F—XpÜC¯±ïè©ÄºF˜rh™z{ÖzDáã¬ š¥š‚gçŒ·†³hÀpŒÖ}4ïÂD¨í´ÿHYûFÙY5å9®#Ä	ž ¢Éõ èÐ~'N¤	ÌA/9l¡DÆRÕŽ¯tnªLå›!‚Yy~¸X1ïñ€àÏòEOüRv¿Ï¸—ÞŽœn…ùÚ¿óMp³³™Û‡ß´}Nôëžvó`8{%Û¿¼œ!ÇûþÁ4¦‹àñö£1ßuGY1dBíèúÃ»è;ü7Q©NENDREP
DELTA
SVN  €TIMESTAMP = 1524235369
SHA256 (cvc4-1.5.tar.gz) = 5d6b4f8ee8420f85e3f804181341cedf6ea32342c48f355a5be87754152b14e9
SIZE (cvc4-1.5.tar.gz) = 8059968
ENDREP
DELTA
SVN  ‚I‚K€‚I‚I--- src/base/configuration.cpp.orig	2018-04-22 17:53:43 UTC
+++ src/base/configuration.cpp
@@ -291,7 +291,7 @@ std::string Configuration::getCompiler() {
 }
 
 std::string Configuration::getCompiledDateTime() {
-  return __DATE__ " " __TIME__;
+  return "(timestamp removed for reproducible builds)";
 }
 
 }/* CVC4 namespace */
ENDREP
DELTA
SVN  †ƒ€††x^•Q]KÃ0}¶¿â2A:û=‡Î9d8ñYPŸDJÖd6X“ÜªþwóaÇðãÁ<4é=çž›s’eÝÏ„‹BIÙq™7JåRóÇ½IYÍ²ršM&PÌ§“ùtw·«(I’?ú¢å²j–Cb¿§°\F°ÏEÓõ”Áb-¥ÁbÍÍ[¥ÎBØjFhÑHA9r)þ ±·†)‡×
uà$û|CÙêúJ3vqsY×®6ô© \•·ŽÌì€M;Ò£51¬=ªóv´‹H?Ë_»C½Í²LO¬Ïò(­*ëÒù\®\`
7ç {q=ÄÛ"ˆþùÖßÄ¤„õ"9…Cƒ¤y"”ê³¡nø;«<àÎ[`ðBµ%¸ílÇÇEÿfÝc?2ôBÅ¡bîñ!ù«["hÇâq
Ž4vz¬ãßâüe¼Uý‡býwï3ödÛ³c8»ÆÛV-Áx‹ŒVV…W©Ÿ˜† 
#‡¡'À+Ç6Äè3ØV4üØ‡³·ë¾|DŸU/ýENDREP
DELTA
SVN  ‚1‚3€‚1‚1An efficient open-source automatic theorem prover for satisfiability modulo
theories (SMT) problems. It can be used to prove the validity (or, dually, the
satisfiability) of first-order formulas in a large number of built-in logical
theories and their combination.

WWW: https://cvc4.cs.stanford.edu/web/
ENDREP
DELTA
SVN  Ÿ‡N€ŸŸx^•WÍŽÜ6¾ç=|¬`7°HŠ¢
m‘«@Ë²Í]YRôãìôéKËöîz$y¶‡™ñðûDRIÑ-ª†ÏüþCK²wü>
þ$ì‡ªúíÏoUµÈMd â2t"Ò›=iÕã,xÔª3ñÌ…)¢JØ,8é$;W`¼e\jWPá¥Kä¨:Tƒ#ß'¾ág¨¼°=pñ¿È¬}¢~'ÎüŽ­Ï)ƒ<¥ÁÖkûlwNtÂß&¢¢HxönÅKüo³¼”7•ÒWNÆŒÅ|Ú·“ØZ°—<'´y2`i»gvFV…x6¶k!±ûŠ0çµ¤Ìs·³“ù‹I\ˆ>&É‘<—‰Éøz¤¯"ÀPO Ð”	Ã–LB`ž¼™Ø¾2·¦2~ªá‰Ê«œ/5ÈŸdaÆŠyi¥\§é!w™Z-™‡Væ×O+¨ØÈ²¾rTþìf°¸ˆC‘NÎIÇ„r”€C˜„òÔ©Ivéf_‰èG6Š`©œ‘3ƒ³öÌ†tÇÆjCìÝŒšívP±RÅ4Á)[‚eO	_Ë}ýÈKìSÕ/®I?ö(¬;'.Ýõ–ã)I¿1?
m/ºÏ’Ö¦Ô 2!É[NAÖ”™¤8’ŠQ¦³×=¥­Oéj'Ýä—»ŒAR*$õ@‰VÔ¾PèÃ„Påt³àQ6k2QƒTJ¤7õ-Æk'ßàêàOÈëél{@Õëaý¡>äVå‰‡Ñ"´Ô{6ƒÉ^#¥E?N7IÕ:q1œ®YT Ñ'7ÔŠç·±gt˜écí¥¦$VƒÑ˜v©È&÷œ—Q ,%™¹XÞb4®)F•tÊY¬—81s³È:†BÞç<µÿB:sÀ’‹Ï%Èé`¹(Ý°;)È|Ô]îb_bwÏ'¡4@©A°V‡´b#ÅSÈ†¥ôblm0þP×UõÇÃ÷‡ª¢­yTH#{»¬\g[ÔN¿‡Sß¿U¬?–˜çÖnÙ9XX°M¾¨<þ%×‚ëEû‹ãû”Ô’ÃjóŒk;Yå'j¶ûä¨æExTóFÕP*7ôù¦þTÿîo†/ˆy…6Ù]ó÷ä]»ÿ¡hì]Nºí"‹m®±}N¸2óyõ÷óêï×‡¾þþWU5táÕFöGÙ”Êhâ‰o .‡,/—Yùœ—2ºZ	.k†`+~ÒŒ%²¶–ÓØ-7ùšîn+šG˜¡ùòýË}ý¶„m1^ÿÊáÂÚENDREP
id: 2-185.0.r472970/3469
type: file
pred: 2-185.0.r472948/1159
count: 1142
text: 472970 0 30 22505 8b485414537f0728264eb5831414cdb6 9eadf644b5ced2271b8cc95e3ae179440b552f02 472969-a4y2/_3
props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5
cpath: /head/math/Makefile
copyroot: 0 /

id: 5-472970.0.r472970/3755
type: file
count: 0
text: 472970 55 1101 2167 af97ec969c9df4f520a261cd6c35eb90 6efe55cec495f02fcb1d152d832a0d64e0b893e1 472969-a4y2/_7
props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5
cpath: /head/math/cvc4/Makefile
copyroot: 0 /

id: 8-472970.0.r472970/4021
type: file
count: 0
text: 472970 1169 165 148 8999207309824f613c61adc2dc1eb88c 914cea0200a5f3d7a3d797431081c17c435ca388 472969-a4y2/_9
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/cvc4/distinfo
copyroot: 0 /

id: b-472970.0.r472970/4288
type: file
count: 0
text: 472970 1347 346 329 3b0813c2334363e0c3b52bc7e682205a 384e86800cd5a327a3bd43af998aef9632943450 472969-a4y2/_d
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/cvc4/files/patch-src_base_configuration.cpp
copyroot: 0 /

id: e-472970.0.r472970/4585
type: file
count: 0
text: 472970 1706 413 794 8804a64b65728dcb040906c45629c4cf a37ed2e02ef5048a2bfb728b32438513f878c61c 472969-a4y2/_f
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/cvc4/files/patch-src_main_portfolio.cpp
copyroot: 0 /

PLAIN
K 32
patch-src_base_configuration.cpp
V 28
file b-472970.0.r472970/4288
K 28
patch-src_main_portfolio.cpp
V 28
file e-472970.0.r472970/4585
END
ENDREP
id: a-472970.0.r472970/5035
type: dir
count: 0
text: 472970 4878 144 0 ce329a542d814877e1673bd40fb30e72
cpath: /head/math/cvc4/files
copyroot: 0 /

id: g-472970.0.r472970/5183
type: file
count: 0
text: 472970 2132 322 305 147cd1535c139367266d145516230e9c a8f73cb0a5adbc76e0142abbd59f21772de8745d 472969-a4y2/_h
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/cvc4/pkg-descr
copyroot: 0 /

id: i-472970.0.r472970/5451
type: file
count: 0
text: 472970 2467 989 4095 b4d1548bdfe36f15601db6d4eddbdc7b a0afcc49caf4457cba792d584309140756e8b0f6 472969-a4y2/_j
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/cvc4/pkg-plist
copyroot: 0 /

PLAIN
K 8
Makefile
V 28
file 5-472970.0.r472970/3755
K 8
distinfo
V 28
file 8-472970.0.r472970/4021
K 5
files
V 27
dir a-472970.0.r472970/5035
K 9
pkg-descr
V 28
file g-472970.0.r472970/5183
K 9
pkg-plist
V 28
file i-472970.0.r472970/5451
END
ENDREP
id: 4-472970.0.r472970/5970
type: dir
count: 0
text: 472970 5720 237 0 8be7f2c716fd932a6143613210617c81
cpath: /head/math/cvc4
copyroot: 0 /

PLAIN
K 5
GiNaC
V 26
dir 2-39165.0.r443926/1380
K 8
Makefile
V 25
file 2-185.0.r472970/3469
K 3
PDL
V 30
dir 6-103726.0.r470993/3047358
K 1
R
V 25
dir 2-10844.0.r470987/636
K 13
R-cran-Amelia
V 27
dir 4-403844.0.r469988/1033
K 11
R-cran-CVST
V 26
dir 4-449522.0.r471025/994
K 29
R-cran-ChangeAnomalyDetection
V 30
dir 4-317457.0.r464084/1228343
K 15
R-cran-DEoptimR
V 30
dir 4-449533.0.r464084/1229022
K 10
R-cran-DRR
V 26
dir 4-449525.0.r465160/991
K 14
R-cran-Formula
V 27
dir 4-290383.0.r469434/1006
K 11
R-cran-KFAS
V 26
dir 4-290923.0.r470676/987
K 17
R-cran-LearnBayes
V 27
dir 4-307669.0.r465773/1398
K 15
R-cran-MCMCpack
V 27
dir 4-307527.0.r470196/1002
K 11
R-cran-MSwM
V 27
dir 4-403087.0.r472761/1007
K 14
R-cran-MatchIt
V 30
dir 4-403950.0.r464084/1233635
K 15
R-cran-Matching
V 27
dir 4-439362.0.r469989/1029
K 19
R-cran-MatrixModels
V 30
dir 4-401711.0.r464084/1234966
K 10
R-cran-NMF
V 27
dir 4-393969.0.r465347/1084
K 11
R-cran-RHmm
V 30
dir 4-308467.0.r464084/1236293
K 17
R-cran-RSvgDevice
V 30
dir 4-232562.0.r464084/1236960
K 20
R-cran-RcppArmadillo
V 27
dir 4-317461.0.r469425/1031
K 16
R-cran-RcppEigen
V 27
dir 2-401684.0.r465780/1025
K 15
R-cran-RcppRoll
V 27
dir 4-449541.0.r471903/1011
K 12
R-cran-Rmpfr
V 29
dir 4-414259.0.r467751/539104
K 13
R-cran-Rsolnp
V 30
dir 4-440271.0.r464084/1240274
K 14
R-cran-SQUAREM
V 27
dir 4-467036.0.r467036/2354
K 14
R-cran-SparseM
V 30
dir 4-401712.0.r464084/1240931
K 11
R-cran-VGAM
V 30
dir 4-402348.0.r464084/1241585
K 12
R-cran-Zelig
V 26
dir 4-231151.0.r464180/999
K 17
R-cran-assertthat
V 30
dir 4-403846.0.r464084/1242897
K 16
R-cran-backports
V 30
dir 4-428705.0.r464084/1243560
K 16
R-cran-bdsmatrix
V 27
dir 4-290384.0.r464658/1377
K 10
R-cran-car
V 30
dir 4-233130.0.r464084/1244889
K 14
R-cran-carData
V 27
dir 4-471357.0.r471357/1994
K 11
R-cran-coda
V 30
dir 4-267903.0.r464084/1245544
K 15
R-cran-combinat
V 30
dir 4-446648.0.r464084/1246200
K 18
R-cran-conf.design
V 30
dir 4-463325.0.r464084/1246864
K 14
R-cran-ddalpha
V 26
dir 4-449539.0.r469369/996
K 13
R-cran-deldir
V 27
dir 4-281926.0.r467033/1005
K 13
R-cran-dimRed
V 30
dir 4-449528.0.r464084/1248842
K 16
R-cran-dlmodeler
V 30
dir 4-301445.0.r464084/1249504
K 12
R-cran-dplyr
V 27
dir 4-403943.0.r470699/1052
K 11
R-cran-expm
V 30
dir 4-440318.0.r464084/1250818
K 15
R-cran-forecast
V 27
dir 4-317458.0.r467451/1261
K 15
R-cran-fracdiff
V 30
dir 4-317459.0.r464084/1252151
K 14
R-cran-geepack
V 30
dir 4-403949.0.r464084/1252816
K 15
R-cran-geometry
V 27
dir 4-467026.0.r467026/2437
K 10
R-cran-gmp
V 30
dir 4-414258.0.r464084/1253472
K 12
R-cran-gower
V 30
dir 4-449542.0.r464084/1254126
K 13
R-cran-gpclib
V 30
dir 4-231150.0.r464084/1254791
K 10
R-cran-gss
V 27
dir 4-317429.0.r471358/1372
K 13
R-cran-gtable
V 30
dir 4-303703.0.r464084/1256105
K 13
R-cran-igraph
V 27
dir 5-289904.0.r465862/1023
K 17
R-cran-influenceR
V 30
dir 4-418937.0.r464084/1257425
K 13
R-cran-inline
V 27
dir 4-253936.0.r470698/1020
K 12
R-cran-ipred
V 30
dir 4-449515.0.r464084/1258747
K 12
R-cran-irlba
V 27
dir 4-393972.0.r464217/1000
K 15
R-cran-labeling
V 30
dir 4-296327.0.r464084/1260065
K 11
R-cran-lava
V 27
dir 4-449513.0.r467038/1041
K 15
R-cran-lazyeval
V 30
dir 4-403845.0.r464084/1261382
K 11
R-cran-lme4
V 26
dir 4-401698.0.r467122/985
K 12
R-cran-magic
V 27
dir 4-467025.0.r467025/2917
K 13
R-cran-maxLik
V 30
dir 4-402738.0.r464084/1262693
K 11
R-cran-mcmc
V 30
dir 4-418525.0.r464084/1263349
K 13
R-cran-memisc
V 30
dir 4-290170.0.r464084/1264002
K 12
R-cran-minqa
V 30
dir 4-385880.0.r464084/1264666
K 16
R-cran-miscTools
V 30
dir 4-402721.0.r464084/1265326
K 14
R-cran-mvtnorm
V 30
dir 4-270503.0.r464084/1265997
K 13
R-cran-nloptr
V 30
dir 4-401681.0.r464084/1266661
K 11
R-cran-nnls
V 30
dir 4-302939.0.r464084/1267324
K 14
R-cran-nortest
V 30
dir 4-422961.0.r464084/1267983
K 15
R-cran-numDeriv
V 30
dir 4-423659.0.r464084/1268644
K 15
R-cran-outliers
V 30
dir 4-314659.0.r464084/1269316
K 15
R-cran-pbkrtest
V 30
dir 4-401708.0.r464084/1269980
K 10
R-cran-pls
V 27
dir 4-472769.0.r472769/2025
K 14
R-cran-prodlim
V 30
dir 4-449514.0.r464084/1270641
K 12
R-cran-psych
V 30
dir 4-261267.0.r464084/1271308
K 15
R-cran-quadprog
V 30
dir 4-309473.0.r464084/1271979
K 19
R-cran-qualityTools
V 30
dir 4-440270.0.r464084/1272648
K 15
R-cran-quantreg
V 26
dir 4-401714.0.r471194/999
K 14
R-cran-recipes
V 27
dir 4-449574.0.r472771/1046
K 14
R-cran-rgenoud
V 27
dir 4-439361.0.r469990/1011
K 17
R-cran-robustbase
V 27
dir 4-449536.0.r468259/1013
K 15
R-cran-sandwich
V 30
dir 4-282214.0.r464084/1275956
K 9
R-cran-sf
V 26
dir 4-444445.0.r470277/984
K 9
R-cran-sm
V 27
dir 7-230661.0.r469991/1006
K 9
R-cran-sp
V 26
dir 4-230304.0.r472522/992
K 13
R-cran-spData
V 27
dir 4-466204.0.r472773/1004
K 12
R-cran-spdep
V 27
dir 4-281929.0.r467125/1004
K 12
R-cran-sspir
V 30
dir 4-328495.0.r464084/1279224
K 17
R-cran-stabledist
V 30
dir 4-309474.0.r464084/1279890
K 13
R-cran-survey
V 27
dir 4-411817.0.r464811/1005
K 16
R-cran-truncnorm
V 30
dir 4-422959.0.r464084/1281208
K 12
R-cran-units
V 27
dir 4-444441.0.r472838/1161
K 12
R-cran-uroot
V 27
dir 4-467363.0.r467363/2289
K 10
R-cran-xts
V 27
dir 4-280789.0.r464650/1255
K 10
R-cran-zoo
V 27
dir 4-280788.0.r472839/1136
K 4
SCIP
V 27
dir 4-457249.0.r467371/1047
K 6
SoPlex
V 29
dir 4-457247.0.r469338/512912
K 6
aamath
V 29
dir 4-137923.0.r444463/789058
K 6
abakus
V 29
dir 4-152678.0.r467751/539807
K 3
abs
V 28
dir 2-16350.0.r380306/163885
K 5
acalc
V 29
dir 4-435007.0.r441468/163697
K 3
add
V 26
dir 2-12939.0.r472324/1073
K 5
adept
V 26
dir 4-457296.0.r465647/675
K 5
algae
V 29
dir 4-82139.0.r464084/1284645
K 6
alglib
V 27
dir 4-448448.0.r472615/1039
K 9
algotutor
V 29
dir 4-126758.0.r458818/610485
K 8
alt-ergo
V 29
dir 4-287773.0.r417685/453011
K 5
amath
V 27
dir 4-425086.0.r448207/1066
K 5
ambit
V 29
dir 4-454464.0.r472160/583226
K 8
analitza
V 37
dir 8l-297371.0-466873.r472130/803387
K 13
analitza-kde4
V 38
dir 8l-297371.2o-462619.r462619/706963
K 3
ann
V 29
dir 4-253818.0.r415738/919184
K 5
antic
V 29
dir 4-466386.0.r467751/540448
K 3
apc
V 27
dir 2-6710.0.r415499/655691
K 3
arb
V 29
dir 4-465949.0.r467751/541131
K 6
aribas
V 26
dir 4-193965.0.r359928/663
K 9
armadillo
V 27
dir 4-314935.0.r470431/1447
K 6
arpack
V 29
dir 4-80169.0.r464084/1286130
K 8
arpack++
V 27
dir 4-95234.0.r468325/65634
K 9
arpack-ng
V 30
dir 4-300064.0.r464084/1287569
K 15
arpack-ng-mpich
V 30
dir 8-370227.0.r464084/1288131
K 6
aspcud
V 30
dir 4-339367.0.r467711/1083466
K 9
asymptote
V 27
dir 4-140404.0.r472440/3739
K 5
atlas
V 25
dir 4-56117.0.r469505/619
K 7
biggles
V 29
dir 4-50529.0.r464084/1289577
K 5
blacs
V 28
dir 4-80142.0.r469120/363898
K 4
blas
V 26
dir 2-280.0.r464164/100071
K 4
blis
V 26
dir 4-441353.0.r470695/641
K 7
blitz++
V 25
dir 4-67732.0.r464908/772
K 12
blocksolve95
V 30
dir 4-121707.0.r464084/1291654
K 5
bsdnt
V 27
dir 4-338583.0.r465816/1105
K 8
cadabra2
V 30
dir 4-418304.0.r467711/1084208
K 4
calc
V 23
dir 3-162.0.r467754/611
K 6
calcoo
V 28
dir 4-53344.0.r428152/963940
K 8
calctool
V 27
dir 2-4947.0.r412348/804209
K 6
cantor
V 37
dir ce-283641.1-466873.r472130/804536
K 11
cantor-kde4
V 37
dir ce-283641.2p-462619.r463014/24522
K 3
cbc
V 27
dir 4-467464.0.r467464/4504
K 5
cblas
V 30
dir 4-288838.0.r464084/1293059
K 6
ccmath
V 28
dir 4-40118.0.r444251/704342
K 12
ceres-solver
V 26
dir 4-424034.0.r470056/906
K 4
cgal
V 26
dir 4-159258.0.r469503/771
K 3
cgl
V 27
dir 4-467460.0.r467460/4016
K 5
chaco
V 26
dir 4-161300.0.r429880/718
K 9
chryzodus
V 29
dir 4-138937.0.r412348/807837
K 5
clasp
V 26
dir 2-327622.0.r422376/553
K 6
clblas
V 31
dir 2z-397198.0.r467711/1085703
K 7
clblast
V 29
dir 4-442360.0.r472160/583910
K 5
clfft
V 27
dir 39-397198.0.r459114/779
K 3
cln
V 25
dir 4-38257.0.r455177/600
K 5
cloog
V 29
dir 4-321979.0.r471550/473583
K 3
clp
V 27
dir 4-198778.0.r467459/3927
K 5
clrng
V 30
dir 3n-397198.0.r440858/171067
K 8
cminpack
V 29
dir 4-379703.0.r464438/421867
K 5
cmlib
V 30
dir 4-386679.0.r464084/1295197
K 6
coinmp
V 26
dir 4-278529.0.r464677/793
K 8
concorde
V 27
dir 4-30153.0.r372546/39096
K 10
convertall
V 27
dir 4-117581.0.r466605/1980
K 3
coq
V 29
dir 4-119551.0.r471191/673090
K 6
crlibm
V 29
dir 4-288947.0.r467751/542562
K 13
cryptominisat
V 27
dir 4-385495.0.r472633/3052
K 4
cvc3
V 30
dir 4-188227.0.r464084/1295944
K 4
cvc4
V 27
dir 4-472970.0.r472970/5970
K 7
diehard
V 26
dir 4-62415.0.r401208/2809
K 9
dieharder
V 29
dir 4-222883.0.r444988/208128
K 6
djbfft
V 27
dir 4-59197.0.r372546/44169
K 5
drgeo
V 28
dir k-72881.0.r472693/125793
K 6
dynare
V 27
dir 4-282473.0.r472703/1586
K 1
e
V 28
dir 4-120706.0.r372546/44861
K 4
ecos
V 27
dir 4-472010.0.r472010/2811
K 8
edenmath
V 29
dir 4-172517.0.r455401/730135
K 6
eigen2
V 29
dir e-206969.0.r415738/922804
K 6
eigen3
V 26
dir o-206969.0.r460909/637
K 7
eispack
V 27
dir 2-299.0.r464084/1297369
K 4
emc2
V 28
dir 4-97124.0.r458739/678298
K 3
ent
V 26
dir 4-323853.0.r417786/748
K 7
entropy
V 26
dir 4-64354.0.r358240/1513
K 7
eprover
V 27
dir 4-454506.0.r454506/4877
K 3
ess
V 29
dir 4-276061.0.r471191/673831
K 9
eukleides
V 28
dir 4-60610.0.r444463/791992
K 4
eval
V 28
dir 2-10680.0.r444463/792676
K 6
facile
V 27
dir 4-206967.0.r429835/1028
K 4
fann
V 26
dir 4-186705.0.r453151/973
K 12
fflas-ffpack
V 30
dir 4-283609.0.r449591/1364382
K 4
fftw
V 29
dir 2-17276.0.r464084/1298847
K 10
fftw-float
V 27
dir 4-121298.0.r347124/2447
K 5
fftw3
V 26
dir f-17276.0.r460082/1578
K 11
fftw3-float
V 27
dir 4-121063.0.r431709/2236
K 10
fftw3-long
V 27
dir 8-121063.0.r431709/2780
K 10
fftw3-quad
V 27
dir 4-283696.0.r347093/3338
K 5
fityk
V 27
dir 4-130578.0.r471351/1141
K 5
flann
V 27
dir 4-457634.0.r457634/5981
K 6
flint2
V 26
dir 4-465941.0.r472032/934
K 4
form
V 27
dir 4-447206.0.r447345/1359
K 8
fpc-fftw
V 29
dir 4-172531.0.r466532/697757
K 7
fpc-gmp
V 29
dir 4-259369.0.r466532/698360
K 10
fpc-numlib
V 29
dir 4-226018.0.r466532/698965
K 7
freemat
V 26
dir 4-132275.0.r469232/696
K 3
fxt
V 28
dir 4-50672.0.r449586/484698
K 3
g2o
V 28
dir 4-465787.0.r468325/68482
K 10
galculator
V 25
dir 4-83610.0.r429923/620
K 6
gambit
V 26
dir 4-75161.0.r462985/1859
K 3
gap
V 26
dir 4-58970.0.r461577/1176
K 6
gdcalc
V 28
dir 4-62875.0.r465584/662203
K 3
geg
V 28
dir 2-12406.0.r428152/964620
K 8
geogebra
V 34
dir 4-143470.0-410466.r465745/2085
K 7
geonext
V 29
dir 4-128341.0.r431796/695525
K 5
gexpr
V 28
dir 4-43961.0.r415499/668511
K 5
ggobi
V 29
dir 4-249715.0.r428152/965355
K 8
giacxcas
V 29
dir 2-261551.0.r467751/543983
K 6
givaro
V 29
dir 4-283582.0.r472376/556148
K 5
gkmap
V 29
dir 4-324367.0.r431996/856973
K 7
glgraph
V 25
dir 4-72664.0.r448896/504
K 3
glm
V 29
dir 4-301955.0.r472160/584635
K 4
glpk
V 26
dir 4-36057.0.r462047/1353
K 7
glucose
V 29
dir 4-460848.0.r471400/626117
K 5
gmm++
V 28
dir 4-218131.0.r432126/46507
K 3
gmp
V 25
dir 4-43514.0.r462939/854
K 7
gmp-ecm
V 27
dir 4-164283.0.r466286/1324
K 16
gnome-calculator
V 33
dir 4-61145.7-372768.r469696/1999
K 5
gnubc
V 27
dir 4-249168.0.r472673/1445
K 8
gnumeric
V 28
dir 2-14193.0.r462307/898158
K 7
gnuplot
V 24
dir 2-184.0.r472558/1054
K 12
gnuplot-lite
V 27
dir 4-456194.0.r456194/2368
K 18
gnuplot-tex-extras
V 27
dir 9-374699.0.r472559/1006
K 6
goblin
V 26
dir 2-55478.0.r433132/1047
K 8
gotoblas
V 30
dir 4-184333.0.r464084/1301817
K 5
grace
V 29
dir 2-17277.0.r464084/1302556
K 9
gracetmpl
V 29
dir 4-92440.0.r472884/1653965
K 10
graphthing
V 26
dir 2-54530.0.r420272/3062
K 5
gretl
V 28
dir 2-56450.0.r467751/545535
K 3
gri
V 26
dir 4-34352.0.r465819/5676
K 6
gringo
V 30
dir 4-339359.0.r449591/1371663
K 4
grpn
V 28
dir 2-23410.0.r428152/966731
K 3
gsl
V 28
dir 4-27399.0.r444988/210874
K 7
hexcalc
V 33
dir 2-539.0-341901.r406010/458654
K 4
hfst
V 29
dir 4-360628.0.r464528/382418
K 7
hs-Agda
V 30
dir 4-247094.0.r470870/1096484
K 14
hs-Agda-stdlib
V 31
dir sz-394918.0.r470870/1097154
K 15
hs-NumInstances
V 30
dir 5-291121.0.r470870/1097828
K 14
hs-adjunctions
V 31
dir tg-394918.0.r470870/1098817
K 13
hs-categories
V 30
dir 7-279687.0.r470870/1099488
K 10
hs-comonad
V 30
dir 7-279689.0.r470870/1100462
K 16
hs-contravariant
V 30
dir 7-279690.0.r470870/1101127
K 12
hs-data-lens
V 30
dir 5-291123.0.r470870/1101842
K 21
hs-data-lens-template
V 30
dir 5-291124.0.r470870/1102820
K 15
hs-distributive
V 30
dir 7-279691.0.r470870/1103811
K 6
hs-erf
V 30
dir 4-247108.0.r470870/1104476
K 8
hs-fixed
V 32
dir 11q-447548.0.r470870/1105143
K 7
hs-half
V 32
dir 11y-447548.0.r470870/1105814
K 10
hs-ieee754
V 30
dir 5-298136.0.r470870/1106477
K 21
hs-integer-logarithms
V 32
dir 129-447548.0.r470870/1107487
K 17
hs-kan-extensions
V 31
dir ua-394918.0.r470870/1109176
K 17
hs-math-functions
V 30
dir 4-290293.0.r470870/1109855
K 13
hs-mwc-random
V 30
dir 4-247119.0.r470870/1110529
K 10
hs-pointed
V 30
dir 7-279695.0.r470870/1111239
K 14
hs-probability
V 30
dir 4-247118.0.r470870/1111907
K 16
hs-semigroupoids
V 30
dir 7-279692.0.r470870/1112898
K 13
hs-semigroups
V 30
dir 7-279685.0.r470870/1113881
K 13
hs-statistics
V 30
dir 4-247125.0.r470870/1114550
K 15
hs-vector-space
V 30
dir 4-247746.0.r470870/1115539
K 6
igraph
V 29
dir 4-217031.0.r424427/820194
K 12
intervaltree
V 26
dir 4-467527.0.r467529/502
K 5
ipopt
V 27
dir 4-366918.0.r471560/1380
K 4
ised
V 30
dir 4-251331.0.r464084/1306176
K 5
jacal
V 29
dir 4-56207.0.r464084/1306913
K 4
jags
V 30
dir 4-110135.0.r464084/1307662
K 20
jakarta-commons-math
V 26
dir 4-127742.0.r465271/586
K 21
jakarta-commons-math3
V 29
dir 4-297407.0.r455167/857046
K 4
jama
V 28
dir 4-82179.0.r415499/674816
K 7
jeuclid
V 29
dir 4-249767.0.r425127/376413
K 10
jlatexmath
V 26
dir 4-249766.0.r433220/581
K 12
jsmath-fonts
V 29
dir e-164162.0.r380306/164580
K 11
jtransforms
V 29
dir 4-262245.0.r453453/550518
K 3
jts
V 27
dir 4-192174.0.r418622/1133
K 8
kalgebra
V 37
dir cs-283641.2-466873.r472130/805340
K 13
kalgebra-kde4
V 37
dir cs-283641.2q-462619.r465444/70049
K 6
kbruch
V 37
dir d2-283641.3-466873.r472130/806144
K 11
kbruch-kde4
V 38
dir d2-283641.2r-462619.r462619/709392
K 5
kcalc
V 35
dir 15-8441.4-466873.r472130/806934
K 10
kcalc-kde4
V 36
dir 15-8441.2s-462619.r467751/547109
K 3
kig
V 37
dir dh-283641.5-466873.r472130/807773
K 8
kig-kde4
V 35
dir dh-283641.2t-462619.r468912/671
K 9
kktdirect
V 30
dir 4-288407.0.r464084/1308320
K 6
kmplot
V 37
dir dr-283641.6-466873.r472130/808566
K 11
kmplot-kde4
V 38
dir dr-283641.2u-462619.r462619/711821
K 7
labplot
V 29
dir 4-150102.0.r452602/122632
K 6
lambda
V 29
dir 4-109095.0.r444463/797605
K 6
lapack
V 27
dir 2-3178.0.r464164/100787
K 8
lapack++
V 28
dir 4-61741.0.r464164/101522
K 8
lapack95
V 30
dir 4-117551.0.r464084/1310553
K 7
lapacke
V 29
dir 4-269254.0.r415499/676890
K 7
laspack
V 29
dir 4-140069.0.r417685/465086
K 7
ldouble
V 26
dir 4-121047.0.r421356/709
K 6
levmar
V 30
dir 4-259952.0.r464084/1311261
K 8
libRmath
V 27
dir 4-109219.0.r468255/1160
K 8
libflame
V 26
dir 4-288536.0.r472677/565
K 8
liblbfgs
V 26
dir 4-256810.0.r457252/555
K 7
libmesh
V 29
dir 4-456854.0.r472693/126526
K 10
libmissing
V 30
dir 4-309324.0.r464084/1313328
K 7
libocas
V 26
dir 4-283033.0.r472432/674
K 9
liborigin
V 30
dir 4-171749.0.r467711/1091775
K 12
libqalculate
V 29
dir 4-136977.0.r472693/127230
K 9
libranlip
V 29
dir 4-253982.0.r458739/679720
K 6
librsb
V 30
dir 4-388293.0.r464084/1314028
K 10
libtommath
V 29
dir 4-141328.0.r453381/701321
K 9
libtsnnls
V 30
dir 4-263280.0.r464084/1314741
K 6
libxls
V 27
dir 4-432541.0.r432541/2622
K 13
libxlsxwriter
V 27
dir 4-438935.0.r470203/1143
K 7
linpack
V 27
dir 2-298.0.r464084/1315482
K 9
lll_spect
V 29
dir 4-249994.0.r417685/469960
K 8
lp_solve
V 28
dir 4-85171.0.r451721/610348
K 4
lrng
V 29
dir 4-274784.0.r417685/470608
K 3
ltl
V 27
dir 4-174849.0.r464240/2499
K 6
ltl2ba
V 27
dir 4-274737.0.r470767/1078
K 6
lybniz
V 30
dir 4-203550.0.r455210/2030924
K 9
mate-calc
V 35
dir 4-61145.0-445014.r467271/519142
K 6
math77
V 30
dir 4-398992.0.r464084/1316927
K 6
mathgl
V 29
dir 4-464149.0.r471491/128004
K 7
mathmod
V 34
dir 4-156476.0-410155.r471112/1398
K 10
mathomatic
V 26
dir 4-133081.0.r468913/581
K 5
matio
V 29
dir 4-250256.0.r442050/438597
K 16
matlab-installer
V 36
dir 4-318605.0-342611.r460452/433921
K 6
maxima
V 25
dir 4-73483.0.r460153/647
K 9
mbasecalc
V 29
dir 4-111633.0.r412348/856394
K 5
metis
V 26
dir 2-10682.0.r469181/3626
K 9
metis-edf
V 25
dir m-85421.0.r471196/558
K 6
metis4
V 28
dir p-10682.0.r417685/473513
K 14
mingw32-libgmp
V 30
dir 4-220558.0.r464084/1317635
K 7
minisat
V 27
dir 2-327544.0.r459914/1767
K 6
miracl
V 30
dir 4-126683.0.r464084/1318334
K 6
mlpack
V 27
dir 4-469220.0.r470420/1692
K 3
moo
V 29
dir 4-190340.0.r446741/595930
K 12
mosesdecoder
V 26
dir 4-367003.0.r472395/606
K 3
mpc
V 26
dir 4-232062.0.r470764/584
K 6
mpexpr
V 26
dir 4-90359.0.r422788/1899
K 4
mpfr
V 29
dir 4-141316.0.r467751/549832
K 4
mpir
V 26
dir 4-361925.0.r472527/522
K 4
mppp
V 27
dir 4-466185.0.r470622/1050
K 6
mprime
V 34
dir 4-79865.0-437181.r454695/10108
K 6
msieve
V 26
dir 4-181482.0.r466539/580
K 3
mtl
V 25
dir 4-56139.0.r470679/705
K 8
mtrxmath
V 26
dir 4-39458.0.r432100/1720
K 11
multichoose
V 27
dir 4-467502.0.r467502/3901
K 5
mumps
V 30
dir 4-164274.0.r464084/1319075
K 9
mumps-edf
V 34
dir 4-164274.0-454187.r469182/2653
K 11
mumps-mpich
V 27
dir 4-168703.0.r354002/7217
K 8
muparser
V 29
dir 4-156125.0.r458515/122625
K 11
naturalmath
V 27
dir 4-50943.0.r372596/32733
K 5
nauty
V 26
dir 4-43274.0.r429486/1011
K 5
ndiff
V 29
dir 4-101356.0.r448911/387618
K 6
newmat
V 25
dir 4-51145.0.r443854/598
K 4
nfft
V 29
dir 4-455493.0.r459474/499016
K 6
ngraph
V 26
dir 2-21453.0.r434962/1922
K 5
nlopt
V 26
dir 4-370660.0.r464873/767
K 3
ntl
V 28
dir 2-30415.0.r418767/732750
K 7
numdiff
V 27
dir 4-175879.0.r434866/1641
K 7
nyh-hoc
V 26
dir 4-197599.0.r344401/580
K 16
ocaml-ocamlgraph
V 27
dir 4-110162.0.r445130/1024
K 12
ocaml-zarith
V 27
dir 4-356255.0.r439616/1344
K 8
ocamlgsl
V 29
dir 4-276544.0.r444988/212351
K 6
octave
V 24
dir 2-1566.0.r469260/766
K 12
octave-forge
V 26
dir 4-108647.0.r470479/465
K 22
octave-forge-actuarial
V 28
dir 2-256728.0.r468999/22883
K 18
octave-forge-audio
V 28
dir 4-220205.0.r468999/23613
K 17
octave-forge-base
V 30
dir 4-220196.0.r464084/1324080
K 16
octave-forge-bim
V 28
dir 4-220286.0.r468999/24279
K 20
octave-forge-bioinfo
V 28
dir 4-220217.0.r468999/24951
K 18
octave-forge-bsltl
V 28
dir 4-444131.0.r468999/25618
K 16
octave-forge-cgi
V 28
dir 4-307605.0.r468999/26283
K 30
octave-forge-civil-engineering
V 28
dir 4-220219.0.r468999/26965
K 27
octave-forge-communications
V 28
dir 4-220277.0.r468999/27654
K 20
octave-forge-control
V 28
dir 4-220279.0.r468999/28330
K 27
octave-forge-data-smoothing
V 28
dir 4-220282.0.r468999/29011
K 21
octave-forge-database
V 27
dir 4-311535.0.r470469/1103
K 22
octave-forge-dataframe
V 28
dir 2-260164.0.r468999/30412
K 18
octave-forge-dicom
V 35
dir 4-288077.0-466935.r468999/31143
K 19
octave-forge-divand
V 28
dir 4-345001.0.r468999/31854
K 20
octave-forge-doctest
V 28
dir 4-391607.0.r468999/32523
K 25
octave-forge-econometrics
V 28
dir 4-220228.0.r468999/33205
K 19
octave-forge-engine
V 28
dir 4-220215.0.r468999/33887
K 17
octave-forge-fenv
V 28
dir 4-257153.0.r468999/34606
K 22
octave-forge-financial
V 28
dir 4-220278.0.r468999/35278
K 17
octave-forge-fits
V 28
dir 4-268658.0.r468999/35950
K 20
octave-forge-fl-core
V 28
dir 4-268879.0.r468999/36667
K 16
octave-forge-fpl
V 28
dir 4-220211.0.r468999/37390
K 32
octave-forge-fuzzy-logic-toolkit
V 27
dir 4-275950.0.r469981/1658
K 15
octave-forge-ga
V 28
dir 4-220281.0.r468999/38755
K 20
octave-forge-general
V 27
dir 4-220226.0.r469900/1184
K 26
octave-forge-generate_html
V 28
dir 4-235756.0.r468999/40102
K 21
octave-forge-geometry
V 28
dir 4-282489.0.r468999/40781
K 20
octave-forge-gnuplot
V 28
dir 4-257154.0.r468999/41459
K 16
octave-forge-gsl
V 28
dir 4-220216.0.r468999/42128
K 18
octave-forge-ident
V 28
dir 4-220227.0.r468999/42799
K 18
octave-forge-image
V 28
dir 4-220225.0.r468999/43468
K 30
octave-forge-informationtheory
V 28
dir 4-220222.0.r468999/44153
K 24
octave-forge-integration
V 28
dir 4-220223.0.r468999/44844
K 21
octave-forge-interval
V 28
dir 4-378280.0.r468999/45517
K 15
octave-forge-io
V 28
dir 4-220224.0.r468999/46181
K 17
octave-forge-irsa
V 28
dir 4-220240.0.r468999/46847
K 22
octave-forge-level-set
V 28
dir 4-379409.0.r468999/47559
K 27
octave-forge-linear-algebra
V 26
dir 4-220221.0.r469969/563
K 17
octave-forge-lssa
V 28
dir 4-302531.0.r468999/48964
K 18
octave-forge-ltfat
V 27
dir 4-327510.0.r469700/1080
K 20
octave-forge-mapping
V 28
dir 4-220241.0.r468999/50302
K 22
octave-forge-mechanics
V 26
dir 4-282497.0.r469971/524
K 26
octave-forge-miscellaneous
V 26
dir 4-220229.0.r469902/530
K 30
octave-forge-missing-functions
V 28
dir 4-220230.0.r468999/52355
K 16
octave-forge-msh
V 28
dir 4-220276.0.r468999/53034
K 22
octave-forge-multicore
V 28
dir 4-220231.0.r468999/53709
K 16
octave-forge-mvn
V 28
dir 4-338355.0.r468999/54384
K 16
octave-forge-nan
V 28
dir 4-220232.0.r468999/55049
K 20
octave-forge-ncarray
V 28
dir 4-301262.0.r468999/55718
K 19
octave-forge-netcdf
V 28
dir 4-324825.0.r468999/56428
K 20
octave-forge-nlwing2
V 28
dir 4-220613.0.r468999/57102
K 17
octave-forge-nnet
V 28
dir 4-220235.0.r468999/57776
K 18
octave-forge-nurbs
V 28
dir 4-234591.0.r468999/58444
K 20
octave-forge-oct2mat
V 28
dir 4-234592.0.r468999/59119
K 20
octave-forge-octclip
V 27
dir 4-275949.0.r470756/1505
K 20
octave-forge-octproj
V 26
dir 4-257151.0.r470665/588
K 19
octave-forge-odebvp
V 28
dir 4-220243.0.r468999/61142
K 19
octave-forge-optics
V 28
dir 4-374726.0.r468999/61811
K 18
octave-forge-optim
V 28
dir 4-220256.0.r468999/62483
K 24
octave-forge-optiminterp
V 28
dir 4-220247.0.r468999/63155
K 21
octave-forge-outliers
V 28
dir 4-220246.0.r468999/63835
K 21
octave-forge-parallel
V 26
dir 4-257155.0.r470350/514
K 16
octave-forge-pdb
V 28
dir 4-220248.0.r468999/65186
K 17
octave-forge-plot
V 28
dir 4-220250.0.r468999/65857
K 23
octave-forge-quaternion
V 28
dir 4-240209.0.r468999/66531
K 21
octave-forge-queueing
V 28
dir 4-290509.0.r468999/67208
K 19
octave-forge-secs1d
V 28
dir 4-220252.0.r468999/67886
K 19
octave-forge-secs2d
V 28
dir 4-220253.0.r468999/68562
K 19
octave-forge-secs3d
V 28
dir 4-281674.0.r468999/69238
K 19
octave-forge-signal
V 27
dir 4-220275.0.r469289/2098
K 17
octave-forge-simp
V 28
dir 4-234593.0.r468999/70584
K 20
octave-forge-sockets
V 28
dir 4-220254.0.r468999/71255
K 22
octave-forge-sparsersb
V 26
dir 4-406002.0.r470490/620
K 20
octave-forge-specfun
V 28
dir 4-220255.0.r468999/72656
K 27
octave-forge-special-matrix
V 28
dir 4-220257.0.r468999/73341
K 20
octave-forge-splines
V 28
dir 4-220259.0.r468999/74022
K 23
octave-forge-statistics
V 27
dir 4-220260.0.r470415/1159
K 16
octave-forge-stk
V 28
dir 4-370002.0.r468999/75371
K 20
octave-forge-strings
V 28
dir 4-220261.0.r468999/76041
K 19
octave-forge-struct
V 27
dir 4-220262.0.r470305/1046
K 20
octave-forge-symband
V 28
dir 4-220263.0.r468999/77391
K 21
octave-forge-symbolic
V 28
dir 4-220273.0.r468999/78066
K 23
octave-forge-tcl-octave
V 28
dir 4-220272.0.r468999/78748
K 19
octave-forge-tisean
V 27
dir 4-406003.0.r469973/6331
K 16
octave-forge-tsa
V 28
dir 4-220274.0.r468999/80139
K 18
octave-forge-video
V 26
dir 4-220266.0.r470491/560
K 19
octave-forge-zenity
V 28
dir 4-220271.0.r468999/81519
K 19
octave-forge-zeromq
V 28
dir 4-409699.0.r468999/82184
K 4
ogdf
V 27
dir 2-326473.0.r463298/3164
K 4
oleo
V 24
dir 2-211.0.r465819/8010
K 8
openblas
V 27
dir 4-303185.0.r465863/2176
K 7
openfst
V 29
dir 4-337544.0.r462307/900270
K 8
openlibm
V 27
dir 4-407468.0.r472808/2906
K 16
opensolaris-libm
V 30
dir 4-432389.0.r464084/1385130
K 5
orpie
V 29
dir 4-115770.0.r444988/213712
K 18
p5-AI-DecisionTree
V 29
dir 4-96718.0.r470993/3048068
K 13
p5-AI-Genetic
V 30
dir 4-156456.0.r470993/3048796
K 24
p5-AI-NeuralNet-BackProp
V 29
dir 4-36554.0.r449893/1933621
K 16
p5-AI-Perceptron
V 29
dir 4-36556.0.r470993/3049519
K 26
p5-Algorithm-Combinatorics
V 30
dir 4-147444.0.r470993/3050258
K 21
p5-Algorithm-CurveFit
V 30
dir 4-175978.0.r470993/3051004
K 19
p5-Algorithm-KMeans
V 30
dir 4-257239.0.r470993/3051740
K 20
p5-Algorithm-Munkres
V 30
dir 4-226893.0.r470993/3052478
K 15
p5-Bit-ShiftReg
V 29
dir 4-36694.0.r470993/3053249
K 13
p5-Bit-Vector
V 29
dir 4-36695.0.r470993/3053964
K 21
p5-Bit-Vector-Minimal
V 30
dir 4-114937.0.r470993/3054696
K 11
p5-CAD-Calc
V 30
dir 4-163026.0.r470993/3055424
K 18
p5-Chart-Math-Axis
V 29
dir 4-81251.0.r470993/3056146
K 13
p5-Data-Float
V 30
dir 4-170065.0.r470993/3056866
K 15
p5-Date-Handler
V 29
dir 4-46901.0.r470993/3057587
K 15
p5-GIS-Distance
V 30
dir 4-176189.0.r470993/3058306
K 20
p5-GIS-Distance-Fast
V 30
dir 4-249051.0.r470993/3059040
K 20
p5-GIS-Distance-Lite
V 30
dir 4-254315.0.r470993/3059776
K 22
p5-Geo-Coordinates-UTM
V 30
dir 4-220658.0.r470993/3060517
K 15
p5-Geo-Distance
V 30
dir 4-113427.0.r470993/3061254
K 18
p5-Geo-Distance-XS
V 30
dir 4-242265.0.r470993/3061982
K 8
p5-Graph
V 29
dir 4-48625.0.r470993/3062690
K 23
p5-Math-Algebra-Symbols
V 30
dir 4-163417.0.r470993/3063408
K 14
p5-Math-Base36
V 30
dir 4-218266.0.r470993/3064145
K 14
p5-Math-Base85
V 29
dir 4-47927.0.r470993/3064863
K 16
p5-Math-BaseCalc
V 29
dir 4-61985.0.r470993/3065573
K 15
p5-Math-BaseCnv
V 30
dir 4-235243.0.r470993/3066288
K 14
p5-Math-Bezier
V 29
dir 4-36719.0.r470993/3067007
K 22
p5-Math-Bezier-Convert
V 30
dir 4-128233.0.r470993/3067735
K 14
p5-Math-BigInt
V 29
dir 4-48714.0.r470993/3068445
K 23
p5-Math-BigInt-FastCalc
V 30
dir 4-265782.0.r470993/3069165
K 18
p5-Math-BigInt-GMP
V 30
dir 4-184781.0.r470993/3069892
K 19
p5-Math-BigInt-Lite
V 30
dir 4-428431.0.r470993/3070612
K 19
p5-Math-BigInt-Pari
V 30
dir 4-233108.0.r470993/3071333
K 14
p5-Math-BigRat
V 30
dir 4-130283.0.r470993/3072052
K 11
p5-Math-CDF
V 30
dir 4-264615.0.r470993/3072766
K 18
p5-Math-Calc-Units
V 29
dir 4-61987.0.r470993/3073485
K 14
p5-Math-Cephes
V 30
dir 4-163571.0.r470993/3074206
K 21
p5-Math-Combinatorics
V 30
dir 4-136318.0.r470993/3074941
K 15
p5-Math-Complex
V 30
dir 4-205437.0.r470993/3075676
K 18
p5-Math-ConvexHull
V 30
dir 4-146218.0.r470993/3076409
K 16
p5-Math-Currency
V 29
dir 4-36721.0.r470993/3077129
K 18
p5-Math-Derivative
V 30
dir 4-122444.0.r470993/3077849
K 12
p5-Math-Evol
V 30
dir 4-236599.0.r470993/3078566
K 12
p5-Math-Expr
V 25
dir 4-32903.0.r471652/598
K 11
p5-Math-FFT
V 29
dir 4-39660.0.r470993/3079276
K 22
p5-Math-FixedPrecision
V 29
dir 4-36723.0.r470993/3079999
K 16
p5-Math-Fleximal
V 30
dir 4-344918.0.r470993/3080727
K 11
p5-Math-GMP
V 29
dir 4-36724.0.r470993/3081434
K 12
p5-Math-GMPf
V 30
dir 4-299792.0.r470993/3082148
K 12
p5-Math-GMPq
V 30
dir 4-299793.0.r470993/3082865
K 12
p5-Math-GMPz
V 30
dir 4-299794.0.r470993/3083577
K 11
p5-Math-GSL
V 29
dir 4-93041.0.r470993/3084322
K 16
p5-Math-Geometry
V 30
dir 4-171149.0.r470993/3085039
K 23
p5-Math-Geometry-Planar
V 30
dir 4-163036.0.r470993/3085776
K 27
p5-Math-Geometry-Planar-GPC
V 30
dir 4-163030.0.r470993/3086523
K 37
p5-Math-Geometry-Planar-GPC-PolygonXS
V 37
dir 4-270720.0-386320.r470993/3087370
K 30
p5-Math-Geometry-Planar-Offset
V 30
dir 4-163034.0.r470993/3088199
K 24
p5-Math-Geometry-Voronoi
V 30
dir 4-237725.0.r470993/3088951
K 16
p5-Math-Gradient
V 30
dir 4-250756.0.r470993/3089690
K 14
p5-Math-Int128
V 30
dir 4-309299.0.r470993/3090416
K 13
p5-Math-Int64
V 30
dir 4-287425.0.r470993/3091135
K 19
p5-Math-Interpolate
V 29
dir 4-39661.0.r470993/3091854
K 33
p5-Math-Intersection-StraightLine
V 30
dir 4-156258.0.r470993/3092599
K 13
p5-Math-Logic
V 29
dir 4-32904.0.r470993/3093338
K 11
p5-Math-MPC
V 30
dir 4-232087.0.r470993/3094049
K 12
p5-Math-MPFR
V 30
dir 4-227941.0.r470993/3094758
K 14
p5-Math-Matrix
V 30
dir 4-150667.0.r470993/3095477
K 18
p5-Math-MatrixReal
V 35
dir 2-8783.0-334605.r470993/3096257
K 22
p5-Math-NumberCruncher
V 30
dir 4-186674.0.r470993/3097039
K 12
p5-Math-Pari
V 25
dir 4-47654.0.r472176/627
K 15
p5-Math-Polygon
V 30
dir 4-225610.0.r470993/3098504
K 20
p5-Math-Polygon-Tree
V 30
dir 4-270721.0.r470993/3099231
K 24
p5-Math-Polynomial-Solve
V 30
dir 4-176197.0.r470993/3099962
K 16
p5-Math-Prime-XS
V 30
dir 4-282260.0.r470993/3100695
K 21
p5-Math-ProvablePrime
V 30
dir 4-469626.0.r470993/3101372
K 11
p5-Math-RPN
V 30
dir 4-255436.0.r470993/3102098
K 14
p5-Math-Random
V 29
dir 4-44833.0.r470993/3102804
K 20
p5-Math-Random-ISAAC
V 30
dir 4-245337.0.r470993/3103529
K 23
p5-Math-Random-ISAAC-XS
V 30
dir 4-245340.0.r470993/3104267
K 17
p5-Math-Random-MT
V 29
dir 4-44834.0.r470993/3104992
K 22
p5-Math-Random-MT-Auto
V 30
dir 4-168585.0.r470993/3105726
K 17
p5-Math-Random-OO
V 30
dir 4-168753.0.r470993/3106459
K 21
p5-Math-Random-Secure
V 30
dir 4-271137.0.r470993/3107186
K 17
p5-Math-RandomOrg
V 30
dir 4-163887.0.r470993/3107920
K 13
p5-Math-Round
V 29
dir 4-88615.0.r470993/3108637
K 17
p5-Math-Round-Var
V 30
dir 4-163006.0.r470993/3109364
K 16
p5-Math-Sequence
V 30
dir 4-162468.0.r470993/3110097
K 14
p5-Math-Series
V 30
dir 4-162470.0.r470993/3110827
K 15
p5-Math-SigFigs
V 30
dir 4-251780.0.r470993/3111546
K 22
p5-Math-SimpleVariable
V 29
dir 4-60136.0.r470993/3112274
K 14
p5-Math-Spline
V 30
dir 4-122448.0.r470993/3113004
K 14
p5-Math-String
V 30
dir 4-294395.0.r470993/3113724
K 16
p5-Math-Symbolic
V 30
dir 4-162398.0.r470993/3114453
K 33
p5-Math-Symbolic-Custom-CCompiler
V 30
dir 4-162405.0.r470993/3115202
K 32
p5-Math-Symbolic-Custom-Contains
V 30
dir 4-162400.0.r470993/3115965
K 40
p5-Math-Symbolic-Custom-ErrorPropagation
V 30
dir 4-162443.0.r470993/3116734
K 35
p5-Math-Symbolic-Custom-LaTeXDumper
V 30
dir 4-162451.0.r470993/3117506
K 31
p5-Math-Symbolic-Custom-Pattern
V 30
dir 4-162453.0.r470993/3118269
K 38
p5-Math-Symbolic-Custom-Simplification
V 30
dir 4-162455.0.r470993/3119036
K 38
p5-Math-Symbolic-Custom-Transformation
V 30
dir 4-162457.0.r470993/3119810
K 24
p5-Math-SymbolicX-BigNum
V 30
dir 4-162439.0.r470993/3120570
K 25
p5-Math-SymbolicX-Complex
V 30
dir 4-162441.0.r470993/3121317
K 23
p5-Math-SymbolicX-Error
V 30
dir 4-162466.0.r470993/3122062
K 24
p5-Math-SymbolicX-Inline
V 30
dir 4-162403.0.r470993/3122806
K 34
p5-Math-SymbolicX-NoSimplification
V 30
dir 4-162447.0.r470993/3123562
K 40
p5-Math-SymbolicX-ParserExtensionFactory
V 30
dir 4-162408.0.r470993/3124335
K 42
p5-Math-SymbolicX-Statistics-Distributions
V 30
dir 4-162445.0.r470993/3125116
K 19
p5-Math-TrulyRandom
V 29
dir 4-56269.0.r470993/3125870
K 13
p5-Math-Units
V 30
dir 4-163406.0.r470993/3126598
K 13
p5-Math-Utils
V 30
dir 4-399363.0.r470993/3127313
K 11
p5-Math-Vec
V 30
dir 4-141022.0.r470993/3128036
K 15
p5-Math-VecStat
V 30
dir 4-129741.0.r449893/1973082
K 18
p5-Math-VectorReal
V 30
dir 4-233830.0.r470993/3128760
K 9
p5-NetCDF
V 28
dir 4-95218.0.r452602/124763
K 17
p5-Number-Compare
V 29
dir 4-81398.0.r470993/3129485
K 18
p5-Number-Fraction
V 30
dir 4-251879.0.r470993/3130208
K 14
p5-Number-Misc
V 30
dir 4-392616.0.r470993/3130928
K 21
p5-Number-Uncertainty
V 30
dir 4-300704.0.r470993/3131657
K 19
p5-Number-WithError
V 30
dir 4-162459.0.r470993/3132391
K 25
p5-Number-WithError-LaTeX
V 30
dir 4-162464.0.r470993/3133133
K 14
p5-Parse-Range
V 30
dir 4-307768.0.r470993/3133871
K 8
p5-Roman
V 29
dir 4-74709.0.r470993/3134531
K 14
p5-Set-IntSpan
V 29
dir 2-15554.0.r470993/3135245
K 19
p5-Set-IntSpan-Fast
V 30
dir 4-185253.0.r470993/3135975
K 22
p5-Set-IntSpan-Fast-XS
V 30
dir 4-216139.0.r470993/3136714
K 16
p5-Set-Partition
V 30
dir 4-164542.0.r470993/3137450
K 13
p5-Set-Window
V 29
dir 4-36754.0.r470993/3138173
K 19
p5-Statistics-Basic
V 30
dir 4-238507.0.r470993/3138902
K 21
p5-Statistics-Benford
V 30
dir 4-233155.0.r470993/3139641
K 23
p5-Statistics-ChiSquare
V 29
dir 4-36628.0.r470993/3140378
K 25
p5-Statistics-Contingency
V 29
dir 4-97202.0.r470993/3141115
K 25
p5-Statistics-Descriptive
V 29
dir 4-36744.0.r470993/3141851
K 34
p5-Statistics-Descriptive-Discrete
V 30
dir 4-179882.0.r470993/3142607
K 27
p5-Statistics-Distributions
V 29
dir 4-36745.0.r373448/4412096
K 22
p5-Statistics-Forecast
V 30
dir 4-180690.0.r470993/3143362
K 23
p5-Statistics-Frequency
V 30
dir 4-251668.0.r470993/3144101
K 17
p5-Statistics-LTU
V 29
dir 4-36746.0.r373448/4415269
K 21
p5-Statistics-LineFit
V 30
dir 4-175980.0.r470993/3144842
K 18
p5-Statistics-Lite
V 30
dir 4-122902.0.r470993/3145571
K 17
p5-Statistics-OLS
V 29
dir 4-36747.0.r373448/4418417
K 15
p5-Statistics-R
V 30
dir 4-270409.0.r470993/3146293
K 24
p5-Statistics-Regression
V 30
dir 4-189404.0.r470993/3147031
K 19
p5-Statistics-TTest
V 30
dir 4-205995.0.r470993/3147771
K 21
p5-Task-Math-Symbolic
V 30
dir 4-169617.0.r470993/3148509
K 16
p5-Text-AsciiTeX
V 30
dir 4-290408.0.r470993/3149240
K 9
p5-bignum
V 30
dir 4-192022.0.r470993/3149953
K 19
pantheon-calculator
V 27
dir 4-432251.0.r465149/1620
K 4
pari
V 27
dir 2-7032.0.r472693/127914
K 8
parmetis
V 29
dir 2-19366.0.r464084/1387213
K 11
parmgridgen
V 30
dir 4-266353.0.r464084/1387965
K 4
pdal
V 27
dir 4-363814.0.r470656/4304
K 20
pear-Math_BigInteger
V 29
dir 4-281425.0.r428494/744906
K 23
pear-Math_Combinatorics
V 27
dir 4-192312.0.r443271/1065
K 12
pecl-big_int
V 29
dir 4-135512.0.r456296/567073
K 11
pecl-bitset
V 27
dir 4-195159.0.r451436/1012
K 12
pecl-bitset2
V 36
dir 4-195159.0-410545.r463917/827129
K 10
pecl-stats
V 29
dir 4-169238.0.r465055/378937
K 11
pecl-stats2
V 29
dir 4-423697.0.r465055/379588
K 11
pecl-trader
V 29
dir 4-343761.0.r456296/568384
K 6
petiga
V 26
dir 4-470531.0.r470562/584
K 12
php56-bcmath
V 37
dir 4-114147.14-367268.r422652/523876
K 9
php56-gmp
V 37
dir 8-114147.15-367268.r422652/524524
K 12
php70-bcmath
V 37
dir 4-114147.11-408932.r422569/522336
K 9
php70-gmp
V 37
dir 8-114147.12-408932.r422569/522984
K 12
php71-bcmath
V 37
dir 4-114147.10-432324.r432324/553459
K 9
php71-gmp
V 37
dir 8-114147.11-432324.r432324/554109
K 12
php72-bcmath
V 37
dir 4-114147.1f-454302.r454318/439420
K 9
php72-gmp
V 37
dir 8-114147.1h-454302.r454318/439723
K 8
physcalc
V 26
dir 4-32044.0.r415141/3161
K 7
picosat
V 34
dir 4-365711.0-366063.r417659/1300
K 7
piranha
V 27
dir 4-468086.0.r470101/1061
K 5
plman
V 29
dir 4-151700.0.r387082/475256
K 8
ploticus
V 28
dir 4-53652.0.r418829/580084
K 14
ploticus-nox11
V 25
dir 4-90788.0.r361015/411
K 6
plplot
V 24
dir 2-8139.0.r456832/654
K 10
plplot-ada
V 30
dir 4-344634.0.r464084/1389413
K 8
primegen
V 29
dir 4-231112.0.r441979/153339
K 4
prng
V 26
dir 4-250787.0.r458925/515
K 12
proofgeneral
V 29
dir 4-141552.0.r471191/674582
K 4
pspp
V 25
dir 4-28424.0.r451937/686
K 9
pure-mpfr
V 27
dir 12-289858.0.r436227/535
K 13
pure-rational
V 26
dir 4-283584.0.r436228/537
K 10
py-Diofant
V 30
dir 4-465934.0.r472884/1654665
K 18
py-GridDataFormats
V 30
dir 4-469805.0.r472884/1655327
K 10
py-PyMetis
V 30
dir 4-470811.0.r472884/1655989
K 12
py-PySCIPOpt
V 26
dir 4-467372.0.r471353/995
K 13
py-PyWavelets
V 30
dir 4-435813.0.r472884/1656643
K 8
py-Pyomo
V 30
dir 4-466033.0.r472884/1657295
K 9
py-algopy
V 27
dir 4-467660.0.r467660/2303
K 11
py-altgraph
V 30
dir 4-373537.0.r468282/1020950
K 7
py-apgl
V 30
dir 4-263688.0.r472884/1657949
K 10
py-basemap
V 30
dir 4-175627.0.r472884/1658611
K 15
py-basemap-data
V 28
dir 4-180648.0.r371328/15726
K 10
py-bitmath
V 30
dir 4-392067.0.r472884/1659273
K 12
py-bitvector
V 27
dir 4-180881.0.r465510/1106
K 13
py-bottleneck
V 30
dir 4-335898.0.r472884/1659935
K 11
py-cdecimal
V 26
dir 4-406959.0.r407123/690
K 12
py-colormath
V 30
dir 4-392173.0.r472884/1660604
K 16
py-cryptominisat
V 27
dir k-385495.0.r472633/4648
K 9
py-cvxopt
V 28
dir 4-465560.0.r468325/69884
K 10
py-cyipopt
V 30
dir 4-466116.0.r472884/1661261
K 14
py-fastcluster
V 30
dir 4-336815.0.r472884/1661921
K 6
py-ffc
V 29
dir 4-294745.0.r462307/901665
K 7
py-fiat
V 30
dir 4-294821.0.r472884/1662582
K 10
py-fpconst
V 29
dir 4-90550.0.r468282/1022936
K 7
py-gato
V 29
dir 4-47357.0.r472884/1663233
K 7
py-gmpy
V 29
dir 4-217040.0.r422140/872781
K 8
py-gmpy2
V 30
dir 4-416879.0.r468282/1023587
K 10
py-gnuplot
V 29
dir 4-30139.0.r464084/1395347
K 14
py-graphillion
V 37
dir 4-321453.0-321557.r455210/2039642
K 9
py-igakit
V 27
dir 4-470529.0.r470529/2302
K 9
py-igraph
V 26
dir 4-180374.0.r458814/515
K 10
py-intspan
V 30
dir 4-415293.0.r468282/1024241
K 8
py-keras
V 30
dir 4-417325.0.r472884/1663883
K 9
py-levmar
V 30
dir 4-466113.0.r472884/1664535
K 10
py-luminol
V 30
dir 2-413550.0.r472884/1665191
K 10
py-mathdom
V 30
dir 4-215823.0.r472884/1665858
K 13
py-matplotlib
V 30
dir 4-115380.0.r472884/1666566
K 9
py-mpmath
V 30
dir 4-221772.0.r472884/1667230
K 10
py-munkres
V 30
dir 4-312268.0.r455210/2043685
K 11
py-networkx
V 30
dir 4-214918.0.r472884/1667937
K 11
py-numarray
V 29
dir 4-62097.0.r455210/2045092
K 10
py-numeric
V 28
dir f-6349.0.r455210/2045784
K 10
py-numexpr
V 30
dir 4-257393.0.r472884/1668598
K 8
py-numpy
V 30
dir 4-171823.0.r472884/1669347
K 9
py-nzmath
V 30
dir 4-275009.0.r455210/2047936
K 9
py-pandas
V 30
dir 4-302642.0.r472884/1670045
K 20
py-pandas-datareader
V 27
dir 4-463867.0.r472419/1345
K 8
py-patsy
V 30
dir 4-333533.0.r472884/1670752
K 14
py-permutation
V 27
dir 4-472631.0.r472631/2450
K 11
py-petsc4py
V 27
dir 4-472067.0.r472067/2616
K 10
py-piranha
V 27
dir 4-468178.0.r470202/1115
K 10
py-plastex
V 30
dir 4-221239.0.r472884/1671412
K 11
py-probstat
V 29
dir 4-67863.0.r455210/2050698
K 9
py-pyFFTW
V 27
dir 4-472668.0.r472668/3557
K 8
py-pyasp
V 30
dir 4-459136.0.r468282/1026970
K 10
py-pybloom
V 30
dir 4-269385.0.r472884/1672071
K 10
py-pycosat
V 36
dir 4-365712.1-366063.r415499/723201
K 8
py-pygsl
V 33
dir 4-54726.0-464428.r464428/1723
K 9
py-pyhull
V 30
dir 4-404409.0.r468282/1027625
K 10
py-pyipopt
V 27
dir 4-467576.0.r467576/3163
K 7
py-pymc
V 30
dir 4-224222.0.r472884/1672734
K 8
py-pymc3
V 30
dir 4-465392.0.r472884/1673386
K 11
py-pyneqsys
V 30
dir 4-466118.0.r472884/1674040
K 10
py-pynleq2
V 27
dir 4-466175.0.r468074/1150
K 11
py-pyodesys
V 30
dir 4-466121.0.r472884/1674695
K 11
py-pysparse
V 30
dir 4-418286.0.r472884/1675399
K 8
py-pysym
V 30
dir 4-466022.0.r472884/1676055
K 8
py-pyvtk
V 29
dir 4-404902.0.r462887/691702
K 10
py-random2
V 27
dir 4-468563.0.r468563/2277
K 8
py-roman
V 30
dir 4-284510.0.r468282/1028940
K 13
py-scientific
V 29
dir 2-20396.0.r464084/1404990
K 17
py-scikit-umfpack
V 30
dir 4-470515.0.r472884/1676714
K 10
py-seaborn
V 30
dir 4-463934.0.r464084/1405648
K 12
py-secp256k1
V 30
dir 4-471077.0.r472884/1677421
K 10
py-simhash
V 27
dir 4-472424.0.r472424/2068
K 11
py-spectral
V 27
dir 4-472948.0.r472948/2421
K 14
py-statsmodels
V 30
dir 4-334582.0.r472884/1678079
K 10
py-svgmath
V 28
dir 4-234452.0.r371328/34055
K 6
py-sym
V 27
dir 4-466111.0.r466111/2278
K 9
py-symcxx
V 27
dir 4-465939.0.r465939/2402
K 9
py-symeig
V 30
dir 4-220906.0.r464084/1406964
K 8
py-sympy
V 30
dir 4-218429.0.r472884/1678734
K 9
py-theano
V 30
dir 4-380579.0.r472884/1679427
K 6
py-ufl
V 29
dir 4-294823.0.r462307/905553
K 16
py-uncertainties
V 27
dir 4-465073.0.r465073/2550
K 8
py-viper
V 29
dir 4-294824.0.r462307/906202
K 5
py-yt
V 30
dir 4-429583.0.r472884/1680124
K 9
qalculate
V 28
dir 4-117583.0.r463014/27200
K 2
qd
V 29
dir 4-188439.0.r464164/102218
K 5
qhull
V 27
dir 4-107890.0.r428392/1642
K 6
qhull5
V 29
dir m-107890.0.r458515/123370
K 8
qrupdate
V 30
dir 4-239012.0.r464084/1409800
K 7
qtiplot
V 27
dir 4-135221.0.r469977/6903
K 11
qtiplot-doc
V 30
dir 4-172675.0.r424411/1163119
K 8
qtoctave
V 30
dir 4-228607.0.r464084/1410553
K 13
qwtplot3d-qt4
V 27
dir e-117647.0.r462204/1445
K 7
randlib
V 24
dir z-6153.0.r417787/591
K 5
rapid
V 27
dir 4-206921.0.r470408/6022
K 6
reduce
V 26
dir 4-344974.0.r462703/838
K 10
reduce-psl
V 35
dir 4-344974.0-462743.r462743/14743
K 12
reed-solomon
V 29
dir 4-138189.0.r361099/133691
K 12
rexx-regmath
V 29
dir 2-451939.0.r472693/128597
K 10
rkward-kde
V 34
dir i-160825.0-467876.r467876/6648
K 10
rngstreams
V 26
dir 4-222881.0.r417790/951
K 4
rocs
V 37
dir e1-283641.7-466873.r472130/809363
K 9
rocs-kde4
V 39
dir e1-283641.2v-462619.r467711/1094826
K 6
rpcalc
V 27
dir 4-248945.0.r462021/1141
K 3
rpy
V 29
dir 4-92667.0.r464084/1412119
K 4
rpy2
V 29
dir i-92667.0.r464084/1412761
K 15
rubygem-algebra
V 27
dir 4-429664.0.r429664/2126
K 25
rubygem-expression_parser
V 30
dir 4-385782.0.r414136/1167365
K 13
rubygem-fftw3
V 26
dir 4-368187.0.r414170/508
K 13
rubygem-mathn
V 27
dir 4-467909.0.r467909/2312
K 14
rubygem-narray
V 29
dir 4-349189.0.r431907/529089
K 19
rubygem-narray_miss
V 27
dir 4-349190.0.r459070/1039
K 18
rubygem-numru-misc
V 27
dir 4-356622.0.r459071/1033
K 19
rubygem-numru-units
V 27
dir 4-356619.0.r459073/1038
K 14
rubygem-rb-gsl
V 29
dir 4-378107.0.r444988/217266
K 4
saga
V 28
dir 4-244368.0.r472649/11422
K 4
sage
V 29
dir 4-289761.0.r468844/634911
K 2
sc
V 26
dir 4-225542.0.r408385/616
K 5
sc-im
V 27
dir 4-432542.0.r456387/1520
K 9
scalapack
V 28
dir 4-80147.0.r469120/365365
K 6
scilab
V 25
dir 1d-6991.0.r469976/606
K 18
scilab-toolbox-swt
V 27
dir 4-165598.0.r472035/1912
K 4
sdpa
V 29
dir 4-90200.0.r464084/1417917
K 6
sdpara
V 30
dir 4-104439.0.r464084/1418567
K 9
secp256k1
V 27
dir 4-460299.0.r460299/3099
K 4
sfft
V 30
dir 4-324787.0.r464084/1419267
K 4
sfst
V 29
dir 4-361056.0.r444463/802536
K 12
simd-viterbi
V 29
dir 4-138196.0.r361099/138577
K 6
slatec
V 30
dir 4-288144.0.r464084/1419967
K 7
slgrace
V 30
dir 4-198545.0.r464084/1420671
K 4
snns
V 28
dir 2-17571.0.r415499/730320
K 9
solitaire
V 28
dir 4-44401.0.r400848/713588
K 16
sound-of-sorting
V 29
dir 4-409318.0.r415499/730975
K 4
spar
V 28
dir 4-43374.0.r444463/803268
K 6
spblas
V 27
dir 4-288564.0.r468411/1266
K 7
spectra
V 27
dir 4-468076.0.r470677/2237
K 11
speedcrunch
V 27
dir 4-197663.0.r451619/1963
K 7
spooles
V 28
dir 4-80138.0.r464164/102949
K 13
spooles-mpich
V 25
dir 4-80140.0.r358373/410
K 3
stp
V 29
dir 4-215221.0.r472693/129291
K 11
suitesparse
V 26
dir 4-167234.0.r471443/653
K 8
sundials
V 27
dir 4-457352.0.r469357/1516
K 7
superlu
V 25
dir 2-12384.0.r469259/650
K 10
superlu_mt
V 25
dir 4-84726.0.r470000/632
K 4
surf
V 28
dir 4-41833.0.r428132/179832
K 10
symmetrica
V 27
dir 4-457787.0.r457787/4125
K 6
tablix
V 29
dir 4-148920.0.r428152/967475
K 5
taucs
V 25
dir 4-97207.0.r468675/754
K 5
tblis
V 27
dir 4-459245.0.r459245/3116
K 7
testu01
V 29
dir 4-223948.0.r458755/194207
K 6
tetgen
V 26
dir 4-153525.0.r472369/609
K 5
timbl
V 29
dir 4-208938.0.r462887/692395
K 3
tmv
V 30
dir 4-460061.0.r464084/1425789
K 12
tomsfastmath
V 30
dir 4-141334.0.r464084/1426483
K 5
topaz
V 28
dir 2-22794.0.r444463/803999
K 8
triangle
V 29
dir 6-121715.0.r417685/484022
K 5
trlan
V 30
dir 4-283045.0.r464084/1427142
K 10
truthtable
V 27
dir 4-167406.0.r380307/7140
K 5
tvmet
V 26
dir 4-63519.0.r423497/1053
K 3
ump
V 30
dir 4-161401.0.r441503/1140890
K 5
units
V 26
dir 4-49519.0.r472564/1030
K 6
unuran
V 26
dir 4-222882.0.r472235/755
K 8
viennacl
V 30
dir 4-442495.0.r464084/1427840
K 13
vowpal_wabbit
V 30
dir 4-377088.0.r467711/1096318
K 4
vtk5
V 26
dir 13-19163.0.r472589/760
K 9
vtk5-data
V 29
dir 4-313143.0.r469120/366103
K 4
vtk6
V 27
dir 4-339158.0.r472860/1858
K 5
wcalc
V 29
dir 4-190954.0.r467751/553189
K 6
wfmath
V 30
dir 4-128419.0.r449591/1474527
K 4
why3
V 27
dir 4-356538.0.r432811/1584
K 6
wingz3
V 24
dir l-4797.0.r450324/675
K 8
wxMaxima
V 29
dir 4-139194.0.r446741/597017
K 8
x12arima
V 30
dir 4-259688.0.r464084/1429279
K 5
xblas
V 29
dir 4-288627.0.r417685/486068
K 23
xfce4-calculator-plugin
V 27
dir 4-407514.0.r417182/1224
K 6
xgraph
V 23
dir 2-498.0.r434930/577
K 7
xlapack
V 29
dir 4-289645.0.r464164/104211
K 6
xldlas
V 28
dir 2-10705.0.r415499/737378
K 7
xlife++
V 27
dir 4-469772.0.r469772/8287
K 5
xplot
V 25
dir 2-5861.0.r418660/1286
K 6
xppaut
V 30
dir 4-123347.0.r424411/1166787
K 7
xspread
V 28
dir 2-1904.0.r412348/1008138
K 7
xtensor
V 27
dir 4-464237.0.r472037/1108
K 5
yacas
V 28
dir 4-44287.0.r453381/702053
K 2
z3
V 27
dir 4-397543.0.r472613/1400
K 5
zimpl
V 26
dir 4-457259.0.r472108/657
END
ENDREP
id: 1-162.0.r472970/49669
type: dir
pred: 1-162.0.r472948/46085
count: 12334
text: 472970 6112 43544 0 10977f37758c8b43a937482b4e1f547c
cpath: /head/math
copyroot: 0 /

PLAIN
K 10
.arcconfig
V 26
file 1-354154.0.r422906/41
K 14
.gitattributes
V 26
file 1-411777.0.r467740/54
K 11
.gitauthors
V 26
file 1-467739.0.r472604/93
K 10
.gitignore
V 26
file 1-348322.0.r458023/77
K 11
.gitmessage
V 27
file 3-457790.0.r457790/987
K 7
CHANGES
V 26
file 1-99373.0.r470615/164
K 15
CONTRIBUTING.md
V 27
file 1-348323.0.r348323/344
K 9
COPYRIGHT
V 26
file 1-146787.0.r470957/47
K 4
GIDs
V 27
file 1-168311.0.r472578/379
K 8
Keywords
V 27
dir 1-314142.0.r419368/1305
K 5
LEGAL
V 25
file 1-748.0.r471892/1487
K 5
MOVED
V 27
file 1-69878.0.r472893/1470
K 8
Makefile
V 21
file 1-6.0.r460340/56
K 2
Mk
V 22
dir 1-5.0.r472890/2932
K 6
README
V 24
file 1-2408.0.r469089/62
K 9
Templates
V 25
dir 1-2932.0.r472806/1048
K 5
Tools
V 26
dir 3-15302.0.r472385/2955
K 4
UIDs
V 27
file 4-168311.0.r472578/660
K 8
UPDATING
V 27
file 1-102685.0.r472272/362
K 13
accessibility
V 28
dir 1-42583.0.r472884/319579
K 6
arabic
V 27
dir 1-38973.0.r469498/48450
K 9
archivers
V 25
dir 1-242.0.r472932/13995
K 5
astro
V 26
dir 1-301.0.r472884/345801
K 5
audio
V 25
dir 1-148.0.r472965/48668
K 4
base
V 26
dir 1-420954.0.r472012/946
K 10
benchmarks
V 25
dir 1-62.0.r472884/413188
K 7
biology
V 27
dir 1-9066.0.r472884/423776
K 3
cad
V 26
dir 1-276.0.r472884/432701
K 7
chinese
V 26
dir 1-3770.0.r472665/72369
K 5
comms
V 25
dir 1-76.0.r472884/444016
K 10
converters
V 26
dir 1-1561.0.r472934/10610
K 9
databases
V 25
dir 1-771.0.r472961/61705
K 9
deskutils
V 27
dir 1-2098.0.r472884/582856
K 5
devel
V 25
dir 1-73.0.r472966/343945
K 3
dns
V 28
dir 1-6145.0.r472884/1346425
K 7
editors
V 25
dir 4-6.0.r472884/1361656
K 9
emulators
V 25
dir 1-181.0.r472945/10118
K 7
finance
V 28
dir 1-4110.0.r472884/1394330
K 6
french
V 26
dir 1-25673.0.r471902/2111
K 3
ftp
V 27
dir 1-199.0.r472884/1400950
K 5
games
V 27
dir 1-104.0.r472884/1468035
K 6
german
V 25
dir 1-7451.0.r472922/2684
K 8
graphics
V 24
dir 1-94.0.r472969/60379
K 6
hebrew
V 28
dir 3-31142.0.r469498/135952
K 9
hungarian
V 29
dir 1p-38973.0.r469498/137367
K 3
irc
V 26
dir 1-42.0.r472884/1561970
K 8
japanese
V 27
dir 1-410.0.r472884/1579346
K 4
java
V 25
dir 1-2798.0.r472787/7638
K 6
korean
V 25
dir 1-5873.0.r472897/4963
K 4
lang
V 26
dir 1-15.0.r472884/1598876
K 4
mail
V 24
dir 1-57.0.r472930/41658
K 4
math
V 25
dir 1-162.0.r472970/49669
K 4
misc
V 24
dir 7-35.0.r472949/31045
K 10
multimedia
V 25
dir d-333.0.r472968/28209
K 3
net
V 24
dir 1-22.0.r472964/82684
K 6
net-im
V 30
dir 15-11144.0.r472884/1972396
K 8
net-mgmt
V 26
dir r-1011.0.r472962/22454
K 7
net-p2p
V 29
dir g-29106.0.r472884/2015267
K 4
news
V 27
dir 1-145.0.r472884/2021189
K 4
palm
V 28
dir 1-6646.0.r470993/3680658
K 6
polish
V 27
dir tv-38973.0.r472923/2192
K 10
ports-mgmt
V 28
dir 1-5132.0.r472884/2025716
K 10
portuguese
V 28
dir 1-17842.0.r469498/160164
K 5
print
V 26
dir 1-79.0.r472884/2046585
K 7
russian
V 27
dir 1-1559.0.r472341/350001
K 7
science
V 26
dir n-5356.0.r472954/12854
K 8
security
V 25
dir 1-269.0.r472951/73135
K 6
shells
V 25
dir w-6.0.r472884/2219064
K 8
sysutils
V 25
dir b-339.0.r472958/76454
K 8
textproc
V 26
dir 1-322.0.r472941/100963
K 9
ukrainian
V 28
dir g-39704.0.r469498/164488
K 10
vietnamese
V 27
dir 1-4812.0.r469498/166236
K 3
www
V 26
dir 1-114.0.r472942/172649
K 3
x11
V 26
dir 1-16.0.r472884/2867098
K 10
x11-clocks
V 27
dir 1-931.0.r472130/1370156
K 11
x11-drivers
V 27
dir 1-157567.0.r472040/4452
K 6
x11-fm
V 26
dir 1-691.0.r472386/887239
K 9
x11-fonts
V 27
dir 1-543.0.r472884/2878824
K 11
x11-servers
V 25
dir 1n-710.0.r470462/2150
K 10
x11-themes
V 27
dir 1-14410.0.r472790/13404
K 12
x11-toolkits
V 25
dir 1-120.0.r472967/16845
K 6
x11-wm
V 26
dir 1-40.0.r472884/2911550
END
ENDREP
id: 2-1.0.r472970/53496
type: dir
pred: 2-1.0.r472969/64208
count: 466889
text: 472970 49838 3645 0 57c798969f1e68ddeac5f2c4b55e4cd5
props: 458023 3927 157 0 4d85142843815bcc29c89469bccb873c
cpath: /head
copyroot: 0 /
minfo-cnt: 1

PLAIN
K 8
branches
V 24
dir 0-1.0.r472947/179297
K 4
head
V 23
dir 2-1.0.r472970/53496
K 8
projects
V 24
dir 0-377393.0.r441387/0
K 8
svnadmin
V 22
dir 3-1.0.r472603/1269
K 4
tags
V 24
dir 8-1.0.r471851/179907
END
ENDREP
id: 0.0.r472970/53949
type: dir
pred: 0.0.r472969/64661
count: 472970
text: 472970 53728 208 0 ef2330ea700fa8b72a74ca1483a5edc3
props: 341041 7130 346 0 8b695b9f61597e4917effffba3bbfaa3
cpath: /
copyroot: 0 /
minfo-cnt: 40

2-185.0.t472969-a4y2 modify-file true false /head/math/Makefile

_4.0.t472969-a4y2 add-dir false false /head/math/cvc4

_5.0.t472969-a4y2 add-file true true /head/math/cvc4/Makefile

_8.0.t472969-a4y2 add-file true true /head/math/cvc4/distinfo

_a.0.t472969-a4y2 add-dir false false /head/math/cvc4/files

_b.0.t472969-a4y2 add-file true true /head/math/cvc4/files/patch-src_base_configuration.cpp

_e.0.t472969-a4y2 add-file true true /head/math/cvc4/files/patch-src_main_portfolio.cpp

_g.0.t472969-a4y2 add-file true true /head/math/cvc4/pkg-descr

_i.0.t472969-a4y2 add-file true true /head/math/cvc4/pkg-plist


53949 54173