DELTA
SVN  …ƒX€……x^eRËŽ›0]s¿Âš°j:¤YJ[‡b…GdH›®	žÄGÒN#þ}.)íTê#ßÇ9çžë±}#å4Ù ËDd1˜k‹ÃI	3žf_˜Hy»ÖsÍXÎR×:Í ¢<ÎðcÂµžZ£>xŽ6;ð’(bqæZ´m4Ö«-iöRy '£ÏÒ „ÜcqŠœØóÎé*eðsæ>1c_¾ŠE*¼n2Ä°
X»Cñ(ûKðl¾š¢YC0Ï©ç%«žøü‡‡†ažQ°ìïx¹‘‘R“’U­ÉQÊ²WH~½'Mav²ù0å1ßrrŠœ»ñØµ/ÞzÝàé‡4HÇ®u;óæÌ[ä!£‹Ô}ƒ¶,XŽtØáÆp¸|02WÑÝº±/½áC´»ýÓ`ÕÒwß¢¾l¯j²-ÚZâO£òªB'õ‘<ªj|MŠ²T}¤¨ª'¨fÞn®É~M¶F¼Ž¥êº•äA¼!(zó]nWâ¦¯v#÷F'¿Åõ¯ç,õ­:ÖÂßnƒÇiÖÛ¹I hÔ‘—Ù—Ÿ»W˜ÀÊ€Í¸èP0Ÿ¯»ÉðŽ:n«¶”äÃ¦.“6sxüÏ¦(Ë7ENDREP
DELTA
SVN  24€22TIMESTAMP = 1567051355
SHA256 (vprover-vampire-4.4_GH0.tar.gz) = 43f09743a3a505ec8d8ac6fb60420915d56c4164be3caab728d7856a4f2ace8d
SIZE (vprover-vampire-4.4_GH0.tar.gz) = 1748193
ENDREP
DELTA
SVN  ‚H‚J€‚H‚H--- Lib/Portability.hpp.orig	2018-12-01 20:14:14 UTC
+++ Lib/Portability.hpp
@@ -25,11 +25,11 @@
 // Detect compiler
 
 #ifndef __APPLE__
-# define __APPLE__ 0
+//# define __APPLE__ 0
 #endif
 
 #ifndef __CYGWIN__
-# define __CYGWIN__ 0
+//# define __CYGWIN__ 0
 #endif
 
 //////////////////////////////////////////////////////
ENDREP
DELTA
SVN  „|ƒ€„|„|x^}]OÂ0†¯í¯8JbÐ:ÆÀO\Ê‡’’€1^5c=@“Ñ.]ÕùñžƒÓoÚž÷==çyð¨fþd9\Õâ4­«{zpé¯@£Þ
ÎZÍKxžvçüO>k·Ák\œ\§3hB»Í ¢tœ¼I„0s2Q³Úò†D€ü¦9;yûBÜŽÇ=!àð0:¯÷/ƒ‘Ì£„Re¶ÎüÔÆ.É‹¹ïÿãæ­QK5gÀx…†Hœ+ªBô-âÝ¤+ÄQn•Ë?"åŠÞ•m-/¯#•E]ØP–c´V››‚Eó¼~r¼y~J	ïFIØòjµÚ•Ò‘ÃÁj…RÑ#YW•v`‘ûìwºÅqBÛ7v2¸x?éq”ÿ ‹‘[V|Úì‡Þf%xüsí@Ð|ð}ÈW	Ãƒb ˜9¤Å<H­‰1Ë@3TzËHË„`Ã(ŠàEii>²ƒ0$tÉõwÇÑÓT†ôao4íuI®`’!ûÙØ¿ÇENDREP
DELTA
SVN  ˆJ„a€ˆJˆJx^¥R]oÚ0}n~ÅUJUÒÔ$°vÝ˜˜ @?¤A% U¥±¡Ô\ˆGbG¶)«ÄßMZT{™–<Äv®Ï=÷œÃƒ^´À™H°¢´˜ÔÂêg~bµ^ÔÏÃzõ#ÜÚŽïûÛJ§Ùv~~qZÁÏ¿Õ £‡î`x{×Ÿôï{—Ý4à¬rV	8„QŒ0Åå%%¡26¸é¶:`uÄÌJX9‡'´+D	O:’<Fsš#Ø¿#ÚÿÞ@H\Wi*¬©8à°múÛº¨¦ÃžQ¡d…gY}‡ËævV¯v{Mä±7ZK«ÒÈ
%ÉÌQ¢Ž,N!¯;ƒ¸½3¥i‰Ä¸ðJM‡mp¸’Æ#}²Ur8Üö¯IÉ±û¥™Ð¥ò¾Ì”_g¦?&Æ$š5VÆ¨!QkÅcÒlG\ÀzEÇ¥\Hµ’ž7v¿™‚ÿÏl®Ýîå°3yÇjÈ¿ÿ|òÌ¢\W˜Rcn•~)ÔTO¿hWhm@¤Y‚)JKn(Yt¦òÙ5½»ˆ).r&æK]Ô“W*Í%(MŠ•»HµnJO0’®ÃngÒîuÇ&øù½ü#ON©ä¶R\§Á1Ï¡Ã.­~û¦±kÌk¨as¸ã—Ö|iMá˜^6ƒjÌryßzy žÃÚw½I»?ÚÔøÌA^fŒ«¥´žã¿õ&æÆ¢vsÙi„ö]ÿjrÛz#0Ø Þ3	n©üzß#
WßZ×CÏ]›eºÞ£Zõs	¡îüAA{ENDREP
DELTA
SVN  „8‚Q€„8„8x^}‘±ŽÜ0D{}?Àð¦¹f»|AŠØš¶ge"²¤i/öïC{—â€+E8oF?w+›Ìd+JÃFµ•Cr¤••˜ò¾MhTî$[-Í8q­IfT²¤û¼kÐr·7Ð&÷×ýàkÚòÝxJôÁß\	KDh¨Šl§”8/ÔÀZ²S“~csg¾aˆSÄÔx8•ô¯4$“ç[q†Ô‘~9½ý '¸iÏÕ½¸yW~íà@ìÉ°¸ ”Œþ¦ClE½Šåà<û]÷FBìýœ[Ú7Îe«»¹¥ÎWŽôg/Ö‘hàL²€·£{y)­wEÈQ2¼¸¯ý¶Ï^óšå}wŸÓ
M¤RÈÏn’DápÿAO¸gG«gï„SzÒÁiç)õ-%éÂív»ÒjVõz¹½´1Š­û4J¹„Y²ÐgENDREP
id: 4-510141.0.r510141/2482
type: file
count: 0
text: 510141 0 487 668 b82ee44533fa49ab28beff9a608e44da 8ffc566189a38631c6cc8c4bca02363c416576db 510140-axml/_6
props: 300914 71 103 0 bb58aa814bbdf5f7c1ab04a05656f5a5
cpath: /head/math/vampire/Makefile
copyroot: 0 /

id: 7-510141.0.r510141/2748
type: file
count: 0
text: 510141 500 195 178 c20e2b51b80ee3c9018e6704b6f66fa1 ede6727d500bb44bd99b411a0048bcbf649aa4df 510140-axml/_8
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/vampire/distinfo
copyroot: 0 /

id: a-510141.0.r510141/3017
type: file
count: 0
text: 510141 708 345 328 80972b210027537ef611dc2be22ede71 23e4e3f2d2399aaa3b79e40bceb1aa7e00a9365b 510140-axml/_c
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/vampire/files/patch-Lib_Portability.hpp
copyroot: 0 /

id: d-510141.0.r510141/3309
type: file
count: 0
text: 510141 1066 401 636 e1db12bad2436af7bec2deba3d8ab601 c5bdcdb20ac8081bedc43e3cc08b5b3e6d25ca2a 510140-axml/_e
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/vampire/files/patch-Lib_System.cpp
copyroot: 0 /

id: f-510141.0.r510141/3597
type: file
count: 0
text: 510141 1480 624 1098 861005acabfbd5776688b429ab425507 f8faa3f7e09976b2abd48b39c2cdfbc85ebd2783 510140-axml/_g
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/vampire/files/patch-Makefile
copyroot: 0 /

PLAIN
K 25
patch-Lib_Portability.hpp
V 28
file a-510141.0.r510141/3017
K 20
patch-Lib_System.cpp
V 28
file d-510141.0.r510141/3309
K 14
patch-Makefile
V 28
file f-510141.0.r510141/3597
END
ENDREP
id: 9-510141.0.r510141/4076
type: dir
count: 0
text: 510141 3880 183 0 2915651d1c777f92e843fe27c2651870
cpath: /head/math/vampire/files
copyroot: 0 /

id: h-510141.0.r510141/4227
type: file
count: 0
text: 510141 2117 352 568 3e8cd4a902062c3e819b597777a9254b 2e764beb90a128ddf1b578ef663870aface0e7a8 510140-axml/_i
props: 300936 2259 98 0 8dda59e103a981389badbb35c2ee62ce
cpath: /head/math/vampire/pkg-descr
copyroot: 0 /

PLAIN
K 8
Makefile
V 28
file 4-510141.0.r510141/2482
K 8
distinfo
V 28
file 7-510141.0.r510141/2748
K 5
files
V 27
dir 9-510141.0.r510141/4076
K 9
pkg-descr
V 28
file h-510141.0.r510141/4227
END
ENDREP
id: 2-510141.0.r510141/4700
type: dir
count: 0
text: 510141 4498 189 0 1d55b8dda6b66561bd62b8400a9ab9df
cpath: /head/math/vampire
copyroot: 0 /

