DELTA 315598 10461 24
SVN ’Pxw€v „] ‹l†dv# Created by: Timothy Bourke <timbob@bigpond.com>
# $FreeBSD$

PORTNAME=	proofgeneral
PORTVERSION=	4.1
PORTREVISION=	6ENDREP
DELTA 210484 1697 2852
SVN ‚ƒHî%ƒh#€ 6 a‚3€Œ
 ‡~‚i ƒW@€/ ƒb ƒ”e€C ƒ/—z€@ Šušr€D .¥. E§Y ‡Sª¼ ˆ4±6‹ †,Á1€D ƒ0Ç* UÌ6 oÏ  ‚Ð\Ž Ò>€A Ó¹ ƒsÕp ˆGæ— ÓW€‚- üq _þ/„ Bÿz€m ‚r€P–+x^–ÉnÛ0@ïþŠ\|”…,rlÑ…âÞƒ±4¢áV’v”¿/©­¶e7ê,KÔ¼y\$q¶¤óÂü übÏÉƒ/$
3^XgL%P£¹ð58ÌÁZI2:s(È÷q·:ˆðSÈ—èß‚±:8ÚæJ©ôË`Ì
åb¹||úúmóºYÿz|ý¹Þ<_¿,—ùsJð£Kr–-Xp!Á{®y€™jUòÍËe!°ÕÍ”¿ã–­îXžX7šk`¦Ú”È6w,Oœ^Wþ Gš)·ŠmnQžÖƒ²’=Ý#Í“ï4í¹êžeŠIö×d€yê=8¶9±Êìiözµ»¹ÙÀÍëõhAA1»Ë§`“ÞÈÿ§ScÜªZº‚‚›¡E=:c3Ã®£k£peµ˜•ô9Æ9H\Me‰ºMIÒbngRéÑ²UjŸ)Ô»´š"«âCâqþød| ì_,nP¤goo	îO3bi´*SBÒ”Ò¼áÇPÕ(R›+s\Ò¤æ>ÂR£Àž”<iš¿”äœŠ¥ÓÕIªÉ*RÍTÇ?i\~÷ÐÜ=|s{ÓÜÞ|s}ß\ßÿ;æüÝƒÖóy8oiec¥ÙC—ˆKß6-7'Ã8WÀN‚ú…[üŸÔÜENDREP
id: 5-141552.0.r315633/869
type: file
pred: 5-141552.0.r315598/510812
count: 35
text: 315633 0 143 2168 ca79da5335beaacab4e5922c134be25f 76cc758d8c0cdf8d3b6133cac6141e81c7248d0f 315632-6rju/_4
props: 300896 18075804 38 0 b6b34f029ed66be42751a530d6e4b830
cpath: /head/math/proofgeneral/Makefile
copyroot: 0 /

id: q-141552.0.r315633/1178
type: file
pred: q-141552.0.r300896/18075487
count: 12
text: 315633 172 667 14105 c4432b7432c5dba89102afb58a27158f ce5ff29a4f758db1a7569a882fd2d98c5768eea1 315632-6rju/_5
props: 300896 18075441 33 0 d2b74571aba906f64dadd6584b7cea1d
cpath: /head/math/proofgeneral/pkg-plist
copyroot: 0 /

PLAIN
K 8
Makefile
V 27
file 5-141552.0.r315633/869
K 8
distinfo
V 32
file 8-141552.0.r300896/18072335
K 5
files
V 31
dir a-141552.0.r300896/18075244
K 9
pkg-descr
V 32
file o-141552.0.r300896/18072693
K 9
pkg-plist
V 28
file q-141552.0.r315633/1178
END
ENDREP
id: 4-141552.0.r315633/1755
type: dir
pred: 4-141552.0.r315598/511396
count: 42
text: 315633 1494 248 248 adc61f3351bff8dc773097122f4ba813
cpath: /head/math/proofgeneral
copyroot: 0 /

