DELTA 361099 9655 24
SVN F”&ƒ"% u  ƒ\v€N /„m€„9 Q‰z€I ƒ‹)€‚@ ‚Ž0ˆx^S]Oƒ0}†_ÑŸ&ñÁÄ˜È Ãfš¶FLHu‰&ìÁdÛ·Ô-Î-êCËý8œ{.÷rQ¾¨gºŸ£îI?¨º,ª7[\ãqÆù„$XøÖ\—×R•zl^=sz»êTëÁž-dãˆð»bOÈÝÆA÷¶Eƒ)öwÏ<¤‘‰b„b½‘§ÅŸÑÞÙKš(7dvê˜  ËA4H÷Ó2¼UÃ9ë‰H:ÉC«ºhzØ˜!|¨jEXLeÆ@º'ÕêžièD‰ó„öÁºúÄà±µMSÄºÖ­šoá$ü…"7ïsù'¢®ZêQ·4Ó?#ÂBæ_‚~¯"Ì¨#ßªä[‹Gj¦Ëª.Ñ.Ú¶O«þŒË<c’d©¸¤°	ŽIÊ’ ö4Y–Ó­æI.BN˜ÈG¿\éõºì³ÜÕ-Ÿ
n<jþ˜¢škÛºrW?ÔƒZñN%³)ÞÔ—ƒúPúh¯3Š#<	né».xßƒÇ?úº<²måïâÞ.D<êENDREP
DELTA 353520 579 1295
SVN í%í@
  š ìman/man1/proofgeneral.1.gzENDREP
id: 5-141552.0.r362086/574
type: file
pred: 5-141552.0.r361099/130576
count: 43
text: 362086 0 468 2564 100bbfcd4e54aa7e66064888a0ebed26 4dcb5a1700644bcd27057b2742b56a523ab5806f 362085-7re7/_4
props: 334546 1234 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5
cpath: /head/math/proofgeneral/Makefile
copyroot: 0 /

id: q-141552.0.r362086/880
type: file
pred: q-141552.0.r353520/473011
count: 17
text: 362086 496 49 14016 ed60ee73074ffe1cb9b3d7757436590f 00e5418c10512e3910c92bb78123ef819d774140 362085-7re7/_5
props: 334546 1627 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/proofgeneral/pkg-plist
copyroot: 0 /

PLAIN
K 8
Makefile
V 27
file 5-141552.0.r362086/574
K 8
distinfo
V 31
file 8-141552.0.r340717/8005975
K 5
files
V 30
dir a-141552.0.r340725/7520288
K 9
pkg-descr
V 31
file o-141552.0.r340718/8600057
K 9
pkg-plist
V 27
file q-141552.0.r362086/880
END
ENDREP
id: 4-141552.0.r362086/1445
type: dir
pred: 4-141552.0.r361099/131151
count: 56
text: 362086 1188 244 0 cc93886b611b94cef9e2d268b91baa5f
cpath: /head/math/proofgeneral
copyroot: 0 /