PLAIN
K 4
4ti2
V 30
dir 2-486644.0.r507372/2596545
K 5
GiNaC
V 26
dir 2-39165.0.r499696/1366
K 8
Makefile
V 25
file 2-185.0.r509994/2438
K 3
PDL
V 30
dir 6-103726.0.r507372/2597191
K 1
R
V 29
dir 2-10844.0.r507372/2597921
K 13
R-cran-Amelia
V 30
dir 4-403844.0.r507372/2598571
K 11
R-cran-BsMD
V 30
dir 4-493237.0.r507372/2599232
K 11
R-cran-CVST
V 30
dir 4-449522.0.r507372/2599890
K 29
R-cran-ChangeAnomalyDetection
V 30
dir 4-317457.0.r507372/2600577
K 15
R-cran-DEoptimR
V 30
dir 4-449533.0.r507372/2601262
K 10
R-cran-DRR
V 30
dir 4-449525.0.r507372/2601926
K 15
R-cran-DoE.base
V 30
dir 4-478653.0.r507372/2602588
K 14
R-cran-Formula
V 30
dir 4-290383.0.r507372/2603253
K 11
R-cran-FrF2
V 30
dir 4-493244.0.r507372/2603916
K 11
R-cran-KFAS
V 30
dir 4-290923.0.r507372/2604570
K 17
R-cran-LearnBayes
V 30
dir 4-307669.0.r507372/2605234
K 15
R-cran-MCMCpack
V 30
dir 4-307527.0.r507372/2605907
K 11
R-cran-MSwM
V 30
dir 4-403087.0.r507372/2606573
K 14
R-cran-MatchIt
V 30
dir 4-403950.0.r507372/2607237
K 15
R-cran-Matching
V 30
dir 4-439362.0.r507372/2607901
K 19
R-cran-MatrixModels
V 30
dir 4-401711.0.r507372/2608572
K 10
R-cran-NMF
V 30
dir 4-393969.0.r507372/2609240
K 11
R-cran-RHmm
V 30
dir 4-308467.0.r507372/2609908
K 17
R-cran-RSvgDevice
V 30
dir 4-232562.0.r507372/2610579
K 20
R-cran-RcppArmadillo
V 30
dir 4-317461.0.r507372/2611252
K 16
R-cran-RcppEigen
V 30
dir 2-401684.0.r507372/2611926
K 15
R-cran-RcppRoll
V 30
dir 4-449541.0.r507372/2612597
K 12
R-cran-Rmpfr
V 30
dir 4-414259.0.r507372/2613259
K 13
R-cran-Rsolnp
V 30
dir 4-440271.0.r507372/2613920
K 14
R-cran-SQUAREM
V 30
dir 4-467036.0.r507372/2614587
K 14
R-cran-SparseM
V 30
dir 4-401712.0.r507372/2615254
K 11
R-cran-VGAM
V 30
dir 4-402348.0.r507372/2615915
K 12
R-cran-Zelig
V 30
dir 4-231151.0.r507372/2616571
K 17
R-cran-assertthat
V 30
dir 4-403846.0.r507372/2617233
K 16
R-cran-backports
V 30
dir 4-428705.0.r507372/2617898
K 16
R-cran-bdsmatrix
V 30
dir 4-290384.0.r507372/2618566
K 10
R-cran-car
V 30
dir 4-233130.0.r507372/2619234
K 14
R-cran-carData
V 30
dir 4-471357.0.r507372/2619898
K 11
R-cran-coda
V 30
dir 4-267903.0.r507372/2620566
K 15
R-cran-combinat
V 30
dir 4-446648.0.r507372/2621231
K 18
R-cran-conf.design
V 30
dir 4-463325.0.r507372/2621904
K 14
R-cran-ddalpha
V 30
dir 4-449539.0.r507372/2622571
K 13
R-cran-deldir
V 27
dir 4-281926.0.r508055/1004
K 13
R-cran-dimRed
V 30
dir 4-449528.0.r507372/2623889
K 16
R-cran-dlmodeler
V 30
dir 4-301445.0.r507372/2624554
K 12
R-cran-dplyr
V 30
dir 4-403943.0.r507372/2625219
K 11
R-cran-expm
V 30
dir 4-440318.0.r507372/2625875
K 14
R-cran-forcats
V 30
dir 4-480552.0.r507372/2626534
K 15
R-cran-forecast
V 27
dir 4-317458.0.r508060/1006
K 15
R-cran-fracdiff
V 30
dir 4-317459.0.r507372/2627869
K 14
R-cran-geepack
V 30
dir 4-403949.0.r507372/2628538
K 15
R-cran-geometry
V 30
dir 4-467026.0.r507372/2629207
K 10
R-cran-gmp
V 30
dir 4-414258.0.r507372/2629867
K 12
R-cran-gower
V 30
dir 4-449542.0.r507372/2630525
K 13
R-cran-gpclib
V 30
dir 4-231150.0.r507372/2631196
K 10
R-cran-gss
V 30
dir 4-317429.0.r507372/2631859
K 13
R-cran-gtable
V 30
dir 4-303703.0.r507372/2632518
K 12
R-cran-haven
V 30
dir 4-482867.0.r507372/2633175
K 13
R-cran-igraph
V 30
dir 5-289904.0.r507372/2633833
K 17
R-cran-influenceR
V 30
dir 4-418937.0.r507372/2634501
K 13
R-cran-inline
V 30
dir 4-253936.0.r507372/2635174
K 12
R-cran-ipred
V 30
dir 4-449515.0.r507372/2635835
K 12
R-cran-irlba
V 30
dir 4-393972.0.r507372/2636490
K 15
R-cran-labeling
V 30
dir 4-296327.0.r507372/2637156
K 11
R-cran-lava
V 26
dir 4-449513.0.r508061/994
K 15
R-cran-lazyeval
V 30
dir 4-403845.0.r507372/2638475
K 11
R-cran-lme4
V 30
dir 4-401698.0.r507372/2639132
K 12
R-cran-magic
V 30
dir 4-467025.0.r507372/2639791
K 13
R-cran-maxLik
V 30
dir 4-402738.0.r507372/2640451
K 11
R-cran-mcmc
V 30
dir 4-418525.0.r507372/2641107
K 13
R-cran-memisc
V 30
dir 4-290170.0.r507372/2641762
K 12
R-cran-minqa
V 30
dir 4-385880.0.r507372/2642429
K 16
R-cran-miscTools
V 30
dir 4-402721.0.r507372/2643096
K 14
R-cran-mitools
V 30
dir 4-500460.0.r507372/2643763
K 14
R-cran-mvtnorm
V 30
dir 4-270503.0.r507372/2644435
K 13
R-cran-nloptr
V 30
dir 4-401681.0.r507372/2645102
K 11
R-cran-nnls
V 30
dir 4-302939.0.r507372/2645769
K 14
R-cran-nortest
V 30
dir 4-422961.0.r507372/2646435
K 15
R-cran-numDeriv
V 30
dir 4-423659.0.r507372/2647099
K 14
R-cran-numbers
V 30
dir 4-478557.0.r507372/2647765
K 15
R-cran-outliers
V 30
dir 4-314659.0.r507372/2648441
K 17
R-cran-partitions
V 30
dir 4-478652.0.r507372/2649114
K 15
R-cran-pbkrtest
V 30
dir 4-401708.0.r507372/2649785
K 10
R-cran-pls
V 30
dir 4-472769.0.r507372/2650445
K 14
R-cran-polynom
V 30
dir 4-478651.0.r507372/2651100
K 14
R-cran-prodlim
V 30
dir 4-449514.0.r507372/2651765
K 12
R-cran-psych
V 30
dir 4-261267.0.r507372/2652437
K 15
R-cran-quadprog
V 30
dir 4-309473.0.r507372/2653113
K 19
R-cran-qualityTools
V 30
dir 4-440270.0.r507372/2653788
K 15
R-cran-quantreg
V 27
dir 4-401714.0.r508749/1000
K 14
R-cran-recipes
V 30
dir 4-449574.0.r507372/2655119
K 14
R-cran-rgenoud
V 30
dir 4-439361.0.r507372/2655779
K 17
R-cran-robustbase
V 30
dir 4-449536.0.r507372/2656443
K 15
R-cran-sandwich
V 30
dir 4-282214.0.r507372/2657108
K 20
R-cran-scatterplot3d
V 30
dir 4-493236.0.r507372/2657778
K 9
R-cran-sf
V 26
dir 4-444445.0.r508080/988
K 9
R-cran-sm
V 30
dir 7-230661.0.r507372/2659099
K 9
R-cran-sp
V 30
dir 4-230304.0.r507372/2659761
K 13
R-cran-spData
V 30
dir 4-466204.0.r507372/2660419
K 12
R-cran-spdep
V 30
dir 4-281929.0.r507372/2661076
K 12
R-cran-sspir
V 30
dir 4-328495.0.r507372/2661739
K 17
R-cran-stabledist
V 30
dir 4-309474.0.r507372/2662412
K 13
R-cran-survey
V 30
dir 4-411817.0.r507372/2663079
K 16
R-cran-truncnorm
V 30
dir 4-422959.0.r507372/2663744
K 12
R-cran-units
V 30
dir 4-444441.0.r507372/2664407
K 12
R-cran-uroot
V 30
dir 4-467363.0.r507372/2665063
K 10
R-cran-xts
V 30
dir 4-280789.0.r507372/2665722
K 10
R-cran-zoo
V 30
dir 4-280788.0.r507372/2666378
K 4
SCIP
V 30
dir 4-457249.0.r507372/2667075
K 6
SoPlex
V 26
dir 4-457247.0.r509261/626
K 6
aamath
V 29
dir 4-137923.0.r498476/827292
K 3
abs
V 28
dir 2-16350.0.r380306/163885
K 5
acalc
V 30
dir 4-435007.0.r507372/2668452
K 3
add
V 26
dir 2-12939.0.r472324/1073
K 5
adept
V 30
dir 4-457296.0.r507372/2669188
K 6
adol-c
V 29
dir 4-481207.0.r509290/989215
K 5
algae
V 29
dir 4-82139.0.r507372/2670673
K 6
alglib
V 27
dir 4-448448.0.r493552/1039
K 9
algotutor
V 27
dir 4-126758.0.r508125/2514
K 8
alt-ergo
V 29
dir 4-287773.0.r417685/453011
K 5
amath
V 27
dir 4-425086.0.r509722/1641
K 5
ambit
V 30
dir 4-454464.0.r507372/2671411
K 8
analitza
V 37
dir 8l-297371.0-466873.r509000/885294
K 3
ann
V 29
dir 4-253818.0.r415738/919184
K 5
antic
V 27
dir 4-466386.0.r493149/1187
K 3
apc
V 27
dir 2-6710.0.r415499/655691
K 5
apron
V 26
dir 4-487460.0.r487463/589
K 3
arb
V 26
dir 4-465949.0.r493148/945
K 6
aribas
V 26
dir 4-193965.0.r359928/663
K 9
armadillo
V 29
dir 4-314935.0.r509290/989956
K 8
arpack++
V 26
dir 4-95234.0.r508125/3244
K 9
arpack-ng
V 30
dir 4-300064.0.r507372/2674414
K 6
ascent
V 27
dir 4-490537.0.r490537/3099
K 6
aspcud
V 29
dir 4-339367.0.r509290/990656
K 9
asymptote
V 29
dir 4-140404.0.r508882/328142
K 5
atlas
V 29
dir 4-56117.0.r507372/2676615
K 8
barvinok
V 30
dir 4-486822.0.r507372/2677309
K 4
bcal
V 29
dir 4-488595.0.r498476/828685
K 7
biggles
V 29
dir 4-50529.0.r507372/2678012
K 7
bitwise
V 34
dir 4-499596.0-507055.r508660/1105
K 5
blacs
V 28
dir 4-80142.0.r508882/329275
K 4
blas
V 27
dir 2-280.0.r507372/2679344
K 7
blasfeo
V 26
dir 4-509759.0.r509891/795
K 5
blaze
V 29
dir 4-477586.0.r509290/991351
K 14
blazeiterative
V 29
dir 4-477587.0.r509290/992053
K 4
blis
V 27
dir 4-441353.0.r507472/1041
K 7
blitz++
V 25
dir 4-67732.0.r496712/615
K 12
blocksolve95
V 30
dir 4-121707.0.r507372/2681496
K 6
bonmin
V 27
dir 4-509767.0.r509767/3091
K 9
boolector
V 30
dir 4-504169.0.r507372/2682243
K 5
bsdnt
V 27
dir 4-338583.0.r465816/1105
K 10
btor2tools
V 27
dir 4-504156.0.r504156/3283
K 8
cadabra2
V 29
dir 4-418304.0.r509290/992800
K 4
calc
V 24
dir 3-162.0.r504748/1225
K 6
calcoo
V 28
dir 4-53344.0.r428152/963940
K 8
calctool
V 27
dir 2-4947.0.r412348/804209
K 6
cantor
V 37
dir ce-283641.1-466873.r509000/886790
K 6
casadi
V 26
dir 4-509770.0.r509771/851
K 3
cbc
V 30
dir 4-467464.0.r507372/2684527
K 5
cblas
V 30
dir 4-288838.0.r507372/2685178
K 6
ccmath
V 25
dir 4-40118.0.r480886/625
K 6
cddlib
V 26
dir 4-481995.0.r482113/605
K 12
ceres-solver
V 30
dir 4-424034.0.r507372/2685925
K 4
cgal
V 29
dir 4-159258.0.r509290/993542
K 3
cgl
V 30
dir 4-467460.0.r507372/2686670
K 5
chaco
V 26
dir 4-161300.0.r429880/718
K 9
chryzodus
V 29
dir 4-138937.0.r495105/536896
K 5
clasp
V 30
dir 2-327622.0.r488341/1431375
K 6
clblas
V 30
dir 2z-397198.0.r509290/994281
K 7
clblast
V 30
dir 4-442360.0.r507372/2687367
K 5
clfft
V 28
dir 39-397198.0.r479383/5765
K 3
cln
V 26
dir 4-38257.0.r499801/1811
K 5
cloog
V 29
dir 4-321979.0.r471550/473583
K 3
clp
V 30
dir 4-198778.0.r507372/2688106
K 5
clrng
V 31
dir 3n-397198.0.r507372/2688811
K 8
cminpack
V 30
dir 4-379703.0.r507372/2689551
K 5
cmlib
V 30
dir 4-386679.0.r507372/2690293
K 8
cocoalib
V 29
dir 4-496332.0.r509290/995019
K 19
coin-or-data-netlib
V 27
dir 4-487133.0.r505957/1063
K 19
coin-or-data-sample
V 27
dir e-487133.0.r487133/6780
K 23
coin-or-data-stochastic
V 27
dir o-487133.0.r487133/8289
K 6
coinmp
V 30
dir 4-278529.0.r507372/2691039
K 9
coinutils
V 30
dir 4-487116.0.r507372/2691739
K 8
combblas
V 30
dir 4-487559.0.r507372/2692485
K 8
concorde
V 27
dir 4-30153.0.r372546/39096
K 10
convertall
V 27
dir 4-117581.0.r500006/2319
K 3
coq
V 29
dir 4-119551.0.r471191/673090
K 7
couenne
V 27
dir 4-509768.0.r509768/3152
K 5
cppad
V 27
dir 4-509774.0.r509774/4280
K 6
crlibm
V 29
dir 4-288947.0.r467751/542562
K 13
cryptominisat
V 29
dir 4-385495.0.r509290/995720
K 4
curv
V 36
dir 4-501268.0-501686.r509290/996460
K 4
cvc3
V 30
dir 4-188227.0.r507372/2694711
K 4
cvc4
V 29
dir 4-472970.0.r509290/997226
K 5
dbcsr
V 30
dir 4-483620.0.r507372/2696180
K 7
deal.ii
V 29
dir 4-481145.0.r509290/997963
K 7
diehard
V 25
dir 4-62415.0.r507347/981
K 9
dieharder
V 29
dir 4-222883.0.r473116/210947
K 6
djbfft
V 27
dir 4-59197.0.r372546/44169
K 5
drgeo
V 29
dir k-72881.0.r507372/2697652
K 4
dsdp
V 30
dir 4-483369.0.r507372/2698340
K 6
dynare
V 29
dir 4-282473.0.r509290/998706
K 1
e
V 28
dir 4-120706.0.r372546/44861
K 4
ecos
V 27
dir 4-472010.0.r485253/1869
K 8
edenmath
V 29
dir 4-172517.0.r492056/776297
K 6
eigen2
V 29
dir e-206969.0.r415738/922804
K 6
eigen3
V 29
dir o-206969.0.r488363/224525
K 7
eispack
V 27
dir 2-299.0.r507372/2699771
K 4
elpa
V 30
dir 4-478422.0.r507372/2700503
K 4
emc2
V 26
dir 4-97124.0.r508279/4073
K 3
ent
V 26
dir 4-323853.0.r417786/748
K 7
entropy
V 26
dir 4-64354.0.r358240/1513
K 7
eprover
V 29
dir 4-454506.0.r483807/885366
K 3
ess
V 29
dir 4-276061.0.r508882/330021
K 9
eukleides
V 28
dir 4-60610.0.r498476/830858
K 4
eval
V 28
dir 2-10680.0.r498476/831545
K 6
exprtk
V 27
dir 4-502772.0.r507125/1055
K 6
facile
V 29
dir 4-206967.0.r505020/467805
K 4
fann
V 26
dir 4-186705.0.r453151/973
K 3
fcl
V 30
dir 4-485412.0.r507372/2701986
K 12
fflas-ffpack
V 30
dir 4-283609.0.r507372/2702693
K 4
fftw
V 29
dir 2-17276.0.r507372/2703443
K 10
fftw-float
V 27
dir 4-121298.0.r347124/2447
K 5
fftw3
V 29
dir f-17276.0.r507372/2704180
K 11
fftw3-float
V 27
dir 4-121063.0.r431709/2236
K 10
fftw3-long
V 27
dir 8-121063.0.r431709/2780
K 10
fftw3-quad
V 27
dir 4-283696.0.r347093/3338
K 5
fityk
V 29
dir 4-130578.0.r509290/999443
K 5
flann
V 29
dir 4-457634.0.r489412/479129
K 6
flint2
V 27
dir 4-465941.0.r493148/2216
K 7
flintqs
V 27
dir 4-486652.0.r486652/2151
K 4
form
V 29
dir 4-447206.0.r494744/613654
K 8
fpc-fftw
V 29
dir 4-172531.0.r509004/599712
K 7
fpc-gmp
V 29
dir 4-259369.0.r466532/698360
K 10
fpc-numlib
V 29
dir 4-226018.0.r509004/600318
K 5
fplll
V 30
dir 4-486919.0.r507372/2705614
K 6
fricas
V 34
dir 4-222842.0-473488.r492527/1978
K 6
frobby
V 28
dir 4-496268.0.r496268/16711
K 3
fxt
V 29
dir 4-50672.0.r507372/2706343
K 3
g2o
V 26
dir 4-465787.0.r507819/678
K 10
galculator
V 25
dir 4-83610.0.r429923/620
K 6
gambit
V 29
dir 4-75161.0.r507372/2707763
K 3
gap
V 25
dir 4-58970.0.r494578/693
K 8
gau2grid
V 30
dir 4-482614.0.r507372/2708458
K 8
geogebra
V 36
dir 4-143470.0-410466.r508882/330885
K 7
geogram
V 26
dir 4-487072.0.r500788/589
K 7
geonext
V 29
dir 4-128341.0.r431796/695525
K 5
gexpr
V 28
dir 4-43961.0.r415499/668511
K 4
gfan
V 29
dir 4-492416.0.r508882/331712
K 7
gfanlib
V 30
dir m-492416.0.r507372/2709939
K 5
ggobi
V 29
dir 4-249715.0.r508882/332721
K 5
gh-bc
V 27
dir 4-491519.0.r506737/1144
K 8
giacxcas
V 30
dir 2-261551.0.r507372/2711375
K 6
givaro
V 30
dir 4-283582.0.r507372/2712114
K 5
gkmap
V 29
dir 4-324367.0.r431996/856973
K 7
glgraph
V 28
dir 4-72664.0.r484640/761203
K 3
glm
V 30
dir 4-301955.0.r507372/2712850
K 4
glpk
V 26
dir 4-36057.0.r462047/1353
K 7
glucose
V 30
dir 4-460848.0.r507372/2713544
K 5
gmm++
V 27
dir 4-218131.0.r473619/1902
K 3
gmp
V 28
dir 4-43514.0.r484628/993536
K 7
gmp-ecm
V 27
dir 4-164283.0.r466286/1324
K 16
gnome-calculator
V 36
dir 4-61145.7-372768.r507372/2714327
K 5
gnubc
V 27
dir 4-249168.0.r491519/3131
K 8
gnumeric
V 28
dir 2-14193.0.r481020/450201
K 7
gnuplot
V 27
dir 2-184.0.r507372/2715105
K 12
gnuplot-lite
V 27
dir 4-456194.0.r456194/2368
K 18
gnuplot-tex-extras
V 27
dir 9-374699.0.r504587/1006
K 8
gotoblas
V 29
dir 4-184333.0.r508882/334347
K 5
grace
V 29
dir 2-17277.0.r507372/2716543
K 10
graphthing
V 29
dir 2-54530.0.r507372/2717239
K 5
gretl
V 29
dir 2-56450.0.r507372/2717981
K 3
gri
V 28
dir 4-34352.0.r498476/835131
K 6
gringo
V 30
dir 4-339359.0.r507372/2718675
K 4
grpn
V 33
dir 2-23410.0-495782.r495782/3554
K 3
gsl
V 28
dir 4-27399.0.r484628/995580
K 7
hexcalc
V 33
dir 2-539.0-341901.r406010/458654
K 6
hipmcl
V 30
dir 4-487566.0.r507372/2719370
K 8
hmat-oss
V 30
dir 4-500425.0.r507372/2720067
K 5
hpipm
V 27
dir 4-509760.0.r509760/4055
K 7
hs-Agda
V 27
dir 4-247094.0.r504134/5994
K 13
hs-semigroups
V 36
dir 7-279685.h-501122.r503292/376835
K 13
ignition-math
V 30
dir 4-485354.0.r507372/2720815
K 6
igraph
V 29
dir 4-217031.0.r473660/624524
K 12
intervaltree
V 30
dir 4-467527.0.r507372/2721479
K 5
ipopt
V 30
dir 4-366918.0.r507372/2722226
K 4
ised
V 30
dir 4-251331.0.r507372/2722920
K 5
jacal
V 28
dir 4-56207.0.r484628/997110
K 4
jags
V 29
dir 4-110135.0.r508882/335102
K 21
jakarta-commons-math3
V 29
dir 4-297407.0.r455167/857046
K 4
jama
V 28
dir 4-82179.0.r415499/674816
K 7
jeuclid
V 29
dir 4-249767.0.r425127/376413
K 10
jlatexmath
V 27
dir 4-249766.0.r509550/2379
K 12
jsmath-fonts
V 29
dir e-164162.0.r380306/164580
K 11
jtransforms
V 29
dir 4-262245.0.r453453/550518
K 3
jts
V 27
dir 4-192174.0.r506845/2016
K 8
kalgebra
V 37
dir cs-283641.2-466873.r509000/888292
K 6
kbruch
V 37
dir d2-283641.3-466873.r509000/889784
K 5
kcalc
V 35
dir 15-8441.4-466873.r509000/890914
K 3
kig
V 38
dir dh-283641.5-466873.r509290/1000248
K 9
kktdirect
V 30
dir 4-288407.0.r507372/2727587
K 6
kmplot
V 37
dir dr-283641.6-466873.r509000/893911
K 7
labplot
V 29
dir 4-150102.0.r507401/135074
K 6
lambda
V 29
dir 4-109095.0.r498476/835775
K 6
lapack
V 28
dir 2-3178.0.r507372/2729825
K 8
lapack++
V 29
dir 4-61741.0.r507372/2730567
K 8
lapack95
V 30
dir 4-117551.0.r507372/2731319
K 7
lapacke
V 29
dir 4-269254.0.r415499/676890
K 7
laspack
V 27
dir 4-140069.0.r488536/1011
K 15
latte-integrale
V 30
dir 4-486735.0.r507372/2732068
K 7
ldouble
V 26
dir 4-121047.0.r421356/709
K 4
lean
V 30
dir 4-475085.0.r507372/2732807
K 5
lemon
V 30
dir 4-487085.0.r488341/1452645
K 6
levmar
V 30
dir 4-259952.0.r507372/2733506
K 8
libRmath
V 30
dir 4-109219.0.r507372/2734210
K 6
libccd
V 30
dir 4-485411.0.r488341/1453378
K 8
libflame
V 27
dir 4-288536.0.r473932/4311
K 8
liblbfgs
V 26
dir 4-256810.0.r457252/555
K 7
libmesh
V 30
dir 4-456854.0.r509290/1001023
K 10
libmissing
V 26
dir 4-309324.0.r479776/458
K 11
libnormaliz
V 30
dir 4-496352.0.r509290/1001766
K 7
libocas
V 26
dir 4-283033.0.r472432/674
K 9
liborigin
V 30
dir 4-171749.0.r507372/2736402
K 9
libpgmath
V 26
dir 4-479158.0.r492022/543
K 7
libpoly
V 30
dir 4-475052.0.r488341/1455484
K 12
libqalculate
V 30
dir 4-136977.0.r507372/2737113
K 9
libranlip
V 29
dir 4-253982.0.r484628/997807
K 6
librsb
V 30
dir 4-388293.0.r507372/2737816
K 10
libtommath
V 26
dir 4-141328.0.r494564/804
K 9
libtsnnls
V 30
dir 4-263280.0.r507372/2738524
K 6
libxls
V 30
dir 4-432541.0.r507372/2739220
K 13
libxlsxwriter
V 27
dir 4-438935.0.r499103/1144
K 7
libxsmm
V 30
dir 4-480184.0.r507372/2739954
K 5
lidia
V 30
dir 4-486647.0.r507372/2740650
K 7
linpack
V 27
dir 2-298.0.r507372/2741386
K 3
lis
V 27
dir 4-497735.0.r502320/1054
K 9
lll_spect
V 30
dir 4-249994.0.r507372/2742085
K 8
lp_solve
V 25
dir 4-85171.0.r489839/640
K 4
lrng
V 26
dir 4-274784.0.r501568/782
K 6
lrslib
V 30
dir 4-486653.0.r509290/1002466
K 3
ltl
V 29
dir 4-174849.0.r508882/337121
K 6
ltl2ba
V 27
dir 4-274737.0.r470767/1078
K 6
lybniz
V 27
dir 4-203550.0.r508140/1837
K 13
mandelbulber2
V 28
dir 4-504920.0.r508338/69425
K 9
mate-calc
V 35
dir 4-61145.0-445014.r501269/594666
K 6
math77
V 30
dir 4-398992.0.r507372/2744983
K 6
mathgl
V 27
dir 4-464149.0.r509584/3570
K 7
mathmod
V 37
dir 4-156476.0-410155.r507372/2746476
K 10
mathomatic
V 29
dir 4-133081.0.r498476/837124
K 5
matio
V 27
dir 4-250256.0.r507711/1438
K 16
matlab-installer
V 36
dir 4-318605.0-342611.r460452/433921
K 6
maxima
V 28
dir 4-73483.0.r507859/358489
K 9
mbasecalc
V 29
dir 4-111633.0.r412348/856394
K 5
metis
V 29
dir 2-10682.0.r507372/2747942
K 9
metis-edf
V 27
dir m-85421.0.r477484/52256
K 6
metis4
V 28
dir p-10682.0.r417685/473513
K 4
mfem
V 30
dir 4-481699.0.r507372/2748631
K 14
mingw32-libgmp
V 29
dir 4-220558.0.r499897/425727
K 7
minisat
V 29
dir 2-327544.0.r483249/524158
K 6
miracl
V 30
dir 4-126683.0.r507372/2749322
K 7
mkl-dnn
V 27
dir 4-478994.0.r507695/1472
K 6
mlpack
V 30
dir 4-469220.0.r509290/1003164
K 4
moab
V 30
dir 4-484165.0.r507372/2751494
K 3
moo
V 29
dir 4-190340.0.r446741/595930
K 3
mpc
V 29
dir 4-232062.0.r484628/999542
K 6
mpexpr
V 25
dir 4-90359.0.r498938/535
K 4
mpfr
V 27
dir 4-141316.0.r493263/1533
K 4
mpir
V 30
dir 4-361925.0.r484628/1000905
K 4
mppp
V 30
dir 4-466185.0.r507372/2752184
K 6
mprime
V 33
dir 4-79865.0-437181.r502338/2560
K 8
mtrxmath
V 26
dir 4-39458.0.r432100/1720
K 11
multichoose
V 27
dir 4-467502.0.r467502/3901
K 5
mumps
V 37
dir 4-164274.0-495304.r507372/2752984
K 6
mumps4
V 34
dir 4-164274.0-495303.r509983/3550
K 8
muparser
V 30
dir 4-156125.0.r507372/2754599
K 9
nanoflann
V 30
dir 4-481201.0.r488341/1460383
K 11
naturalmath
V 27
dir 4-50943.0.r372596/32733
K 5
nauty
V 26
dir 4-43274.0.r429486/1011
K 5
ndiff
V 29
dir 4-101356.0.r448911/387618
K 6
newmat
V 25
dir 4-51145.0.r443854/598
K 4
nfft
V 29
dir 4-455493.0.r494744/614689
K 6
ngraph
V 26
dir 2-21453.0.r434962/1922
K 5
nlopt
V 30
dir 4-370660.0.r507372/2755302
K 3
ntl
V 25
dir 2-30415.0.r510016/545
K 7
numdiff
V 30
dir 4-175879.0.r484628/1001595
K 7
nyh-hoc
V 27
dir 4-197599.0.r508125/4549
K 16
ocaml-ocamlgraph
V 27
dir 4-110162.0.r445130/1024
K 12
ocaml-zarith
V 27
dir 4-356255.0.r439616/1344
K 8
ocamlgsl
V 29
dir 4-276544.0.r505020/468548
K 6
octave
V 28
dir 2-1566.0.r507372/2756781
K 12
octave-forge
V 30
dir 4-108647.0.r507372/2757388
K 22
octave-forge-actuarial
V 30
dir 2-256728.0.r507372/2758066
K 17
octave-forge-base
V 30
dir 4-220196.0.r507372/2758790
K 16
octave-forge-bim
V 30
dir 4-220286.0.r507372/2759465
K 20
octave-forge-bioinfo
V 30
dir 4-220217.0.r507372/2760145
K 18
octave-forge-bsltl
V 30
dir 4-444131.0.r507372/2760821
K 16
octave-forge-cgi
V 30
dir 4-307605.0.r507372/2761495
K 30
octave-forge-civil-engineering
V 30
dir 4-220219.0.r507372/2762185
K 20
octave-forge-control
V 30
dir 4-220279.0.r507372/2762873
K 27
octave-forge-data-smoothing
V 30
dir 4-220282.0.r507372/2763563
K 21
octave-forge-database
V 30
dir 4-311535.0.r507372/2764292
K 22
octave-forge-dataframe
V 30
dir 2-260164.0.r507372/2764974
K 18
octave-forge-dicom
V 37
dir 4-288077.0-466935.r507372/2765711
K 19
octave-forge-divand
V 30
dir 4-345001.0.r507372/2766430
K 20
octave-forge-doctest
V 30
dir 4-391607.0.r507372/2767104
K 25
octave-forge-econometrics
V 29
dir 4-220228.0.r508082/546548
K 17
octave-forge-fenv
V 30
dir 4-257153.0.r507372/2768524
K 22
octave-forge-financial
V 30
dir 4-220278.0.r507372/2769203
K 17
octave-forge-fits
V 29
dir 4-268658.0.r508082/547226
K 16
octave-forge-fpl
V 29
dir 4-220211.0.r508882/337835
K 32
octave-forge-fuzzy-logic-toolkit
V 30
dir 4-275950.0.r507372/2771341
K 15
octave-forge-ga
V 30
dir 4-220281.0.r507372/2772026
K 20
octave-forge-general
V 30
dir 4-220226.0.r507372/2772700
K 26
octave-forge-generate_html
V 30
dir 4-235756.0.r507372/2773386
K 21
octave-forge-geometry
V 30
dir 4-282489.0.r507372/2774072
K 20
octave-forge-gnuplot
V 30
dir 4-257154.0.r507372/2774758
K 16
octave-forge-gsl
V 30
dir 4-220216.0.r507372/2775434
K 18
octave-forge-ident
V 30
dir 4-220227.0.r507372/2776112
K 18
octave-forge-image
V 30
dir 4-220225.0.r507372/2776788
K 30
octave-forge-informationtheory
V 30
dir 4-220222.0.r507372/2777480
K 24
octave-forge-integration
V 30
dir 4-220223.0.r507372/2778178
K 21
octave-forge-interval
V 30
dir 4-378280.0.r507372/2778859
K 15
octave-forge-io
V 30
dir 4-220224.0.r507372/2779535
K 17
octave-forge-irsa
V 30
dir 4-220240.0.r507372/2780211
K 22
octave-forge-level-set
V 30
dir 4-379409.0.r507372/2780930
K 27
octave-forge-linear-algebra
V 29
dir 4-220221.0.r508082/547949
K 17
octave-forge-lssa
V 30
dir 4-302531.0.r507372/2782346
K 18
octave-forge-ltfat
V 30
dir 4-327510.0.r507372/2783021
K 20
octave-forge-mapping
V 30
dir 4-220241.0.r507372/2783698
K 22
octave-forge-mechanics
V 29
dir 4-282497.0.r508082/548640
K 26
octave-forge-miscellaneous
V 30
dir 4-220229.0.r507372/2785072
K 30
octave-forge-missing-functions
V 30
dir 4-220230.0.r507372/2785772
K 16
octave-forge-msh
V 30
dir 4-220276.0.r507372/2786458
K 22
octave-forge-multicore
V 30
dir 4-220231.0.r507372/2787140
K 16
octave-forge-mvn
V 30
dir 4-338355.0.r507372/2787822
K 16
octave-forge-nan
V 30
dir 4-220232.0.r507372/2788494
K 20
octave-forge-ncarray
V 30
dir 4-301262.0.r507372/2789170
K 19
octave-forge-netcdf
V 30
dir 4-324825.0.r507372/2789891
K 20
octave-forge-nlwing2
V 30
dir 4-220613.0.r507372/2790574
K 17
octave-forge-nnet
V 30
dir 4-220235.0.r507372/2791255
K 18
octave-forge-nurbs
V 30
dir 4-234591.0.r507372/2791928
K 20
octave-forge-oct2mat
V 30
dir 4-234592.0.r507372/2792608
K 20
octave-forge-octclip
V 30
dir 4-275949.0.r507372/2793331
K 20
octave-forge-octproj
V 30
dir 4-257151.0.r507372/2794015
K 19
octave-forge-odebvp
V 30
dir 4-220243.0.r507372/2794699
K 19
octave-forge-optics
V 30
dir 4-374726.0.r507372/2795374
K 18
octave-forge-optim
V 30
dir 4-220256.0.r507372/2796049
K 24
octave-forge-optiminterp
V 30
dir 4-220247.0.r507372/2796730
K 21
octave-forge-outliers
V 30
dir 4-220246.0.r507372/2797419
K 21
octave-forge-parallel
V 29
dir 4-257155.0.r508082/549321
K 17
octave-forge-plot
V 30
dir 4-220250.0.r507372/2798783
K 23
octave-forge-quaternion
V 30
dir 4-240209.0.r507372/2799463
K 21
octave-forge-queueing
V 30
dir 4-290509.0.r507372/2800146
K 19
octave-forge-secs1d
V 30
dir 4-220252.0.r507372/2800830
K 19
octave-forge-secs2d
V 30
dir 4-220253.0.r507372/2801512
K 19
octave-forge-secs3d
V 30
dir 4-281674.0.r507372/2802195
K 19
octave-forge-signal
V 30
dir 4-220275.0.r507372/2802871
K 17
octave-forge-simp
V 30
dir 4-234593.0.r507372/2803550
K 20
octave-forge-sockets
V 30
dir 4-220254.0.r507372/2804227
K 22
octave-forge-sparsersb
V 30
dir 4-406002.0.r507372/2804997
K 20
octave-forge-specfun
V 30
dir 4-220255.0.r507372/2805683
K 27
octave-forge-special-matrix
V 30
dir 4-220257.0.r507372/2806374
K 20
octave-forge-splines
V 30
dir 4-220259.0.r507372/2807061
K 23
octave-forge-statistics
V 30
dir 4-220260.0.r507372/2807742
K 16
octave-forge-stk
V 30
dir 4-370002.0.r507372/2808419
K 20
octave-forge-strings
V 29
dir 4-220261.0.r508082/549999
K 19
octave-forge-struct
V 30
dir 4-220262.0.r507372/2809772
K 20
octave-forge-symband
V 30
dir 4-220263.0.r507372/2810454
K 21
octave-forge-symbolic
V 30
dir 4-220273.0.r507372/2811133
K 23
octave-forge-tcl-octave
V 30
dir 4-220272.0.r507372/2811820
K 19
octave-forge-tisean
V 29
dir 4-406003.0.r508082/550764
K 16
octave-forge-tsa
V 30
dir 4-220274.0.r507372/2813266
K 18
octave-forge-video
V 29
dir 4-220266.0.r508216/631460
K 19
octave-forge-zenity
V 30
dir 4-220271.0.r507372/2814663
K 19
octave-forge-zeromq
V 30
dir 4-409699.0.r507372/2815336
K 7
octomap
V 30
dir 4-485413.0.r490472/1292006
K 4
ogdf
V 27
dir 2-326473.0.r463298/3164
K 4
oleo
V 27
dir 2-211.0.r484628/1003104
K 4
onnx
V 27
dir 4-509982.0.r509982/3126
K 8
openblas
V 27
dir 4-303185.0.r507634/3386
K 7
openfst
V 30
dir 4-337544.0.r507372/2816748
K 8
openlibm
V 30
dir 4-407468.0.r507372/2817493
K 8
openmesh
V 27
dir 4-482731.0.r507491/1973
K 16
opensolaris-libm
V 29
dir 4-432389.0.r483807/888929
K 9
openturns
V 30
dir 4-502762.0.r509290/1003868
K 5
optpp
V 30
dir 4-500457.0.r507372/2819675
K 5
orpie
V 27
dir 4-115770.0.r476230/2995
K 3
osi
V 27
dir 4-487136.0.r509848/1369
K 4
osqp
V 30
dir 4-485275.0.r488341/1462600
K 18
p5-AI-DecisionTree
V 25
dir 4-96718.0.r491697/642
K 13
p5-AI-Genetic
V 30
dir 4-156456.0.r470993/3048796
K 24
p5-AI-NeuralNet-BackProp
V 29
dir 4-36554.0.r449893/1933621
K 16
p5-AI-Perceptron
V 29
dir 4-36556.0.r481365/1959866
K 26
p5-Algorithm-Combinatorics
V 30
dir 4-147444.0.r470993/3050258
K 21
p5-Algorithm-CurveFit
V 30
dir 4-175978.0.r481365/1960601
K 19
p5-Algorithm-KMeans
V 30
dir 4-257239.0.r481365/1961337
K 20
p5-Algorithm-Munkres
V 26
dir 4-226893.0.r491796/638
K 15
p5-Bit-ShiftReg
V 29
dir 4-36694.0.r470993/3053249
K 13
p5-Bit-Vector
V 29
dir 4-36695.0.r481365/1962058
K 21
p5-Bit-Vector-Minimal
V 26
dir 4-114937.0.r495695/668
K 11
p5-CAD-Calc
V 30
dir 4-163026.0.r481365/1962778
K 18
p5-Chart-Math-Axis
V 29
dir 4-81251.0.r481365/1963499
K 13
p5-Data-Float
V 30
dir 4-170065.0.r470993/3056866
K 15
p5-Date-Handler
V 29
dir 4-46901.0.r470993/3057587
K 15
p5-GIS-Distance
V 27
dir 4-176189.0.r501459/1065
K 20
p5-GIS-Distance-Fast
V 27
dir 4-249051.0.r496162/1121
K 20
p5-GIS-Distance-Lite
V 30
dir 4-254315.0.r470993/3059776
K 22
p5-Geo-Coordinates-UTM
V 29
dir 4-220658.0.r479390/670719
K 15
p5-Geo-Distance
V 27
dir 4-113427.0.r495372/1078
K 18
p5-Geo-Distance-XS
V 27
dir 4-242265.0.r495126/1020
K 8
p5-Graph
V 25
dir 4-48625.0.r499055/588
K 23
p5-Math-Algebra-Symbols
V 30
dir 4-163417.0.r470993/3063408
K 14
p5-Math-Base36
V 30
dir 4-218266.0.r470993/3064145
K 14
p5-Math-Base85
V 26
dir 4-47927.0.r481720/1074
K 16
p5-Math-BaseCalc
V 29
dir 4-61985.0.r470993/3065573
K 15
p5-Math-BaseCnv
V 30
dir 4-235243.0.r470993/3066288
K 14
p5-Math-Bezier
V 29
dir 4-36719.0.r470993/3067007
K 22
p5-Math-Bezier-Convert
V 26
dir 4-128233.0.r508644/579
K 14
p5-Math-BigInt
V 26
dir 4-48714.0.r483340/1054
K 23
p5-Math-BigInt-FastCalc
V 27
dir 4-265782.0.r481933/1106
K 18
p5-Math-BigInt-GMP
V 27
dir 4-184781.0.r481934/1232
K 19
p5-Math-BigInt-Lite
V 30
dir 4-428431.0.r481365/1967829
K 19
p5-Math-BigInt-Pari
V 27
dir 4-233108.0.r481935/1141
K 14
p5-Math-BigRat
V 26
dir 4-130283.0.r501423/622
K 11
p5-Math-CDF
V 30
dir 4-264615.0.r470993/3072766
K 18
p5-Math-Calc-Units
V 29
dir 4-61987.0.r470993/3073485
K 14
p5-Math-Cephes
V 30
dir 4-163571.0.r470993/3074206
K 21
p5-Math-Combinatorics
V 30
dir 4-136318.0.r470993/3074941
K 15
p5-Math-Complex
V 30
dir 4-205437.0.r470993/3075676
K 18
p5-Math-ConvexHull
V 29
dir 4-146218.0.r479390/674274
K 16
p5-Math-Currency
V 29
dir 4-36721.0.r481365/1969275
K 18
p5-Math-Derivative
V 30
dir 4-122444.0.r470993/3077849
K 12
p5-Math-Evol
V 30
dir 4-236599.0.r470993/3078566
K 12
p5-Math-Expr
V 25
dir 4-32903.0.r471652/598
K 11
p5-Math-FFT
V 29
dir 4-39660.0.r470993/3079276
K 22
p5-Math-FixedPrecision
V 29
dir 4-36723.0.r470993/3079999
K 16
p5-Math-Fleximal
V 30
dir 4-344918.0.r470993/3080727
K 11
p5-Math-GMP
V 26
dir 4-36724.0.r477529/1332
K 12
p5-Math-GMPf
V 30
dir 4-299792.0.r470993/3082148
K 12
p5-Math-GMPq
V 30
dir 4-299793.0.r470993/3082865
K 12
p5-Math-GMPz
V 30
dir 4-299794.0.r470993/3083577
K 11
p5-Math-GSL
V 26
dir 4-93041.0.r488983/2462
K 16
p5-Math-Geometry
V 30
dir 4-171149.0.r481365/1970004
K 23
p5-Math-Geometry-Planar
V 30
dir 4-163036.0.r481365/1970741
K 27
p5-Math-Geometry-Planar-GPC
V 30
dir 4-163030.0.r470993/3086523
K 37
p5-Math-Geometry-Planar-GPC-PolygonXS
V 37
dir 4-270720.0-386320.r470993/3087370
K 30
p5-Math-Geometry-Planar-Offset
V 30
dir 4-163034.0.r481365/1971493
K 24
p5-Math-Geometry-Voronoi
V 30
dir 4-237725.0.r481365/1972244
K 16
p5-Math-Gradient
V 30
dir 4-250756.0.r470993/3089690
K 14
p5-Math-Int128
V 30
dir 4-309299.0.r507372/2821071
K 13
p5-Math-Int64
V 30
dir 4-287425.0.r470993/3091135
K 19
p5-Math-Interpolate
V 29
dir 4-39661.0.r470993/3091854
K 33
p5-Math-Intersection-StraightLine
V 30
dir 4-156258.0.r470993/3092599
K 13
p5-Math-Logic
V 29
dir 4-32904.0.r470993/3093338
K 11
p5-Math-MPC
V 30
dir 4-232087.0.r481365/1972969
K 12
p5-Math-MPFR
V 27
dir 4-227941.0.r504579/1049
K 14
p5-Math-Matrix
V 30
dir 4-150667.0.r470993/3095477
K 18
p5-Math-MatrixReal
V 35
dir 2-8783.0-334605.r470993/3096257
K 22
p5-Math-NumberCruncher
V 30
dir 4-186674.0.r470993/3097039
K 12
p5-Math-Pari
V 28
dir 4-47654.0.r499269/352791
K 15
p5-Math-Polygon
V 30
dir 4-225610.0.r470993/3098504
K 20
p5-Math-Polygon-Tree
V 30
dir 4-270721.0.r481365/1973694
K 24
p5-Math-Polynomial-Solve
V 27
dir 4-176197.0.r483870/1106
K 18
p5-Math-Prime-Util
V 27
dir 4-479452.0.r485152/1066
K 22
p5-Math-Prime-Util-GMP
V 27
dir 4-479453.0.r479453/3012
K 16
p5-Math-Prime-XS
V 30
dir 4-282260.0.r481365/1975159
K 21
p5-Math-ProvablePrime
V 27
dir 4-469626.0.r478135/1042
K 11
p5-Math-RPN
V 30
dir 4-255436.0.r470993/3102098
K 14
p5-Math-Random
V 29
dir 4-44833.0.r470993/3102804
K 20
p5-Math-Random-ISAAC
V 30
dir 4-245337.0.r481365/1975891
K 23
p5-Math-Random-ISAAC-XS
V 26
dir 4-245340.0.r480654/667
K 17
p5-Math-Random-MT
V 29
dir 4-44834.0.r470993/3104992
K 22
p5-Math-Random-MT-Auto
V 27
dir 4-168585.0.r486032/1612
K 17
p5-Math-Random-OO
V 30
dir 4-168753.0.r481365/1977365
K 21
p5-Math-Random-Secure
V 30
dir 4-271137.0.r470993/3107186
K 17
p5-Math-RandomOrg
V 30
dir 4-163887.0.r481365/1978098
K 13
p5-Math-Round
V 29
dir 4-88615.0.r470993/3108637
K 17
p5-Math-Round-Var
V 30
dir 4-163006.0.r470993/3109364
K 16
p5-Math-Sequence
V 30
dir 4-162468.0.r481365/1978830
K 14
p5-Math-Series
V 30
dir 4-162470.0.r481365/1979559
K 15
p5-Math-SigFigs
V 27
dir 4-251780.0.r499890/1061
K 22
p5-Math-SimpleVariable
V 29
dir 4-60136.0.r470993/3112274
K 14
p5-Math-Spline
V 30
dir 4-122448.0.r481365/1980286
K 14
p5-Math-String
V 26
dir 4-294395.0.r501424/631
K 16
p5-Math-Symbolic
V 30
dir 4-162398.0.r481365/1981015
K 33
p5-Math-Symbolic-Custom-CCompiler
V 30
dir 4-162405.0.r481365/1981763
K 32
p5-Math-Symbolic-Custom-Contains
V 30
dir 4-162400.0.r481365/1982526
K 40
p5-Math-Symbolic-Custom-ErrorPropagation
V 30
dir 4-162443.0.r481365/1983296
K 35
p5-Math-Symbolic-Custom-LaTeXDumper
V 30
dir 4-162451.0.r481365/1984069
K 31
p5-Math-Symbolic-Custom-Pattern
V 30
dir 4-162453.0.r481365/1984834
K 38
p5-Math-Symbolic-Custom-Simplification
V 30
dir 4-162455.0.r481365/1985602
K 38
p5-Math-Symbolic-Custom-Transformation
V 30
dir 4-162457.0.r470993/3119810
K 24
p5-Math-SymbolicX-BigNum
V 30
dir 4-162439.0.r481365/1986363
K 25
p5-Math-SymbolicX-Complex
V 30
dir 4-162441.0.r481365/1987110
K 23
p5-Math-SymbolicX-Error
V 30
dir 4-162466.0.r481365/1987856
K 24
p5-Math-SymbolicX-Inline
V 30
dir 4-162403.0.r481365/1988601
K 34
p5-Math-SymbolicX-NoSimplification
V 30
dir 4-162447.0.r481365/1989359
K 40
p5-Math-SymbolicX-ParserExtensionFactory
V 30
dir 4-162408.0.r481365/1990131
K 42
p5-Math-SymbolicX-Statistics-Distributions
V 30
dir 4-162445.0.r481365/1990913
K 19
p5-Math-TrulyRandom
V 29
dir 4-56269.0.r470993/3125870
K 13
p5-Math-Units
V 29
dir 4-163406.0.r476184/587034
K 13
p5-Math-Utils
V 26
dir 4-399363.0.r506628/555
K 11
p5-Math-Vec
V 30
dir 4-141022.0.r470993/3128036
K 15
p5-Math-VecStat
V 30
dir 4-129741.0.r449893/1973082
K 18
p5-Math-VectorReal
V 30
dir 4-233830.0.r470993/3128760
K 9
p5-NetCDF
V 28
dir 4-95218.0.r494422/127903
K 17
p5-Number-Compare
V 25
dir 4-81398.0.r504121/578
K 18
p5-Number-Fraction
V 30
dir 4-251879.0.r470993/3130208
K 14
p5-Number-Misc
V 30
dir 4-392616.0.r470993/3130928
K 21
p5-Number-Uncertainty
V 30
dir 4-300704.0.r470993/3131657
K 19
p5-Number-WithError
V 26
dir 4-162459.0.r487867/734
K 25
p5-Number-WithError-LaTeX
V 30
dir 4-162464.0.r481365/1992416
K 14
p5-Parse-Range
V 30
dir 4-307768.0.r481365/1993152
K 8
p5-Roman
V 29
dir 4-74709.0.r470993/3134531
K 14
p5-Set-IntSpan
V 25
dir 2-15554.0.r480558/655
K 19
p5-Set-IntSpan-Fast
V 30
dir 4-185253.0.r481365/1993883
K 22
p5-Set-IntSpan-Fast-XS
V 30
dir 4-216139.0.r481365/1994622
K 16
p5-Set-Partition
V 30
dir 4-164542.0.r470993/3137450
K 13
p5-Set-Window
V 28
dir 4-36754.0.r479390/676455
K 19
p5-Statistics-Basic
V 27
dir 4-238507.0.r481603/1106
K 21
p5-Statistics-Benford
V 30
dir 4-233155.0.r470993/3139641
K 28
p5-Statistics-CaseResampling
V 27
dir 4-475556.0.r475556/3011
K 23
p5-Statistics-ChiSquare
V 26
dir 4-36628.0.r481604/1116
K 25
p5-Statistics-Contingency
V 29
dir 4-97202.0.r481365/1996096
K 25
p5-Statistics-Descriptive
V 26
dir 4-36744.0.r483200/1718
K 34
p5-Statistics-Descriptive-Discrete
V 27
dir 4-179882.0.r500907/1136
K 27
p5-Statistics-Distributions
V 25
dir 4-36745.0.r479412/583
K 22
p5-Statistics-Forecast
V 30
dir 4-180690.0.r470993/3143362
K 23
p5-Statistics-Frequency
V 30
dir 4-251668.0.r470993/3144101
K 17
p5-Statistics-LTU
V 28
dir 4-36746.0.r479390/680095
K 21
p5-Statistics-LineFit
V 30
dir 4-175980.0.r470993/3144842
K 18
p5-Statistics-Lite
V 30
dir 4-122902.0.r470993/3145571
K 17
p5-Statistics-OLS
V 28
dir 4-36747.0.r479390/680813
K 15
p5-Statistics-R
V 30
dir 4-270409.0.r507372/2821791
K 24
p5-Statistics-Regression
V 26
dir 4-189404.0.r486924/676
K 19
p5-Statistics-TTest
V 30
dir 4-205995.0.r481365/1996836
K 21
p5-Task-Math-Symbolic
V 29
dir 4-169617.0.r474242/960554
K 16
p5-Text-AsciiTeX
V 30
dir 4-290408.0.r470993/3149240
K 9
p5-bignum
V 27
dir 4-192022.0.r481860/1453
K 19
pantheon-calculator
V 27
dir 4-432251.0.r509519/1683
K 4
pari
V 25
dir 2-7032.0.r501515/1028
K 8
parmetis
V 29
dir 2-19366.0.r507372/2822546
K 11
parmgridgen
V 30
dir 4-266353.0.r507372/2823306
K 4
pdal
V 30
dir 4-363814.0.r509290/1004610
K 20
pear-Math_BigInteger
V 29
dir 4-281425.0.r428494/744906
K 23
pear-Math_Combinatorics
V 27
dir 4-192312.0.r443271/1065
K 11
pecl-bitset
V 26
dir 4-195159.0.r489108/500
K 11
pecl-stats2
V 29
dir 4-423697.0.r489349/486288
K 6
petiga
V 30
dir 4-470531.0.r507372/2824743
K 12
php71-bcmath
V 37
dir 4-114147.10-432324.r475229/588673
K 9
php71-gmp
V 37
dir 8-114147.11-432324.r475229/589322
K 12
php72-bcmath
V 37
dir 4-114147.1f-454302.r475229/589971
K 9
php72-gmp
V 37
dir 8-114147.1h-454302.r475229/590621
K 12
php73-bcmath
V 37
dir 4-114147.11-481525.r481525/609070
K 9
php73-gmp
V 37
dir 8-114147.12-481525.r481525/609719
K 8
physcalc
V 26
dir 4-32044.0.r415141/3161
K 7
picosat
V 34
dir 4-365711.0-366063.r417659/1300
K 7
piranha
V 30
dir 4-468086.0.r509290/1005309
K 5
plman
V 29
dir 4-151700.0.r387082/475256
K 8
ploticus
V 28
dir 4-53652.0.r479407/717025
K 14
ploticus-nox11
V 25
dir 4-90788.0.r361015/411
K 6
plplot
V 28
dir 2-8139.0.r507372/2826177
K 10
plplot-ada
V 30
dir 4-344634.0.r464084/1389413
K 7
polylib
V 27
dir 4-486818.0.r486818/3227
K 8
primegen
V 29
dir 4-231112.0.r441979/153339
K 10
primesieve
V 30
dir 4-500995.0.r507372/2826875
K 6
primme
V 30
dir 4-481610.0.r507372/2827572
K 4
prng
V 30
dir 4-250787.0.r484628/1003744
K 12
proofgeneral
V 29
dir 4-141552.0.r508882/339145
K 4
pspp
V 28
dir 4-28424.0.r498476/839304
K 9
pure-mpfr
V 30
dir 12-289858.0.r503721/423164
K 13
pure-rational
V 29
dir 4-283584.0.r503721/423814
K 7
py-CyLP
V 30
dir 4-480530.0.r507372/2828264
K 10
py-Diofant
V 30
dir 4-465934.0.r507372/2828956
K 18
py-GridDataFormats
V 30
dir 4-469805.0.r507372/2829616
K 14
py-MutatorMath
V 27
dir 4-487615.0.r501186/3392
K 7
py-PuLP
V 30
dir 4-480111.0.r507372/2830315
K 10
py-PyMetis
V 26
dir 4-470811.0.r497974/512
K 12
py-PySCIPOpt
V 26
dir 4-467372.0.r504150/998
K 13
py-PyWavelets
V 30
dir 4-435813.0.r507372/2830971
K 8
py-Pyomo
V 26
dir 4-466033.0.r504851/981
K 9
py-algopy
V 30
dir 4-467660.0.r507372/2831633
K 11
py-altgraph
V 30
dir 4-373537.0.r468282/1020950
K 7
py-apgl
V 30
dir 4-263688.0.r507372/2832292
K 11
py-autograd
V 30
dir 4-494091.0.r507372/2832948
K 10
py-basemap
V 30
dir 4-175627.0.r507372/2833605
K 15
py-basemap-data
V 28
dir 4-180648.0.r371328/15726
K 24
py-bayesian-optimization
V 26
dir 4-490584.0.r508004/527
K 10
py-bitmath
V 30
dir 4-392067.0.r472884/1659273
K 12
py-bitvector
V 26
dir 4-180881.0.r505097/801
K 13
py-bottleneck
V 30
dir 4-335898.0.r507372/2834939
K 11
py-cdecimal
V 26
dir 4-406959.0.r407123/690
K 10
py-chaospy
V 27
dir 4-479090.0.r507696/1037
K 6
py-cma
V 26
dir 4-490585.0.r508005/508
K 12
py-colormath
V 30
dir 4-392173.0.r507372/2836893
K 16
py-cryptominisat
V 30
dir k-385495.0.r507372/2837602
K 9
py-cvxopt
V 30
dir 4-465560.0.r507372/2838261
K 8
py-cvxpy
V 30
dir 4-485288.0.r507372/2838911
K 10
py-cyipopt
V 30
dir 4-466116.0.r507372/2839564
K 7
py-deap
V 30
dir 4-486829.0.r507372/2840215
K 7
py-ecos
V 30
dir 4-485254.0.r507372/2840865
K 14
py-fastcluster
V 30
dir 4-336815.0.r507372/2841529
K 10
py-fastdtw
V 30
dir 4-480238.0.r507372/2842194
K 6
py-ffc
V 29
dir 4-294745.0.r462307/901665
K 7
py-fiat
V 30
dir 4-294821.0.r507372/2842853
K 10
py-fpconst
V 29
dir 4-90550.0.r468282/1022936
K 7
py-gato
V 28
dir 4-47357.0.r479407/717668
K 11
py-gau2grid
V 37
dir 4-481414.0-482609.r507372/2843668
K 9
py-gimmik
V 30
dir 4-480219.0.r507372/2844365
K 7
py-gmpy
V 29
dir 4-217040.0.r422140/872781
K 8
py-gmpy2
V 30
dir 4-416879.0.r468282/1023587
K 10
py-gnuplot
V 29
dir 4-30139.0.r507372/2845025
K 11
py-grandalf
V 27
dir 4-493310.0.r493310/2474
K 14
py-graphillion
V 34
dir 4-321453.0-321557.r500019/1536
K 6
py-gym
V 26
dir 4-504818.0.r508006/500
K 9
py-igakit
V 30
dir 4-470529.0.r507372/2846324
K 9
py-igraph
V 29
dir 4-180374.0.r498530/926659
K 10
py-intspan
V 26
dir 4-415293.0.r491278/984
K 8
py-keras
V 29
dir 4-417325.0.r508882/340112
K 21
py-keras-applications
V 30
dir 4-492492.0.r507372/2847683
K 22
py-keras-preprocessing
V 30
dir 4-492493.0.r507372/2848360
K 13
py-kiwisolver
V 27
dir 4-496595.0.r501131/1009
K 9
py-levmar
V 30
dir 4-466113.0.r507372/2849028
K 10
py-libpoly
V 30
dir 4-475056.0.r488341/1467653
K 10
py-luminol
V 30
dir 2-413550.0.r507372/2849687
K 10
py-mathdom
V 30
dir 4-215823.0.r472884/1665858
K 13
py-matplotlib
V 30
dir 4-115380.0.r507372/2850441
K 9
py-mpmath
V 26
dir 4-221772.0.r487582/997
K 10
py-munkres
V 27
dir 4-312268.0.r493203/1323
K 12
py-munkres10
V 33
dir 4-312268.0-493108.r493108/940
K 11
py-networkx
V 30
dir 4-214918.0.r507372/2851148
K 12
py-networkx1
V 37
dir 4-214918.0-490159.r507372/2851922
K 12
py-nevergrad
V 26
dir 4-496485.0.r508007/516
K 10
py-numeric
V 28
dir f-6349.0.r455210/2045784
K 10
py-numexpr
V 27
dir 4-257393.0.r509031/1004
K 8
py-numpy
V 30
dir 4-171823.0.r507372/2853977
K 9
py-nzmath
V 30
dir 4-275009.0.r455210/2047936
K 7
py-onnx
V 34
dir 4-508397.0-509984.r509984/1690
K 7
py-osqp
V 30
dir 4-485278.0.r507372/2854626
K 9
py-pandas
V 29
dir 4-302642.0.r508882/341080
K 20
py-pandas-datareader
V 27
dir 4-463867.0.r508411/1043
K 8
py-patsy
V 30
dir 4-333533.0.r507372/2856698
K 14
py-permutation
V 27
dir 4-472631.0.r490838/1032
K 11
py-petsc4py
V 30
dir 4-472067.0.r507372/2857358
K 10
py-piranha
V 30
dir 4-468178.0.r509290/1006056
K 10
py-plastex
V 30
dir 4-221239.0.r472884/1671412
K 9
py-primme
V 30
dir 4-481867.0.r507372/2858808
K 11
py-probstat
V 29
dir 4-67863.0.r455210/2050698
K 9
py-pyFFTW
V 30
dir 4-472668.0.r507372/2859464
K 8
py-pyasp
V 27
dir 4-459136.0.r494468/1977
K 10
py-pybloom
V 27
dir 4-269385.0.r490826/1549
K 12
py-pyclipper
V 27
dir 4-487613.0.r487613/2100
K 10
py-pycosat
V 34
dir 4-365712.1-366063.r476559/1156
K 8
py-pygsl
V 36
dir 4-54726.0-464428.r507372/2860214
K 14
py-pygslodeiv2
V 30
dir 4-480121.0.r507372/2860906
K 9
py-pyhull
V 30
dir 4-404409.0.r507372/2861567
K 10
py-pyipopt
V 30
dir 4-467576.0.r507372/2862269
K 7
py-pymc
V 30
dir 4-224222.0.r507372/2862930
K 8
py-pymc3
V 30
dir 4-465392.0.r507372/2863581
K 11
py-pyneqsys
V 30
dir 4-466118.0.r507372/2864236
K 10
py-pynleq2
V 30
dir 4-466175.0.r507372/2864939
K 11
py-pyodeint
V 30
dir 4-480148.0.r509290/1006714
K 11
py-pyodesys
V 30
dir 4-466121.0.r507372/2866252
K 11
py-pysparse
V 30
dir 4-418286.0.r507372/2866960
K 8
py-pysym
V 30
dir 4-466022.0.r507372/2867619
K 17
py-python-louvain
V 30
dir 4-483453.0.r507372/2868282
K 8
py-pyvtk
V 29
dir 4-404902.0.r462887/691702
K 11
py-quadprog
V 30
dir 4-494188.0.r507372/2868944
K 10
py-random2
V 29
dir 4-468563.0.r491837/485471
K 7
py-rapi
V 27
dir 4-478706.0.r487756/1419
K 8
py-roman
V 30
dir 4-284510.0.r468282/1028940
K 6
py-rpy
V 36
dir 4-92667.0-500749.r507372/2869683
K 7
py-rpy2
V 36
dir i-92667.0-478703.r507372/2870465
K 13
py-scientific
V 29
dir 2-20396.0.r507372/2871252
K 17
py-scikit-umfpack
V 30
dir 4-470515.0.r507372/2871919
K 6
py-scs
V 30
dir 4-485286.0.r507372/2872577
K 10
py-seaborn
V 30
dir 4-463934.0.r507372/2873228
K 12
py-secp256k1
V 26
dir 4-471077.0.r480152/613
K 10
py-simhash
V 27
dir 4-472424.0.r472424/2068
K 11
py-slepc4py
V 30
dir 4-473300.0.r507372/2873888
K 11
py-spectral
V 30
dir 4-472948.0.r507372/2874549
K 7
py-spot
V 27
dir 4-476382.0.r507997/1080
K 14
py-statsmodels
V 30
dir 4-334582.0.r507372/2875948
K 10
py-svgmath
V 28
dir 4-234452.0.r371328/34055
K 6
py-sym
V 30
dir 4-466111.0.r507372/2876605
K 9
py-symcxx
V 30
dir 4-465939.0.r507372/2877255
K 8
py-sympy
V 26
dir 4-218429.0.r499000/987
K 9
py-theano
V 29
dir 4-380579.0.r508882/342046
K 6
py-ufl
V 29
dir 4-294823.0.r462307/905553
K 16
py-uncertainties
V 27
dir 4-465073.0.r508415/1011
K 11
py-vincenty
V 27
dir 4-486341.0.r486341/2488
K 8
py-viper
V 29
dir 4-294824.0.r462307/906202
K 5
py-yt
V 29
dir 4-429583.0.r508082/552181
K 12
py-z3-solver
V 33
dir 4-475278.0-475913.r507522/781
K 9
qalculate
V 30
dir 4-117583.0.r507372/2880815
K 2
qd
V 27
dir 4-188439.0.r508923/2363
K 5
qhull
V 27
dir 4-107890.0.r494452/3412
K 6
qhull5
V 29
dir m-107890.0.r458515/123370
K 8
qposases
V 30
dir 4-487087.0.r507372/2882260
K 8
qrupdate
V 30
dir 4-239012.0.r507372/2883013
K 11
qtiplot-doc
V 30
dir 4-172675.0.r424411/1163119
K 9
qwtplot3d
V 37
dir 4-117647.0-486088.r507372/2883835
K 7
randlib
V 24
dir z-6153.0.r417787/591
K 5
rapid
V 29
dir 4-206921.0.r508882/343439
K 6
reduce
V 27
dir 4-344974.0.r500596/2253
K 10
reduce-psl
V 34
dir 4-344974.0-462743.r500596/4160
K 12
reed-solomon
V 29
dir 4-138189.0.r361099/133691
K 12
rexx-regmath
V 29
dir 2-451939.0.r506432/267012
K 10
rkward-kde
V 37
dir i-160825.0-467876.r507372/2884700
K 10
rngstreams
V 26
dir 4-222881.0.r417790/951
K 4
rocs
V 38
dir e1-283641.7-466873.r509290/1007482
K 6
rpcalc
V 27
dir 4-248945.0.r500006/3736
K 15
rubygem-algebra
V 27
dir 4-429664.0.r429664/2126
K 25
rubygem-expression_parser
V 30
dir 4-385782.0.r414136/1167365
K 13
rubygem-fftw3
V 26
dir 4-368187.0.r414170/508
K 13
rubygem-mathn
V 27
dir 4-467909.0.r467909/2312
K 12
rubygem-mtrc
V 27
dir 4-502423.0.r502423/2223
K 14
rubygem-narray
V 27
dir 4-349189.0.r474368/1067
K 19
rubygem-narray_miss
V 27
dir 4-349190.0.r459070/1039
K 18
rubygem-numru-misc
V 27
dir 4-356622.0.r459071/1033
K 19
rubygem-numru-units
V 27
dir 4-356619.0.r459073/1038
K 14
rubygem-rb-gsl
V 29
dir 4-378107.0.r473116/220883
K 5
rumur
V 27
dir 4-503339.0.r509256/1068
K 4
saga
V 29
dir 4-244368.0.r508882/345378
K 4
sage
V 29
dir 4-289761.0.r508216/632162
K 2
sc
V 26
dir 4-225542.0.r408385/616
K 5
sc-im
V 27
dir 4-432542.0.r502344/3921
K 9
scalapack
V 28
dir 4-80147.0.r508882/346800
K 6
scilab
V 27
dir 1d-6991.0.r509609/62436
K 18
scilab-toolbox-swt
V 30
dir 4-165598.0.r507372/2889914
K 3
scs
V 30
dir 4-485283.0.r507372/2890619
K 4
sdpa
V 29
dir 4-90200.0.r507372/2891261
K 9
secp256k1
V 26
dir 4-460299.0.r505289/652
K 4
sfft
V 30
dir 4-324787.0.r507372/2891961
K 4
sfst
V 29
dir 4-361056.0.r498476/840764
K 12
simd-viterbi
V 29
dir 4-138196.0.r361099/138577
K 8
singular
V 26
dir 4-474374.0.r480228/757
K 6
slatec
V 30
dir 4-288144.0.r507372/2892665
K 5
sleef
V 27
dir 4-479149.0.r509385/2038
K 5
slepc
V 30
dir 4-473299.0.r507372/2894095
K 7
slgrace
V 30
dir 4-198545.0.r507372/2894798
K 4
snns
V 28
dir 2-17571.0.r508882/347592
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.r498476/841497
K 6
spblas
V 30
dir 4-288564.0.r507372/2895502
K 7
spectra
V 27
dir 4-468076.0.r503707/1099
K 11
speedcrunch
V 30
dir 4-197663.0.r507372/2896205
K 7
spooles
V 29
dir 4-80138.0.r487272/2593200
K 13
spooles-mpich
V 25
dir 4-80140.0.r358373/410
K 4
spot
V 27
dir 4-476381.0.r507996/1071
K 3
stp
V 30
dir 4-215221.0.r509290/1008207
K 11
suitesparse
V 30
dir 4-167234.0.r507372/2898332
K 8
sundials
V 30
dir 4-457352.0.r507372/2899083
K 7
superlu
V 29
dir 2-12384.0.r507372/2899824
K 10
superlu_mt
V 25
dir 4-84726.0.r508661/836
K 10
symmetrica
V 27
dir 4-457787.0.r457787/4125
K 8
symphony
V 27
dir 4-509769.0.r509769/3441
K 6
tablix
V 29
dir 4-148920.0.r428152/967475
K 5
taucs
V 29
dir 4-97207.0.r507372/2901307
K 5
tblis
V 26
dir 4-459245.0.r494581/704
K 7
testu01
V 27
dir 4-223948.0.r508125/5966
K 6
tetgen
V 26
dir 4-153525.0.r472369/609
K 5
timbl
V 30
dir 4-208938.0.r507372/2902004
K 3
tmv
V 30
dir 4-460061.0.r507372/2902739
K 12
tomsfastmath
V 30
dir 4-141334.0.r507372/2903437
K 5
topaz
V 28
dir 2-22794.0.r498476/842229
K 6
topcom
V 26
dir 4-486728.0.r486819/543
K 8
triangle
V 26
dir 6-121715.0.r498939/547
K 5
trlan
V 30
dir 4-283045.0.r507372/2904101
K 10
truthtable
V 27
dir 4-167406.0.r380307/7140
K 3
tvm
V 27
dir 4-509994.0.r509994/3995
K 5
tvmet
V 26
dir 4-63519.0.r423497/1053
K 3
ump
V 30
dir 4-161401.0.r507372/2904840
K 5
units
V 29
dir 4-49519.0.r484628/1005923
K 6
unuran
V 30
dir 4-222882.0.r484628/1006662
K 7
vampire
V 27
dir 2-510141.0.r510141/4700
K 8
viennacl
V 30
dir 4-442495.0.r507372/2905536
K 13
visualpolylib
V 27
dir 4-486820.0.r486820/3319
K 13
vowpal_wabbit
V 30
dir 4-377088.0.r509290/1008952
K 4
vtk6
V 26
dir 4-339158.0.r508449/630
K 4
vtk8
V 37
dir 4-339158.0-474531.r507372/2907784
K 5
wcalc
V 29
dir 4-190954.0.r498476/842870
K 6
wfmath
V 30
dir 4-128419.0.r507372/2908565
K 4
why3
V 27
dir 4-356538.0.r432811/1584
K 6
wingz3
V 24
dir l-4797.0.r450324/675
K 8
wxmaxima
V 34
dir 4-139194.0-492600.r509307/2012
K 8
x12arima
V 30
dir 4-259688.0.r507372/2909269
K 5
xblas
V 29
dir 4-288627.0.r417685/486068
K 23
xfce4-calculator-plugin
V 29
dir 4-407514.0.r504557/549726
K 6
xgraph
V 24
dir 2-498.0.r507732/3439
K 7
xlapack
V 30
dir 4-289645.0.r507372/2909830
K 6
xldlas
V 28
dir 2-10705.0.r415499/737378
K 7
xlife++
V 30
dir 4-469772.0.r507372/2910572
K 5
xplot
V 25
dir 2-5861.0.r418660/1286
K 6
xppaut
V 27
dir 4-123347.0.r491932/1511
K 7
xspread
V 28
dir 2-1904.0.r412348/1008138
K 7
xtensor
V 27
dir 4-464237.0.r499962/1504
K 5
yacas
V 29
dir 4-44287.0.r507372/2911261
K 5
yices
V 27
dir 4-475051.0.r483223/1079
K 2
z3
V 30
dir 4-397543.0.r507372/2911990
K 9
zegrapher
V 30
dir 4-476278.0.r509290/1009656
K 5
zimpl
V 27
dir 4-457259.0.r484771/2463
END
ENDREP
id: 1-162.0.r510141/52057
type: dir
pred: 1-162.0.r510016/47883
count: 13631
text: 510141 4845 47199 0 87f69cd6d2ad42eda690a4fcb2e806c1
cpath: /head/math
copyroot: 0 /

