diff options
Diffstat (limited to 'CVSROOT/modules')
| -rw-r--r-- | CVSROOT/modules | 35 |
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 |