PLAIN
K 5
GiNaC
V 25
dir 2-39165.0.r359306/646
K 8
Makefile
V 25
file 2-185.0.r361925/1165
K 3
PDL
V 29
dir 6-103726.0.r361728/190653
K 1
R
V 26
dir 2-10844.0.r361962/3569
K 29
R-cran-ChangeAnomalyDetection
V 30
dir 4-317457.0.r347809/1091167
K 14
R-cran-Formula
V 30
dir 4-290383.0.r347809/1091858
K 11
R-cran-KFAS
V 26
dir 4-290923.0.r357927/963
K 17
R-cran-LearnBayes
V 26
dir 4-307669.0.r359206/992
K 15
R-cran-MCMCpack
V 30
dir 4-307527.0.r347809/1093883
K 11
R-cran-RHmm
V 30
dir 4-308467.0.r347809/1094555
K 17
R-cran-RSvgDevice
V 29
dir 4-232562.0.r361099/103199
K 20
R-cran-RcppArmadillo
V 27
dir 4-317461.0.r359208/1001
K 16
R-cran-SuppDists
V 29
dir 4-273730.0.r355288/187776
K 12
R-cran-Zelig
V 27
dir 4-231151.0.r350363/1337
K 16
R-cran-bdsmatrix
V 30
dir 4-290384.0.r347809/1097944
K 10
R-cran-car
V 26
dir 4-233130.0.r352896/977
K 11
R-cran-coda
V 30
dir 4-267903.0.r347809/1099289
K 13
R-cran-deldir
V 30
dir 4-281926.0.r347809/1099955
K 16
R-cran-dlmodeler
V 30
dir 4-301445.0.r347809/1100620
K 15
R-cran-forecast
V 26
dir 4-317458.0.r353560/973
K 15
R-cran-fracdiff
V 30
dir 4-317459.0.r347809/1101962
K 13
R-cran-gpclib
V 30
dir 4-231150.0.r347809/1102638
K 10
R-cran-gss
V 26
dir 4-317429.0.r357960/954
K 13
R-cran-gtable
V 30
dir 4-303703.0.r347809/1103970
K 13
R-cran-igraph
V 26
dir 5-289904.0.r351958/978
K 13
R-cran-inline
V 26
dir 4-253936.0.r350361/980
K 15
R-cran-labeling
V 30
dir 4-296327.0.r347809/1105982
K 13
R-cran-memisc
V 30
dir 4-290170.0.r347809/1106656
K 14
R-cran-mvtnorm
V 30
dir 4-270503.0.r347809/1107328
K 11
R-cran-nnls
V 30
dir 4-302939.0.r347809/1107989
K 15
R-cran-outliers
V 30
dir 4-314659.0.r347809/1108661
K 12
R-cran-psych
V 30
dir 4-261267.0.r347809/1109337
K 15
R-cran-quadprog
V 30
dir 4-309473.0.r347809/1110011
K 15
R-cran-sandwich
V 30
dir 4-282214.0.r347809/1110690
K 9
R-cran-sm
V 27
dir 7-230661.0.r350360/1251
K 9
R-cran-sp
V 26
dir 4-230304.0.r350359/971
K 12
R-cran-spdep
V 26
dir 4-281929.0.r359220/978
K 12
R-cran-sspir
V 29
dir 4-328495.0.r361099/103856
K 17
R-cran-stabledist
V 30
dir 4-309474.0.r347809/1114027
K 10
R-cran-xts
V 30
dir 4-280789.0.r347809/1114696
K 10
R-cran-zoo
V 30
dir 4-280788.0.r347809/1115361
K 6
aamath
V 26
dir 4-137923.0.r345355/966
K 6
abacus
V 29
dir 2-326410.0.r361099/104597
K 6
abakus
V 26
dir 4-152678.0.r345526/582
K 3
abs
V 28
dir 2-16350.0.r361099/105283
K 3
add
V 26
dir 2-12939.0.r343868/1037
K 5
algae
V 29
dir 4-82139.0.r347809/1116845
K 9
algotutor
V 27
dir 4-126758.0.r355857/1449
K 8
alt-ergo
V 29
dir 4-287773.0.r359185/743609
K 8
analitza
V 30
dir 8l-297371.0.r353599/648763
K 3
ann
V 29
dir 4-253818.0.r361099/106018
K 3
apc
V 27
dir 2-6710.0.r359892/122827
K 6
aribas
V 26
dir 4-193965.0.r359928/665
K 9
armadillo
V 27
dir 4-314935.0.r358789/2001
K 6
arpack
V 28
dir 4-80169.0.r361728/191394
K 8
arpack++
V 26
dir 4-95234.0.r360499/7536
K 9
arpack-ng
V 27
dir 4-300064.0.r361962/4203
K 8
asir2000
V 26
dir 4-47162.0.r355024/2337
K 6
aspcud
V 29
dir 4-339367.0.r343214/746685
K 9
asymptote
V 27
dir 4-140404.0.r355661/7141
K 5
atlas
V 26
dir 4-56117.0.r362050/6523
K 11
atlas-devel
V 28
dir 4-90176.0.r361728/192136
K 4
bamg
V 25
dir 4-97121.0.r360500/774
K 8
bargraph
V 27
dir 4-294217.0.r360499/8951
K 7
biggles
V 25
dir 4-50529.0.r356851/840
K 5
bihar
V 27
dir 2-5603.0.r361728/192874
K 5
blacs
V 26
dir 4-80142.0.r361800/7685
K 4
blas
V 23
dir 2-280.0.r350244/880
K 7
blitz++
V 28
dir 4-67732.0.r361099/106755
K 12
blocksolve95
V 29
dir 4-121707.0.r361728/194370
K 5
bsdnt
V 30
dir 4-338583.0.r340725/7373592
K 4
calc
V 26
dir 3-162.0.r359185/745844
K 6
calcoo
V 29
dir 4-53344.0.r340722/4187909
K 8
calctool
V 25
dir 2-4947.0.r362050/7244
K 6
cantor
V 30
dir ce-283641.0.r353599/649524
K 5
carve
V 29
dir 4-291926.0.r361099/108224
K 5
cblas
V 27
dir 4-288838.0.r361962/4842
K 6
ccmath
V 28
dir 4-40118.0.r361099/108921
K 4
cgal
V 28
dir 4-159258.0.r346780/21229
K 5
chaco
V 27
dir 4-161300.0.r344389/1120
K 9
chryzodus
V 30
dir 4-138937.0.r340725/7385704
K 8
clarence
V 25
dir 4-54038.0.r348693/804
K 5
clasp
V 29
dir 2-327622.0.r346356/395133
K 7
clipper
V 28
dir 4-312105.0.r347776/53372
K 3
cln
V 28
dir 4-38257.0.r361728/195110
K 5
cloog
V 27
dir 4-321979.0.r361151/9544
K 3
clp
V 27
dir 4-198778.0.r358231/1193
K 6
coinmp
V 27
dir 4-278529.0.r361545/2696
K 8
concorde
V 25
dir 4-30153.0.r345357/848
K 10
convertall
V 27
dir 4-117581.0.r344621/1334
K 3
coq
V 28
dir 4-119551.0.r359963/59056
K 6
crlibm
V 27
dir 4-288947.0.r361962/5531
K 4
cvc3
V 27
dir 4-188227.0.r362025/1750
K 7
dcdflib
V 29
dir 2-15563.0.r340725/7390731
K 7
diehard
V 27
dir 4-62415.0.r362023/56985
K 9
dieharder
V 27
dir 4-222883.0.r359495/1032
K 6
djbfft
V 28
dir 4-59197.0.r361099/110367
K 5
drgeo
V 25
dir k-72881.0.r351743/625
K 6
dynare
V 28
dir 4-282473.0.r349401/56510
K 1
e
V 29
dir 4-120706.0.r361099/111057
K 8
edenmath
V 26
dir 4-172517.0.r343816/685
K 6
eigen2
V 29
dir e-206969.0.r345222/357805
K 6
eigen3
V 27
dir o-206969.0.r346777/1480
K 7
eispack
V 27
dir 2-299.0.r347809/1127630
K 13
elmer-umfpack
V 26
dir 4-160347.0.r358239/886
K 4
emc2
V 26
dir 4-97124.0.r356864/1050
K 3
ent
V 26
dir 4-323853.0.r348565/900
K 7
entropy
V 26
dir 4-64354.0.r358240/1517
K 3
ess
V 29
dir 4-276061.0.r360062/432078
K 9
eukleides
V 28
dir 4-60610.0.r361099/111791
K 4
eval
V 28
dir 2-10680.0.r361099/112480
K 6
facile
V 28
dir 4-206967.0.r353924/18260
K 4
fann
V 28
dir 4-186705.0.r347776/54698
K 12
fflas-ffpack
V 29
dir 4-283609.0.r361099/113182
K 4
fftw
V 26
dir 2-17276.0.r359414/1408
K 10
fftw-float
V 27
dir 4-121298.0.r347124/2451
K 5
fftw3
V 25
dir f-17276.0.r350121/616
K 11
fftw3-float
V 27
dir 4-121063.0.r347093/2246
K 10
fftw3-long
V 27
dir 8-121063.0.r347093/2798
K 10
fftw3-quad
V 27
dir 4-283696.0.r347093/3348
K 5
fityk
V 29
dir 4-130578.0.r351936/763243
K 4
foma
V 29
dir 4-353158.0.r361099/113919
K 8
fpc-fftw
V 29
dir 4-172531.0.r341492/521378
K 7
fpc-gmp
V 29
dir 4-259369.0.r341492/521987
K 10
fpc-numlib
V 29
dir 4-226018.0.r341492/522596
K 7
freemat
V 30
dir 4-132275.0.r347809/1130530
K 6
fricas
V 29
dir 4-222842.0.r361099/114615
K 3
fxt
V 27
dir 4-50672.0.r360499/10417
K 10
galculator
V 26
dir 4-83610.0.r348374/1374
K 6
gambit
V 28
dir 4-75161.0.r361099/115342
K 3
gap
V 26
dir 4-58970.0.r355597/1401
K 9
gcalctool
V 26
dir 4-61145.0.r351007/1242
K 6
gdcalc
V 26
dir 4-62875.0.r358271/1713
K 3
geg
V 28
dir 2-12406.0.r357486/806225
K 13
geogebra-i18n
V 27
dir 4-143470.0.r358272/1308
K 7
geonext
V 28
dir 4-128341.0.r347776/55397
K 5
gexpr
V 26
dir 4-43961.0.r344619/1590
K 5
ggobi
V 29
dir 4-249715.0.r353520/472830
K 8
giacxcas
V 26
dir 2-261551.0.r360451/961
K 6
givaro
V 28
dir 4-283582.0.r361812/37048
K 5
gkmap
V 26
dir 4-324367.0.r358273/559
K 7
glgraph
V 25
dir 4-72664.0.r356912/887
K 3
glm
V 27
dir 4-301955.0.r349913/1399
K 4
glpk
V 26
dir 4-36057.0.r361962/6209
K 5
gmm++
V 27
dir 4-218131.0.r361624/1006
K 3
gmp
V 28
dir 4-43514.0.r359209/569355
K 7
gmp-ecm
V 28
dir 4-164283.0.r361812/37692
K 5
gnubc
V 28
dir 4-249168.0.r360499/11054
K 8
gnumeric
V 28
dir 2-14193.0.r355995/482090
K 7
gnuplot
V 26
dir 2-184.0.r353607/367301
K 6
goblin
V 28
dir 2-55478.0.r361099/118168
K 8
gotoblas
V 29
dir 4-184333.0.r361099/118868
K 5
grace
V 26
dir 2-17277.0.r357605/1779
K 9
gracetmpl
V 26
dir 4-92440.0.r355316/8393
K 10
graphthing
V 25
dir 2-54530.0.r349032/632
K 5
gretl
V 26
dir 2-56450.0.r361240/1038
K 3
gri
V 26
dir 4-34352.0.r357447/1508
K 6
gringo
V 26
dir 4-339359.0.r340913/767
K 4
grpn
V 29
dir 2-23410.0.r340718/8365725
K 3
gsl
V 28
dir 4-27399.0.r359209/570082
K 7
hexcalc
V 30
dir 2-539.0-341901.r361261/593
K 4
hfst
V 27
dir 4-360628.0.r360757/2509
K 7
hs-Agda
V 29
dir 4-247094.0.r349475/660112
K 15
hs-NumInstances
V 29
dir 5-291121.0.r349475/660778
K 13
hs-categories
V 29
dir 7-279687.0.r349475/661450
K 10
hs-comonad
V 29
dir 7-279689.0.r349475/662117
K 23
hs-comonad-transformers
V 29
dir 7-279693.0.r349475/662794
K 14
hs-comonads-fd
V 30
dir h6-311736.0.r349475/663479
K 16
hs-contravariant
V 29
dir 7-279690.0.r349475/664200
K 12
hs-data-lens
V 29
dir 5-291123.0.r349475/664872
K 21
hs-data-lens-template
V 29
dir 5-291124.0.r349475/665549
K 15
hs-distributive
V 29
dir 7-279691.0.r349475/666275
K 6
hs-erf
V 29
dir 4-247108.0.r349475/666940
K 12
hs-groupoids
V 30
dir ht-311736.0.r349475/667606
K 10
hs-ieee754
V 29
dir 5-298136.0.r349475/668273
K 17
hs-math-functions
V 29
dir 4-290293.0.r349475/668945
K 13
hs-mwc-random
V 29
dir 4-247119.0.r349475/669619
K 7
hs-nats
V 30
dir i7-311736.0.r349475/670287
K 10
hs-pointed
V 29
dir 7-279695.0.r349475/670949
K 14
hs-probability
V 29
dir 4-247118.0.r349475/671617
K 22
hs-semigroupoid-extras
V 30
dir ik-311736.0.r349475/672301
K 16
hs-semigroupoids
V 29
dir 7-279692.0.r349475/672984
K 13
hs-semigroups
V 29
dir 7-279685.0.r349475/673657
K 13
hs-statistics
V 29
dir 4-247125.0.r349475/674327
K 15
hs-vector-space
V 29
dir 4-247746.0.r349475/674999
K 6
igraph
V 28
dir 4-217031.0.r361812/38389
K 8
isabelle
V 30
dir 4-141691.0.r340725/7432419
K 4
ised
V 26
dir 4-251331.0.r348025/711
K 3
itl
V 29
dir 2-97432.0.r340725/7433811
K 5
jacal
V 26
dir 4-56207.0.r350338/3145
K 4
jags
V 27
dir 4-110135.0.r358278/1657
K 20
jakarta-commons-math
V 26
dir 4-127742.0.r356823/592
K 21
jakarta-commons-math3
V 27
dir 4-297407.0.r357730/2243
K 4
jama
V 27
dir 4-82179.0.r360499/12472
K 7
javanns
V 29
dir 4-52707.0.r340872/1793819
K 8
javaview
V 29
dir 4-138870.0.r361099/120393
K 7
jeuclid
V 28
dir 4-249767.0.r355556/41961
K 10
jlatexmath
V 27
dir 4-249766.0.r352756/1354
K 6
jsmath
V 29
dir 4-164162.0.r352986/796300
K 12
jsmath-fonts
V 29
dir e-164162.0.r361099/121102
K 19
jsmath-fonts-sprite
V 29
dir 4-169608.0.r361099/121822
K 11
jtransforms
V 29
dir 4-262245.0.r357013/303873
K 3
jts
V 27
dir 4-192174.0.r357038/1035
K 8
kalgebra
V 30
dir cs-283641.0.r353599/650239
K 5
kash3
V 29
dir 2-159951.0.r361099/122585
K 6
kbruch
V 30
dir d2-283641.0.r353599/650954
K 5
kcalc
V 28
dir 15-8441.0.r353599/651703
K 3
kig
V 30
dir dh-283641.0.r353599/652409
K 9
kktdirect
V 27
dir 4-288407.0.r361962/6850
K 6
kmplot
V 30
dir dr-283641.0.r353599/653119
K 7
labplot
V 27
dir 4-150102.0.r354402/2061
K 6
lambda
V 26
dir 4-109095.0.r344392/847
K 6
lapack
V 27
dir 2-3178.0.r352986/798529
K 8
lapack++
V 27
dir 4-61741.0.r360499/13201
K 8
lapack95
V 28
dir 4-117551.0.r361812/39138
K 7
lapacke
V 27
dir 4-269254.0.r361962/7537
K 7
laspack
V 26
dir 4-140069.0.r359203/711
K 7
ldouble
V 27
dir 4-121047.0.r345359/1082
K 6
levmar
V 30
dir 4-259952.0.r347809/1155570
K 4
libR
V 27
dir 4-278444.0.r350130/1334
K 8
libRmath
V 27
dir 4-109219.0.r350209/1925
K 8
libflame
V 27
dir 4-288536.0.r361962/8226
K 8
libjbigi
V 26
dir 4-151920.0.r357040/682
K 8
liblbfgs
V 26
dir 4-256810.0.r358282/766
K 10
libmissing
V 26
dir 4-309324.0.r353087/970
K 9
libneural
V 26
dir 4-29962.0.r355517/1101
K 7
libocas
V 26
dir 4-283033.0.r358283/697
K 9
liborigin
V 29
dir 4-171749.0.r331383/585978
K 12
libqalculate
V 26
dir 4-136977.0.r358444/603
K 9
libranlip
V 29
dir 4-253982.0.r361099/123283
K 10
libtommath
V 26
dir 4-141328.0.r359860/594
K 9
libtsnnls
V 27
dir 4-263280.0.r358285/1176
K 7
linpack
V 23
dir 2-298.0.r358286/967
K 9
lll_spect
V 28
dir 4-249994.0.r360499/14589
K 8
lp_solve
V 25
dir 4-85171.0.r342676/749
K 4
lrng
V 27
dir 4-274784.0.r361962/8859
K 3
ltl
V 29
dir 4-174849.0.r361099/124038
K 6
ltl2ba
V 26
dir 4-274737.0.r345360/537
K 6
lybniz
V 26
dir 4-203550.0.r344398/654
K 9
mate-calc
V 36
dir 4-61145.b-334661.r351411/1125356
K 10
mathomatic
V 29
dir 4-133081.0.r348550/461786
K 5
matio
V 29
dir 4-250256.0.r352854/317047
K 16
matlab-installer
V 33
dir 4-318605.0-342611.r344013/645
K 6
matrix
V 27
dir 4-40614.0.r347776/63223
K 6
maxima
V 28
dir 4-73483.0.r359353/334878
K 9
mbasecalc
V 30
dir 4-111633.0.r340718/8420820
K 5
metis
V 26
dir 2-10682.0.r361962/9584
K 9
metis-edf
V 27
dir m-85421.0.r360499/16018
K 6
metis4
V 28
dir p-10682.0.r361099/125506
K 14
mingw32-libgmp
V 29
dir 4-220558.0.r359209/570776
K 7
minisat
V 29
dir 2-327544.0.r361099/126238
K 6
miracl
V 29
dir 4-126683.0.r356803/540437
K 3
moo
V 30
dir 4-190340.0.r340725/7461257
K 3
mpc
V 30
dir 4-232062.0.r340722/4260416
K 6
mpexpr
V 28
dir 4-90359.0.r359185/750132
K 4
mpfr
V 29
dir 4-141316.0.r351936/766027
K 4
mpir
V 27
dir 4-361925.0.r361925/2411
K 6
mprime
V 29
dir 4-79865.0.r340872/1799500
K 6
msieve
V 28
dir 4-181482.0.r361962/10265
K 3
mtl
V 26
dir 4-56139.0.r360502/1443
K 8
mtrxmath
V 25
dir 4-39458.0.r344617/807
K 5
mumps
V 28
dir 4-164274.0.r360499/17477
K 11
mumps-mpich
V 27
dir 4-168703.0.r354002/7223
K 8
muparser
V 27
dir 4-156125.0.r361018/2459
K 11
naturalmath
V 27
dir 4-50943.0.r360499/18173
K 5
nauty
V 26
dir 4-43274.0.r354303/1003
K 5
ndiff
V 26
dir 4-101356.0.r343255/548
K 6
newmat
V 26
dir 4-51145.0.r344168/2666
K 6
ngraph
V 26
dir 2-21453.0.r358566/3058
K 3
ntl
V 27
dir 2-30415.0.r360499/18862
K 7
numdiff
V 29
dir 4-175879.0.r357486/807657
K 7
nyh-hoc
V 26
dir 4-197599.0.r344401/583
K 16
ocaml-ocamlgraph
V 28
dir 4-110162.0.r361962/10965
K 12
ocaml-zarith
V 27
dir 4-356255.0.r356255/3887
K 8
ocamlgsl
V 28
dir 4-276544.0.r362023/57719
K 6
octave
V 26
dir 2-1566.0.r358165/65998
K 12
octave-forge
V 30
dir 4-108647.0.r347809/1161340
K 22
octave-forge-actuarial
V 27
dir 2-256728.0.r358874/9674
K 15
octave-forge-ad
V 28
dir 4-220200.0.r358874/10440
K 18
octave-forge-audio
V 28
dir 4-220205.0.r358874/11214
K 17
octave-forge-base
V 30
dir 4-220196.0.r347809/1164360
K 16
octave-forge-bim
V 28
dir 4-220286.0.r358874/11928
K 20
octave-forge-bioinfo
V 28
dir 4-220217.0.r358874/12649
K 16
octave-forge-cgi
V 28
dir 4-307605.0.r358874/13372
K 30
octave-forge-civil-engineering
V 28
dir 4-220219.0.r358874/14106
K 27
octave-forge-communications
V 28
dir 4-220277.0.r358874/14851
K 20
octave-forge-control
V 27
dir 4-220279.0.r358963/1059
K 27
octave-forge-data-smoothing
V 28
dir 4-220282.0.r358874/16312
K 21
octave-forge-database
V 28
dir 4-311535.0.r358874/17049
K 22
octave-forge-dataframe
V 28
dir 2-260164.0.r358874/17773
K 18
octave-forge-dicom
V 28
dir 4-288077.0.r361812/40587
K 19
octave-forge-divand
V 27
dir 4-345001.0.r358964/1052
K 25
octave-forge-econometrics
V 28
dir 4-220228.0.r358874/19947
K 19
octave-forge-engine
V 28
dir 4-220215.0.r358874/20677
K 17
octave-forge-fenv
V 28
dir 4-257153.0.r358874/21447
K 22
octave-forge-financial
V 28
dir 4-220278.0.r358874/22176
K 17
octave-forge-fits
V 28
dir 4-268658.0.r358874/22897
K 20
octave-forge-fl-core
V 28
dir 4-268879.0.r358874/23663
K 16
octave-forge-fpl
V 28
dir 4-220211.0.r358874/24442
K 32
octave-forge-fuzzy-logic-toolkit
V 27
dir 4-275950.0.r360649/1088
K 15
octave-forge-ga
V 28
dir 4-220281.0.r358874/25917
K 20
octave-forge-general
V 30
dir 4-220226.0.r347809/1180038
K 26
octave-forge-generate_html
V 28
dir 4-235756.0.r358874/26648
K 21
octave-forge-geometry
V 28
dir 4-282489.0.r358874/27385
K 20
octave-forge-gnuplot
V 28
dir 4-257154.0.r358874/28117
K 16
octave-forge-gsl
V 28
dir 4-220216.0.r361812/41307
K 18
octave-forge-ident
V 28
dir 4-220227.0.r358874/29563
K 18
octave-forge-image
V 30
dir 4-220225.0.r347809/1184503
K 30
octave-forge-informationtheory
V 28
dir 4-220222.0.r358874/30301
K 24
octave-forge-integration
V 28
dir 4-220223.0.r358874/31045
K 15
octave-forge-io
V 28
dir 4-220224.0.r358874/31766
K 17
octave-forge-irsa
V 28
dir 4-220240.0.r358874/32485
K 27
octave-forge-linear-algebra
V 30
dir 4-220221.0.r347809/1188204
K 17
octave-forge-lssa
V 28
dir 4-302531.0.r358874/33247
K 18
octave-forge-ltfat
V 28
dir 4-327510.0.r361812/42022
K 20
octave-forge-mapping
V 28
dir 4-220241.0.r358874/34686
K 22
octave-forge-mechanics
V 28
dir 4-282497.0.r358874/35418
K 26
octave-forge-miscellaneous
V 28
dir 4-220229.0.r358874/36148
K 30
octave-forge-missing-functions
V 30
dir 4-220230.0.r347809/1192700
K 16
octave-forge-msh
V 28
dir 4-220276.0.r358874/36873
K 22
octave-forge-multicore
V 28
dir 4-220231.0.r358874/37601
K 16
octave-forge-mvn
V 28
dir 4-338355.0.r358874/38328
K 16
octave-forge-nan
V 28
dir 4-220232.0.r358874/39049
K 20
octave-forge-ncarray
V 28
dir 4-301262.0.r358874/39767
K 19
octave-forge-netcdf
V 27
dir 4-324825.0.r359932/1048
K 20
octave-forge-nlwing2
V 28
dir 4-220613.0.r358874/41211
K 17
octave-forge-nnet
V 28
dir 4-220235.0.r358874/41938
K 18
octave-forge-nurbs
V 28
dir 4-234591.0.r358874/42663
K 16
octave-forge-ocs
V 28
dir 4-220236.0.r358874/43387
K 20
octave-forge-oct2mat
V 28
dir 4-234592.0.r358874/44113
K 19
octave-forge-octcdf
V 28
dir 4-220233.0.r358874/44836
K 20
octave-forge-octclip
V 28
dir 4-275949.0.r358874/45564
K 19
octave-forge-octgpr
V 28
dir 4-220237.0.r358874/46293
K 20
octave-forge-octproj
V 28
dir 4-257151.0.r361812/42744
K 19
octave-forge-odebvp
V 28
dir 4-220243.0.r358874/47751
K 19
octave-forge-odepkg
V 28
dir 4-220245.0.r358874/48479
K 18
octave-forge-optim
V 27
dir 4-220256.0.r356227/1062
K 24
octave-forge-optiminterp
V 28
dir 4-220247.0.r358874/49258
K 21
octave-forge-outliers
V 28
dir 4-220246.0.r358874/49993
K 21
octave-forge-parallel
V 26
dir 4-257155.0.r358875/619
K 16
octave-forge-pdb
V 28
dir 4-220248.0.r358874/51488
K 17
octave-forge-plot
V 28
dir 4-220250.0.r358874/52211
K 18
octave-forge-pt_br
V 28
dir 4-220251.0.r358874/52982
K 23
octave-forge-quaternion
V 28
dir 4-240209.0.r358874/53713
K 21
octave-forge-queueing
V 28
dir 4-290509.0.r358874/54439
K 19
octave-forge-secs1d
V 28
dir 4-220252.0.r358874/55166
K 19
octave-forge-secs2d
V 28
dir 4-220253.0.r358874/55894
K 19
octave-forge-secs3d
V 28
dir 4-281674.0.r358874/56622
K 19
octave-forge-signal
V 28
dir 4-220275.0.r358874/57347
K 17
octave-forge-simp
V 28
dir 4-234593.0.r358874/58073
K 20
octave-forge-sockets
V 28
dir 4-220254.0.r358874/58800
K 20
octave-forge-specfun
V 28
dir 4-220255.0.r358874/59530
K 27
octave-forge-special-matrix
V 30
dir 4-220257.0.r347809/1217837
K 26
octave-forge-spline-gcvspl
V 27
dir 4-220258.0.r351648/3905
K 20
octave-forge-splines
V 28
dir 4-220259.0.r358874/60253
K 23
octave-forge-statistics
V 30
dir 4-220260.0.r347809/1220069
K 20
octave-forge-strings
V 30
dir 4-220261.0.r347809/1220810
K 19
octave-forge-struct
V 28
dir 4-220262.0.r358874/60979
K 20
octave-forge-symband
V 28
dir 4-220263.0.r358874/61708
K 21
octave-forge-symbolic
V 28
dir 4-220273.0.r361812/43470
K 23
octave-forge-tcl-octave
V 30
dir 4-220272.0.r347809/1223761
K 16
octave-forge-tsa
V 28
dir 4-220274.0.r358874/63157
K 18
octave-forge-video
V 28
dir 4-220266.0.r361812/44240
K 20
octave-forge-xraylib
V 28
dir 4-220269.0.r358874/64646
K 19
octave-forge-zenity
V 28
dir 4-220271.0.r358874/65375
K 4
ogdf
V 29
dir 2-326473.0.r352986/800627
K 4
oleo
V 26
dir 2-211.0.r357486/808380
K 10
open-axiom
V 29
dir 4-221592.0.r361099/126945
K 8
openblas
V 29
dir 4-303185.0.r359185/750825
K 7
openfst
V 27
dir 4-337544.0.r360568/1340
K 5
orpie
V 28
dir 4-115770.0.r361812/44946
K 18
p5-AI-DecisionTree
V 28
dir 4-96718.0.r357300/926937
K 13
p5-AI-Genetic
V 26
dir 4-156456.0.r353417/682
K 24
p5-AI-NeuralNet-BackProp
V 25
dir 4-36554.0.r353414/719
K 16
p5-AI-Perceptron
V 25
dir 4-36556.0.r353415/713
K 26
p5-Algorithm-Combinatorics
V 29
dir 4-147444.0.r357300/927671
K 21
p5-Algorithm-CurveFit
V 30
dir 4-175978.0.r340717/7903906
K 19
p5-Algorithm-KMeans
V 30
dir 4-257239.0.r340718/8510974
K 20
p5-Algorithm-Munkres
V 28
dir 4-226893.0.r354861/55146
K 15
p5-Bit-ShiftReg
V 28
dir 4-36694.0.r357300/928436
K 13
p5-Bit-Vector
V 28
dir 4-36695.0.r357300/929146
K 21
p5-Bit-Vector-Minimal
V 30
dir 4-114937.0.r340718/8513916
K 11
p5-CAD-Calc
V 27
dir 4-163026.0.r353416/1237
K 18
p5-Chart-Math-Axis
V 29
dir 4-81251.0.r340718/8515362
K 13
p5-Data-Float
V 30
dir 4-170065.0.r340717/7909755
K 15
p5-Date-Handler
V 29
dir 4-46901.0.r340718/8516084
K 15
p5-GIS-Distance
V 30
dir 4-176189.0.r340717/7911199
K 20
p5-GIS-Distance-Fast
V 29
dir 4-249051.0.r357300/929866
K 20
p5-GIS-Distance-Lite
V 28
dir 4-254315.0.r341825/12971
K 22
p5-Geo-Coordinates-UTM
V 28
dir 4-220658.0.r341829/40009
K 15
p5-Geo-Distance
V 30
dir 4-113427.0.r340718/8519015
K 18
p5-Geo-Distance-XS
V 29
dir 4-242265.0.r357300/930592
K 8
p5-Graph
V 27
dir 4-48625.0.r341825/13983
K 23
p5-Math-Algebra-Symbols
V 26
dir 4-163417.0.r353418/682
K 14
p5-Math-Base36
V 28
dir 4-218266.0.r341825/14998
K 14
p5-Math-Base85
V 27
dir 4-47927.0.r341829/42077
K 16
p5-Math-BaseCalc
V 29
dir 4-61985.0.r340718/8523350
K 15
p5-Math-BaseCnv
V 28
dir 4-235243.0.r354861/55861
K 14
p5-Math-Bezier
V 29
dir 4-36719.0.r340718/8524793
K 22
p5-Math-Bezier-Convert
V 30
dir 4-128233.0.r340718/8525523
K 14
p5-Math-BigInt
V 27
dir 4-48714.0.r341825/16018
K 23
p5-Math-BigInt-FastCalc
V 29
dir 4-265782.0.r357300/931316
K 18
p5-Math-BigInt-GMP
V 29
dir 4-184781.0.r357300/932040
K 19
p5-Math-BigInt-Pari
V 27
dir 4-233108.0.r354723/1051
K 14
p5-Math-BigRat
V 30
dir 4-130283.0.r340718/8527698
K 11
p5-Math-CDF
V 29
dir 4-264615.0.r359884/471981
K 18
p5-Math-Calc-Units
V 29
dir 4-61987.0.r340718/8529138
K 14
p5-Math-Cephes
V 29
dir 4-163571.0.r357300/933459
K 21
p5-Math-Combinatorics
V 26
dir 4-136318.0.r353413/695
K 15
p5-Math-Complex
V 30
dir 4-205437.0.r340717/7926485
K 18
p5-Math-ConvexHull
V 28
dir 4-146218.0.r341825/17051
K 16
p5-Math-Currency
V 27
dir 4-36721.0.r360499/19559
K 18
p5-Math-Derivative
V 27
dir 4-122444.0.r353412/1091
K 12
p5-Math-Evol
V 30
dir 4-236599.0.r340717/7929400
K 12
p5-Math-Expr
V 29
dir 4-32903.0.r340718/8532766
K 11
p5-Math-FFT
V 28
dir 4-39660.0.r357300/934165
K 22
p5-Math-FixedPrecision
V 29
dir 4-36723.0.r340717/7931554
K 16
p5-Math-Fleximal
V 27
dir 4-344918.0.r344918/2938
K 11
p5-Math-GMP
V 28
dir 4-36724.0.r357300/934861
K 12
p5-Math-GMPf
V 29
dir 4-299792.0.r357300/935560
K 12
p5-Math-GMPq
V 29
dir 4-299793.0.r357300/936262
K 12
p5-Math-GMPz
V 29
dir 4-299794.0.r357300/936963
K 11
p5-Math-GSL
V 26
dir 4-93041.0.r358522/1053
K 16
p5-Math-Geometry
V 29
dir 4-171149.0.r359884/472696
K 23
p5-Math-Geometry-Planar
V 26
dir 4-163036.0.r353465/619
K 27
p5-Math-Geometry-Planar-GPC
V 29
dir 4-163030.0.r357300/937689
K 35
p5-Math-Geometry-Planar-GPC-Polygon
V 29
dir 4-270720.0.r357300/938434
K 30
p5-Math-Geometry-Planar-Offset
V 27
dir 4-163034.0.r353411/1051
K 24
p5-Math-Geometry-Voronoi
V 29
dir 4-237725.0.r357300/939181
K 16
p5-Math-Gradient
V 30
dir 4-250756.0.r340718/8540761
K 14
p5-Math-Int128
V 29
dir 4-309299.0.r357300/939905
K 13
p5-Math-Int64
V 29
dir 4-287425.0.r357300/940619
K 19
p5-Math-Interpolate
V 29
dir 4-39661.0.r340718/8542909
K 33
p5-Math-Intersection-StraightLine
V 26
dir 4-156258.0.r353407/704
K 13
p5-Math-Logic
V 25
dir 4-32904.0.r355248/582
K 11
p5-Math-MPC
V 29
dir 4-232087.0.r357300/941332
K 12
p5-Math-MPFR
V 29
dir 4-227941.0.r357300/942040
K 14
p5-Math-Matrix
V 30
dir 4-150667.0.r340718/8545106
K 18
p5-Math-MatrixReal
V 32
dir 2-8783.0-334605.r343207/1147
K 22
p5-Math-NumberCruncher
V 30
dir 4-186674.0.r340718/8545834
K 12
p5-Math-Pari
V 28
dir 4-47654.0.r357300/942789
K 15
p5-Math-Polygon
V 27
dir 4-225610.0.r340836/1084
K 20
p5-Math-Polygon-Tree
V 30
dir 4-270721.0.r340718/8547325
K 24
p5-Math-Polynomial-Solve
V 27
dir 4-176197.0.r354725/1071
K 16
p5-Math-Prime-XS
V 29
dir 4-282260.0.r357300/943506
K 11
p5-Math-RPN
V 28
dir 4-255436.0.r341829/46795
K 14
p5-Math-Random
V 28
dir 4-44833.0.r357300/944222
K 20
p5-Math-Random-ISAAC
V 28
dir 4-245337.0.r341825/18094
K 23
p5-Math-Random-ISAAC-XS
V 29
dir 4-245340.0.r357300/944947
K 17
p5-Math-Random-MT
V 28
dir 4-44834.0.r357300/945671
K 22
p5-Math-Random-MT-Auto
V 29
dir 4-168585.0.r357300/946400
K 17
p5-Math-Random-OO
V 27
dir 4-168753.0.r342503/1417
K 21
p5-Math-Random-Secure
V 28
dir 4-271137.0.r341825/19456
K 17
p5-Math-RandomOrg
V 26
dir 4-163887.0.r353406/697
K 13
p5-Math-Round
V 26
dir 4-88615.0.r352949/1825
K 17
p5-Math-Round-Var
V 27
dir 4-163006.0.r353405/1138
K 16
p5-Math-Sequence
V 27
dir 4-162468.0.r353403/1050
K 14
p5-Math-Series
V 27
dir 4-162470.0.r353404/1043
K 15
p5-Math-SigFigs
V 28
dir 4-251780.0.r341825/20802
K 22
p5-Math-SimpleVariable
V 29
dir 4-60136.0.r340718/8558224
K 14
p5-Math-Spline
V 27
dir 4-122448.0.r353400/1182
K 14
p5-Math-String
V 30
dir 4-294395.0.r340717/7958032
K 16
p5-Math-Symbolic
V 30
dir 4-162398.0.r340717/7958750
K 33
p5-Math-Symbolic-Custom-CCompiler
V 30
dir 4-162405.0.r340718/8559697
K 32
p5-Math-Symbolic-Custom-Contains
V 30
dir 4-162400.0.r340718/8560458
K 40
p5-Math-Symbolic-Custom-ErrorPropagation
V 30
dir 4-162443.0.r340718/8561226
K 35
p5-Math-Symbolic-Custom-LaTeXDumper
V 30
dir 4-162451.0.r340718/8561997
K 31
p5-Math-Symbolic-Custom-Pattern
V 30
dir 4-162453.0.r340718/8562759
K 38
p5-Math-Symbolic-Custom-Simplification
V 26
dir 4-162455.0.r353397/705
K 38
p5-Math-Symbolic-Custom-Transformation
V 30
dir 4-162457.0.r340717/7964059
K 24
p5-Math-SymbolicX-BigNum
V 26
dir 4-162439.0.r353402/703
K 25
p5-Math-SymbolicX-Complex
V 30
dir 4-162441.0.r340718/8565027
K 23
p5-Math-SymbolicX-Error
V 30
dir 4-162466.0.r340717/7966306
K 24
p5-Math-SymbolicX-Inline
V 30
dir 4-162403.0.r340717/7967050
K 34
p5-Math-SymbolicX-NoSimplification
V 26
dir 4-162447.0.r353396/704
K 40
p5-Math-SymbolicX-ParserExtensionFactory
V 30
dir 4-162408.0.r340717/7968579
K 42
p5-Math-SymbolicX-Statistics-Distributions
V 26
dir 4-162445.0.r353401/700
K 19
p5-Math-TrulyRandom
V 28
dir 4-56269.0.r357300/947120
K 13
p5-Math-Units
V 30
dir 4-163406.0.r340717/7970846
K 11
p5-Math-Vec
V 28
dir 4-141022.0.r342152/17941
K 15
p5-Math-VecStat
V 30
dir 4-129741.0.r340718/8568753
K 18
p5-Math-VectorReal
V 28
dir 4-233830.0.r354861/56573
K 9
p5-NetCDF
V 28
dir 4-95218.0.r357300/947871
K 17
p5-Number-Compare
V 29
dir 4-81398.0.r340718/8570959
K 18
p5-Number-Fraction
V 27
dir 4-251879.0.r353511/1047
K 21
p5-Number-Uncertainty
V 30
dir 4-300704.0.r340718/8572422
K 19
p5-Number-WithError
V 28
dir 4-162459.0.r341829/50219
K 25
p5-Number-WithError-LaTeX
V 26
dir 4-162464.0.r353398/989
K 14
p5-Parse-Range
V 26
dir 4-307768.0.r342583/963
K 8
p5-Roman
V 27
dir 4-74709.0.r341829/51235
K 14
p5-Set-IntSpan
V 29
dir 2-15554.0.r340718/8576046
K 19
p5-Set-IntSpan-Fast
V 28
dir 4-185253.0.r341829/52267
K 22
p5-Set-IntSpan-Fast-XS
V 29
dir 4-216139.0.r357300/948588
K 16
p5-Set-Partition
V 27
dir 4-164542.0.r353399/1053
K 13
p5-Set-Window
V 27
dir 4-36754.0.r341825/23175
K 19
p5-Statistics-Basic
V 28
dir 4-238507.0.r341825/24212
K 21
p5-Statistics-Benford
V 28
dir 4-233155.0.r341825/25259
K 23
p5-Statistics-ChiSquare
V 27
dir 4-36628.0.r341829/54363
K 25
p5-Statistics-Contingency
V 29
dir 4-97202.0.r340717/7985459
K 25
p5-Statistics-Descriptive
V 27
dir 4-36744.0.r341825/26309
K 34
p5-Statistics-Descriptive-Discrete
V 26
dir 4-179882.0.r353395/716
K 27
p5-Statistics-Distributions
V 27
dir 4-36745.0.r341825/27365
K 22
p5-Statistics-Forecast
V 30
dir 4-180690.0.r340717/7988450
K 23
p5-Statistics-Frequency
V 27
dir 4-251668.0.r342149/1020
K 17
p5-Statistics-LTU
V 27
dir 4-36746.0.r341825/28402
K 21
p5-Statistics-LineFit
V 30
dir 4-175980.0.r340717/7990663
K 18
p5-Statistics-Lite
V 29
dir 4-122902.0.r355288/190794
K 17
p5-Statistics-OLS
V 27
dir 4-36747.0.r341829/56435
K 15
p5-Statistics-R
V 30
dir 4-270409.0.r347809/1229600
K 24
p5-Statistics-Regression
V 28
dir 4-189404.0.r341825/29450
K 19
p5-Statistics-TTest
V 30
dir 4-205995.0.r340717/7993611
K 21
p5-Task-Math-Symbolic
V 30
dir 4-169617.0.r340718/8588531
K 16
p5-Text-AsciiTeX
V 29
dir 4-290408.0.r357300/949316
K 9
p5-bignum
V 27
dir 4-192022.0.r361877/1144
K 4
pari
V 25
dir 2-7032.0.r361205/2943
K 8
parmetis
V 26
dir 2-19366.0.r361800/8325
K 11
parmgridgen
V 28
dir 4-266353.0.r362023/58469
K 20
pear-Math_BigInteger
V 26
dir 4-281425.0.r343905/996
K 23
pear-Math_Combinatorics
V 29
dir 4-192312.0.r361099/128313
K 12
pecl-big_int
V 28
dir 4-135512.0.r362023/59484
K 11
pecl-bitset
V 29
dir 4-195159.0.r361099/128988
K 10
pecl-stats
V 29
dir 4-169238.0.r361099/129644
K 11
pecl-trader
V 27
dir 4-343761.0.r343761/2326
K 5
petsc
V 27
dir 4-122097.0.r362050/7978
K 11
php5-bcmath
V 30
dir 4-114147.0.r340722/4331522
K 8
php5-gmp
V 30
dir 8-114147.0.r340722/4332082
K 12
php53-bcmath
V 30
dir 67-296760.0.r332429/470381
K 9
php53-gmp
V 30
dir 6b-296760.0.r332429/471063
K 12
php55-bcmath
V 38
dir 4-114147.13-321684.r340722/4333872
K 9
php55-gmp
V 38
dir 8-114147.14-321684.r340722/4334527
K 8
physcalc
V 26
dir 4-32044.0.r347854/1100
K 5
plman
V 29
dir 4-151700.0.r361099/130397
K 8
ploticus
V 27
dir 4-53652.0.r361812/46417
K 14
ploticus-nox11
V 25
dir 4-90788.0.r361015/414
K 6
plplot
V 24
dir 2-8139.0.r355539/588
K 10
plplot-ada
V 27
dir 4-344634.0.r344634/4726
K 8
primegen
V 26
dir 4-231112.0.r347112/812
K 4
prng
V 28
dir 4-250787.0.r361962/11616
K 12
proofgeneral
V 27
dir 4-141552.0.r362086/1445
K 4
pspp
V 26
dir 4-28424.0.r358138/3818
K 9
pure-mpfr
V 28
dir 12-289858.0.r345420/7436
K 13
pure-rational
V 27
dir 4-283584.0.r345420/8091
K 7
py-apgl
V 27
dir 4-263688.0.r350339/1028
K 10
py-basemap
V 30
dir 4-175627.0.r347809/1233211
K 15
py-basemap-data
V 26
dir 4-180648.0.r344341/669
K 12
py-bitvector
V 29
dir 4-180881.0.r359664/319509
K 13
py-bottleneck
V 30
dir 4-335898.0.r347809/1233871
K 14
py-fastcluster
V 30
dir 4-336815.0.r347809/1234532
K 6
py-ffc
V 27
dir 4-294745.0.r352368/1325
K 7
py-fiat
V 26
dir 4-294821.0.r357681/538
K 10
py-fpconst
V 29
dir 4-90550.0.r340722/4343575
K 7
py-gato
V 29
dir 4-47357.0.r340722/4344275
K 7
py-gmpy
V 28
dir 4-217040.0.r361812/47063
K 10
py-gnuplot
V 29
dir 4-30139.0.r347809/1235900
K 14
py-graphillion
V 33
dir 4-321453.0-321557.r357755/726
K 6
py-gsl
V 27
dir 4-54726.0.r361812/47751
K 9
py-igraph
V 30
dir 4-180374.0.r351411/1128282
K 10
py-mathdom
V 26
dir 4-215823.0.r344362/567
K 13
py-matplotlib
V 30
dir 4-115380.0.r351411/1128989
K 9
py-mpmath
V 26
dir 4-221772.0.r358783/497
K 10
py-munkres
V 29
dir 4-312268.0.r361099/131803
K 11
py-networkx
V 26
dir 4-214918.0.r349451/986
K 11
py-numarray
V 29
dir 4-62097.0.r340722/4349187
K 10
py-numeric
V 28
dir f-6349.0.r340725/7528849
K 10
py-numexpr
V 30
dir 4-257393.0.r347809/1238796
K 8
py-numpy
V 26
dir 4-171823.0.r362060/625
K 9
py-nzmath
V 28
dir 4-275009.0.r362023/60239
K 9
py-pandas
V 26
dir 4-302642.0.r357903/559
K 8
py-patsy
V 26
dir 4-333533.0.r357757/560
K 10
py-plastex
V 30
dir 4-221239.0.r340722/4351296
K 11
py-probstat
V 29
dir 4-67863.0.r340722/4351951
K 10
py-pybloom
V 29
dir 4-269385.0.r361099/132456
K 7
py-pymc
V 30
dir 4-224222.0.r347809/1241595
K 8
py-roman
V 26
dir 4-284510.0.r344367/598
K 13
py-scientific
V 27
dir 2-20396.0.r362023/60984
K 14
py-statsmodels
V 26
dir 4-334582.0.r358468/588
K 10
py-svgmath
V 26
dir 4-234452.0.r354422/914
K 9
py-symeig
V 27
dir 4-220906.0.r352327/1338
K 8
py-sympy
V 27
dir 4-218429.0.r353771/1514
K 6
py-ufl
V 26
dir 4-294823.0.r358812/539
K 8
py-viper
V 26
dir 4-294824.0.r355302/530
K 9
qalculate
V 27
dir 4-117583.0.r361419/2210
K 2
qd
V 30
dir 4-188439.0.r347809/1244450
K 5
qhull
V 28
dir 4-107890.0.r360499/21048
K 6
qhull5
V 28
dir m-107890.0.r360499/21789
K 8
qrupdate
V 26
dir 4-239012.0.r355961/707
K 7
qtiplot
V 27
dir 4-135221.0.r361019/5753
K 11
qtiplot-doc
V 29
dir 4-172675.0.r353800/227679
K 8
qtoctave
V 30
dir 4-228607.0.r347809/1245955
K 13
qwtplot3d-qt4
V 30
dir e-117647.0.r340725/7548821
K 7
randlib
V 26
dir z-6153.0.r360499/22471
K 5
rapid
V 27
dir 4-206921.0.r345364/2154
K 6
reduce
V 27
dir 4-344974.0.r357170/1439
K 12
reed-solomon
V 29
dir 4-138189.0.r361099/133962
K 11
rkward-kde4
V 28
dir i-160825.0.r361962/12349
K 10
rngstreams
V 29
dir 4-222881.0.r361099/134667
K 4
rocs
V 30
dir e1-283641.0.r353599/653830
K 6
rpcalc
V 30
dir 4-248945.0.r340718/8636533
K 3
rpy
V 25
dir 4-92667.0.r355935/708
K 4
rpy2
V 26
dir i-92667.0.r355936/1145
K 12
ruby-algebra
V 26
dir 4-42397.0.r344394/1015
K 10
ruby-fftw3
V 28
dir 4-112344.0.r362023/61688
K 12
ruby-gnuplot
V 28
dir 4-37886.0.r361099/136071
K 8
ruby-gsl
V 28
dir 4-107472.0.r362023/62396
K 11
ruby-narray
V 27
dir 4-37878.0.r362023/63092
K 16
ruby-narray_miss
V 26
dir 4-102312.0.r350496/857
K 15
ruby-numru_misc
V 26
dir 4-103994.0.r350497/839
K 16
ruby-numru_units
V 29
dir 4-103996.0.r361099/137491
K 14
rubygem-narray
V 27
dir 4-349189.0.r349460/1848
K 19
rubygem-narray_miss
V 27
dir 4-349190.0.r349190/2210
K 18
rubygem-numru-misc
V 27
dir 4-356622.0.r356622/2312
K 19
rubygem-numru-units
V 29
dir 4-356619.0.r361099/138156
K 4
saga
V 29
dir 4-244368.0.r361523/137373
K 4
sage
V 26
dir 4-289761.0.r358868/584
K 2
sc
V 26
dir 4-225542.0.r350411/981
K 9
scalapack
V 27
dir 4-80147.0.r361812/49195
K 6
scilab
V 27
dir 1d-6991.0.r361962/13085
K 19
scilab-toolbox-sivp
V 27
dir 4-200249.0.r352751/2508
K 18
scilab-toolbox-swt
V 30
dir 4-165598.0.r347809/1256275
K 4
sdpa
V 27
dir 4-90200.0.r361812/49890
K 8
sdpa-gmp
V 28
dir 4-211030.0.r361812/50592
K 6
sdpara
V 28
dir 4-104439.0.r361812/51343
K 6
sedumi
V 26
dir 4-221262.0.r357071/611
K 4
sfft
V 28
dir 4-324787.0.r361962/13772
K 4
sfst
V 27
dir 4-361056.0.r361056/4555
K 12
simd-viterbi
V 29
dir 4-138196.0.r361099/138865
K 6
slatec
V 29
dir 4-288144.0.r356241/258924
K 7
slgrace
V 29
dir 4-198545.0.r361099/139570
K 4
snns
V 26
dir 2-17571.0.r357042/3955
K 9
solitaire
V 26
dir 4-44401.0.r344397/1338
K 4
spar
V 26
dir 4-43374.0.r359496/1153
K 6
spblas
V 28
dir 4-288564.0.r361962/14458
K 11
speedcrunch
V 27
dir 4-197663.0.r349725/3724
K 7
spooles
V 27
dir 4-80138.0.r360499/23904
K 13
spooles-mpich
V 25
dir 4-80140.0.r358373/413
K 3
stp
V 29
dir 4-215221.0.r361099/140213
K 11
suitesparse
V 29
dir 4-167234.0.r359185/753785
K 7
superlu
V 27
dir 2-12384.0.r361812/52085
K 10
superlu_mt
V 27
dir 4-84726.0.r361962/15196
K 4
surf
V 26
dir 4-41833.0.r344400/1139
K 6
tablix
V 27
dir 4-148920.0.r359509/1592
K 5
taucs
V 27
dir 4-97207.0.r361962/15932
K 7
testu01
V 28
dir 4-223948.0.r360499/24599
K 6
tetgen
V 29
dir 4-153525.0.r361099/141653
K 5
timbl
V 28
dir 4-208938.0.r361812/52781
K 12
tomsfastmath
V 27
dir 4-141334.0.r357102/1921
K 5
topaz
V 26
dir 2-22794.0.r344404/1951
K 8
triangle
V 29
dir 6-121715.0.r361099/142346
K 5
trlan
V 28
dir 4-283045.0.r360499/25244
K 10
truthtable
V 29
dir 4-167406.0.r361099/143097
K 5
tvmet
V 25
dir 4-63519.0.r355893/707
K 3
ufc
V 26
dir 4-296121.0.r344599/555
K 3
ump
V 29
dir 4-161401.0.r361099/143845
K 5
units
V 25
dir 4-49519.0.r353812/989
K 8
unixstat
V 28
dir 4-50517.0.r361099/144590
K 6
unuran
V 28
dir 4-222882.0.r360499/25984
K 4
vtk5
V 28
dir 13-19163.0.r361962/16661
K 9
vtk5-data
V 26
dir 4-313143.0.r343933/676
K 4
vtk6
V 29
dir 4-339158.0.r361989/344075
K 5
wcalc
V 29
dir 4-190954.0.r361099/145240
K 6
wfmath
V 26
dir 4-128419.0.r349045/258
K 4
why3
V 29
dir 4-356538.0.r360738/540045
K 8
why3-gpl
V 29
dir k-356538.0.r360738/540777
K 6
wingz3
V 24
dir l-4797.0.r361705/941
K 8
wxMaxima
V 27
dir 4-139194.0.r361595/1302
K 8
x12arima
V 28
dir 4-259688.0.r360499/26675
K 5
xblas
V 28
dir 4-288627.0.r360499/27320
K 5
xgobi
V 27
dir 4-51784.0.r360499/28048
K 6
xgraph
V 24
dir 2-498.0.r357461/1331
K 7
xlapack
V 27
dir 4-289645.0.r350244/2885
K 6
xldlas
V 28
dir 2-10705.0.r359892/123559
K 5
xplot
V 26
dir 2-5861.0.r360499/28723
K 6
xppaut
V 28
dir 4-123347.0.r361962/17392
K 7
xspread
V 25
dir 2-1904.0.r362050/8660
K 5
yacas
V 28
dir 4-44287.0.r359185/756018
END
ENDREP
id: 1-162.0.r362086/36498
type: dir
pred: 1-162.0.r362060/35672
count: 9260
text: 362086 1628 34857 0 647ed63b9ab020fab96d712b4382c9a0
cpath: /head/math
copyroot: 0 /