PLAIN
K 10
.arcconfig
V 26
file 1-354154.0.r422906/41
K 14
.gitattributes
V 26
file 1-411777.0.r467740/54
K 11
.gitauthors
V 26
file 1-467739.0.r504753/72
K 10
.gitignore
V 26
file 1-348322.0.r458023/77
K 11
.gitmessage
V 27
file 3-457790.0.r457790/987
K 7
CHANGES
V 26
file 1-99373.0.r494236/359
K 15
CONTRIBUTING.md
V 27
file 1-348323.0.r348323/344
K 9
COPYRIGHT
V 27
file 1-146787.0.r488856/403
K 4
GIDs
V 28
file 1-168311.0.r510043/2032
K 8
Keywords
V 27
dir 1-314142.0.r509900/1268
K 5
LEGAL
V 25
file 1-748.0.r507457/2081
K 5
MOVED
V 26
file 1-69878.0.r510021/477
K 8
Makefile
V 21
file 1-6.0.r460340/56
K 2
Mk
V 22
dir 1-5.0.r510041/1800
K 6
README
V 25
file 1-2408.0.r494236/641
K 9
Templates
V 24
dir 1-2932.0.r503514/803
K 5
Tools
V 26
dir 3-15302.0.r506476/6164
K 4
UIDs
V 28
file 4-168311.0.r510043/2314
K 8
UPDATING
V 28
file 1-102685.0.r509070/3805
K 13
accessibility
V 26
dir 1-42583.0.r509355/2457
K 6
arabic
V 27
dir 1-38973.0.r509402/51420
K 9
archivers
V 25
dir 1-242.0.r509961/13262
K 5
astro
V 24
dir 1-301.0.r510100/7695
K 5
audio
V 25
dir 1-148.0.r510099/48844
K 4
base
V 26
dir 1-420954.0.r495519/960
K 10
benchmarks
V 23
dir 1-62.0.r509796/5397
K 7
biology
V 25
dir 1-9066.0.r509979/9138
K 3
cad
V 26
dir 1-276.0.r509290/167907
K 7
chinese
V 26
dir 1-3770.0.r509402/58328
K 5
comms
V 24
dir 1-76.0.r510017/11637
K 10
converters
V 27
dir 1-1561.0.r509290/200226
K 9
databases
V 25
dir 1-771.0.r510110/60578
K 9
deskutils
V 26
dir 1-2098.0.r510101/19853
K 5
devel
V 25
dir 1-73.0.r510124/347433
K 3
dns
V 26
dir 1-6145.0.r510115/13383
K 7
editors
V 23
dir 4-6.0.r509581/16894
K 9
emulators
V 24
dir 1-181.0.r509989/9823
K 7
finance
V 26
dir 1-4110.0.r509998/12668
K 6
french
V 28
dir 1-25673.0.r509402/140732
K 3
ftp
V 24
dir 1-199.0.r509421/5581
K 5
games
V 25
dir 1-104.0.r509957/65331
K 6
german
V 25
dir 1-7451.0.r509927/2460
K 8
graphics
V 24
dir 1-94.0.r510094/58685
K 6
hebrew
V 28
dir 3-31142.0.r509402/144023
K 9
hungarian
V 29
dir 1p-38973.0.r509402/145388
K 3
irc
V 23
dir 1-42.0.r510137/8220
K 8
japanese
V 25
dir 1-410.0.r510003/15528
K 4
java
V 25
dir 1-2798.0.r510070/9476
K 6
korean
V 27
dir 1-5873.0.r509402/163909
K 4
lang
V 24
dir 1-15.0.r510084/19507
K 4
mail
V 24
dir 1-57.0.r510075/43289
K 4
math
V 25
dir 1-162.0.r510141/52057
K 4
misc
V 24
dir 7-35.0.r510134/28068
K 10
multimedia
V 25
dir d-333.0.r510138/31525
K 3
net
V 24
dir 1-22.0.r510125/82579
K 6
net-im
V 28
dir 15-11144.0.r510004/53029
K 8
net-mgmt
V 26
dir r-1011.0.r509962/23164
K 7
net-p2p
V 26
dir g-29106.0.r510043/9208
K 4
news
V 26
dir 1-145.0.r508903/520626
K 4
palm
V 25
dir 1-6646.0.r509568/1184
K 6
polish
V 27
dir tv-38973.0.r509928/2051
K 10
ports-mgmt
V 25
dir 1-5132.0.r510098/5200
K 10
portuguese
V 28
dir 1-17842.0.r509402/167686
K 5
print
V 24
dir 1-79.0.r510067/15235
K 7
russian
V 27
dir 1-1559.0.r509402/170403
K 7
science
V 26
dir n-5356.0.r510127/17730
K 8
security
V 25
dir 1-269.0.r510139/72620
K 6
shells
V 22
dir w-6.0.r510096/5411
K 8
sysutils
V 25
dir b-339.0.r510140/80554
K 8
textproc
V 26
dir 1-322.0.r510130/101315
K 9
ukrainian
V 28
dir g-39704.0.r509402/171756
K 10
vietnamese
V 27
dir 1-4812.0.r509402/173458
K 3
www
V 26
dir 1-114.0.r510139/286999
K 3
x11
V 24
dir 1-16.0.r510049/27790
K 10
x11-clocks
V 24
dir 1-931.0.r509210/3532
K 11
x11-drivers
V 28
dir 1-157567.0.r509895/70564
K 6
x11-fm
V 24
dir 1-691.0.r509958/3562
K 9
x11-fonts
V 25
dir 1-543.0.r510047/13664
K 11
x11-servers
V 27
dir 1n-710.0.r508914/149584
K 10
x11-themes
V 29
dir 1-14410.0.r508988/1469020
K 12
x11-toolkits
V 26
dir 1-120.0.r510012/364225
K 6
x11-wm
V 23
dir 1-40.0.r510091/8965
END
ENDREP
id: 2-1.0.r510141/55840
type: dir
pred: 2-1.0.r510140/84341
count: 502074
text: 510141 52226 3601 0 05eb7fca66cd293fdd868c80f65354e7
props: 458023 3927 157 0 4d85142843815bcc29c89469bccb873c
cpath: /head
copyroot: 0 /

