Ports modules update at Tuesday 05 January 2010 at 08:12

Feature safe: yes

1 files changed, 29 insertions, 6 deletions

diff --git a/CVSROOT/modules b/CVSROOT/modules
index 5d770a8711f8..9efa2b860502 100644
--- a/CVSROOT/modules
+++ b/CVSROOT/modules
@@ -5302,16 +5302,22 @@ hppsmtools                      ports/graphics/hppsmtools
 hptools                         ports/devel/hptools
 hr-aspell                       ports/textproc/hr-aspell
 hrktorrent                      ports/net-p2p/hrktorrent
+hs-Agda                         ports/math/hs-Agda
+hs-Agda-executable              ports/math/hs-Agda-executable
 hs-HGL-ghc                      ports/graphics/hs-HGL-ghc
 hs-HTTP                         ports/www/hs-HTTP
+hs-MonadCatchIO-mtl             ports/devel/hs-MonadCatchIO-mtl
 hs-ObjectName                   ports/devel/hs-ObjectName
 hs-QuickCheck                   ports/devel/hs-QuickCheck
 hs-StateVar                     ports/devel/hs-StateVar
 hs-Stream                       ports/devel/hs-Stream
 hs-Tensor                       ports/devel/hs-Tensor
+hs-agda                         ports/math/hs-Agda
+hs-agda-executable              ports/math/hs-Agda-executable
 hs-alex                         ports/devel/hs-alex
 hs-binary-ghc                   ports/devel/hs-binary-ghc
 hs-bio                          ports/science/hs-bio
+hs-brainfuck                    ports/lang/hs-brainfuck
 hs-bytestring-csv               ports/textproc/hs-bytestring-csv
 hs-c2hs                         ports/devel/hs-c2hs
 hs-category-extras              ports/math/hs-category-extras
@@ -5320,7 +5326,9 @@ hs-cpphs                        ports/devel/hs-cpphs
 hs-digest-ghc                   ports/security/hs-digest-ghc
 hs-dlist                        ports/devel/hs-dlist
 hs-drift                        ports/devel/hs-drift
+hs-erf                          ports/math/hs-erf
 hs-frantk                       ports/x11-toolkits/hs-frantk
+hs-ghc-mtl                      ports/devel/hs-ghc-mtl
 hs-ghc-paths                    ports/devel/hs-ghc-paths
 hs-ghc-paths-docs               ports/devel/hs-ghc-paths-docs
 hs-glut-ghc                     ports/x11-toolkits/hs-glut-ghc
@@ -5336,6 +5344,7 @@ hs-hdoc                         ports/devel/hs-hdoc
 hs-hgl                          ports/graphics/hs-hgl
 hs-hgl-ghc                      ports/graphics/hs-HGL-ghc
 hs-highlighting-kate-ghc        ports/textproc/hs-highlighting-kate-ghc
+hs-hint                         ports/devel/hs-hint
 hs-hmake                        ports/devel/hs-hmake
 hs-hoogle                       ports/devel/hs-hoogle
 hs-hscolour                     ports/print/hs-hscolour
@@ -5348,24 +5357,35 @@ hs-language-c-ghc               ports/devel/hs-language-c-ghc
 hs-lazysmallcheck-ghc           ports/devel/hs-lazysmallcheck-ghc
 hs-mime                         ports/mail/hs-mime
 hs-mmap                         ports/devel/hs-mmap
+hs-monadcatchio-mtl             ports/devel/hs-MonadCatchIO-mtl
+hs-mueval                       ports/devel/hs-mueval
+hs-mwc-random                   ports/math/hs-mwc-random
 hs-objectname                   ports/devel/hs-ObjectName
 hs-oeis                         ports/www/hs-oeis
 hs-opengl-ghc                   ports/x11-toolkits/hs-opengl-ghc
 hs-pcre-light-ghc               ports/devel/hs-pcre-light-ghc
 hs-polyparse-ghc                ports/textproc/hs-polyparse-ghc
+hs-probability                  ports/math/hs-probability
 hs-quickcheck                   ports/devel/hs-QuickCheck
 hs-readline                     ports/devel/hs-readline
 hs-safe                         ports/devel/hs-safe
+hs-show                         ports/devel/hs-show
+hs-smallcheck                   ports/devel/hs-smallcheck
 hs-statevar                     ports/devel/hs-StateVar
+hs-statistics                   ports/math/hs-statistics
 hs-stream                       ports/devel/hs-Stream
 hs-stringsearch                 ports/textproc/hs-stringsearch
 hs-tagsoup                      ports/textproc/hs-tagsoup
 hs-tensor                       ports/devel/hs-Tensor
+hs-transformers                 ports/devel/hs-transformers
 hs-uniplate                     ports/devel/hs-uniplate