PLAIN
K 10
.arcconfig
V 26
file 1-354154.0.r357542/72
K 10
.gitignore
V 26
file 1-348322.0.r348482/68
K 7
CHANGES
V 26
file 1-99373.0.r362031/746
K 15
CONTRIBUTING.md
V 27
file 1-348323.0.r348323/344
K 9
COPYRIGHT
V 25
file 1-146787.0.r345912/0
K 4
GIDs
V 28
file 1-168311.0.r361621/5312
K 8
Keywords
V 27
dir 1-314142.0.r360642/5588
K 5
LEGAL
V 24
file 1-748.0.r359800/108
K 5
MOVED
V 26
file 1-69878.0.r361893/506
K 8
Makefile
V 22
file 1-6.0.r357936/242
K 2
Mk
V 22
dir 1-5.0.r362031/4166
K 6
README
V 25
file 1-2408.0.r340854/960
K 9
Templates
V 24
dir 1-2932.0.r356642/775
K 5
Tools
V 26
dir 3-15302.0.r359402/3882
K 4
UIDs
V 28
file 4-168311.0.r361621/5595
K 8
UPDATING
V 27
file 1-102685.0.r362012/407
K 13
accessibility
V 26
dir 1-42583.0.r362027/5702
K 6
arabic
V 26
dir 1-38973.0.r360452/1576
K 9
archivers
V 25
dir 1-242.0.r362054/11703
K 5
astro
V 25
dir 1-301.0.r362046/19123
K 5
audio
V 25
dir 1-148.0.r362046/60077
K 10
benchmarks
V 24
dir 1-62.0.r362014/86798
K 7
biology
V 26
dir 1-9066.0.r362014/91851
K 3
cad
V 25
dir 1-276.0.r362014/96883
K 7
chinese
V 27
dir 1-3770.0.r362014/104507
K 5
comms
V 25
dir 1-76.0.r362014/127128
K 10
converters
V 27
dir 1-1561.0.r362014/137034
K 9
databases
V 25
dir 1-771.0.r362047/52693
K 9
deskutils
V 27
dir 1-2098.0.r362014/209402
K 5
devel
V 25
dir 1-73.0.r362065/254617
K 3
dns
V 27
dir 1-6145.0.r362047/320745
K 7
editors
V 23
dir 4-6.0.r362048/19325
K 9
emulators
V 25
dir 1-181.0.r362048/28370
K 7
finance
V 26
dir 1-4110.0.r362015/50621
K 6
french
V 26
dir 1-25673.0.r362085/2120
K 3
ftp
V 25
dir 1-199.0.r362015/58444
K 5
games
V 25
dir 1-104.0.r362048/86847
K 6
german
V 25
dir 1-7451.0.r362069/2521
K 8
graphics
V 25
dir 1-94.0.r362048/143936
K 6
hebrew
V 26
dir 3-31142.0.r362075/1194
K 9
hungarian
V 29
dir 1p-38973.0.r359029/141027
K 3
irc
V 23
dir 1-42.0.r362049/8955
K 8
japanese
V 25
dir 1-410.0.r362049/25478
K 4
java
V 27
dir 1-2798.0.r362066/724096
K 6
korean
V 25
dir 1-5873.0.r361785/3338
K 4
lang
V 24
dir 1-15.0.r362049/45638
K 4
mail
V 24
dir 1-57.0.r362049/93230
K 4
math
V 25
dir 1-162.0.r362086/36498
K 4
misc
V 24
dir 7-35.0.r362050/70613
K 10
multimedia
V 25
dir d-333.0.r362050/93535
K 3
net
V 25
dir 1-22.0.r362050/167870
K 6
net-im
V 28
dir 15-11144.0.r362063/10199
K 8
net-mgmt
V 27
dir r-1011.0.r362050/196780
K 7
net-p2p
V 28
dir g-29106.0.r362050/204168
K 4
news
V 26
dir 1-145.0.r362050/209334
K 4
palm
V 25
dir 1-6646.0.r362053/5603
K 6
polish
V 27
dir tv-38973.0.r362053/7514
K 10
ports-mgmt
V 26
dir 1-5132.0.r362053/13195
K 10
portuguese
V 26
dir 1-17842.0.r362067/2179
K 5
print
V 24
dir 1-79.0.r362053/39062
K 7
russian
V 25
dir 1-1559.0.r361071/3201
K 7
science
V 26
dir n-5356.0.r362058/10384
K 8
security
V 25
dir 1-269.0.r362062/54304
K 6
shells
V 23
dir w-6.0.r362024/87684
K 8
sysutils
V 25
dir b-339.0.r362057/53339
K 8
textproc
V 25
dir 1-322.0.r362083/83602
K 9
ukrainian
V 28
dir g-39704.0.r361812/625826
K 10
vietnamese
V 25
dir 1-4812.0.r362082/1813
K 3
www
V 26
dir 1-114.0.r362064/128274
K 3
x11
V 25
dir 1-16.0.r362053/412771
K 10
x11-clocks
V 24
dir 1-931.0.r361844/4190
K 11
x11-drivers
V 28
dir 1-157567.0.r357422/15839
K 6
x11-fm
V 26
dir 1-691.0.r361996/389135
K 9
x11-fonts
V 25
dir 1-543.0.r362030/10557
K 11
x11-servers
V 25
dir 1n-710.0.r360686/1416
K 10
x11-themes
V 27
dir 1-14410.0.r361739/10409
K 12
x11-toolkits
V 26
dir 1-120.0.r362026/213330
K 6
x11-wm
V 23
dir 1-40.0.r362044/9816
END
ENDREP
id: 2-1.0.r362086/40087
type: dir
pred: 2-1.0.r362085/5710
count: 361018
text: 362086 36666 3408 0 5e3179005e001742cf6baf37e6fbbaff
props: 308235 235189 45 0 7a04b33bf8e35fd5c3d111baaf403dc5
cpath: /head
copyroot: 0 /

PLAIN
K 8
branches
V 23
dir 0-1.0.r361827/44627
K 4
head
V 23
dir 2-1.0.r362086/40087
K 8
svnadmin
V 22
dir 3-1.0.r361898/1659
K 4
tags
V 22
dir 8-1.0.r359467/4811
END
ENDREP
id: 0.0.r362086/40481
type: dir
pred: 0.0.r362085/6101
count: 362086
text: 362086 40306 162 0 7db1d940c75db73e4918ac3411761f19
props: 341041 7140 346 0 8b695b9f61597e4917effffba3bbfaa3
cpath: /
copyroot: 0 /
minfo-cnt: 13

5-141552.0.t362085-7re7 modify-file true false /head/math/proofgeneral/Makefile

q-141552.0.t362085-7re7 modify-file true false /head/math/proofgeneral/pkg-plist


40481 40704