PLAIN
K 8
branches
V 24
dir 0-1.0.r510082/349629
K 4
head
V 23
dir 2-1.0.r510141/55840
K 8
projects
V 24
dir 0-377393.0.r441387/0
K 8
svnadmin
V 22
dir 3-1.0.r508363/1230
K 4
tags
V 22
dir 8-1.0.r504509/5491
END
ENDREP
id: 0.0.r510141/56278
type: dir
pred: 0.0.r510140/84780
count: 510141
text: 510141 56059 206 0 0967c8d550d5f228d936fd9d986be301
props: 341041 7130 346 0 8b695b9f61597e4917effffba3bbfaa3
cpath: /
copyroot: 0 /
minfo-cnt: 53

_2.0.t510140-axml add-dir false false /head/math/vampire

_4.0.t510140-axml add-file true true /head/math/vampire/Makefile

_7.0.t510140-axml add-file true true /head/math/vampire/distinfo

_9.0.t510140-axml add-dir false false /head/math/vampire/files

_a.0.t510140-axml add-file true true /head/math/vampire/files/patch-Lib_Portability.hpp

_d.0.t510140-axml add-file true true /head/math/vampire/files/patch-Lib_System.cpp

_f.0.t510140-axml add-file true true /head/math/vampire/files/patch-Makefile

_h.0.t510140-axml add-file true true /head/math/vampire/pkg-descr


56278 56502