+hs-unlambda                     ports/lang/hs-unlambda
 hs-url                          ports/www/hs-url
 hs-utf8-string-ghc              ports/devel/hs-utf8-string-ghc
 hs-uuagc                        ports/devel/hs-uuagc
 hs-uulib                        ports/devel/hs-uulib
+hs-uvector                      ports/devel/hs-uvector
+hs-uvector-algorithms           ports/devel/hs-uvector-algorithms
 hs-x11-ghc                      ports/x11/hs-x11-ghc
 hs-x11-xft-ghc                  ports/x11/hs-x11-xft-ghc
 hs-zip-archive-ghc              ports/archivers/hs-zip-archive-ghc
@@ -8648,6 +8668,7 @@ math_atlas-devel                ports/math/atlas-devel
 math_fbm                        ports/math/fbm
 math_jags                       ports/math/jags
 math_mpc                        ports/math/mpc
+math_surf                       ports/math/surf
 math_ump                        ports/math/ump
 matharray                       ports/math/matharray
 mathml-xsd                      ports/textproc/mathml-xsd
@@ -9423,9 +9444,9 @@ mysql50-server                  ports/databases/mysql50-server
 mysql51-client                  ports/databases/mysql51-client
 mysql51-scripts                 ports/databases/mysql51-scripts
 mysql51-server                  ports/databases/mysql51-server
-mysql54-client                  ports/databases/mysql54-client
-mysql54-scripts                 ports/databases/mysql54-scripts
-mysql54-server                  ports/databases/mysql54-server
+mysql55-client                  ports/databases/mysql55-client
+mysql55-scripts                 ports/databases/mysql55-scripts
+mysql55-server                  ports/databases/mysql55-server
 mysql60-client                  ports/databases/mysql60-client
 mysql60-scripts                 ports/databases/mysql60-scripts
 mysql60-server                  ports/databases/mysql60-server
@@ -9444,6 +9465,7 @@ mysqltuner                      ports/databases/mysqltuner
 mythtv                          ports/multimedia/mythtv
 mythtv-frontend                 ports/multimedia/mythtv-frontend
 mythtv-themes                   ports/multimedia/mythtv-themes
+mythweb                         ports/www/mythweb
 mytop                           ports/databases/mytop
 mywiki                          ports/deskutils/mywiki
 mywwwatcher                     ports/databases/mywwwatcher
@@ -10145,6 +10167,7 @@ openhbci                        ports/finance/openhbci
 openjade                        ports/textproc/openjade
 openjazz                        ports/games/openjazz
 openjdk6                        ports/java/openjdk6
+openjdk7                        ports/java/openjdk7
 openjit                         ports/java/openjit
 openjpeg                        ports/graphics/openjpeg
 openjump                        ports/graphics/openjump
@@ -11141,7 +11164,7 @@ p5-DBD-mysql40                  ports/databases/p5-DBD-mysql40
 p5-DBD-mysql41                  ports/databases/p5-DBD-mysql41
 p5-DBD-mysql50                  ports/databases/p5-DBD-mysql50
 p5-DBD-mysql51                  ports/databases/p5-DBD-mysql51
-p5-DBD-mysql54                  ports/databases/p5-DBD-mysql54
+p5-DBD-mysql55                  ports/databases/p5-DBD-mysql55
 p5-DBD-mysql60                  ports/databases/p5-DBD-mysql60
 p5-DBI                          ports/databases/p5-DBI
 p5-DBI-Shell                    ports/databases/p5-DBI-Shell
@@ -14939,7 +14962,7 @@ p5-dbd-mysql40                  ports/databases/p5-DBD-mysql40
 p5-dbd-mysql41                  ports/databases/p5-DBD-mysql41
 p5-dbd-mysql50                  ports/databases/p5-DBD-mysql50
 p5-dbd-mysql51                  ports/databases/p5-DBD-mysql51
-p5-dbd-mysql54                  ports/databases/p5-DBD-mysql54
+p5-dbd-mysql55                  ports/databases/p5-DBD-mysql55
 p5-dbd-mysql60                  ports/databases/p5-DBD-mysql60
 p5-dbd-odbc                     ports/databases/p5-DBD-ODBC
 p5-dbd-oracle                   ports/databases/p5-DBD-Oracle
@@ -22502,7 +22525,6 @@ supertux                        ports/games/supertux
 supertuxkart                    ports/games/supertuxkart
 suphp                           ports/www/suphp
 surblhost                       ports/mail/surblhost
-surf                            ports/math/surf
 surfraw                         ports/www/surfraw
 susv2                           ports/misc/susv2
 susv3                           ports/misc/susv3
@@ -24120,6 +24142,7 @@ wwl                             ports/comms/wwl
 www6to4                         ports/www/www6to4
 www_flock                       ports/www/flock
 www_hydra                       ports/www/hydra
+www_surf                        ports/www/surf
 www_ump                         ports/www/ump
 wwwcount                        ports/www/wwwcount
 wwwdb                           ports/databases/WWWdb