[31992] trunk/dports/PortIndex

dluke at macports.org dluke at macports.org
Thu Dec 13 00:42:54 PST 2007


Revision: 31992
          http://trac.macosforge.org/projects/macports/changeset/31992
Author:   dluke at macports.org
Date:     2007-12-13 00:42:51 -0800 (Thu, 13 Dec 2007)

Log Message:
-----------

Total number of ports parsed:	4396 
Ports successfully parsed:	4396	 
Ports failed:			0

Modified Paths:
--------------
    trunk/dports/PortIndex

Modified: trunk/dports/PortIndex
===================================================================
--- trunk/dports/PortIndex	2007-12-13 07:27:55 UTC (rev 31991)
+++ trunk/dports/PortIndex	2007-12-13 08:42:51 UTC (rev 31992)
@@ -3793,7 +3793,7 @@
 gunits 569
 variants universal portdir math/gunits description {Unit conversion and calculation} homepage http://www.gnu.org/software/units/ epoch 0 platforms darwin name gunits depends_lib {port:ncurses port:readline} maintainers nomaintainer long_description {GNU units converts quantities expressed in various scales to their equivalents in other scales. Units can only handle multiplicative scale changes. For example, it cannot convert Celsius to Fahrenheit but it can convert temperature differences between those temperature scales.} version 1.86 categories math revision 0
 isabelle 714
-variants universal description {Isabelle is a popular generic theorem proving environment.} portdir math/isabelle homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 depends_lib port:polyml name isabelle long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers mww categories {math lang ml} version 2007 revision 0
+variants universal description {Isabelle is a popular generic theorem proving environment.} portdir math/isabelle homepage http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ epoch 0 depends_lib port:polyml name isabelle long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols.} maintainers mww categories {math lang ml} version 2007 revision 1
 isabelle-devel 797
 variants universal portdir math/isabelle-devel description {Isabelle is a popular generic theorem proving environment} homepage http://isabelle.in.tum.de/ epoch 0 platforms darwin name isabelle-devel depends_lib port:polyml maintainers mww long_description {Isabelle is a generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. The main application is the formalization of mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware or software and proving properties of computer languages and protocols. This version is a development snapshot of the upcoming 2007 release.} version 2007-11-19 categories {math lang ml} revision 0
 itl 720
@@ -4538,8 +4538,8 @@
 variants {universal darwin_8} portdir net/wgetpro description {advanced internet file retriever} homepage http://wgetpro.sourceforge.net/ epoch 0 platforms darwin name wgetpro depends_lib {port:gettext port:libiconv} maintainers mww long_description {WGet pro is an advanced version of wget, able to handle the mms protocoll} version 0.1.3 categories {net www} revision 0
 whatmask 928
 variants universal description {Easily convert between three common subnet mask notations} portdir net/whatmask homepage http://www.laffeycomputer.com/whatmask.html epoch 0 platforms darwin name whatmask long_description {Notations supported: Name Example --------------------------------- CIDR /24 Netmask 255.255.255.0 Wilcard Bits 0.0.0.255 The above notations are all identical. CIDR notation commonly has a / in of the number (representing the number of bits). Whatmask can accept notations with or without a slash. This notation is used more and more. A lot of popular routers and software supprt this notation. notation is pretty much the standard old-school way of doing it. It is by most systems (Un*x, Win, Mac, etc.). bits are similar to the netmask, but they are the logical not of the. This notation is used by a number of popular routers.} maintainers mich at freebsdcluster.org categories net version 1.2 revision 0
-whois 361
-variants universal portdir net/whois description {A replacement whois client} homepage http://www.linux.it/~md/software/ epoch 0 platforms darwin name whois depends_lib port:gettext maintainers nomaintainer long_description {whois is an improved whois client that follow the delegations from the Verisign whois server.} version 4.7.23 categories net revision 0
+whois 359
+variants universal portdir net/whois description {A replacement whois client} homepage http://www.linux.it/~md/software/ epoch 0 platforms darwin name whois depends_lib port:gettext maintainers ryandesign long_description {whois is an improved whois client that follow the delegations from the Verisign whois server.} version 4.7.24 categories net revision 0
 wireshark 593
 variants {universal darwin_6 darwin_7 darwin_8 darwin_9 adns gnutls libgcrypt ipv6 net_snmp pcre no_ssl no_x11} portdir net/wireshark description {Graphical network analyzer and capture tool} homepage http://wireshark.org/ epoch 0 platforms darwin name wireshark depends_lib {port:glib2 port:gtk2 port:openssl port:libpcap port:zlib} maintainers opendarwin.org at darkart.com long_description {A network analyzer that lets you capture and interactively browse Ethernet frames. Packet data can be read from a file, or live from a local network interface.} version 0.99.6 categories net revision 0
 wput 436
