DELTA 428596 2901 27
SVN •l(„w'º 0n‚ 5‚"€d „5€‰ ƒe†€Y I‹;€7Œo5x^•”mo›0Ç_Ã§°TÔª“‚×nš¦N¼ ‰ÛEy ƒìáEUDl‡Z›ÚFIZñÝg ]2©	‚³}üÎÿ;î8w’ÒÛhàØö,çS‚<‹çfõ…Ñ0˜zÖW÷³û¥q¡YÐÿîYŸžäxxÐM‘gel±\cÁ—,u•¸Ù\]õj‚{?x°­†4’z[Ðš+$ã¾y®m»üø'ë¼dqVEö¿UöÏy+Í“)ÕšntO–\³œÖ/ãûiP—”èÀ	“¤dU°Í¢\^ƒÔ$sý¤zel‘ðT4!AßŸŒ=kK•?Çs?¼GsÏZ™Û¾ƒšÆ…XSY`#MU€2ÆW¶ÍÃá,¾ŽM^uÁFšó„$ËÌ`23Uú‹¬LWcsÇíÊÅùF½Š³8„îg]!æ<d‚5ü`Ú´d4#­íF¥ÒB*a*EÉ»D)™¡wc'^rÆ	”ºì‚s†¥Èišìg]!\%ú¥µ]h»óQ»>—BÓÖv¡æHÓ	¶úÇ•%uRj±º`Eµ`$n2át}L2ª\èï†NxËu²‰ÂŒÅíâÈžèÊ|A¥:-Hž†+ÝœÐI1/Gâ›<«ŸCÌyÑp:û}÷'ƒ
ô(¸€»¾í~xp[ó­)øÏàE½'0WÃ<Nüò ¹ Îëïp…ý
¶­¸”´åö/&¦ƒ.YFÝEÉL£³Þ—UObg‰i³qNMuðÒqà7 eI/÷êïìJ¶íB(Ý3eê$ËnlCFsÿ†aez{ˆî†*p~ÞøëFÚ(¿-š®ZýJVENDREP
id: 5-119551.0.r430096/711
type: file
pred: 5-119551.0.r428596/490164
count: 55
text: 430096 0 683 2796 ffa052384b3e4110774c007613cb0f54 a7a965c7ec183aa76380d937fb350b2a7c2599e7 430095-97v4/_4
props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5
cpath: /head/math/coq/Makefile
copyroot: 0 /

PLAIN
K 8
Makefile
V 27
file 5-119551.0.r430096/711
K 8
distinfo
V 27
file 8-119551.0.r387123/576
K 9
pkg-descr
V 27
file a-119551.0.r426358/615
K 9
pkg-plist
V 27
file c-119551.0.r387123/870
END
ENDREP
id: 4-119551.0.r430096/1209
type: dir
pred: 4-119551.0.r428596/490668
count: 64
text: 430096 1006 190 0 c1438eb44909cda80992a1e981f51233
cpath: /head/math/coq
copyroot: 0 /

PLAIN
K 5
GiNaC
V 25
dir 2-39165.0.r414970/567
K 8
Makefile
V 24
file 2-185.0.r429664/852
K 3
PDL
V 27
dir 6-103726.0.r423872/1924
K 1
R
V 28
dir 2-10844.0.r428057/578781
K 13
R-cran-Amelia
V 29
dir 4-403844.0.r412348/775871
K 29
R-cran-ChangeAnomalyDetection
V 29
dir 4-317457.0.r412348/776550
K 14
R-cran-Formula
V 27
dir 4-290383.0.r389336/1134
K 11
R-cran-KFAS
V 27
dir 4-290923.0.r429317/1004
K 17
R-cran-LearnBayes
V 30
dir 4-307669.0.r367888/2321742
K 15
R-cran-MCMCpack
V 27
dir 4-307527.0.r427622/1003
K 11
R-cran-MSwM
V 27
dir 4-403087.0.r403087/1966
K 14
R-cran-MatchIt
V 27
dir 4-403950.0.r403950/2170
K 19
R-cran-MatrixModels
V 27
dir 4-401711.0.r401711/2072
K 10
R-cran-NMF
V 29
dir 4-393969.0.r412348/777894
K 11
R-cran-RHmm
V 30
dir 4-308467.0.r367888/2323092
K 17
R-cran-RSvgDevice
V 29
dir 4-232562.0.r415499/652117
K 20
R-cran-RcppArmadillo
V 27
dir 4-317461.0.r429270/1038
K 16
R-cran-RcppEigen
V 27
dir 2-401684.0.r420762/1188
K 12
R-cran-Rmpfr
V 27
dir 4-414259.0.r427947/1212
K 14
R-cran-SparseM
V 27
dir 4-401712.0.r427760/1008
K 16
R-cran-SuppDists
V 27
dir 4-273730.0.r424113/1015
K 11
R-cran-VGAM
V 26
dir 4-402348.0.r416272/998
K 12
R-cran-Zelig
V 27
dir 4-231151.0.r425780/1005
K 17
R-cran-assertthat
V 27
dir 4-403846.0.r403846/2124
K 16
R-cran-backports
V 27
dir 4-428705.0.r428705/2339
K 16
R-cran-bdsmatrix
V 30
dir 4-290384.0.r367888/2326447
K 10
R-cran-car
V 27
dir 4-233130.0.r428984/1364
K 11
R-cran-coda
V 27
dir 4-267903.0.r428462/1297
K 13
R-cran-deldir
V 27
dir 4-281926.0.r410683/1324
K 16
R-cran-dlmodeler
V 27
dir 4-301445.0.r374217/1603
K 12
R-cran-dplyr
V 27
dir 4-403943.0.r417638/1128
K 15
R-cran-forecast
V 26
dir 4-317458.0.r424039/999
K 15
R-cran-fracdiff
V 30
dir 4-317459.0.r367888/2330457
K 14
R-cran-geepack
V 26
dir 4-403949.0.r422794/996
K 10
R-cran-gmp
V 27
dir 4-414258.0.r414258/2092
K 13
R-cran-gpclib
V 29
dir 4-231150.0.r415738/917110
K 10
R-cran-gss
V 27
dir 4-317429.0.r421103/1023
K 13
R-cran-gtable
V 26
dir 4-303703.0.r409657/981
K 13
R-cran-igraph
V 29
dir 5-289904.0.r412348/782530
K 17
R-cran-influenceR
V 27
dir 4-418937.0.r418937/2441
K 13
R-cran-inline
V 27
dir 4-253936.0.r385025/1197
K 12
R-cran-irlba
V 26
dir 4-393972.0.r423651/988
K 15
R-cran-labeling
V 30
dir 4-296327.0.r367888/2334453
K 15
R-cran-lazyeval
V 27
dir 4-403845.0.r417639/1018
K 11
R-cran-lme4
V 27
dir 4-401698.0.r418571/1237
K 13
R-cran-maxLik
V 29
dir 4-402738.0.r412348/783837
K 11
R-cran-mcmc
V 27
dir 4-418525.0.r418525/2160
K 13
R-cran-memisc
V 26
dir 4-290170.0.r429271/997
K 12
R-cran-minqa
V 29
dir 4-385880.0.r412348/784496
K 16
R-cran-miscTools
V 27
dir 4-402721.0.r427278/1006
K 14
R-cran-mvtnorm
V 30
dir 4-270503.0.r367888/2335800
K 13
R-cran-nloptr
V 29
dir 4-401681.0.r412348/785151
K 11
R-cran-nnls
V 29
dir 4-302939.0.r415738/917771
K 14
R-cran-nortest
V 27
dir 4-422961.0.r422961/1969
K 15
R-cran-numDeriv
V 27
dir 4-423659.0.r423659/2187
K 15
R-cran-outliers
V 30
dir 4-314659.0.r367888/2337140
K 15
R-cran-pbkrtest
V 26
dir 4-401708.0.r417044/975
K 12
R-cran-psych
V 29
dir 4-261267.0.r415738/918436
K 15
R-cran-quadprog
V 30
dir 4-309473.0.r367888/2338490
K 15
R-cran-quantreg
V 27
dir 4-401714.0.r421667/1106
K 15
R-cran-sandwich
V 29
dir 4-282214.0.r412348/787115
K 9
R-cran-sm
V 30
dir 7-230661.0.r367888/2339832
K 9
R-cran-sp
V 26
dir 4-230304.0.r429715/994
K 12
R-cran-spdep
V 27
dir 4-281929.0.r423546/1110
K 12
R-cran-sspir
V 29
dir 4-328495.0.r412348/788425
K 17
R-cran-stabledist
V 27
dir 4-309474.0.r422223/1348
K 13
R-cran-survey
V 26
dir 4-411817.0.r427934/996
K 16
R-cran-truncnorm
V 27
dir 4-422959.0.r422959/2107
K 10
R-cran-xts
V 29
dir 4-280789.0.r412348/789085
K 10
R-cran-zoo
V 27
dir 4-280788.0.r428722/1013
K 6
aamath
V 26
dir 4-137923.0.r408372/718
K 6
abacus
V 29
dir 2-326410.0.r415499/653535
K 6
abakus
V 29
dir 4-152678.0.r420774/880735
K 3
abs
V 28
dir 2-16350.0.r380306/163885
K 3
add
V 28
dir 2-12939.0.r415499/654266
K 5
algae
V 28
dir 4-82139.0.r428057/580155
K 9
algotutor
V 29
dir 4-126758.0.r415499/655006
K 8
alt-ergo
V 29
dir 4-287773.0.r417685/453011
K 5
amath
V 29
dir 4-425086.0.r426566/897805
K 8
analitza
V 30
dir 8l-297371.0.r424182/668873
K 3
ann
V 29
dir 4-253818.0.r415738/919184
K 3
apc
V 27
dir 2-6710.0.r415499/655691
K 6
aribas
V 26
dir 4-193965.0.r359928/663
K 9
armadillo
V 27
dir 4-314935.0.r429889/1664
K 6
arpack
V 28
dir 4-80169.0.r428057/580891
K 8
arpack++
V 28
dir 4-95234.0.r417685/454487
K 9
arpack-ng
V 29
dir 4-300064.0.r428057/581587
K 15
arpack-ng-mpich
V 27
dir 8-370227.0.r420410/3098
K 8
asir2000
V 28
dir 4-47162.0.r412348/796954
K 6
aspcud
V 30
dir 4-339367.0.r426908/1098274
K 9
asymptote
V 29
dir 4-140404.0.r415499/657126
K 5
atlas
V 28
dir 4-56117.0.r428057/582323
K 8
bargraph
V 29
dir 4-294217.0.r422140/869954
K 7
biggles
V 28
dir 4-50529.0.r412348/800522
K 5
blacs
V 28
dir 4-80142.0.r428057/583055
K 4
blas
V 27
dir 2-280.0.r367888/2354490
K 7
blitz++
V 28
dir 4-67732.0.r428132/178544
K 12
blocksolve95
V 29
dir 4-121707.0.r428057/583803
K 5
bsdnt
V 29
dir 4-338583.0.r412348/803481
K 8
cadabra2
V 29
dir 4-418304.0.r428370/106928
K 4
calc
V 24
dir 3-162.0.r408684/1501
K 6
calcoo
V 28
dir 4-53344.0.r428152/963940
K 8
calctool
V 27
dir 2-4947.0.r412348/804209
K 6
cantor
V 30
dir ce-283641.0.r428057/584562
K 5
carve
V 30
dir 4-291926.0.r426908/1099764
K 5
cblas
V 29
dir 4-288838.0.r428057/585212
K 6
ccmath
V 27
dir 4-40118.0.r387917/11592
K 12
ceres-solver
V 26
dir 4-424034.0.r429102/777
K 4
cgal
V 26
dir 4-159258.0.r429807/956
K 5
chaco
V 26
dir 4-161300.0.r429880/718
K 9
chryzodus
V 29
dir 4-138937.0.r412348/807837
K 8
clarence
V 26
dir 4-54038.0.r371328/8719
K 5
clasp
V 26
dir 2-327622.0.r422376/553
K 6
clblas
V 31
dir 2z-397198.0.r426908/1101253
K 5
clfft
V 28
dir 39-397198.0.r423661/2671
K 7
clipper
V 30
dir 4-312105.0.r386312/1571513
K 3
cln
V 25
dir 4-38257.0.r426361/722
K 5
cloog
V 29
dir 4-321979.0.r412348/810734
K 3
clp
V 29
dir 4-198778.0.r428057/586600
K 5
clrng
V 27
dir 3n-397198.0.r425696/736
K 8
cminpack
V 29
dir 4-379703.0.r416242/663227
K 5
cmlib
V 29
dir 4-386679.0.r428057/587327
K 6
coinmp
V 29
dir 4-278529.0.r424427/816402
K 8
concorde
V 27
dir 4-30153.0.r372546/39096
K 10
convertall
V 27
dir 4-117581.0.r425749/1993
K 3
coq
V 27
dir 4-119551.0.r430096/1209
K 6
crlibm
V 27
dir 4-288947.0.r420218/1053
K 13
cryptominisat
V 30
dir 4-385495.0.r426908/1101955
K 4
cvc3
V 29
dir 4-188227.0.r426566/900706
K 7
diehard
V 26
dir 4-62415.0.r401208/2809
K 9
dieharder
V 29
dir 4-222883.0.r417685/458023
K 6
djbfft
V 27
dir 4-59197.0.r372546/44169
K 5
drgeo
V 28
dir k-72881.0.r426566/901439
K 6
dynare
V 29
dir 4-282473.0.r428057/588063
K 1
e
V 28
dir 4-120706.0.r372546/44861
K 8
edenmath
V 29
dir 4-172517.0.r397315/720937
K 6
eigen2
V 29
dir e-206969.0.r415738/922804
K 6
eigen3
V 27
dir o-206969.0.r423320/1093
K 7
eispack
V 26
dir 2-299.0.r428057/588745
K 4
emc2
V 26
dir 4-97124.0.r420943/2176
K 3
ent
V 26
dir 4-323853.0.r417786/748
K 7
entropy
V 26
dir 4-64354.0.r358240/1513
K 3
ess
V 27
dir 4-276061.0.r415023/1713
K 9
eukleides
V 29
dir 4-60610.0.r424411/1109487
K 4
eval
V 26
dir 2-10680.0.r365060/1064
K 6
facile
V 27
dir 4-206967.0.r429835/1028
K 4
fann
V 29
dir 4-186705.0.r424427/818416
K 12
fflas-ffpack
V 29
dir 4-283609.0.r428057/589444
K 4
fftw
V 28
dir 2-17276.0.r428057/590184
K 10
fftw-float
V 27
dir 4-121298.0.r347124/2447
K 5
fftw3
V 26
dir f-17276.0.r424661/4222
K 11
fftw3-float
V 27
dir 4-121063.0.r347093/2240
K 10
fftw3-long
V 27
dir 8-121063.0.r347093/2790
K 10
fftw3-quad
V 27
dir 4-283696.0.r347093/3338
K 5
fityk
V 30
dir 4-130578.0.r426908/1103445
K 4
foma
V 29
dir 4-353158.0.r422140/871433
K 8
fpc-fftw
V 29
dir 4-172531.0.r412348/821480
K 7
fpc-gmp
V 29
dir 4-259369.0.r412348/822083
K 10
fpc-numlib
V 29
dir 4-226018.0.r403082/616268
K 7
freemat
V 29
dir 4-132275.0.r428057/590917
K 3
fxt
V 26
dir 4-50672.0.r416925/1544
K 10
galculator
V 25
dir 4-83610.0.r429923/620
K 6
gambit
V 26
dir 4-75161.0.r418813/1474
K 3
gap
V 26
dir 4-58970.0.r429969/1913
K 6
gdcalc
V 28
dir 4-62875.0.r412348/824888
K 3
geg
V 28
dir 2-12406.0.r428152/964620
K 8
geogebra
V 34
dir 4-143470.0-410466.r425077/1246
K 7
geonext
V 29
dir 4-128341.0.r415499/667822
K 5
gexpr
V 28
dir 4-43961.0.r415499/668511
K 5
ggobi
V 29
dir 4-249715.0.r428152/965355
K 8
giacxcas
V 29
dir 2-261551.0.r428057/591617
K 6
givaro
V 27
dir 4-283582.0.r429236/2232
K 5
gkmap
V 29
dir 4-324367.0.r428152/966048
K 7
glgraph
V 28
dir 4-72664.0.r428132/179190
K 3
glm
V 27
dir 4-301955.0.r409329/1594
K 4
glpk
V 26
dir 4-36057.0.r419263/1841
K 5
gmm++
V 29
dir 4-218131.0.r415738/924196
K 3
gmp
V 29
dir 4-43514.0.r424411/1110179
K 7
gmp-ecm
V 29
dir 4-164283.0.r415738/924847
K 16
gnome-calculator
V 35
dir 4-61145.7-372768.r412348/830692
K 5
gnubc
V 26
dir 4-249168.0.r392542/571
K 8
gnumeric
V 28
dir 2-14193.0.r412348/831438
K 7
gnuplot
V 24
dir 2-184.0.r424500/1210
K 18
gnuplot-tex-extras
V 29
dir 9-374699.0.r415499/670589
K 6
goblin
V 25
dir 2-55478.0.r390404/625
K 8
gotoblas
V 26
dir 4-184333.0.r429052/626
K 5
grace
V 28
dir 2-17277.0.r412348/833547
K 9
gracetmpl
V 28
dir 4-92440.0.r426566/902877
K 10
graphthing
V 26
dir 2-54530.0.r420272/3062
K 5
gretl
V 28
dir 2-56450.0.r428057/593052
K 3
gri
V 28
dir 4-34352.0.r412348/835695
K 6
gringo
V 29
dir 4-339359.0.r412348/836373
K 4
grpn
V 28
dir 2-23410.0.r428152/966731
K 3
gsl
V 29
dir 4-27399.0.r424411/1110908
K 7
hexcalc
V 33
dir 2-539.0-341901.r406010/458654
K 4
hfst
V 29
dir 4-360628.0.r426566/903614
K 7
hs-Agda
V 30
dir 4-247094.0.r394918/1043748
K 14
hs-Agda-stdlib
V 27
dir sz-394918.0.r409208/581
K 15
hs-NumInstances
V 30
dir 5-291121.0.r394918/1046856
K 14
hs-adjunctions
V 30
dir tg-394918.0.r427548/770200
K 13
hs-categories
V 29
dir 7-279687.0.r427548/770869
K 10
hs-comonad
V 29
dir 7-279689.0.r427548/771533
K 16
hs-contravariant
V 29
dir 7-279690.0.r427548/772200
K 12
hs-data-lens
V 29
dir 5-291123.0.r427548/772869
K 21
hs-data-lens-template
V 29
dir 5-291124.0.r427548/773544
K 15
hs-distributive
V 29
dir 7-279691.0.r427548/774221
K 6
hs-erf
V 30
dir 4-247108.0.r394918/1054327
K 10
hs-ieee754
V 29
dir 5-298136.0.r427548/774888
K 17
hs-kan-extensions
V 30
dir ua-394918.0.r427548/775562
K 17
hs-math-functions
V 30
dir 4-290293.0.r394918/1057167
K 13
hs-mwc-random
V 30
dir 4-247119.0.r394918/1058160
K 10
hs-pointed
V 29
dir 7-279695.0.r427548/776231
K 14
hs-probability
V 30
dir 4-247118.0.r394918/1060414
K 16
hs-semigroupoids
V 29
dir 7-279692.0.r427548/776899
K 13
hs-semigroups
V 29
dir 7-279685.0.r427548/777617
K 13
hs-statistics
V 29
dir 4-247125.0.r415499/671987
K 15
hs-vector-space
V 30
dir 4-247746.0.r394918/1064979
K 6
igraph
V 29
dir 4-217031.0.r424427/820194
K 5
ipopt
V 29
dir 4-366918.0.r428057/593744
K 4
ised
V 26
dir 4-251331.0.r429504/605
K 5
jacal
V 28
dir 4-56207.0.r412348/838524
K 4
jags
V 29
dir 4-110135.0.r428057/594491
K 20
jakarta-commons-math
V 29
dir 4-127742.0.r415499/673386
K 21
jakarta-commons-math3
V 29
dir 4-297407.0.r415499/674106
K 4
jama
V 28
dir 4-82179.0.r415499/674816
K 7
jeuclid
V 29
dir 4-249767.0.r425127/376413
K 10
jlatexmath
V 29
dir 4-249766.0.r425127/377117
K 12
jsmath-fonts
V 29
dir e-164162.0.r380306/164580
K 11
jtransforms
V 26
dir 4-262245.0.r420866/514
K 3
jts
V 27
dir 4-192174.0.r418622/1133
K 8
kalgebra
V 30
dir cs-283641.0.r424182/670340
K 6
kbruch
V 30
dir d2-283641.0.r424182/671051
K 5
kcalc
V 28
dir 15-8441.0.r424182/671796
K 3
kig
V 31
dir dh-283641.0.r426908/1104899
K 9
kktdirect
V 29
dir 4-288407.0.r428057/595145
K 6
kmplot
V 28
dir dr-283641.0.r425760/1302
K 7
labplot
V 29
dir 4-150102.0.r426566/905738
K 6
lambda
V 26
dir 4-109095.0.r408378/644
K 6
lapack
V 24
dir 2-3178.0.r428484/637
K 8
lapack++
V 28
dir 4-61741.0.r428057/596608
K 8
lapack95
V 29
dir 4-117551.0.r428057/597349
K 7
lapacke
V 29
dir 4-269254.0.r415499/676890
K 7
laspack
V 29
dir 4-140069.0.r417685/465086
K 7
ldouble
V 26
dir 4-121047.0.r421356/709
K 6
levmar
V 29
dir 4-259952.0.r428057/598046
K 8
libRmath
V 29
dir 4-109219.0.r428057/598741
K 8
libflame
V 29
dir 4-288536.0.r417685/466481
K 8
libjbigi
V 29
dir 4-151920.0.r422140/872130
K 8
liblbfgs
V 29
dir 4-256810.0.r415738/926251
K 10
libmissing
V 29
dir 4-309324.0.r417685/467134
K 7
libocas
V 29
dir 4-283033.0.r417685/467829
K 9
liborigin
V 30
dir 4-171749.0.r426908/1105601
K 8
libproj4
V 29
dir 4-370687.0.r412348/849119
K 12
libqalculate
V 26
dir 4-136977.0.r424453/602
K 9
libranlip
V 27
dir 4-253982.0.r423265/1702
K 6
librsb
V 29
dir 4-388293.0.r428057/599476
K 10
libtommath
V 27
dir 4-141328.0.r410694/2459
K 9
libtsnnls
V 29
dir 4-263280.0.r428057/600179
K 7
linpack
V 26
dir 2-298.0.r428057/600912
K 9
lll_spect
V 29
dir 4-249994.0.r417685/469960
K 8
lp_solve
V 26
dir 4-85171.0.r426312/3051
K 4
lrng
V 29
dir 4-274784.0.r417685/470608
K 3
ltl
V 29
dir 4-174849.0.r412348/853495
K 6
ltl2ba
V 29
dir 4-274737.0.r417685/471252
K 6
lybniz
V 28
dir 4-203550.0.r375144/18440
K 6
math77
V 29
dir 4-398992.0.r428057/601595
K 7
mathmod
V 34
dir 4-156476.0-410155.r426342/2038
K 10
mathomatic
V 29
dir 4-133081.0.r415499/680348
K 5
matio
V 27
dir 4-250256.0.r425035/1518
K 16
matlab-installer
V 36
dir 4-318605.0-342611.r421496/581634
K 6
maxima
V 26
dir 4-73483.0.r422546/4538
K 9
mbasecalc
V 29
dir 4-111633.0.r412348/856394
K 5
metis
V 28
dir 2-10682.0.r426566/907207
K 9
metis-edf
V 27
dir m-85421.0.r426042/65687
K 6
metis4
V 28
dir p-10682.0.r417685/473513
K 14
mingw32-libgmp
V 30
dir 4-220558.0.r424411/1113030
K 7
minisat
V 29
dir 2-327544.0.r415499/681087
K 6
miracl
V 29
dir 4-126683.0.r426566/907895
K 3
moo
V 26
dir 4-190340.0.r428256/572
K 12
mosesdecoder
V 30
dir 4-367003.0.r426908/1106352
K 3
mpc
V 29
dir 4-232062.0.r412348/858499
K 6
mpexpr
V 26
dir 4-90359.0.r422788/1899
K 4
mpfr
V 26
dir 4-141316.0.r422857/588
K 4
mpir
V 29
dir 4-361925.0.r412348/859864
K 6
msieve
V 29
dir 4-181482.0.r417685/474204
K 3
mtl
V 28
dir 4-56139.0.r417685/474939
K 8
mtrxmath
V 25
dir 4-39458.0.r344617/805
K 5
mumps
V 29
dir 4-164274.0.r428057/602334
K 11
mumps-mpich
V 27
dir 4-168703.0.r354002/7217
K 8
muparser
V 28
dir 4-156125.0.r372596/32036
K 11
naturalmath
V 27
dir 4-50943.0.r372596/32733
K 5
nauty
V 26
dir 4-43274.0.r429486/1011
K 5
ndiff
V 29
dir 4-101356.0.r412348/861988
K 6
newmat
V 28
dir 4-51145.0.r374492/626940
K 6
ngraph
V 26
dir 2-21453.0.r392401/3086
K 5
nlopt
V 29
dir 4-370660.0.r424866/364898
K 3
ntl
V 28
dir 2-30415.0.r418767/732750
K 7
numdiff
V 29
dir 4-175879.0.r412348/864052
K 7
nyh-hoc
V 26
dir 4-197599.0.r344401/580
K 16
ocaml-ocamlgraph
V 29
dir 4-110162.0.r428596/491996
K 12
ocaml-zarith
V 27
dir 4-356255.0.r424051/1661
K 8
ocamlgsl
V 29
dir 4-276544.0.r427136/365030
K 6
octave
V 25
dir 2-1566.0.r428762/1829
K 12
octave-forge
V 29
dir 4-108647.0.r412348/867574
K 22
octave-forge-actuarial
V 29
dir 2-256728.0.r428057/603720
K 18
octave-forge-audio
V 29
dir 4-220205.0.r428057/604452
K 17
octave-forge-base
V 29
dir 4-220196.0.r412348/868280
K 16
octave-forge-bim
V 29
dir 4-220286.0.r428057/605120
K 20
octave-forge-bioinfo
V 29
dir 4-220217.0.r428057/605794
K 16
octave-forge-cgi
V 29
dir 4-307605.0.r428057/606464
K 30
octave-forge-civil-engineering
V 29
dir 4-220219.0.r428057/607148
K 27
octave-forge-communications
V 29
dir 4-220277.0.r428057/607839
K 20
octave-forge-control
V 29
dir 4-220279.0.r428057/608523
K 27
octave-forge-data-smoothing
V 29
dir 4-220282.0.r428057/609211
K 21
octave-forge-database
V 29
dir 4-311535.0.r428057/609939
K 22
octave-forge-dataframe
V 29
dir 2-260164.0.r428057/610619
K 19
octave-forge-divand
V 29
dir 4-345001.0.r428057/611293
K 20
octave-forge-doctest
V 29
dir 4-391607.0.r428057/611960
K 25
octave-forge-econometrics
V 29
dir 4-220228.0.r428057/612642
K 19
octave-forge-engine
V 29
dir 4-220215.0.r428057/613325
K 17
octave-forge-fenv
V 29
dir 4-257153.0.r428057/614046
K 22
octave-forge-financial
V 29
dir 4-220278.0.r428057/614722
K 17
octave-forge-fits
V 29
dir 4-268658.0.r428057/615398
K 20
octave-forge-fl-core
V 29
dir 4-268879.0.r428057/616119
K 16
octave-forge-fpl
V 29
dir 4-220211.0.r428057/616846
K 32
octave-forge-fuzzy-logic-toolkit
V 29
dir 4-275950.0.r428057/617531
K 15
octave-forge-ga
V 29
dir 4-220281.0.r428057/618220
K 20
octave-forge-general
V 29
dir 4-220226.0.r428057/618893
K 26
octave-forge-generate_html
V 29
dir 4-235756.0.r428057/619577
K 21
octave-forge-geometry
V 29
dir 4-282489.0.r428057/620257
K 20
octave-forge-gnuplot
V 29
dir 4-257154.0.r428057/620939
K 16
octave-forge-gsl
V 29
dir 4-220216.0.r428057/621609
K 18
octave-forge-ident
V 29
dir 4-220227.0.r428057/622280
K 18
octave-forge-image
V 29
dir 4-220225.0.r428057/622948
K 30
octave-forge-informationtheory
V 29
dir 4-220222.0.r428057/623633
K 24
octave-forge-integration
V 29
dir 4-220223.0.r428057/624325
K 21
octave-forge-interval
V 29
dir 4-378280.0.r428057/625040
K 15
octave-forge-io
V 29
dir 4-220224.0.r428057/625707
K 17
octave-forge-irsa
V 29
dir 4-220240.0.r428057/626376
K 22
octave-forge-level-set
V 29
dir 4-379409.0.r428057/627090
K 27
octave-forge-linear-algebra
V 29
dir 4-220221.0.r428057/627776
K 17
octave-forge-lssa
V 29
dir 4-302531.0.r428057/628504
K 18
octave-forge-ltfat
V 27
dir 4-327510.0.r429458/1060
K 20
octave-forge-mapping
V 29
dir 4-220241.0.r428057/629852
K 22
octave-forge-mechanics
V 29
dir 4-282497.0.r428057/630536
K 26
octave-forge-miscellaneous
V 29
dir 4-220229.0.r428057/631222
K 30
octave-forge-missing-functions
V 29
dir 4-220230.0.r428057/631918
K 16
octave-forge-msh
V 29
dir 4-220276.0.r428057/632600
K 22
octave-forge-multicore
V 29
dir 4-220231.0.r428057/633278
K 16
octave-forge-mvn
V 29
dir 4-338355.0.r428057/633955
K 16
octave-forge-nan
V 29
dir 4-220232.0.r428057/634625
K 20
octave-forge-ncarray
V 29
dir 4-301262.0.r428057/635300
K 19
octave-forge-netcdf
V 29
dir 4-324825.0.r428057/636019
K 20
octave-forge-nlwing2
V 29
dir 4-220613.0.r428057/636700
K 17
octave-forge-nnet
V 29
dir 4-220235.0.r428057/637379
K 18
octave-forge-nurbs
V 29
dir 4-234591.0.r428057/638051
K 16
octave-forge-ocs
V 29
dir 4-220236.0.r428057/638722
K 20
octave-forge-oct2mat
V 29
dir 4-234592.0.r428057/639399
K 19
octave-forge-octcdf
V 29
dir 4-220233.0.r428057/640075
K 20
octave-forge-octclip
V 29
dir 4-275949.0.r428057/640752
K 20
octave-forge-octproj
V 29
dir 4-257151.0.r428057/641430
K 19
octave-forge-odebvp
V 29
dir 4-220243.0.r428057/642109
K 19
octave-forge-odepkg
V 29
dir 4-220245.0.r428057/642784
K 19
octave-forge-optics
V 29
dir 4-374726.0.r428057/643456
K 18
octave-forge-optim
V 29
dir 4-220256.0.r428057/644130
K 24
octave-forge-optiminterp
V 29
dir 4-220247.0.r428057/644860
K 21
octave-forge-outliers
V 29
dir 4-220246.0.r428057/645545
K 21
octave-forge-parallel
V 29
dir 4-257155.0.r428641/142599
K 16
octave-forge-pdb
V 29
dir 4-220248.0.r428057/646899
K 17
octave-forge-plot
V 29
dir 4-220250.0.r428057/647570
K 18
octave-forge-pt_br
V 29
dir 4-220251.0.r428057/648292
K 23
octave-forge-quaternion
V 29
dir 4-240209.0.r428057/648971
K 21
octave-forge-queueing
V 29
dir 4-290509.0.r428057/649652
K 19
octave-forge-secs1d
V 29
dir 4-220252.0.r428057/650334
K 19
octave-forge-secs2d
V 29
dir 4-220253.0.r428057/651010
K 19
octave-forge-secs3d
V 29
dir 4-281674.0.r428057/651686
K 19
octave-forge-signal
V 29
dir 4-220275.0.r428057/652362
K 17
octave-forge-simp
V 29
dir 4-234593.0.r428057/653038
K 20
octave-forge-sockets
V 29
dir 4-220254.0.r428057/653711
K 22
octave-forge-sparsersb
V 29
dir 4-406002.0.r428057/654435
K 20
octave-forge-specfun
V 29
dir 4-220255.0.r428057/655118
K 27
octave-forge-special-matrix
V 29
dir 4-220257.0.r428057/655805
K 20
octave-forge-splines
V 29
dir 4-220259.0.r428057/656488
K 23
octave-forge-statistics
V 29
dir 4-220260.0.r428057/657169
K 16
octave-forge-stk
V 29
dir 4-370002.0.r428057/657844
K 20
octave-forge-strings
V 29
dir 4-220261.0.r428057/658518
K 19
octave-forge-struct
V 29
dir 4-220262.0.r428057/659195
K 20
octave-forge-symband
V 29
dir 4-220263.0.r428057/659874
K 21
octave-forge-symbolic
V 29
dir 4-220273.0.r428057/660551
K 23
octave-forge-tcl-octave
V 29
dir 4-220272.0.r428057/661235
K 19
octave-forge-tisean
V 29
dir 4-406003.0.r428057/661958
K 16
octave-forge-tsa
V 29
dir 4-220274.0.r428057/662630
K 18
octave-forge-video
V 29
dir 4-220266.0.r428352/672027
K 19
octave-forge-zenity
V 29
dir 4-220271.0.r428057/663980
K 19
octave-forge-zeromq
V 29
dir 4-409699.0.r428057/664651
K 4
ogdf
V 29
dir 2-326473.0.r414892/431940
K 4
oleo
V 25
dir 2-211.0.r420708/13815
K 8
openblas
V 29
dir 4-303185.0.r428057/665359
K 7
openfst
V 26
dir 4-337544.0.r425252/546
K 8
openlibm
V 28
dir 4-407468.0.r426199/45500
K 5
orpie
V 29
dir 4-115770.0.r412348/893487
K 18
p5-AI-DecisionTree
V 28
dir 4-96718.0.r415499/690095
K 13
p5-AI-Genetic
V 29
dir 4-156456.0.r415499/690819
K 24
p5-AI-NeuralNet-BackProp
V 28
dir 4-36554.0.r375378/810620
K 16
p5-AI-Perceptron
V 28
dir 4-36556.0.r412348/894190
K 26
p5-Algorithm-Combinatorics
V 29
dir 4-147444.0.r415499/691551
K 21
p5-Algorithm-CurveFit
V 29
dir 4-175978.0.r412348/894916
K 19
p5-Algorithm-KMeans
V 29
dir 4-257239.0.r412348/895642
K 20
p5-Algorithm-Munkres
V 29
dir 4-226893.0.r415499/692288
K 15
p5-Bit-ShiftReg
V 29
dir 4-36694.0.r373448/4283803
K 13
p5-Bit-Vector
V 28
dir 4-36695.0.r412348/896349
K 21
p5-Bit-Vector-Minimal
V 30
dir 4-114937.0.r373448/4285884
K 11
p5-CAD-Calc
V 29
dir 4-163026.0.r412348/897056
K 18
p5-Chart-Math-Axis
V 28
dir 4-81251.0.r412348/897772
K 13
p5-Data-Float
V 30
dir 4-170065.0.r373448/4288996
K 15
p5-Date-Handler
V 28
dir 4-46901.0.r388088/374741
K 15
p5-GIS-Distance
V 29
dir 4-176189.0.r412348/898485
K 20
p5-GIS-Distance-Fast
V 29
dir 4-249051.0.r412348/899210
K 20
p5-GIS-Distance-Lite
V 29
dir 4-254315.0.r412348/899940
K 22
p5-Geo-Coordinates-UTM
V 30
dir 4-220658.0.r386312/1587745
K 15
p5-Geo-Distance
V 29
dir 4-113427.0.r412348/900668
K 18
p5-Geo-Distance-XS
V 29
dir 4-242265.0.r412348/901395
K 8
p5-Graph
V 28
dir 4-48625.0.r412348/902107
K 23
p5-Math-Algebra-Symbols
V 29
dir 4-163417.0.r415499/693014
K 14
p5-Math-Base36
V 26
dir 4-218266.0.r375952/608
K 14
p5-Math-Base85
V 29
dir 4-47927.0.r373448/4300481
K 16
p5-Math-BaseCalc
V 29
dir 4-61985.0.r373448/4301510
K 15
p5-Math-BaseCnv
V 29
dir 4-235243.0.r412348/902812
K 14
p5-Math-Bezier
V 28
dir 4-36719.0.r386075/462193
K 22
p5-Math-Bezier-Convert
V 30
dir 4-128233.0.r373448/4304640
K 14
p5-Math-BigInt
V 25
dir 4-48714.0.r428430/560
K 23
p5-Math-BigInt-FastCalc
V 27
dir 4-265782.0.r428746/1094
K 18
p5-Math-BigInt-GMP
V 27
dir 4-184781.0.r427885/1075
K 19
p5-Math-BigInt-Lite
V 27
dir 4-428431.0.r428431/3023
K 19
p5-Math-BigInt-Pari
V 27
dir 4-233108.0.r427960/1078
K 14
p5-Math-BigRat
V 27
dir 4-130283.0.r414205/1124
K 11
p5-Math-CDF
V 26
dir 4-264615.0.r394486/656
K 18
p5-Math-Calc-Units
V 29
dir 4-61987.0.r373448/4311933
K 14
p5-Math-Cephes
V 29
dir 4-163571.0.r415499/693730
K 21
p5-Math-Combinatorics
V 29
dir 4-136318.0.r375378/813523
K 15
p5-Math-Complex
V 30
dir 4-205437.0.r373448/4315069
K 18
p5-Math-ConvexHull
V 30
dir 4-146218.0.r373448/4316117
K 16
p5-Math-Currency
V 26
dir 4-36721.0.r418073/1575
K 18
p5-Math-Derivative
V 27
dir 4-122444.0.r405040/1030
K 12
p5-Math-Evol
V 29
dir 4-236599.0.r396892/933732
K 12
p5-Math-Expr
V 25
dir 4-32903.0.r402575/981
K 11
p5-Math-FFT
V 26
dir 4-39660.0.r388317/1366
K 22
p5-Math-FixedPrecision
V 28
dir 4-36723.0.r388088/375459
K 16
p5-Math-Fleximal
V 29
dir 4-344918.0.r397550/324101
K 11
p5-Math-GMP
V 26
dir 4-36724.0.r426499/1205
K 12
p5-Math-GMPf
V 27
dir 4-299792.0.r429119/1068
K 12
p5-Math-GMPq
V 27
dir 4-299793.0.r426434/1048
K 12
p5-Math-GMPz
V 27
dir 4-299794.0.r425531/1070
K 11
p5-Math-GSL
V 26
dir 4-93041.0.r425532/1475
K 16
p5-Math-Geometry
V 29
dir 4-171149.0.r412348/910681
K 23
p5-Math-Geometry-Planar
V 29
dir 4-163036.0.r412348/911409
K 27
p5-Math-Geometry-Planar-GPC
V 29
dir 4-163030.0.r415499/694462
K 37
p5-Math-Geometry-Planar-GPC-PolygonXS
V 36
dir 4-270720.0-386320.r390932/382651
K 30
p5-Math-Geometry-Planar-Offset
V 29
dir 4-163034.0.r412348/912149
K 24
p5-Math-Geometry-Voronoi
V 29
dir 4-237725.0.r412348/912893
K 16
p5-Math-Gradient
V 30
dir 4-250756.0.r373448/4335980
K 14
p5-Math-Int128
V 29
dir 4-309299.0.r427552/676504
K 13
p5-Math-Int64
V 27
dir 4-287425.0.r406341/1022
K 19
p5-Math-Interpolate
V 26
dir 4-39661.0.r398530/1037
K 33
p5-Math-Intersection-StraightLine
V 29
dir 4-156258.0.r415499/695208
K 13
p5-Math-Logic
V 28
dir 4-32904.0.r375378/818670
K 11
p5-Math-MPC
V 27
dir 4-232087.0.r428073/1042
K 12
p5-Math-MPFR
V 27
dir 4-227941.0.r426500/1093
K 14
p5-Math-Matrix
V 30
dir 4-150667.0.r373448/4344274
K 18
p5-Math-MatrixReal
V 32
dir 2-8783.0-334605.r423553/1308
K 22
p5-Math-NumberCruncher
V 29
dir 4-186674.0.r415499/695954
K 12
p5-Math-Pari
V 28
dir 4-47654.0.r412348/916579
K 15
p5-Math-Polygon
V 27
dir 4-225610.0.r429849/1057
K 20
p5-Math-Polygon-Tree
V 29
dir 4-270721.0.r412348/918005
K 24
p5-Math-Polynomial-Solve
V 27
dir 4-176197.0.r416035/1152
K 16
p5-Math-Prime-XS
V 27
dir 4-282260.0.r425533/1090
K 11
p5-Math-RPN
V 29
dir 4-255436.0.r415499/696681
K 14
p5-Math-Random
V 26
dir 4-44833.0.r395693/1461
K 20
p5-Math-Random-ISAAC
V 29
dir 4-245337.0.r412348/920897
K 23
p5-Math-Random-ISAAC-XS
V 29
dir 4-245340.0.r412348/921629
K 17
p5-Math-Random-MT
V 28
dir 4-44834.0.r412348/922341
K 22
p5-Math-Random-MT-Auto
V 29
dir 4-168585.0.r412348/923067
K 17
p5-Math-Random-OO
V 29
dir 4-168753.0.r412348/923795
K 21
p5-Math-Random-Secure
V 29
dir 4-271137.0.r412348/924523
K 17
p5-Math-RandomOrg
V 29
dir 4-163887.0.r415499/697401
K 13
p5-Math-Round
V 25
dir 4-88615.0.r398531/558
K 17
p5-Math-Round-Var
V 29
dir 4-163006.0.r415499/698124
K 16
p5-Math-Sequence
V 29
dir 4-162468.0.r415499/698847
K 14
p5-Math-Series
V 29
dir 4-162470.0.r415499/699567
K 15
p5-Math-SigFigs
V 27
dir 4-251780.0.r392527/1113
K 22
p5-Math-SimpleVariable
V 29
dir 4-60136.0.r373448/4367415
K 14
p5-Math-Spline
V 29
dir 4-122448.0.r412348/927405
K 14
p5-Math-String
V 29
dir 4-294395.0.r381221/181594
K 16
p5-Math-Symbolic
V 29
dir 4-162398.0.r415499/700289
K 33
p5-Math-Symbolic-Custom-CCompiler
V 29
dir 4-162405.0.r415499/701032
K 32
p5-Math-Symbolic-Custom-Contains
V 29
dir 4-162400.0.r415499/701789
K 40
p5-Math-Symbolic-Custom-ErrorPropagation
V 29
dir 4-162443.0.r415499/702553
K 35
p5-Math-Symbolic-Custom-LaTeXDumper
V 29
dir 4-162451.0.r415499/703321
K 31
p5-Math-Symbolic-Custom-Pattern
V 29
dir 4-162453.0.r415499/704080
K 38
p5-Math-Symbolic-Custom-Simplification
V 29
dir 4-162455.0.r415499/704842
K 38
p5-Math-Symbolic-Custom-Transformation
V 29
dir 4-162457.0.r415499/705610
K 24
p5-Math-SymbolicX-BigNum
V 29
dir 4-162439.0.r415499/706365
K 25
p5-Math-SymbolicX-Complex
V 29
dir 4-162441.0.r415499/707107
K 23
p5-Math-SymbolicX-Error
V 29
dir 4-162466.0.r415499/707847
K 24
p5-Math-SymbolicX-Inline
V 29
dir 4-162403.0.r415499/708586
K 34
p5-Math-SymbolicX-NoSimplification
V 29
dir 4-162447.0.r415499/709337
K 40
p5-Math-SymbolicX-ParserExtensionFactory
V 29
dir 4-162408.0.r415499/710104
K 42
p5-Math-SymbolicX-Statistics-Distributions
V 29
dir 4-162445.0.r415499/710880
K 19
p5-Math-TrulyRandom
V 28
dir 4-56269.0.r390918/515645
K 13
p5-Math-Units
V 29
dir 4-163406.0.r415499/711628
K 13
p5-Math-Utils
V 27
dir 4-399363.0.r415085/1025
K 11
p5-Math-Vec
V 30
dir 4-141022.0.r373448/4388999
K 15
p5-Math-VecStat
V 30
dir 4-129741.0.r373448/4390036
K 18
p5-Math-VectorReal
V 29
dir 4-233830.0.r415499/712351
K 9
p5-NetCDF
V 28
dir 4-95218.0.r412348/939489
K 17
p5-Number-Compare
V 29
dir 4-81398.0.r373448/4393181
K 18
p5-Number-Fraction
V 30
dir 4-251879.0.r373448/4394221
K 14
p5-Number-Misc
V 27
dir 4-392616.0.r392616/2573
K 21
p5-Number-Uncertainty
V 26
dir 4-300704.0.r398532/587
K 19
p5-Number-WithError
V 29
dir 4-162459.0.r415499/713082
K 25
p5-Number-WithError-LaTeX
V 29
dir 4-162464.0.r415499/713819
K 14
p5-Parse-Range
V 29
dir 4-307768.0.r412348/941675
K 8
p5-Roman
V 28
dir 4-74709.0.r415499/714540
K 14
p5-Set-IntSpan
V 29
dir 2-15554.0.r373448/4400476
K 19
p5-Set-IntSpan-Fast
V 29
dir 4-185253.0.r412348/942400
K 22
p5-Set-IntSpan-Fast-XS
V 29
dir 4-216139.0.r412348/943136
K 16
p5-Set-Partition
V 29
dir 4-164542.0.r415499/715252
K 13
p5-Set-Window
V 29
dir 4-36754.0.r373448/4404658
K 19
p5-Statistics-Basic
V 29
dir 4-238507.0.r412348/943872
K 21
p5-Statistics-Benford
V 30
dir 4-233155.0.r373448/4406759
K 23
p5-Statistics-ChiSquare
V 28
dir 4-36628.0.r415499/715978
K 25
p5-Statistics-Contingency
V 28
dir 4-97202.0.r412348/944604
K 25
p5-Statistics-Descriptive
V 28
dir 4-36744.0.r428773/436152
K 34
p5-Statistics-Descriptive-Discrete
V 29
dir 4-179882.0.r415499/716728
K 27
p5-Statistics-Distributions
V 29
dir 4-36745.0.r373448/4412096
K 22
p5-Statistics-Forecast
V 30
dir 4-180690.0.r386312/1590703
K 23
p5-Statistics-Frequency
V 29
dir 4-251668.0.r415738/928305
K 17
p5-Statistics-LTU
V 29
dir 4-36746.0.r373448/4415269
K 21
p5-Statistics-LineFit
V 29
dir 4-175980.0.r425174/650147
K 18
p5-Statistics-Lite
V 27
dir 4-122902.0.r401225/1049
K 17
p5-Statistics-OLS
V 29
dir 4-36747.0.r373448/4418417
K 15
p5-Statistics-R
V 29
dir 4-270409.0.r412348/945326
K 24
p5-Statistics-Regression
V 29
dir 4-189404.0.r415499/717479
K 19
p5-Statistics-TTest
V 29
dir 4-205995.0.r412348/946050
K 21
p5-Task-Math-Symbolic
V 29
dir 4-169617.0.r412348/946787
K 16
p5-Text-AsciiTeX
V 26
dir 4-290408.0.r376486/970
K 9
p5-bignum
V 27
dir 4-192022.0.r428747/1031
K 4
pari
V 27
dir 2-7032.0.r417685/477089
K 8
parmetis
V 28
dir 2-19366.0.r417685/477732
K 11
parmgridgen
V 29
dir 4-266353.0.r415499/718974
K 4
pdal
V 26
dir 4-363814.0.r428921/713
K 20
pear-Math_BigInteger
V 29
dir 4-281425.0.r428494/744906
K 23
pear-Math_Combinatorics
V 29
dir 4-192312.0.r428494/745590
K 12
pecl-big_int
V 29
dir 4-135512.0.r429154/389844
K 11
pecl-bitset
V 29
dir 4-195159.0.r428488/542542
K 12
pecl-bitset2
V 36
dir 4-195159.0-410545.r428488/543257
K 10
pecl-stats
V 29
dir 4-169238.0.r428488/543949
K 11
pecl-stats2
V 29
dir 4-423697.0.r428488/544601
K 11
pecl-trader
V 29
dir 4-343761.0.r428488/545256
K 12
php56-bcmath
V 37
dir 4-114147.14-367268.r422652/523876
K 9
php56-gmp
V 37
dir 8-114147.15-367268.r422652/524524
K 12
php70-bcmath
V 37
dir 4-114147.11-408932.r422569/522336
K 9
php70-gmp
V 37
dir 8-114147.12-408932.r422569/522984
K 8
physcalc
V 26
dir 4-32044.0.r415141/3161
K 7
picosat
V 34
dir 4-365711.0-366063.r417659/1300
K 5
plman
V 29
dir 4-151700.0.r387082/475256
K 8
ploticus
V 28
dir 4-53652.0.r418829/580084
K 14
ploticus-nox11
V 25
dir 4-90788.0.r361015/411
K 6
plplot
V 27
dir 2-8139.0.r428340/357942
K 10
plplot-ada
V 29
dir 4-344634.0.r414332/469701
K 8
primegen
V 26
dir 4-231112.0.r347112/807
K 4
prng
V 29
dir 4-250787.0.r417685/478381
K 12
proofgeneral
V 29
dir 4-141552.0.r412348/953279
K 4
pspp
V 26
dir 4-28424.0.r419128/1093
K 9
pure-mpfr
V 28
dir 12-289858.0.r406019/1472
K 13
pure-rational
V 27
dir 4-283584.0.r405004/1228
K 11
py-altgraph
V 27
dir 4-373537.0.r428901/1007
K 7
py-apgl
V 29
dir 4-263688.0.r412348/954654
K 10
py-basemap
V 29
dir 4-175627.0.r412348/955304
K 15
py-basemap-data
V 28
dir 4-180648.0.r371328/15726
K 10
py-bitmath
V 29
dir 4-392067.0.r415738/928971
K 12
py-bitvector
V 30
dir 4-180881.0.r424411/1161664
K 13
py-bottleneck
V 29
dir 4-335898.0.r417356/579705
K 11
py-cdecimal
V 26
dir 4-406959.0.r407123/690
K 12
py-colormath
V 29
dir 4-392173.0.r424866/365544
K 16
py-cryptominisat
V 26
dir k-385495.0.r421342/557
K 14
py-fastcluster
V 29
dir 4-336815.0.r417356/580362
K 6
py-ffc
V 29
dir 4-294745.0.r403506/386357
K 7
py-fiat
V 29
dir 4-294821.0.r415738/929624
K 10
py-fpconst
V 27
dir 4-90550.0.r371328/19716
K 7
py-gato
V 28
dir 4-47357.0.r412348/959923
K 7
py-gmpy
V 29
dir 4-217040.0.r422140/872781
K 8
py-gmpy2
V 26
dir 4-416879.0.r417694/979
K 10
py-gnuplot
V 25
dir 4-30139.0.r426151/601
K 14
py-graphillion
V 34
dir 4-321453.0-321557.r410030/1320
K 6
py-gsl
V 28
dir 4-54726.0.r412348/961917
K 9
py-igraph
V 29
dir 4-180374.0.r415738/930277
K 10
py-intspan
V 26
dir 4-415293.0.r417309/998
K 8
py-keras
V 27
dir 4-417325.0.r426220/1005
K 10
py-luminol
V 29
dir 2-413550.0.r424866/366193
K 10
py-mathdom
V 29
dir 4-215823.0.r412348/963217
K 13
py-matplotlib
V 26
dir 4-115380.0.r426885/569
K 9
py-mpmath
V 29
dir 4-221772.0.r412348/964567
K 10
py-munkres
V 26
dir 4-312268.0.r403312/963
K 11
py-networkx
V 29
dir 4-214918.0.r424866/366883
K 11
py-numarray
V 25
dir 4-62097.0.r425794/554
K 10
py-numeric
V 25
dir f-6349.0.r425596/1512
K 10
py-numexpr
V 26
dir 4-257393.0.r426450/995
K 8
py-numpy
V 29
dir 4-171823.0.r428057/666824
K 9
py-nzmath
V 28
dir 4-275009.0.r372555/29325
K 9
py-pandas
V 27
dir 4-302642.0.r425655/1439
K 8
py-patsy
V 29
dir 4-333533.0.r417356/581061
K 10
py-plastex
V 29
dir 4-221239.0.r412348/968090
K 11
py-probstat
V 25
dir 4-67863.0.r381585/862
K 10
py-pybloom
V 29
dir 4-269385.0.r415738/930937
K 10
py-pycosat
V 36
dir 4-365712.1-366063.r415499/723201
K 9
py-pyhull
V 27
dir 4-404409.0.r404409/2119
K 7
py-pymc
V 29
dir 4-224222.0.r412348/970824
K 11
py-pysparse
V 29
dir 4-418286.0.r428057/667519
K 8
py-pyvtk
V 26
dir 4-404902.0.r415525/999
K 8
py-roman
V 28
dir 4-284510.0.r371328/31956
K 13
py-scientific
V 28
dir 2-20396.0.r412348/971571
K 14
py-statsmodels
V 29
dir 4-334582.0.r417356/581718
K 10
py-svgmath
V 28
dir 4-234452.0.r371328/34055
K 9
py-symeig
V 29
dir 4-220906.0.r428057/668173
K 8
py-sympy
V 26
dir 4-218429.0.r414153/591
K 9
py-theano
V 29
dir 4-380579.0.r426566/910658
K 6
py-ufl
V 29
dir 4-294823.0.r415738/931591
K 8
py-viper
V 29
dir 4-294824.0.r415738/932242
K 5
py-yt
V 27
dir 4-429583.0.r429583/3366
K 9
qalculate
V 26
dir 4-117583.0.r424314/588
K 2
qd
V 29
dir 4-188439.0.r428057/668874
K 5
qhull
V 27
dir 4-107890.0.r428392/1642
K 6
qhull5
V 28
dir m-107890.0.r395483/12918
K 8
qrupdate
V 29
dir 4-239012.0.r428057/669615
K 7
qtiplot
V 29
dir 4-135221.0.r424339/643446
K 11
qtiplot-doc
V 30
dir 4-172675.0.r424411/1163119
K 8
qtoctave
V 29
dir 4-228607.0.r424339/644946
K 13
qwtplot3d-qt4
V 29
dir e-117647.0.r426827/593329
K 7
randlib
V 24
dir z-6153.0.r417787/591
K 5
rapid
V 29
dir 4-206921.0.r415499/726055
K 6
reduce
V 26
dir 4-344974.0.r426559/616
K 12
reed-solomon
V 29
dir 4-138189.0.r361099/133691
K 11
rkward-kde4
V 36
dir i-160825.0-402161.r428057/670435
K 10
rngstreams
V 26
dir 4-222881.0.r417790/951
K 4
rocs
V 31
dir e1-283641.0.r426908/1107805
K 6
rpcalc
V 27
dir 4-248945.0.r425750/2193
K 3
rpy
V 25
dir 4-92667.0.r415844/602
K 4
rpy2
V 28
dir i-92667.0.r428057/671117
K 12
ruby-algebra
V 25
dir 4-42397.0.r429665/620
K 15
rubygem-algebra
V 27
dir 4-429664.0.r429664/2126
K 25
rubygem-expression_parser
V 30
dir 4-385782.0.r414136/1167365
K 13
rubygem-fftw3
V 26
dir 4-368187.0.r414170/508
K 14
rubygem-narray
V 29
dir 4-349189.0.r428377/524912
K 19
rubygem-narray_miss
V 26
dir 4-349190.0.r414169/514
K 18
rubygem-numru-misc
V 26
dir 4-356622.0.r414147/513
K 19
rubygem-numru-units
V 26
dir 4-356619.0.r414172/514
K 14
rubygem-rb-gsl
V 30
dir 4-378107.0.r414136/1171452
K 4
saga
V 26
dir 4-244368.0.r429882/626
K 4
sage
V 29
dir 4-289761.0.r428352/672727
K 2
sc
V 26
dir 4-225542.0.r408385/616
K 9
scalapack
V 28
dir 4-80147.0.r428057/671849
K 6
scilab
V 28
dir 1d-6991.0.r428057/672581
K 19
scilab-toolbox-sivp
V 29
dir 4-200249.0.r424339/647241
K 18
scilab-toolbox-swt
V 29
dir 4-165598.0.r428129/137937
K 4
sdpa
V 28
dir 4-90200.0.r428057/673217
K 6
sdpara
V 29
dir 4-104439.0.r428057/673860
K 4
sfft
V 29
dir 4-324787.0.r426566/911357
K 4
sfst
V 28
dir 4-361056.0.r372555/46245
K 12
simd-viterbi
V 29
dir 4-138196.0.r361099/138577
K 6
slatec
V 29
dir 4-288144.0.r428057/674559
K 7
slgrace
V 29
dir 4-198545.0.r412348/991465
K 4
snns
V 28
dir 2-17571.0.r415499/730320
K 9
solitaire
V 28
dir 4-44401.0.r400848/713588
K 16
sound-of-sorting
V 29
dir 4-409318.0.r415499/730975
K 4
spar
V 28
dir 4-43374.0.r417166/755955
K 6
spblas
V 29
dir 4-288564.0.r426566/912051
K 11
speedcrunch
V 27
dir 4-197663.0.r425617/2513
K 7
spooles
V 28
dir 4-80138.0.r416469/562270
K 13
spooles-mpich
V 25
dir 4-80140.0.r358373/410
K 3
stp
V 30
dir 4-215221.0.r426908/1108501
K 11
suitesparse
V 29
dir 4-167234.0.r428057/675265
K 7
superlu
V 28
dir 2-12384.0.r428057/676000
K 10
superlu_mt
V 28
dir 4-84726.0.r428057/676740
K 4
surf
V 28
dir 4-41833.0.r428132/179832
K 6
tablix
V 29
dir 4-148920.0.r428152/967475
K 5
taucs
V 28
dir 4-97207.0.r428057/677483
K 7
testu01
V 27
dir 4-223948.0.r427133/2000
K 6
tetgen
V 29
dir 4-153525.0.r415499/735233
K 5
timbl
V 26
dir 4-208938.0.r416865/564
K 12
tomsfastmath
V 29
dir 4-141334.0.r426566/912745
K 5
topaz
V 28
dir 2-22794.0.r426518/319356
K 8
triangle
V 29
dir 6-121715.0.r417685/484022
K 5
trlan
V 29
dir 4-283045.0.r428057/678131
K 10
truthtable
V 27
dir 4-167406.0.r380307/7140
K 5
tvmet
V 26
dir 4-63519.0.r423497/1053
K 3
ufc
V 30
dir 4-296121.0.r426908/1109194
K 3
ump
V 29
dir 4-161401.0.r415839/677129
K 5
units
V 26
dir 4-49519.0.r419120/1078
K 6
unuran
V 27
dir 4-222882.0.r423456/1506
K 13
vowpal_wabbit
V 30
dir 4-377088.0.r426908/1109941
K 4
vtk5
V 30
dir 13-19163.0.r424411/1166047
K 9
vtk5-data
V 29
dir 4-313143.0.r374492/629853
K 4
vtk6
V 29
dir 4-339158.0.r427356/379796
K 5
wcalc
V 30
dir 4-190954.0.r412348/1004334
K 6
wfmath
V 28
dir 4-128419.0.r372555/60648
K 4
why3
V 30
dir 4-356538.0.r412348/1005074
K 6
wingz3
V 27
dir l-4797.0.r421387/876782
K 8
wxMaxima
V 26
dir 4-139194.0.r424611/679
K 8
x12arima
V 29
dir 4-259688.0.r428057/678828
K 5
xblas
V 29
dir 4-288627.0.r417685/486068
K 23
xfce4-calculator-plugin
V 27
dir 4-407514.0.r417182/1224
K 6
xgraph
V 26
dir 2-498.0.r415499/736646
K 7
xlapack
V 30
dir 4-289645.0.r367888/2513578
K 6
xldlas
V 28
dir 2-10705.0.r415499/737378
K 5
xplot
V 25
dir 2-5861.0.r418660/1286
K 6
xppaut
V 30
dir 4-123347.0.r424411/1166787
K 7
xspread
V 28
dir 2-1904.0.r412348/1008138
K 5
yacas
V 26
dir 4-44287.0.r425612/2080
K 2
z3
V 27
dir 4-397543.0.r428167/3223
END
ENDREP
id: 1-162.0.r430096/38992
type: dir
pred: 1-162.0.r429969/39696
count: 11126
text: 430096 1383 37596 0 d0190ddb023daf5168d08c00399e3d5b
cpath: /head/math
copyroot: 0 /

PLAIN
K 10
.arcconfig
V 26
file 1-354154.0.r422906/41
K 14
.gitattributes
V 27
file 1-411777.0.r411777/210
K 10
.gitignore
V 26
file 1-348322.0.r376072/79
K 7
CHANGES
V 27
file 1-99373.0.r428889/3033
K 15
CONTRIBUTING.md
V 27
file 1-348323.0.r348323/344
K 9
COPYRIGHT
V 26
file 1-146787.0.r404934/49
K 4
GIDs
V 29
file 1-168311.0.r429481/10706
K 8
Keywords
V 27
dir 1-314142.0.r419368/1305
K 5
LEGAL
V 24
file 1-748.0.r420195/336
K 5
MOVED
V 27
file 1-69878.0.r429678/5715
K 8
Makefile
V 24
file 1-6.0.r424411/75633
K 2
Mk
V 22
dir 1-5.0.r429613/7220
K 6
README
V 25
file 1-2408.0.r340854/956
K 9
Templates
V 24
dir 1-2932.0.r414724/906
K 5
Tools
V 26
dir 3-15302.0.r421545/3096
K 4
UIDs
V 29
file 4-168311.0.r429481/10989
K 8
UPDATING
V 28
file 1-102685.0.r430014/1718
K 13
accessibility
V 26
dir 1-42583.0.r429711/2851
K 6
arabic
V 27
dir 1-38973.0.r425933/52485
K 9
archivers
V 25
dir 1-242.0.r429899/12795
K 5
astro
V 24
dir 1-301.0.r429628/8447
K 5
audio
V 25
dir 1-148.0.r430017/44648
K 4
base
V 26
dir 1-420954.0.r425903/598
K 10
benchmarks
V 23
dir 1-62.0.r429903/6116
K 7
biology
V 25
dir 1-9066.0.r429998/6277
K 3
cad
V 24
dir 1-276.0.r429885/5069
K 7
chinese
V 25
dir 1-3770.0.r429918/8864
K 5
comms
V 24
dir 1-76.0.r429711/13307
K 10
converters
V 25
dir 1-1561.0.r429652/9559
K 9
databases
V 25
dir 1-771.0.r430031/55094
K 9
deskutils
V 26
dir 1-2098.0.r430065/15774
K 5
devel
V 25
dir 1-73.0.r430093/311704
K 3
dns
V 26
dir 1-6145.0.r430024/12160
K 7
editors
V 23
dir 4-6.0.r429964/14689
K 9
emulators
V 25
dir 1-181.0.r430011/10528
K 7
finance
V 26
dir 1-4110.0.r429991/13555
K 6
french
V 26
dir 1-25673.0.r429421/2088
K 3
ftp
V 24
dir 1-199.0.r429445/5968
K 5
games
V 25
dir 1-104.0.r429961/61431
K 6
german
V 25
dir 1-7451.0.r429549/2728
K 8
graphics
V 24
dir 1-94.0.r430062/57630
K 6
hebrew
V 28
dir 3-31142.0.r425933/458841
K 9
hungarian
V 29
dir 1p-38973.0.r425933/460362
K 3
irc
V 23
dir 1-42.0.r429786/7743
K 8
japanese
V 25
dir 1-410.0.r429987/17430
K 4
java
V 27
dir 1-2798.0.r429875/120791
K 6
korean
V 27
dir 1-5873.0.r428152/898981
K 4
lang
V 24
dir 1-15.0.r430009/18725
K 4
mail
V 24
dir 1-57.0.r430016/43717
K 4
math
V 25
dir 1-162.0.r430096/38992
K 4
misc
V 24
dir 7-35.0.r429892/26559
K 10
multimedia
V 25
dir d-333.0.r429999/26088
K 3
net
V 24
dir 1-22.0.r430057/76114
K 6
net-im
V 28
dir 15-11144.0.r429615/15660
K 8
net-mgmt
V 26
dir r-1011.0.r429977/21894
K 7
net-p2p
V 26
dir g-29106.0.r429927/9456
K 4
news
V 24
dir 1-145.0.r429672/4843
K 4
palm
V 25
dir 1-6646.0.r429773/2377
K 6
polish
V 27
dir tv-38973.0.r428751/2249
K 10
ports-mgmt
V 26
dir 1-5132.0.r429892/30945
K 10
portuguese
V 26
dir 1-17842.0.r426671/2214
K 5
print
V 24
dir 1-79.0.r429883/15872
K 7
russian
V 25
dir 1-1559.0.r429890/3255
K 7
science
V 26
dir n-5356.0.r429851/10708
K 8
security
V 25
dir 1-269.0.r430074/63976
K 6
shells
V 22
dir w-6.0.r429653/3767
K 8
sysutils
V 25
dir b-339.0.r430049/65788
K 8
textproc
V 25
dir 1-322.0.r430082/95121
K 9
ukrainian
V 29
dir g-39704.0.r428150/1199097
K 10
vietnamese
V 25
dir 1-4812.0.r426675/2930
K 3
www
V 26
dir 1-114.0.r430095/142674
K 3
x11
V 24
dir 1-16.0.r430014/29594
K 10
x11-clocks
V 27
dir 1-931.0.r428152/1730396
K 11
x11-drivers
V 27
dir 1-157567.0.r428258/4810
K 6
x11-fm
V 24
dir 1-691.0.r429577/3200
K 9
x11-fonts
V 25
dir 1-543.0.r430013/11096
K 11
x11-servers
V 27
dir 1n-710.0.r429499/778493
K 10
x11-themes
V 29
dir 1-14410.0.r428946/1025670
K 12
x11-toolkits
V 26
dir 1-120.0.r429918/608033
K 6
x11-wm
V 25
dir 1-40.0.r429892/309484
END
ENDREP
id: 2-1.0.r430096/42675
type: dir
pred: 2-1.0.r430095/146359
count: 426240
text: 430096 39161 3501 0 12b8a836a4e3e0605e39acccc4a2cfa4
props: 7322 2587 45 0 7a04b33bf8e35fd5c3d111baaf403dc5
cpath: /head
copyroot: 0 /

PLAIN
K 8
branches
V 23
dir 0-1.0.r429801/49197
K 4
head
V 23
dir 2-1.0.r430096/42675
K 8
projects
V 30
dir 0-377393.0.r378744/3577692
K 8
svnadmin
V 22
dir 3-1.0.r429654/1652
K 4
tags
V 22
dir 8-1.0.r421958/5118
END
ENDREP
id: 0.0.r430096/43116
type: dir
pred: 0.0.r430095/146803
count: 430096
text: 430096 42892 211 0 8bd120e7c0c8483f5268dd3d47f7afb3
props: 341041 7130 346 0 8b695b9f61597e4917effffba3bbfaa3
cpath: /
copyroot: 0 /
minfo-cnt: 35

5-119551.0.t430095-97v4 modify-file true false /head/math/coq/Makefile


43116 43341