PLAIN
K 5
GiNaC
V 30
dir 2-39165.0.r300896/17945125
K 8
Makefile
V 27
file 2-185.0.r315580/596462
K 3
PDL
V 31
dir 6-103726.0.r300896/18419549
K 1
R
V 26
dir 2-10844.0.r315422/1678
K 14
R-cran-Formula
V 29
dir 4-290383.0.r313562/424100
K 11
R-cran-KFAS
V 29
dir 4-290923.0.r313562/424771
K 17
R-cran-LearnBayes
V 29
dir 4-307669.0.r313562/425434
K 15
R-cran-MCMCpack
V 29
dir 4-307527.0.r313562/426101
K 11
R-cran-RHmm
V 29
dir 4-308467.0.r313562/426762
K 17
R-cran-RSvgDevice
V 29
dir 4-232562.0.r313562/427428
K 16
R-cran-SuppDists
V 27
dir 4-273730.0.r315425/1274
K 12
R-cran-Zelig
V 26
dir 4-231151.0.r315174/998
K 16
R-cran-bdsmatrix
V 29
dir 4-290384.0.r313562/429446
K 10
R-cran-car
V 29
dir 4-233130.0.r313562/430110
K 11
R-cran-coda
V 29
dir 4-267903.0.r313562/430767
K 13
R-cran-deldir
V 29
dir 4-281926.0.r313562/431427
K 16
R-cran-dlmodeler
V 29
dir 4-301445.0.r313562/432093
K 13
R-cran-gpclib
V 29
dir 4-231150.0.r313562/432763
K 13
R-cran-gtable
V 29
dir 4-303703.0.r313562/433424
K 13
R-cran-igraph
V 29
dir 5-289904.0.r313562/434084
K 13
R-cran-inline
V 27
dir 4-253936.0.r315173/1003
K 15
R-cran-labeling
V 29
dir 4-296327.0.r313562/435426
K 13
R-cran-memisc
V 27
dir 4-290170.0.r314908/1000
K 14
R-cran-mvtnorm
V 29
dir 4-270503.0.r313562/436760
K 11
R-cran-nnls
V 29
dir 4-302939.0.r313562/437422
K 15
R-cran-outliers
V 27
dir 4-314659.0.r314659/2337
K 12
R-cran-psych
V 29
dir 4-261267.0.r313562/438092
K 15
R-cran-quadprog
V 29
dir 4-309473.0.r313562/438755
K 15
R-cran-sandwich
V 29
dir 4-282214.0.r313562/439433
K 9
R-cran-sm
V 29
dir 7-230661.0.r313562/440105
K 9
R-cran-sp
V 26
dir 4-230304.0.r315172/980
K 12
R-cran-spdep
V 29
dir 4-281929.0.r313562/441419
K 17
R-cran-stabledist
V 29
dir 4-309474.0.r313562/442083
K 10
R-cran-xts
V 29
dir 4-280789.0.r313562/442745
K 10
R-cran-zoo
V 29
dir 4-280788.0.r313562/443402
K 6
aamath
V 27
dir 4-137923.0.r308009/1947
K 6
abakus
V 29
dir 4-152678.0.r314960/947618
K 3
abs
V 30
dir 2-16350.0.r300896/18537073
K 3
add
V 26
dir 2-12939.0.r313118/1090
K 5
algae
V 30
dir 4-82139.0.r300896/18195833
K 9
algotutor
V 31
dir 4-126758.0.r300896/18902330
K 8
alt-ergo
V 28
dir 4-287773.0.r314582/56629
K 8
analitza
V 30
dir 8l-297371.0.r315373/896766
K 3
ann
V 31
dir 4-253818.0.r300896/19094846
K 3
apc
V 29
dir 2-6710.0.r300896/19168253
K 6
aribas
V 31
dir 4-193965.0.r300896/17921720
K 9
armadillo
V 27
dir 4-314935.0.r314935/4611
K 6
arpack
V 30
dir 4-80169.0.r300896/18880592
K 8
arpack++
V 30
dir 4-95234.0.r300896/18217312
K 9
arpack-ng
V 27
dir 4-300064.0.r304174/1230
K 8
asir2000
V 30
dir 4-47162.0.r300896/18236894
K 9
asymptote
V 29
dir 4-140404.0.r313303/372181
K 5
atlas
V 25
dir 4-56117.0.r305888/990
K 11
atlas-devel
V 30
dir 4-90176.0.r300896/18400784
K 4
bamg
V 30
dir 4-97121.0.r300896/17977660
K 8
bargraph
V 31
dir 4-294217.0.r300896/18486060
K 7
biggles
V 30
dir 4-50529.0.r300896/19270118
K 5
bihar
V 29
dir 2-5603.0.r300896/18078890
K 5
blacs
V 30
dir 4-80142.0.r300896/17950314
K 4
blas
V 28
dir 2-280.0.r300896/18479854
K 7
blitz++
V 28
dir 4-67732.0.r314640/711397
K 12
blocksolve95
V 29
dir 4-121707.0.r301684/587232
K 4
calc
V 28
dir 3-162.0.r300896/18059082
K 6
calcoo
V 28
dir 4-53344.0.r304323/194005
K 8
calctool
V 25
dir 2-4947.0.r303070/4623
K 6
cantor
V 30
dir ce-283641.0.r315373/898155
K 5
carve
V 29
dir 4-291926.0.r314960/948368
K 5
cblas
V 31
dir 4-288838.0.r300896/19146201
K 6
ccmath
V 30
dir 4-40118.0.r300896/18441153
K 4
cgal
V 29
dir 4-159258.0.r314960/949239
K 5
chaco
V 29
dir 4-161300.0.r315487/843035
K 9
chryzodus
V 31
dir 4-138937.0.r300896/18386793
K 8
clarence
V 30
dir 4-54038.0.r300896/18709810
K 7
clipper
V 29
dir 4-312105.0.r314960/949930
K 3
cln
V 30
dir 4-38257.0.r300896/19182229
K 3
clp
V 31
dir 4-198778.0.r300896/19184740
K 6
coinmp
V 28
dir 4-278529.0.r301960/12738
K 8
concorde
V 30
dir 4-30153.0.r300896/18650154
K 10
convertall
V 29
dir 4-117581.0.r315487/843748
K 3
coq
V 29
dir 4-119551.0.r314642/349168
K 6
crlibm
V 31
dir 4-288947.0.r300896/18014661
K 4
cvc3
V 29
dir 4-188227.0.r313635/709957
K 7
dcdflib
V 30
dir 2-15563.0.r300896/17906946
K 7
diehard
V 26
dir 4-62415.0.r308016/1898
K 9
dieharder
V 31
dir 4-222883.0.r300896/18302350
K 9
digitizer
V 29
dir 4-165022.0.r310871/723494
K 6
dislin
V 28
dir 4-95795.0.r303710/358728
K 6
djbfft
V 30
dir 4-59197.0.r300896/18231132
K 5
drgeo
V 28
dir k-72881.0.r301684/587994
K 6
dynare
V 27
dir 4-282473.0.r310748/1305
K 1
e
V 31
dir 4-120706.0.r300896/18031014
K 8
edenmath
V 29
dir 4-172517.0.r301684/588711
K 6
eigen2
V 29
dir e-206969.0.r314960/950758
K 6
eigen3
V 29
dir o-206969.0.r314960/951457
K 7
eispack
V 24
dir 2-299.0.r315494/3145
K 13
elmer-umfpack
V 31
dir 4-160347.0.r300896/18605833
K 10
emacs-calc
V 31
dir 4-139096.0.r300896/18909553
K 4
emc2
V 26
dir 4-97124.0.r303077/1614
K 7
entropy
V 30
dir 4-64354.0.r300896/18654964
K 3
ess
V 29
dir 4-276061.0.r315598/510632
K 9
eukleides
V 28
dir 4-60610.0.r313635/710717
K 4
eval
V 28
dir 2-10680.0.r313600/105227
K 6
facile
V 31
dir 4-206967.0.r300896/19197840
K 4
fann
V 29
dir 4-186705.0.r314960/952277
K 3
fbm
V 28
dir 4-84729.0.r315487/844558
K 12
fflas-ffpack
V 31
dir 4-283609.0.r300896/18855256
K 4
fftw
V 30
dir 2-17276.0.r300896/19349034
K 10
fftw-float
V 31
dir 4-121298.0.r300896/18992661
K 5
fftw3
V 28
dir f-17276.0.r314640/712092
K 11
fftw3-float
V 31
dir 4-121063.0.r300896/17995403
K 10
fftw3-long
V 31
dir 8-121063.0.r300896/19237552
K 10
fftw3-quad
V 31
dir 4-283696.0.r300896/18424960
K 5
fityk
V 31
dir 4-130578.0.r300896/18152143
K 8
fpc-fftw
V 29
dir 4-172531.0.r314989/453480
K 7
fpc-gmp
V 29
dir 4-259369.0.r314133/458213
K 10
fpc-numlib
V 29
dir 4-226018.0.r314989/454096
K 7
freefem
V 29
dir 2-5307.0.r300896/18281257
K 7
freemat
V 29
dir 4-132275.0.r314960/953148
K 11
freemat-mpi
V 31
dir 4-132277.0.r300896/19345676
K 6
fricas
V 29
dir 4-222842.0.r313363/274561
K 9
fung-calc
V 28
dir 4-82667.0.r302037/586373
K 3
fxt
V 30
dir 4-50672.0.r300896/18571923
K 10
galculator
V 25
dir 4-83610.0.r312185/934
K 6
gambit
V 30
dir 4-75161.0.r300896/18573743
K 3
gap
V 26
dir 4-58970.0.r314858/1018
K 9
gcalctool
V 28
dir 4-61145.0.r313635/711481
K 6
gdcalc
V 30
dir 4-62875.0.r300896/19235014
K 3
geg
V 28
dir 2-12406.0.r309602/130197
K 13
geogebra-i18n
V 27
dir 4-143470.0.r313719/1130
K 7
geonext
V 28
dir 4-128341.0.r308605/23454
K 5
gexpr
V 30
dir 4-43961.0.r300896/19211448
K 5
ggobi
V 31
dir 4-249715.0.r300896/17963822
K 8
giacxcas
V 27
dir 2-261551.0.r311303/3095
K 6
givaro
V 31
dir 4-283582.0.r300896/18691068
K 7
glgraph
V 30
dir 4-72664.0.r300896/17952130
K 3
glm
V 27
dir 4-301955.0.r314896/1006
K 4
glpk
V 26
dir 4-36057.0.r311306/3685
K 5
gmm++
V 27
dir 4-218131.0.r301982/1794
K 3
gmp
V 26
dir 4-43514.0.r312232/1376
K 7
gmp-ecm
V 31
dir 4-164283.0.r300896/18824273
K 5
gnubc
V 31
dir 4-249168.0.r300896/17996826
K 8
gnumeric
V 26
dir 2-14193.0.r314629/1055
K 7
gnuplot
V 23
dir 2-184.0.r315521/926
K 6
goblin
V 30
dir 2-55478.0.r300896/19092356
K 8
gotoblas
V 27
dir 4-184333.0.r315125/1933
K 5
grace
V 25
dir 2-17277.0.r308462/988
K 9
gracetmpl
V 30
dir 4-92440.0.r300896/18021342
K 10
graphthing
V 28
dir 2-54530.0.r313635/712191
K 5
gretl
V 28
dir 2-56450.0.r301663/274744
K 3
gri
V 28
dir 4-34352.0.r311914/511354
K 4
grpn
V 30
dir 2-23410.0.r300896/18936693
K 3
gsl
V 30
dir 4-27399.0.r300896/18429794
K 7
hs-Agda
V 29
dir 4-247094.0.r315580/599726
K 15
hs-NumInstances
V 29
dir 5-291121.0.r315580/600712
K 13
hs-categories
V 29
dir 7-279687.0.r311736/774472
K 10
hs-comonad
V 29
dir 7-279689.0.r315580/601693
K 23
hs-comonad-transformers
V 29
dir 7-279693.0.r315580/602369
K 14
hs-comonads-fd
V 30
dir h6-311736.0.r315580/603053
K 16
hs-contravariant
V 29
dir 7-279690.0.r315580/604766
K 12
hs-data-lens
V 29
dir 5-291123.0.r315580/605437
K 21
hs-data-lens-template
V 29
dir 5-291124.0.r315580/606113
K 15
hs-distributive
V 29
dir 7-279691.0.r315580/607156
K 6
hs-erf
V 29
dir 4-247108.0.r311736/782384
K 12
hs-groupoids
V 30
dir ht-311736.0.r315580/607830
K 10
hs-ieee754
V 29
dir 5-298136.0.r311736/784555
K 17
hs-math-functions
V 29
dir 4-290293.0.r315580/608825
K 13
hs-mwc-random
V 29
dir 4-247119.0.r311736/785899
K 7
hs-nats
V 30
dir i7-311736.0.r311736/787426
K 10
hs-pointed
V 29
dir 7-279695.0.r315580/609495
K 14
hs-probability
V 29
dir 4-247118.0.r311736/789039
K 22
hs-semigroupoid-extras
V 30
dir ik-311736.0.r315580/610174
K 16
hs-semigroupoids
V 29
dir 7-279692.0.r315580/610857
K 13
hs-semigroups
V 29
dir 7-279685.0.r311736/792572
K 13
hs-statistics
V 29
dir 4-247125.0.r315580/611530
K 15
hs-vector-space
V 29
dir 4-247746.0.r315580/612203
K 6
igraph
V 29
dir 4-217031.0.r305610/558038
K 8
isabelle
V 31
dir 4-141691.0.r300896/18422496
K 4
ised
V 29
dir 4-251331.0.r313672/437041
K 3
itl
V 30
dir 2-97432.0.r300896/18643143
K 5
jacal
V 30
dir 4-56207.0.r300896/17988165
K 4
jags
V 29
dir 4-110135.0.r313635/712949
K 20
jakarta-commons-math
V 28
dir 4-127742.0.r308605/24176
K 21
jakarta-commons-math3
V 27
dir 4-297407.0.r312746/1269
K 4
jama
V 30
dir 4-82179.0.r300896/19081605
K 7
javanns
V 28
dir 4-52707.0.r303710/359484
K 8
javaview
V 31
dir 4-138870.0.r300896/18708388
K 7
jeuclid
V 28
dir 4-249767.0.r308605/25634
K 10
jlatexmath
V 26
dir 4-249766.0.r308832/954
K 6
jsmath
V 29
dir 4-164162.0.r301684/589431
K 12
jsmath-fonts
V 31
dir e-164162.0.r300896/17991902
K 19
jsmath-fonts-sprite
V 31
dir 4-169608.0.r300896/18773032
K 11
jtransforms
V 29
dir 4-262245.0.r311016/374525
K 3
jts
V 29
dir 4-192174.0.r315487/845301
K 7
k3dsurf
V 27
dir 4-156476.0.r307398/3815
K 8
kalgebra
V 30
dir cs-283641.0.r315373/899498
K 5
kash3
V 29
dir 2-159951.0.r313460/417726
K 6
kbruch
V 30
dir d2-283641.0.r315373/900529
K 5
kcalc
V 28
dir 15-8441.0.r315373/902728
K 3
kig
V 30
dir dh-283641.0.r315373/903748
K 9
kktdirect
V 31
dir 4-288407.0.r300896/18903761
K 6
kmplot
V 30
dir dr-283641.0.r315373/904774
K 7
koctave
V 28
dir 4-97428.0.r309662/704849
K 4
kseg
V 30
dir 4-47883.0.r300896/19060004
K 7
labplot
V 29
dir 4-150102.0.r314960/953850
K 6
lambda
V 31
dir 4-109095.0.r300896/17993331
K 6
lapack
V 25
dir 2-3178.0.r309957/1261
K 8
lapack++
V 28
dir 4-61741.0.r314640/712800
K 8
lapack95
V 31
dir 4-117551.0.r300896/19232516
K 7
lapacke
V 31
dir 4-269254.0.r300896/18980948
K 7
laspack
V 31
dir 4-140069.0.r300896/18131695
K 7
ldouble
V 31
dir 4-121047.0.r300896/19284724
K 6
levmar
V 31
dir 4-259952.0.r300896/17958700
K 4
libR
V 29
dir 4-278444.0.r309206/472483
K 8
libRmath
V 31
dir 4-109219.0.r300896/18752039
K 8
libflame
V 29
dir 4-288536.0.r314333/131528
K 8
libjbigi
V 28
dir 4-151920.0.r308605/27053
K 8
liblbfgs
V 31
dir 4-256810.0.r300896/18942522
K 9
libmath++
V 31
dir 2-103550.0.r300896/17927016
K 10
libmissing
V 27
dir 4-309324.0.r315494/3781
K 9
libneural
V 30
dir 4-29962.0.r300896/18206310
K 7
libocas
V 27
dir 4-283033.0.r304217/1526
K 9
liborigin
V 31
dir 4-171749.0.r300896/18545675
K 12
libqalculate
V 27
dir 4-136977.0.r305953/1092
K 9
libranlip
V 31
dir 4-253982.0.r300896/18705414
K 10
libtommath
V 29
dir 4-141328.0.r308777/370772
K 9
libtsnnls
V 31
dir 4-263280.0.r300896/18459112
K 7
linpack
V 28
dir 2-298.0.r300896/19054451
K 13
linux-relview
V 30
dir 4-68813.0.r300896/18629891
K 9
lll_spect
V 31
dir 4-249994.0.r300896/19278845
K 8
lp_solve
V 30
dir 4-85171.0.r300896/18686700
K 4
lrng
V 27
dir 4-274784.0.r315494/5362
K 3
ltl
V 31
dir 4-174849.0.r300896/18918800
K 6
ltl2ba
V 31
dir 4-274737.0.r300896/18261057
K 6
lybniz
V 31
dir 4-203550.0.r300896/19350867
K 9
matharray
V 29
dir 4-175706.0.r305832/721467
K 10
mathomatic
V 29
dir 4-133081.0.r310443/436528
K 5
matio
V 27
dir 4-250256.0.r308784/1082
K 8
matrices
V 31
dir 4-176116.0.r300896/18538509
K 6
matrix
V 30
dir 4-40614.0.r300896/18010999
K 6
maxima
V 28
dir 4-73483.0.r313363/275360
K 9
mbasecalc
V 28
dir 4-111633.0.r314654/57907
K 5
metis
V 28
dir 2-10682.0.r314960/954590
K 9
metis-edf
V 25
dir m-85421.0.r314689/721
K 6
metis4
V 30
dir p-10682.0.r300896/18276600
K 14
mingw32-libgmp
V 27
dir 4-220558.0.r312260/1277
K 6
miracl
V 28
dir 4-126683.0.r308737/51649
K 3
moo
V 31
dir 4-190340.0.r300896/18794848
K 3
mpc
V 26
dir 4-232062.0.r302138/651
K 6
mpexpr
V 30
dir 4-90359.0.r300896/18125413
K 4
mpfr
V 27
dir 4-141316.0.r314161/1171
K 6
mprime
V 30
dir 4-79865.0.r300896/18381899
K 6
msieve
V 27
dir 4-181482.0.r313321/1932
K 3
mtl
V 30
dir 4-56139.0.r300896/19017874
K 8
mtrxmath
V 28
dir 4-39458.0.r301684/591629
K 5
mumps
V 31
dir 4-164274.0.r300896/18569438
K 11
mumps-mpich
V 31
dir 4-168703.0.r300896/18181368
K 8
muparser
V 29
dir 4-156125.0.r314640/713520
K 11
naturalmath
V 30
dir 4-50943.0.r300896/18424341
K 5
nauty
V 30
dir 4-43274.0.r300896/18393722
K 5
ndiff
V 31
dir 4-101356.0.r300896/18488582
K 6
newmat
V 30
dir 4-51145.0.r300896/18561148
K 6
ngraph
V 27
dir 2-21453.0.r301960/15667
K 3
ntl
V 25
dir 2-30415.0.r312396/837
K 7
numdiff
V 31
dir 4-175879.0.r300896/18492274
K 7
nyh-hoc
V 31
dir 4-197599.0.r300896/18503933
K 16
ocaml-ocamlgraph
V 29
dir 4-110162.0.r313476/336946
K 8
ocamlgsl
V 29
dir 4-276544.0.r303029/238254
K 6
octave
V 25
dir 2-1566.0.r311306/4527
K 12
octave-forge
V 26
dir 4-108647.0.r311536/745
K 22
octave-forge-actuarial
V 31
dir 2-256728.0.r300896/17954031
K 15
octave-forge-ad
V 31
dir 4-220200.0.r300896/18928942
K 18
octave-forge-audio
V 31
dir 4-220205.0.r300896/17942588
K 17
octave-forge-base
V 31
dir 4-220196.0.r300896/18872479
K 16
octave-forge-bim
V 27
dir 4-220286.0.r306469/1204
K 20
octave-forge-bioinfo
V 31
dir 4-220217.0.r300896/18060969
K 16
octave-forge-cgi
V 27
dir 4-307605.0.r307605/3138
K 30
octave-forge-civil-engineering
V 31
dir 4-220219.0.r300896/18070779
K 27
octave-forge-communications
V 31
dir 4-220277.0.r300896/19023033
K 20
octave-forge-control
V 27
dir 4-220279.0.r312443/1225
K 27
octave-forge-data-smoothing
V 31
dir 4-220282.0.r300896/18435441
K 21
octave-forge-database
V 27
dir 4-311535.0.r314604/1077
K 22
octave-forge-dataframe
V 31
dir 2-260164.0.r300896/18930847
K 18
octave-forge-dicom
V 31
dir 4-288077.0.r300896/18508357
K 25
octave-forge-econometrics
V 27
dir 4-220228.0.r312442/1114
K 19
octave-forge-engine
V 31
dir 4-220215.0.r300896/18150290
K 15
octave-forge-es
V 29
dir 4-257152.0.r314333/132300
K 17
octave-forge-fenv
V 31
dir 4-257153.0.r300896/18127999
K 22
octave-forge-financial
V 31
dir 4-220278.0.r300896/18700716
K 17
octave-forge-fits
V 27
dir 4-268658.0.r301536/1102
K 20
octave-forge-fl-core
V 31
dir 4-268879.0.r300896/19229358
K 16
octave-forge-fpl
V 27
dir 4-220211.0.r306831/1255
K 32
octave-forge-fuzzy-logic-toolkit
V 27
dir 4-275950.0.r305212/1281
K 15
octave-forge-ga
V 31
dir 4-220281.0.r300896/19227461
K 20
octave-forge-general
V 27
dir 4-220226.0.r301976/1107
K 26
octave-forge-generate_html
V 26
dir 4-235756.0.r305807/654
K 21
octave-forge-geometry
V 27
dir 4-282489.0.r305806/1281
K 20
octave-forge-gnuplot
V 31
dir 4-257154.0.r300896/18540405
K 16
octave-forge-gsl
V 31
dir 4-220216.0.r300896/18344765
K 18
octave-forge-ident
V 31
dir 4-220227.0.r300896/18853388
K 18
octave-forge-image
V 27
dir 4-220225.0.r307196/1365
K 30
octave-forge-informationtheory
V 31
dir 4-220222.0.r300896/18653526
K 24
octave-forge-integration
V 31
dir 4-220223.0.r300896/19164214
K 15
octave-forge-io
V 27
dir 4-220224.0.r313267/1197
K 17
octave-forge-irsa
V 31
dir 4-220240.0.r300896/18517048
K 17
octave-forge-java
V 27
dir 4-299668.0.r308959/4156
K 27
octave-forge-linear-algebra
V 31
dir 4-220221.0.r300896/19102373
K 17
octave-forge-lssa
V 27
dir 4-302531.0.r302698/1068
K 20
octave-forge-mapping
V 31
dir 4-220241.0.r300896/18839457
K 22
octave-forge-mechanics
V 27
dir 4-282497.0.r303356/1107
K 26
octave-forge-miscellaneous
V 27
dir 4-220229.0.r305942/3128
K 30
octave-forge-missing-functions
V 31
dir 4-220230.0.r300896/19299861
K 16
octave-forge-msh
V 27
dir 4-220276.0.r306470/1203
K 22
octave-forge-multicore
V 31
dir 4-220231.0.r300896/19141380
K 16
octave-forge-nan
V 31
dir 4-220232.0.r300896/18156532
K 20
octave-forge-ncarray
V 27
dir 4-301262.0.r301262/3238
K 20
octave-forge-nlwing2
V 31
dir 4-220613.0.r300896/19112805
K 17
octave-forge-nnet
V 31
dir 4-220235.0.r300896/18175488
K 18
octave-forge-nurbs
V 31
dir 4-234591.0.r300896/18412837
K 16
octave-forge-ocs
V 31
dir 4-220236.0.r300896/18340306
K 20
octave-forge-oct2mat
V 31
dir 4-234592.0.r300896/19104288
K 19
octave-forge-octcdf
V 31
dir 4-220233.0.r300896/19191710
K 20
octave-forge-octclip
V 27
dir 4-275949.0.r305211/1237
K 19
octave-forge-octgpr
V 31
dir 4-220237.0.r300896/18669521
K 20
octave-forge-octproj
V 27
dir 4-257151.0.r305210/1238
K 19
octave-forge-odebvp
V 31
dir 4-220243.0.r300896/18049616
K 19
octave-forge-odepkg
V 27
dir 4-220245.0.r312791/1358
K 18
octave-forge-optim
V 27
dir 4-220256.0.r307011/1505
K 24
octave-forge-optiminterp
V 27
dir 4-220247.0.r312748/1581
K 21
octave-forge-outliers
V 31
dir 4-220246.0.r300896/18944421
K 21
octave-forge-parallel
V 31
dir 4-257155.0.r300896/19037051
K 16
octave-forge-pdb
V 31
dir 4-220248.0.r300896/18482754
K 17
octave-forge-plot
V 31
dir 4-220250.0.r300896/18742895
K 18
octave-forge-pt_br
V 31
dir 4-220251.0.r300896/18288954
K 23
octave-forge-quaternion
V 27
dir 4-240209.0.r306468/1239
K 21
octave-forge-queueing
V 27
dir 4-290509.0.r311657/1100
K 19
octave-forge-secs1d
V 31
dir 4-220252.0.r300896/18660554
K 19
octave-forge-secs2d
V 31
dir 4-220253.0.r300896/18698806
K 19
octave-forge-secs3d
V 31
dir 4-281674.0.r300896/18753922
K 19
octave-forge-signal
V 27
dir 4-220275.0.r315320/1225
K 17
octave-forge-simp
V 31
dir 4-234593.0.r300896/18786846
K 20
octave-forge-sockets
V 31
dir 4-220254.0.r300896/19106180
K 20
octave-forge-specfun
V 31
dir 4-220255.0.r300896/18719882
K 27
octave-forge-special-matrix
V 31
dir 4-220257.0.r300896/18161070
K 26
octave-forge-spline-gcvspl
V 31
dir 4-220258.0.r300896/18064799
K 20
octave-forge-splines
V 27
dir 4-220259.0.r307868/1476
K 23
octave-forge-statistics
V 27
dir 4-220260.0.r310399/1252
K 20
octave-forge-strings
V 31
dir 4-220261.0.r300896/18578156
K 19
octave-forge-struct
V 31
dir 4-220262.0.r300896/18755818
K 20
octave-forge-symband
V 31
dir 4-220263.0.r300896/18418126
K 21
octave-forge-symbolic
V 31
dir 4-220273.0.r300896/18924424
K 23
octave-forge-tcl-octave
V 31
dir 4-220272.0.r300896/17895668
K 16
octave-forge-tsa
V 31
dir 4-220274.0.r300896/18066690
K 18
octave-forge-video
V 31
dir 4-220266.0.r300896/18522977
K 20
octave-forge-xraylib
V 31
dir 4-220269.0.r300896/18496803
K 19
octave-forge-zenity
V 31
dir 4-220271.0.r300896/18189131
K 4
oleo
V 26
dir 2-211.0.r313635/713679
K 10
open-axiom
V 29
dir 4-221592.0.r313363/276073
K 8
openblas
V 27
dir 4-303185.0.r313419/1484
K 5
orpie
V 31
dir 4-115770.0.r300896/18477400
K 18
p5-AI-DecisionTree
V 30
dir 4-96718.0.r300896/19007381
K 13
p5-AI-Genetic
V 31
dir 4-156456.0.r300896/18727150
K 24
p5-AI-NeuralNet-BackProp
V 30
dir 4-36554.0.r300896/18192464
K 16
p5-AI-Perceptron
V 30
dir 4-36556.0.r300896/18526695
K 26
p5-Algorithm-Combinatorics
V 31
dir 4-147444.0.r300896/18338418
K 21
p5-Algorithm-CurveFit
V 31
dir 4-175978.0.r300896/18433512
K 19
p5-Algorithm-KMeans
V 31
dir 4-257239.0.r300896/19058164
K 20
p5-Algorithm-Munkres
V 31
dir 4-226893.0.r300896/18796729
K 15
p5-Bit-ShiftReg
V 30
dir 4-36694.0.r300896/17983981
K 13
p5-Bit-Vector
V 25
dir 4-36695.0.r313974/561
K 21
p5-Bit-Vector-Minimal
V 31
dir 4-114937.0.r300896/18214338
K 11
p5-CAD-Calc
V 31
dir 4-163026.0.r300896/19028851
K 18
p5-Chart-Math-Axis
V 30
dir 4-81251.0.r300896/18847780
K 13
p5-Data-Float
V 31
dir 4-170065.0.r300896/18180750
K 15
p5-Date-Handler
V 30
dir 4-46901.0.r300896/19087993
K 15
p5-GIS-Distance
V 31
dir 4-176189.0.r300896/18732721
K 20
p5-GIS-Distance-Fast
V 31
dir 4-249051.0.r300896/19215167
K 20
p5-GIS-Distance-Lite
V 31
dir 4-254315.0.r300896/19333037
K 22
p5-Geo-Coordinates-UTM
V 27
dir 4-220658.0.r315280/1207
K 15
p5-Geo-Distance
V 27
dir 4-113427.0.r309061/1026
K 18
p5-Geo-Distance-XS
V 31
dir 4-242265.0.r300896/18635525
K 8
p5-Graph
V 30
dir 4-48625.0.r300896/18284943
K 23
p5-Math-Algebra-Symbols
V 31
dir 4-163417.0.r300896/17912006
K 14
p5-Math-Base36
V 27
dir 4-218266.0.r303925/1859
K 14
p5-Math-Base85
V 30
dir 4-47927.0.r300896/19019722
K 16
p5-Math-BaseCalc
V 30
dir 4-61985.0.r300896/18249392
K 15
p5-Math-BaseCnv
V 31
dir 4-235243.0.r300896/19296033
K 14
p5-Math-Bezier
V 30
dir 4-36719.0.r300896/18913271
K 22
p5-Math-Bezier-Convert
V 29
dir 4-128233.0.r301684/592361
K 14
p5-Math-BigInt
V 30
dir 4-48714.0.r300896/18857097
K 23
p5-Math-BigInt-FastCalc
V 31
dir 4-265782.0.r300896/18009168
K 18
p5-Math-BigInt-GMP
V 31
dir 4-184781.0.r300896/18990219
K 19
p5-Math-BigInt-Pari
V 31
dir 4-233108.0.r300896/19044671
K 14
p5-Math-BigRat
V 29
dir 4-130283.0.r315509/756518
K 11
p5-Math-CDF
V 31
dir 4-264615.0.r300896/18887668
K 18
p5-Math-Calc-Units
V 30
dir 4-61987.0.r300896/18631771
K 14
p5-Math-Cephes
V 27
dir 4-163571.0.r311108/1061
K 21
p5-Math-Combinatorics
V 31
dir 4-136318.0.r300896/17973896
K 15
p5-Math-Complex
V 31
dir 4-205437.0.r300896/19276284
K 18
p5-Math-ConvexHull
V 31
dir 4-146218.0.r300896/18092803
K 16
p5-Math-Currency
V 30
dir 4-36721.0.r300896/18615146
K 18
p5-Math-Derivative
V 29
dir 4-122444.0.r305130/413509
K 12
p5-Math-Evol
V 31
dir 4-236599.0.r300896/18133552
K 12
p5-Math-Expr
V 30
dir 4-32903.0.r300896/18378988
K 11
p5-Math-FFT
V 30
dir 4-39660.0.r300896/19290375
K 22
p5-Math-FixedPrecision
V 30
dir 4-36723.0.r300896/18905657
K 11
p5-Math-GMP
V 25
dir 4-36724.0.r314566/941
K 12
p5-Math-GMPf
V 27
dir 4-299792.0.r314567/1433
K 12
p5-Math-GMPq
V 27
dir 4-299793.0.r314569/1433
K 12
p5-Math-GMPz
V 27
dir 4-299794.0.r314570/1084
K 11
p5-Math-GSL
V 28
dir 4-93041.0.r315509/757284
K 16
p5-Math-Geometry
V 31
dir 4-171149.0.r300896/18062871
K 23
p5-Math-Geometry-Planar
V 31
dir 4-163036.0.r300896/19050126
K 27
p5-Math-Geometry-Planar-GPC
V 31
dir 4-163030.0.r300896/18177424
K 35
p5-Math-Geometry-Planar-GPC-Polygon
V 31
dir 4-270720.0.r300896/18843991
K 30
p5-Math-Geometry-Planar-Offset
V 31
dir 4-163034.0.r300896/19166166
K 24
p5-Math-Geometry-Voronoi
V 31
dir 4-237725.0.r300896/18563050
K 16
p5-Math-Gradient
V 31
dir 4-250756.0.r300896/18663862
K 14
p5-Math-Int128
V 26
dir 4-309299.0.r309857/734
K 13
p5-Math-Int64
V 27
dir 4-287425.0.r311254/1320
K 19
p5-Math-Interpolate
V 30
dir 4-39661.0.r300896/19301775
K 33
p5-Math-Intersection-StraightLine
V 31
dir 4-156258.0.r300896/18197783
K 13
p5-Math-Logic
V 28
dir 4-32904.0.r301510/668938
K 11
p5-Math-MPC
V 29
dir 4-232087.0.r315509/757993
K 12
p5-Math-MPFR
V 29
dir 4-227941.0.r315509/758703
K 14
p5-Math-Matrix
V 31
dir 4-150667.0.r300896/17990036
K 22
p5-Math-NumberCruncher
V 31
dir 4-186674.0.r300896/18221433
K 12
p5-Math-Pari
V 30
dir 4-47654.0.r300896/19306115
K 15
p5-Math-Polygon
V 31
dir 4-225610.0.r300896/18053355
K 20
p5-Math-Polygon-Tree
V 27
dir 4-270721.0.r311274/1395
K 24
p5-Math-Polynomial-Solve
V 27
dir 4-176197.0.r311298/1100
K 16
p5-Math-Prime-XS
V 31
dir 4-282260.0.r300896/18204446
K 11
p5-Math-RPN
V 27
dir 4-255436.0.r303400/1061
K 14
p5-Math-Random
V 30
dir 4-44833.0.r300896/18729009
K 20
p5-Math-Random-ISAAC
V 31
dir 4-245337.0.r300896/19171558
K 23
p5-Math-Random-ISAAC-XS
V 27
dir 4-245340.0.r314052/1007
K 17
p5-Math-Random-MT
V 26
dir 4-44834.0.r302494/1272
K 22
p5-Math-Random-MT-Auto
V 27
dir 4-168585.0.r309563/1183
K 17
p5-Math-Random-OO
V 31
dir 4-168753.0.r300896/19345050
K 21
p5-Math-Random-Secure
V 31
dir 4-271137.0.r300896/18767371
K 17
p5-Math-RandomOrg
V 29
dir 4-163887.0.r315487/846022
K 13
p5-Math-Round
V 28
dir 4-88615.0.r313672/437752
K 17
p5-Math-Round-Var
V 31
dir 4-163006.0.r300896/18953123
K 16
p5-Math-Sequence
V 31
dir 4-162468.0.r300896/18170283
K 14
p5-Math-Series
V 31
dir 4-162470.0.r300896/18802979
K 15
p5-Math-SigFigs
V 31
dir 4-251780.0.r300896/18103057
K 22
p5-Math-SimpleVariable
V 30
dir 4-60136.0.r300896/18457251
K 14
p5-Math-Spline
V 26
dir 4-122448.0.r314064/641
K 14
p5-Math-String
V 31
dir 4-294395.0.r300896/19051998
K 16
p5-Math-Symbolic
V 31
dir 4-162398.0.r300896/19294154
K 33
p5-Math-Symbolic-Custom-CCompiler
V 31
dir 4-162405.0.r300896/18711762
K 32
p5-Math-Symbolic-Custom-Contains
V 31
dir 4-162400.0.r300896/19003367
K 40
p5-Math-Symbolic-Custom-ErrorPropagation
V 31
dir 4-162443.0.r300896/18324730
K 35
p5-Math-Symbolic-Custom-LaTeXDumper
V 31
dir 4-162451.0.r300896/19334991
K 31
p5-Math-Symbolic-Custom-Pattern
V 31
dir 4-162453.0.r300896/19096780
K 38
p5-Math-Symbolic-Custom-Simplification
V 31
dir 4-162455.0.r300896/19086088
K 38
p5-Math-Symbolic-Custom-Transformation
V 31
dir 4-162457.0.r300896/18351538
K 24
p5-Math-SymbolicX-BigNum
V 31
dir 4-162439.0.r300896/18926349
K 25
p5-Math-SymbolicX-Complex
V 31
dir 4-162441.0.r300896/18864840
K 23
p5-Math-SymbolicX-Error
V 31
dir 4-162466.0.r300896/18542324
K 24
p5-Math-SymbolicX-Inline
V 31
dir 4-162403.0.r300896/18500630
K 34
p5-Math-SymbolicX-NoSimplification
V 31
dir 4-162447.0.r300896/19286676
K 40
p5-Math-SymbolicX-ParserExtensionFactory
V 31
dir 4-162408.0.r300896/19223098
K 42
p5-Math-SymbolicX-Statistics-Distributions
V 31
dir 4-162445.0.r300896/18894586
K 19
p5-Math-TrulyRandom
V 30
dir 4-56269.0.r300896/18498707
K 13
p5-Math-Units
V 31
dir 4-163406.0.r300896/18471988
K 11
p5-Math-Vec
V 31
dir 4-141022.0.r300896/19329275
K 15
p5-Math-VecStat
V 31
dir 4-129741.0.r300896/18370189
K 18
p5-Math-VectorReal
V 31
dir 4-233830.0.r300896/18771129
K 13
p5-MatrixReal
V 27
dir 2-8783.0.r315509/759418
K 9
p5-NetCDF
V 30
dir 4-95218.0.r300896/18946965
K 17
p5-Number-Compare
V 30
dir 4-81398.0.r300896/18085702
K 18
p5-Number-Fraction
V 31
dir 4-251879.0.r300896/19314689
K 21
p5-Number-Uncertainty
V 31
dir 4-300704.0.r300896/18258998
K 19
p5-Number-WithError
V 31
dir 4-162459.0.r300896/19109099
K 25
p5-Number-WithError-LaTeX
V 31
dir 4-162464.0.r300896/19308033
K 14
p5-Parse-Range
V 27
dir 4-307768.0.r307768/2854
K 8
p5-Roman
V 30
dir 4-74709.0.r300896/18875761
K 14
p5-Set-IntSpan
V 30
dir 2-15554.0.r300896/18555958
K 19
p5-Set-IntSpan-Fast
V 31
dir 4-185253.0.r300896/19320988
K 22
p5-Set-IntSpan-Fast-XS
V 31
dir 4-216139.0.r300896/17934081
K 16
p5-Set-Partition
V 31
dir 4-164542.0.r300896/19280727
K 13
p5-Set-Window
V 30
dir 4-36754.0.r300896/18774910
K 19
p5-Statistics-Basic
V 31
dir 4-238507.0.r300896/19297915
K 21
p5-Statistics-Benford
V 31
dir 4-233155.0.r300896/19292269
K 23
p5-Statistics-ChiSquare
V 30
dir 4-36628.0.r300896/18877666
K 25
p5-Statistics-Contingency
V 30
dir 4-97202.0.r300896/19219189
K 25
p5-Statistics-Descriptive
V 26
dir 4-36744.0.r306679/1221
K 34
p5-Statistics-Descriptive-Discrete
V 31
dir 4-179882.0.r300896/18830030
K 27
p5-Statistics-Distributions
V 30
dir 4-36745.0.r300896/18667618
K 22
p5-Statistics-Forecast
V 31
dir 4-180690.0.r300896/19236915
K 23
p5-Statistics-Frequency
V 31
dir 4-251668.0.r300896/19268269
K 17
p5-Statistics-LTU
V 30
dir 4-36746.0.r300896/18851490
K 21
p5-Statistics-LineFit
V 31
dir 4-175980.0.r300896/18618900
K 18
p5-Statistics-Lite
V 31
dir 4-122902.0.r300896/17979541
K 17
p5-Statistics-OLS
V 30
dir 4-36747.0.r300896/18757707
K 15
p5-Statistics-R
V 29
dir 4-270409.0.r313562/444865
K 24
p5-Statistics-Regression
V 31
dir 4-189404.0.r300896/18559313
K 19
p5-Statistics-TTest
V 31
dir 4-205995.0.r300896/18544224
K 21
p5-Task-Math-Symbolic
V 31
dir 4-169617.0.r300896/18383799
K 16
p5-Text-AsciiTeX
V 31
dir 4-290408.0.r300896/18769242
K 9
p5-bignum
V 27
dir 4-192022.0.r304346/1378
K 4
pari
V 29
dir 2-7032.0.r300896/18695480
K 8
parmetis
V 28
dir 2-19366.0.r314960/955244
K 11
parmgridgen
V 26
dir 4-266353.0.r304277/642
K 20
pear-Math_BigInteger
V 26
dir 4-281425.0.r314372/894
K 23
pear-Math_Combinatorics
V 31
dir 4-192312.0.r300896/19062109
K 12
pecl-big_int
V 31
dir 4-135512.0.r300896/18607698
K 11
pecl-bitset
V 27
dir 4-195159.0.r306015/1198
K 10
pecl-stats
V 27
dir 4-169238.0.r311555/1342
K 5
petsc
V 27
dir 4-122097.0.r315618/3328
K 11
petsc-mpich
V 31
dir 4-123312.0.r300896/17934711
K 6
pgcalc
V 29
dir 4-131762.0.r309662/706329
K 11
php5-bcmath
V 31
dir 4-114147.0.r300896/19229989
K 8
php5-gmp
V 31
dir 8-114147.0.r300896/19245934
K 12
php52-bcmath
V 31
dir k-253097.0.r300896/19060621
K 9
php52-gmp
V 31
dir y-253100.0.r300896/18072100
K 12
php53-bcmath
V 32
dir 67-296760.0.r300896/17910098
K 9
php53-gmp
V 32
dir 6b-296760.0.r300896/18259633
K 8
physcalc
V 30
dir 4-32044.0.r300896/19122253
K 5
plman
V 28
dir 4-151700.0.r308605/28529
K 8
ploticus
V 30
dir 4-53652.0.r300896/18099346
K 14
ploticus-nox11
V 30
dir 4-90788.0.r300896/18504555
K 6
plplot
V 27
dir 2-8139.0.r314960/955980
K 8
polymake
V 29
dir 4-125398.0.r308985/525879
K 8
primegen
V 31
dir 4-231112.0.r300896/19077934
K 4
prng
V 31
dir 4-250787.0.r300896/18622263
K 12
proofgeneral
V 27
dir 4-141552.0.r315633/1755
K 4
pspp
V 28
dir 4-28424.0.r313460/419374
K 9
pure-mpfr
V 32
dir 12-289858.0.r300896/18897934
K 13
pure-rational
V 31
dir 4-283584.0.r300896/18640248
K 7
py-apgl
V 27
dir 4-263688.0.r303642/2076
K 10
py-basemap
V 31
dir 4-175627.0.r300896/19066430
K 15
py-basemap-data
V 31
dir 4-180648.0.r300896/18278039
K 12
py-bitvector
V 31
dir 4-180881.0.r300896/18600472
K 6
py-ffc
V 31
dir 4-294745.0.r300896/19327422
K 7
py-fiat
V 31
dir 4-294821.0.r300896/18465299
K 10
py-fpconst
V 30
dir 4-90550.0.r300896/18613265
K 7
py-gato
V 28
dir 4-47357.0.r313303/372895
K 7
py-gmpy
V 27
dir 4-217040.0.r310307/1070
K 10
py-gnuplot
V 30
dir 4-30139.0.r300896/18585979
K 12
py-graphtool
V 29
dir 4-274999.0.r311310/702628
K 6
py-gsl
V 30
dir 4-54726.0.r300896/18584141
K 9
py-igraph
V 31
dir 4-180374.0.r300896/18395550
K 10
py-mathdom
V 31
dir 4-215823.0.r300896/18135395
K 13
py-matplotlib
V 26
dir 4-115380.0.r314162/874
K 9
py-mpmath
V 31
dir 4-221772.0.r300896/18998549
K 10
py-munkres
V 27
dir 4-312268.0.r312892/1378
K 11
py-networkx
V 31
dir 4-214918.0.r300896/18354514
K 11
py-numarray
V 30
dir 4-62097.0.r300896/18520380
K 10
py-numeric
V 29
dir f-6349.0.r300896/17909471
K 10
py-numexpr
V 27
dir 4-257393.0.r311266/2376
K 8
py-numpy
V 29
dir 4-171823.0.r311381/709877
K 9
py-nzmath
V 27
dir 4-275009.0.r314813/1941
K 9
py-pandas
V 27
dir 4-302642.0.r310973/2230
K 10
py-plastex
V 29
dir 4-221239.0.r315487/846754
K 11
py-probstat
V 30
dir 4-67863.0.r300896/19282170
K 10
py-pybloom
V 31
dir 4-269385.0.r300896/18356352
K 7
py-pymc
V 31
dir 4-224222.0.r300896/18920644
K 8
py-roman
V 31
dir 4-284510.0.r300896/18661991
K 13
py-scientific
V 30
dir 2-20396.0.r300896/18108854
K 10
py-svgmath
V 31
dir 4-234452.0.r300896/18502495
K 9
py-symeig
V 31
dir 4-220906.0.r300896/18940379
K 8
py-sympy
V 27
dir 4-218429.0.r312151/6493
K 6
py-ufl
V 31
dir 4-294823.0.r300896/19271943
K 8
py-viper
V 31
dir 4-294824.0.r300896/19030688
K 9
qalculate
V 31
dir 4-117583.0.r300896/18703277
K 2
qd
V 31
dir 4-188439.0.r300896/18984614
K 5
qhull
V 29
dir 4-107890.0.r314960/956834
K 6
qhull5
V 28
dir m-107890.0.r301960/17181
K 8
qrupdate
V 27
dir 4-239012.0.r305177/1499
K 7
qtiplot
V 29
dir 4-135221.0.r315222/350344
K 11
qtiplot-doc
V 29
dir 4-172675.0.r311381/711250
K 8
qtoctave
V 29
dir 4-228607.0.r314960/957577
K 9
qwtplot3d
V 29
dir 4-117647.0.r309662/707098
K 13
qwtplot3d-qt4
V 31
dir e-117647.0.r300896/18892595
K 7
randlib
V 29
dir z-6153.0.r300896/18510447
K 5
rapid
V 31
dir 4-206921.0.r300896/18088627
K 12
reed-solomon
V 31
dir 4-138189.0.r300896/18342878
K 6
rkward
V 29
dir 4-160825.0.r313562/445633
K 11
rkward-kde4
V 29
dir i-160825.0.r314960/958328
K 10
rngstreams
V 31
dir 4-222881.0.r300896/17956180
K 4
rocs
V 27
dir e1-283641.0.r315579/904
K 12
ros-geometry
V 29
dir o-265095.0.r311476/543572
K 6
rpcalc
V 28
dir 4-248945.0.r314442/80437
K 3
rpy
V 28
dir 4-92667.0.r313562/447442
K 4
rpy2
V 28
dir i-92667.0.r313562/448141
K 12
ruby-algebra
V 30
dir 4-42397.0.r300896/18896480
K 10
ruby-fftw3
V 31
dir 4-112344.0.r300896/18938529
K 12
ruby-gnuplot
V 30
dir 4-37886.0.r300896/18624103
K 8
ruby-gsl
V 31
dir 4-107472.0.r300896/18450455
K 11
ruby-narray
V 30
dir 4-37878.0.r300896/18202581
K 16
ruby-narray_miss
V 27
dir 4-102312.0.r310801/1415
K 15
ruby-numru_misc
V 31
dir 4-103994.0.r300896/18333162
K 16
ruby-numru_units
V 31
dir 4-103996.0.r300896/18410950
K 4
saga
V 29
dir 4-244368.0.r310871/725075
K 4
sage
V 27
dir 4-289761.0.r314614/4162
K 2
sc
V 31
dir 4-225542.0.r300896/19074531
K 9
scalapack
V 30
dir 4-80147.0.r300896/18145125
K 6
scilab
V 26
dir 1d-6991.0.r309128/1247
K 19
scilab-toolbox-sivp
V 29
dir 4-200249.0.r301600/451481
K 18
scilab-toolbox-swt
V 29
dir 4-165598.0.r301600/452387
K 4
sdpa
V 28
dir 4-90200.0.r301684/595275
K 8
sdpa-gmp
V 29
dir 4-211030.0.r301684/595992
K 6
sdpara
V 28
dir 4-104439.0.r314442/81190
K 6
sedumi
V 31
dir 4-221262.0.r300896/18377128
K 12
simd-viterbi
V 31
dir 4-138196.0.r300896/18959419
K 6
slatec
V 29
dir 4-288144.0.r315619/238552
K 7
slgrace
V 29
dir 4-198545.0.r305298/378598
K 4
snns
V 27
dir 2-17571.0.r311585/12110
K 9
solitaire
V 30
dir 4-44401.0.r300896/18431609
K 4
spar
V 30
dir 4-43374.0.r300896/18243571
K 6
spblas
V 27
dir 4-288564.0.r315494/6585
K 11
speedcrunch
V 29
dir 4-197663.0.r314960/959098
K 7
spooles
V 26
dir 4-80138.0.r313501/1813
K 13
spooles-mpich
V 30
dir 4-80140.0.r300896/18373752
K 3
stp
V 29
dir 4-215221.0.r313635/714328
K 11
suitesparse
V 29
dir 4-167234.0.r311914/511739
K 7
superlu
V 30
dir 2-12384.0.r300896/18748137
K 10
superlu_mt
V 30
dir 4-84726.0.r300896/18974110
K 4
surf
V 30
dir 4-41833.0.r300896/18025223
K 6
tablix
V 31
dir 4-148920.0.r300896/18029190
K 5
taucs
V 30
dir 4-97207.0.r300896/18672901
K 7
testu01
V 31
dir 4-223948.0.r300896/18245412
K 6
tetgen
V 28
dir 4-153525.0.r302092/25602
K 5
timbl
V 31
dir 4-208938.0.r300896/18992051
K 12
tomsfastmath
V 29
dir 4-141334.0.r308777/371481
K 5
topaz
V 30
dir 2-22794.0.r300896/18611441
K 8
triangle
V 29
dir 6-121715.0.r314605/273568
K 5
trlan
V 31
dir 4-283045.0.r300896/18638805
K 10
truthtable
V 28
dir 4-167406.0.r308605/30037
K 5
tvmet
V 30
dir 4-63519.0.r300896/18003886
K 3
ufc
V 29
dir 4-296121.0.r314960/959928
K 7
umatrix
V 29
dir 2-6708.0.r300896/18081315
K 3
ump
V 31
dir 4-161401.0.r300896/17971993
K 5
units
V 26
dir 4-49519.0.r306382/1108
K 8
unixstat
V 28
dir 4-50517.0.r314333/133068
K 6
unuran
V 31
dir 4-222882.0.r300896/19084122
K 3
vtk
V 26
dir 2-19163.0.r314514/1064
K 8
vtk-data
V 30
dir b-96642.0.r300896/18994775
K 12
vtk-examples
V 28
dir l-96642.0.r301663/275404
K 11
vtk-headers
V 30
dir t-96642.0.r300896/19130898
K 8
vtk-java
V 27
dir z-96642.0.r308605/30650
K 10
vtk-python
V 31
dir 15-96642.0.r300896/18683748
K 7
vtk-tcl
V 31
dir 1b-96642.0.r300896/19209359
K 4
vtk5
V 29
dir 13-19163.0.r314960/960668
K 9
vtk5-data
V 28
dir 4-313143.0.r313143/14985
K 5
wcalc
V 31
dir 4-190954.0.r300896/18039795
K 6
wfmath
V 29
dir 4-128419.0.r314640/714233
K 5
wingz
V 29
dir 2-4797.0.r300896/18438299
K 6
wingz3
V 29
dir l-4797.0.r300896/19196014
K 8
wxMaxima
V 29
dir 4-139194.0.r313363/276876
K 8
x12arima
V 31
dir 4-259688.0.r300896/19005513
K 5
xblas
V 31
dir 4-288627.0.r300896/18628042
K 4
xgfe
V 28
dir 4-59887.0.r309662/707857
K 5
xgobi
V 28
dir 4-51784.0.r314605/274326
K 6
xgraph
V 28
dir 2-498.0.r300896/18647200
K 7
xlapack
V 31
dir 4-289645.0.r300896/19198447
K 6
xldlas
V 30
dir 2-10705.0.r300896/17961998
K 9
xlispstat
V 29
dir 2-2068.0.r300896/18390094
K 5
xplot
V 29
dir 2-5861.0.r300896/18279448
K 6
xppaut
V 27
dir 4-123347.0.r309496/2257
K 7
xspread
V 25
dir 2-1904.0.r307278/1279
K 5
yacas
V 26
dir 4-44287.0.r304904/3595
END
ENDREP
id: 1-162.0.r315633/37081
type: dir
pred: 1-162.0.r315619/273879
count: 7907
text: 315633 1940 35128 35128 19613791bef0d938968e3b9a66c5f1ab
cpath: /head/math
copyroot: 0 /