@@ -7596,8 +7596,8 @@
 variants universal description {determine and mark up significant differences between latex files} portdir tex/latexdiff homepage http://www.ctan.org/tex-archive/support/latexdiff/ depends_run bin:perl:perl5.8 epoch 0 name latexdiff long_description {latexdiff is a Perl script, which compares two latex files and marks up significant differences between them (i.e. a diff for latex files). Various options are available for visual markup using standard latex packages such as color.sty. Changes not directly affecting visible text, for example in formatting commands, are still marked in the latex source.} maintainers aschenke at tampabay.rr.com categories tex version 0.42 revision 0
 makejvf 340
 variants universal portdir tex/makejvf description {Japanese Virtual Font file maker.} homepage http://www.ascii.co.jp/pb/ptex/base/sources.html epoch 0 platforms darwin name makejvf depends_lib port:gettext maintainers takanori long_description {{Japanese Virtual Font file maker.}} version 1.1a categories {tex print japanese} revision 0
-pTeX 1031
-variants {no_hiragino no_otf babel euc sjis utf8 nox11 motif xaw xaw3d nextaw darwin_9} depends_build {bin:bash:bash port:nkf} variant_desc {no_hiragino {Do not embed Hiragino fonts in PDF} no_otf {Do not use otf.sty} babel {Use babel} euc {Set default character set to EUC-JP} sjis {Set default character set to Shift_JIS} utf8 {Set default character set to UTF-8} nox11 {Do not use X11} motif {Use motif} xaw {Use xaw} xaw3d {Use xaw3d} nextaw {Use nextaw}} portdir tex/pTeX description {Japanese TeX (pTeX) processing environment} homepage http://www.nn.iij4u.or.jp/~tutimura/tex/ptetex.html depends_run {port:texi2html port:texinfo} epoch 20071030 platforms darwin name pTeX depends_lib {bin:gs:ghostscript bin:perl:perl5.8 lib:libX11:XFree86 lib:libXm:openmotif port:fontconfig port:freetype port:gd2 port:jpeg port:libiconv port:libpng port:ncurses port:t1lib port:zlib} maintainers takanori long_description {{Japanese TeX (pTeX) processing environment}} categories {tex print textp
 roc japanese} version 20071030 revision 0
+pTeX 1051
+variants {no_hiragino no_otf babel euc sjis utf8 nox11 motif xaw xaw3d nextaw darwin_9} depends_build {bin:bash:bash port:nkf} variant_desc {no_hiragino {Do not embed Hiragino fonts in PDF} no_otf {Do not use otf.sty} babel {Use babel} euc {Set default character set to EUC-JP (default)} sjis {Set default character set to Shift_JIS} utf8 {Set default character set to UTF-8} nox11 {Do not use X11} motif {Use motif (default)} xaw {Use xaw} xaw3d {Use xaw3d} nextaw {Use nextaw}} portdir tex/pTeX description {Japanese TeX (pTeX) processing environment} homepage http://www.nn.iij4u.or.jp/~tutimura/tex/ptetex.html depends_run {port:texi2html port:texinfo} epoch 20071212 platforms darwin name pTeX depends_lib {bin:gs:ghostscript bin:perl:perl5.8 lib:libX11:XFree86 lib:libXm:openmotif port:fontconfig port:freetype port:gd2 port:jpeg port:libiconv port:libpng port:ncurses port:t1lib port:zlib} maintainers takanori long_description {{Japanese TeX (pTeX) processing environment}} categor
 ies {tex print textproc japanese} version 20071212 revision 0
 ptex-sfmacros 444
 variants universal depends_build {port:lha port:nkf} portdir tex/ptex-sfmacros description {Tategumi/Tateyoko/Kunten packages written by Shinsaku Fujita.} homepage http://homepage3.nifty.com/xymtex/fujitas2/texlatex/ epoch 0 platforms darwin name ptex-sfmacros depends_lib port:pTeX maintainers nomaintainer long_description {{Tategumi/Tateyoko/Kunten packages written by Shinsaku Fujita.}} version 0 categories {tex print japanese} revision 0
 rtf2latex 515

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.macosforge.org/pipermail/macports-changes/attachments/20071213/1b4ea0bc/attachment-0001.html


More information about the macports-changes mailing list