PLAIN
K 7
CHANGES
V 27
file 1-99373.0.r314713/4134
K 9
COPYRIGHT
V 26
file 1-146787.0.r309727/49
K 4
GIDs
V 28
file 1-168311.0.r313677/1856
K 5
KNOBS
V 31
file 1-147337.0.r300895/4669965
K 8
Keywords
V 28
dir 1-314142.0.r314142/35921
K 5
LEGAL
V 24
file 1-748.0.r315427/191
K 5
MOVED
V 26
file 1-69878.0.r315620/242
K 8
Makefile
V 21
file 1-6.0.r302115/94
K 2
Mk
V 22
dir 1-5.0.r315599/3517
K 6
README
V 29
file 1-2408.0.r300895/4775053
K 9
Templates
V 28
dir 1-2932.0.r300895/4753190
K 5
Tools
V 26
dir 3-15302.0.r315456/4270
K 4
UIDs
V 28
file 4-168311.0.r315389/2826
K 8
UPDATING
V 28
file 1-102685.0.r315589/1319
K 13
accessibility
V 28
dir 1-42583.0.r315373/235789
K 6
arabic
V 28
dir 1-38973.0.r315373/237887
K 9
archivers
V 25
dir 1-242.0.r315580/76168
K 5
astro
V 25
dir 1-301.0.r315509/65316
K 5
audio
V 25
dir 1-148.0.r315601/45168
K 10
benchmarks
V 23
dir 1-62.0.r315623/4740
K 7
biology
V 27
dir 1-9066.0.r315509/118423
K 3
cad
V 25
dir 1-276.0.r315598/66587
K 7
chinese
V 26
dir 1-3770.0.r315586/38152
K 5
comms
V 24
dir 1-76.0.r315575/12775
K 10
converters
V 27
dir 1-1561.0.r315580/135361
K 9
databases
V 25
dir 1-771.0.r315632/50620
K 9
deskutils
V 26
dir 1-2098.0.r315616/16276
K 5
devel
V 25
dir 1-73.0.r315630/238083
K 3
dns
V 25
dir 1-6145.0.r315588/8934
K 7
editors
V 23
dir 4-6.0.r315621/16605
K 9
emulators
V 25
dir 1-181.0.r315587/14204
K 7
finance
V 27
dir 1-4110.0.r315509/556378
K 6
french
V 27
dir 1-25673.0.r315586/83527
K 3
ftp
V 26
dir 1-199.0.r315509/563207
K 5
games
V 25
dir 1-104.0.r315631/59303
K 6
german
V 26
dir 1-7451.0.r315586/87230
K 8
graphics
V 25
dir 1-94.0.r315631/114193
K 6
hebrew
V 28
dir 3-31142.0.r315373/849922
K 9
hungarian
V 28
dir 1p-38973.0.r315586/89349
K 3
irc
V 25
dir 1-42.0.r315598/419130
K 8
japanese
V 26
dir 1-410.0.r315598/440889
K 4
java
V 27
dir 1-2798.0.r315487/769928
K 6
korean
V 27
dir 1-5873.0.r315373/876546
K 4
lang
V 24
dir 1-15.0.r315629/20269
K 4
mail
V 24
dir 1-57.0.r315603/41403
K 4
math
V 25
dir 1-162.0.r315633/37081
K 4
misc
V 25
dir 7-35.0.r315598/577800
K 10
multimedia
V 25
dir d-333.0.r315542/22112
K 3
net
V 24
dir 1-22.0.r315625/66401
K 6
net-im
V 29
dir 15-11144.0.r315631/124353
K 8
net-mgmt
V 28
dir r-1011.0.r315487/1056470
K 7
net-p2p
V 29
dir g-29106.0.r315487/1064234
K 4
news
V 26
dir 1-145.0.r315509/943883
K 4
palm
V 28
dir 1-6646.0.r315487/1066829
K 6
polish
V 29
dir tv-38973.0.r315586/110778
K 10
ports-mgmt
V 25
dir 1-5132.0.r315627/5232
K 10
portuguese
V 28
dir 1-17842.0.r315586/114310
K 5
print
V 25
dir 1-79.0.r315631/141295
K 7
russian
V 27
dir 1-1559.0.r315586/118388
K 7
science
V 26
dir n-5356.0.r315612/10951
K 8
security
V 25
dir 1-269.0.r315615/53642
K 6
shells
V 25
dir w-6.0.r315509/1007779
K 8
sysutils
V 26
dir b-339.0.r315580/856074
K 8
textproc
V 25
dir 1-322.0.r315628/83510
K 9
ukrainian
V 28
dir g-39704.0.r315586/120492
K 10
vietnamese
V 28
dir 1-4812.0.r315373/1317497
K 3
www
V 26
dir 1-114.0.r315611/122809
K 3
x11
V 25
dir 1-16.0.r315631/166811
K 10
x11-clocks
V 27
dir 1-931.0.r315373/1488667
K 11
x11-drivers
V 30
dir 1-157567.0.r315487/1511881
K 6
x11-fm
V 27
dir 1-691.0.r315433/1212270
K 9
x11-fonts
V 27
dir 1-543.0.r315509/1332832
K 11
x11-servers
V 27
dir 1n-710.0.r313929/299061
K 10
x11-themes
V 29
dir 1-14410.0.r315487/1537054
K 12
x11-toolkits
V 25
dir 1-120.0.r315568/18295
K 6
x11-wm
V 26
dir 1-40.0.r315580/1160503
END
ENDREP
id: 2-1.0.r315633/40624
type: dir
pred: 2-1.0.r315632/54169
count: 315368
text: 315633 37254 3357 3357 c8e38de49f96a71b272530eab5f16cb6
props: 308235 235189 45 0 7a04b33bf8e35fd5c3d111baaf403dc5
cpath: /head
copyroot: 0 /

PLAIN
K 8
branches
V 23
dir 0-1.0.r307934/26820
K 4
head
V 23
dir 2-1.0.r315633/40624
K 8
svnadmin
V 22
dir 3-1.0.r315600/1249
K 4
tags
V 22
dir 8-1.0.r313528/4565
END
ENDREP
id: 0.0.r315633/41022
type: dir
pred: 0.0.r315632/54568
count: 315633
text: 315633 40847 162 162 57121e6a058df441e51a10323c3aa20d
cpath: /
copyroot: 0 /
minfo-cnt: 2

5-141552.0.t315632-6rju modify-file true false /head/math/proofgeneral/Makefile

q-141552.0.t315632-6rju modify-file true false /head/math/proofgeneral/pkg-plist


41022 41189