<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
"http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head><meta http-equiv="content-type" content="text/html; charset=utf-8" /><style type="text/css"><!--
#msg dl { border: 1px #006 solid; background: #369; padding: 6px; color: #fff; }
#msg dt { float: left; width: 6em; font-weight: bold; }
#msg dt:after { content:':';}
#msg dl, #msg dt, #msg ul, #msg li, #header, #footer { font-family: verdana,arial,helvetica,sans-serif; font-size: 10pt;  }
#msg dl a { font-weight: bold}
#msg dl a:link    { color:#fc3; }
#msg dl a:active  { color:#ff0; }
#msg dl a:visited { color:#cc6; }
h3 { font-family: verdana,arial,helvetica,sans-serif; font-size: 10pt; font-weight: bold; }
#msg pre { overflow: auto; background: #ffc; border: 1px #fc0 solid; padding: 6px; }
#msg ul, pre { overflow: auto; }
#header, #footer { color: #fff; background: #636; border: 1px #300 solid; padding: 6px; }
#patch { width: 100%; }
#patch h4 {font-family: verdana,arial,helvetica,sans-serif;font-size:10pt;padding:8px;background:#369;color:#fff;margin:0;}
#patch .propset h4, #patch .binary h4 {margin:0;}
#patch pre {padding:0;line-height:1.2em;margin:0;}
#patch .diff {width:100%;background:#eee;padding: 0 0 10px 0;overflow:auto;}
#patch .propset .diff, #patch .binary .diff  {padding:10px 0;}
#patch span {display:block;padding:0 10px;}
#patch .modfile, #patch .addfile, #patch .delfile, #patch .propset, #patch .binary, #patch .copfile {border:1px solid #ccc;margin:10px 0;}
#patch ins {background:#dfd;text-decoration:none;display:block;padding:0 10px;}
#patch del {background:#fdd;text-decoration:none;display:block;padding:0 10px;}
#patch .lines, .info {color:#888;background:#fff;}
--></style>
<title>[30282] trunk/dports/PortIndex</title>
</head>
<body>

<div id="msg">
<dl>
<dt>Revision</dt> <dd><a href="http://trac.macosforge.org/projects/macports/changeset/30282">30282</a></dd>
<dt>Author</dt> <dd>dluke@macports.org</dd>
<dt>Date</dt> <dd>2007-10-23 12:32:37 -0700 (Tue, 23 Oct 2007)</dd>
</dl>

<h3>Log Message</h3>
<pre>
Total number of ports parsed:        4341 
Ports successfully parsed:        4341         
Ports failed:                        0</pre>

<h3>Modified Paths</h3>
<ul>
<li><a href="#trunkdportsPortIndex">trunk/dports/PortIndex</a></li>
</ul>

</div>
<div id="patch">
<h3>Diff</h3>
<a id="trunkdportsPortIndex"></a>
<div class="modfile"><h4>Modified: trunk/dports/PortIndex (30281 => 30282)</h4>
<pre class="diff"><span>
<span class="info">--- trunk/dports/PortIndex        2007-10-23 19:16:19 UTC (rev 30281)
+++ trunk/dports/PortIndex        2007-10-23 19:32:37 UTC (rev 30282)
</span><span class="lines">@@ -1246,12 +1246,12 @@
</span><span class="cx"> variants universal description {C++ callback system (version 1.0.x)} portdir devel/libsigcxx1 homepage http://libsigc.sourceforge.net/ epoch 0 platforms darwin name libsigcxx1 long_description {libsigc++ implements a typesafe callback system for standard C++. It allows you to define signals and to connect those signals to any callback function, either global or a member function, regardless of whether it is static or virtual. This is version 1.0.x, needed for compatibility with some software.} maintainers nomaintainer categories devel version 1.0.4 revision 0
</span><span class="cx"> libsigcxx2 554
</span><span class="cx"> variants {universal darwin_8 doc} variant_desc {doc {Install extra documentation}} portdir devel/libsigcxx2 description {C++ signal callback system} homepage http://libsigc.sourceforge.net/ epoch 0 platforms darwin name libsigcxx2 maintainers nomaintainer long_description {libsigc++ implements a typesafe callback system for standard C++. It allows you to define signals and to connect those signals to any callback function, either global or a member function, regardless of whether it is static or virtual.} version 2.0.18 categories devel revision 0
</span><del>-libsigsegv 679
-variants universal description {Library for handling page faults in user mode.} portdir devel/libsigsegv homepage http://libsigsegv.sourceforge.net/ epoch 0 platforms darwin name libsigsegv long_description {libsigsegv is a library for handling page faults in user mode. A page fault occurs when a program tries to access to a region of memory that is currently not available. Catching and handling a page fault is a useful technique for implementing: pageable virtual memory, memory-mapped access to persistent databases, generational garbage collectors, stack overflow handlers, distributed shared memory, etc.} maintainers sean@rees.us categories devel version 2.4 revision 0
</del><ins>+libsigsegv 690
+variants {universal darwin_9} description {Library for handling page faults in user mode.} portdir devel/libsigsegv homepage http://libsigsegv.sourceforge.net/ epoch 0 platforms darwin name libsigsegv long_description {libsigsegv is a library for handling page faults in user mode. A page fault occurs when a program tries to access to a region of memory that is currently not available. Catching and handling a page fault is a useful technique for implementing: pageable virtual memory, memory-mapped access to persistent databases, generational garbage collectors, stack overflow handlers, distributed shared memory, etc.} maintainers sean@rees.us categories devel version 2.4 revision 0
</ins><span class="cx"> libsl 315
</span><span class="cx"> variants {universal darwin_8} description {yet another generic linked list C-library} portdir devel/libsl homepage http://brautaset.org/software/sl/ epoch 0 platforms darwin name libsl long_description {{yet another generic linked list C-library}} maintainers nomaintainer categories devel version 0.3.3 revision 0
</span><del>-libsockets 352
-variants universal portdir devel/libsockets description {C++ Sockets is a C++ wrapper for BSD-style sockets.} homepage http://www.alhem.net/Sockets/ epoch 0 platforms darwin name libsockets depends_lib port:openssl maintainers mww long_description {{C++ Sockets is a C++ wrapper for BSD-style sockets.}} version 2.1.7 categories {devel net} revision 0
</del><ins>+libsockets 363
+variants {universal darwin_8} portdir devel/libsockets description {C++ Sockets is a C++ wrapper for BSD-style sockets.} homepage http://www.alhem.net/Sockets/ epoch 0 platforms darwin name libsockets depends_lib port:openssl maintainers mww long_description {{C++ Sockets is a C++ wrapper for BSD-style sockets.}} version 2.2.2 categories {devel net} revision 0
</ins><span class="cx"> libspiff 369
</span><span class="cx"> variants universal portdir devel/libspiff description {Library for reading and writing XSPF playlists} homepage http://libspiff.sourceforge.net/ epoch 0 platforms darwin name libspiff depends_lib {port:expat port:uriparser} maintainers ed@fxq.nl long_description {{Library for reading and writing XSPF playlists}} version 0.8.0 categories {devel multimedia} revision 0
</span><span class="cx"> libssh 396
</span><span class="lines">@@ -1359,7 +1359,7 @@
</span><span class="cx"> openslp 658
</span><span class="cx"> variants universal portdir devel/openslp description {Open source implementation of SLP} homepage http://www.openslp.org/ epoch 0 platforms darwin name openslp depends_lib port:openssl maintainers nomaintainer long_description {The OpenSLP project is an effort to develop an open-source implementation of Service Location Protocol suitable for commercial and non-commercial application. Service Location Protocol is an IETF standards track protocol that provides a framework to allow networking applications to discover the existence, location, and configuration of networked services in enterprise networks.} version 1.2.1 categories {devel net} revision 0
</span><span class="cx"> openssl 598
</span><del>-variants {universal darwin darwin_6 darwin_8} portdir devel/openssl description {OpenSSL SSL/TLS cryptography library} homepage http://www.openssl.org/ epoch 0 platforms {darwin freebsd} name openssl depends_lib port:zlib maintainers mww long_description {The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a full-strength general purpose cryptography library.} version 0.9.8f categories {devel security} revision 0
</del><ins>+variants {universal darwin darwin_6 darwin_8} portdir devel/openssl description {OpenSSL SSL/TLS cryptography library} homepage http://www.openssl.org/ epoch 0 platforms {darwin freebsd} name openssl depends_lib port:zlib maintainers mww long_description {The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a full-strength general purpose cryptography library.} version 0.9.8g categories {devel security} revision 0
</ins><span class="cx"> openssl97 586
</span><span class="cx"> variants {universal darwin_8} portdir devel/openssl97 description {OpenSSL SSL/TLS cryptography library} homepage http://www.openssl.org/ epoch 0 platforms {darwin freebsd} name openssl97 depends_lib port:zlib maintainers mww long_description {The OpenSSL Project is a collaborative effort to develop a robust, commercial-grade, full-featured, and Open Source toolkit implementing the Secure Sockets Layer (SSL v2/v3) and Transport Layer Security (TLS v1) protocols as well as a full-strength general purpose cryptography library.} version 0.9.7m categories {devel security} revision 0
</span><span class="cx"> opensync 715
</span><span class="lines">@@ -2052,8 +2052,8 @@
</span><span class="cx"> variants universal depends_build port:pkgconfig portdir gnome/gnome-common description {Files that should be in pretty much every GNOME application.} homepage http://www.gnome.org/ epoch 0 platforms darwin name gnome-common long_description {{Files that should be in pretty much every GNOME application.}} maintainers {rhwood openmaintainer} version 2.20.0 categories gnome revision 0
</span><span class="cx"> gnome-control-center 585
</span><span class="cx"> variants {universal darwin} depends_build port:gnome-doc-utils portdir gnome/gnome-control-center description {Control center for GNOME 2.0 project.} homepage http://www.gnome.org/ epoch 0 platforms darwin name gnome-control-center depends_lib {port:iso-codes port:nautilus port:desktop-file-utils port:libgnomekbd port:libxklavier port:gnome-panel port:metacity port:gst-plugins-base port:evolution-data-server port:vte port:dbus port:dbus-glib} long_description {{Control center for GNOME 2.0 project.}} maintainers {rhwood openmaintainer} version 2.20.1 categories gnome revision 0
</span><del>-gnome-desktop 482
-variants universal portdir gnome/gnome-desktop description {Additional UI API for GNOME 2} homepage http://www.gnome.org/ epoch 0 platforms darwin name gnome-desktop depends_lib {port:fribidi port:startup-notification port:gnome-doc-utils port:libgnomeui port:dbus port:dbus-glib} long_description {This is a collection of APIs not included in libgnomeui as they have not undergone sufficient testing.} maintainers {rhwood openmaintainer} version 2.20.0 categories gnome revision 0
</del><ins>+gnome-desktop 496
+variants universal depends_build port:gnome-doc-utils portdir gnome/gnome-desktop description {Additional UI API for GNOME 2} homepage http://www.gnome.org/ epoch 0 platforms darwin name gnome-desktop depends_lib {port:fribidi port:startup-notification port:libgnomeui port:dbus port:dbus-glib} long_description {This is a collection of APIs not included in libgnomeui as they have not undergone sufficient testing.} maintainers {rhwood openmaintainer} version 2.20.1 categories gnome revision 0
</ins><span class="cx"> gnome-desktop-suite 1566
</span><span class="cx"> variants universal description {The GNOME desktop environment} portdir gnome/gnome-desktop-suite homepage http://www.gnome.org/ epoch 0 depends_lib {port:gnome-platform-suite port:bug-buddy port:control-center port:dasher port:eel port:eog port:evince port:evolution-data-server port:file-roller port:gcalctool port:gconf-editor port:gdm port:gedit port:gnome-user-docs port:gnome-applets port:gnome-backgrounds port:gnome-desktop port:gnome-doc-utils port:gnome-games port:gnome-icon-theme port:gnome-keyring port:gnome-keyring-manager port:gnome-mag port:gnome-media port:gnome-menus port:gnome-panel port:gnome-session port:gnome-speech port:gnome-system-monitor port:gnome-terminal port:gnome-themes port:gnome-utils port:gnopernicus port:gst-plugins-good port:gstreamer port:gtk-engines2 port:libgtkhtml3 port:gtksourceview port:gucharmap port:libgail-gnome port:libgnomeprint port:libgnomeprintui port:libgtop port:librsvg port:libsoup port:libwnck port:libxk
 lavier port:metacity port:nautilus port:scrollkeeper port:startup-notification port:system-tools-backends port:vino port:vte port:yelp port:zenity port:gnome-audio port:gnome-python-desktop port:seahorse} name gnome-desktop-suite long_description {The GNOME desktop environment is the set of libraries, applications and services that work as a cohesive integrated user interface produced by the GNOME project. The platform is one of the suites of software packages that form the complete GNOME project offerings.} maintainers {rhwood openmaintainer} categories {gnome devel} version 2.18.1 revision 0
</span><span class="cx"> gnome-doc-utils 785
</span><span class="lines">@@ -2081,7 +2081,7 @@
</span><span class="cx"> gnome-netstatus 439
</span><span class="cx"> variants universal portdir gnome/gnome-netstatus description {The GNOME Network Monitor Applet} homepage http://www.gnome.org/projects/evolution epoch 0 platforms darwin name gnome-netstatus depends_lib {port:evolution-data-server port:libsoup port:gtkhtml3} long_description {The GNOME Network Monitor Applet monitors and reports on your network interfaces.} maintainers {rhwood openmaintainer} version 2.12.1 categories gnome revision 0
</span><span class="cx"> gnome-panel 1019
</span><del>-variants {universal darwin_6} depends_build port:shared-mime-info portdir gnome/gnome-panel description {Panel component for the GNOME 2 Desktop.} homepage http://www.gnome.org/ epoch 0 platforms darwin name gnome-panel depends_lib {port:Xft2 lib:libcairo:cairo lib:libexpat:expat port:fontconfig port:freetype lib:libjpeg:jpeg lib:libiconv:libiconv lib:libpng:libpng port:p5-xml-parser bin:perl:perl5.8 port:xrender port:zlib lib:libtiff:tiff port:popt port:startup-notification port:pkgconfig port:pango port:libxml2 port:libxslt bin:orbit-idl-2:orbit2 port:esound port:audiofile port:glib2 port:gettext port:atk port:gconf port:gnome-doc-utils port:gnome-keyring port:gnome-vfs port:gnome-vfs port:gtk2 port:libart_lgpl port:libbonobo port:libbonoboui port:libgnome port:libgnomecanvas port:libgnomeui port:libwnck port:gnome-menus port:gnome-desktop port:dbus port:dbus-glib} long_description {Panel component for the GNOME 2 Desktop.} maintainers {rhwood openmaintainer} v
 ersion 2.20.0 categories gnome revision 0
</del><ins>+variants {universal darwin_6} depends_build port:shared-mime-info portdir gnome/gnome-panel description {Panel component for the GNOME 2 Desktop.} homepage http://www.gnome.org/ epoch 0 platforms darwin name gnome-panel depends_lib {port:Xft2 lib:libcairo:cairo lib:libexpat:expat port:fontconfig port:freetype lib:libjpeg:jpeg lib:libiconv:libiconv lib:libpng:libpng port:p5-xml-parser bin:perl:perl5.8 port:xrender port:zlib lib:libtiff:tiff port:popt port:startup-notification port:pkgconfig port:pango port:libxml2 port:libxslt bin:orbit-idl-2:orbit2 port:esound port:audiofile port:glib2 port:gettext port:atk port:gconf port:gnome-doc-utils port:gnome-keyring port:gnome-vfs port:gnome-vfs port:gtk2 port:libart_lgpl port:libbonobo port:libbonoboui port:libgnome port:libgnomecanvas port:libgnomeui port:libwnck port:gnome-menus port:gnome-desktop port:dbus port:dbus-glib} long_description {Panel component for the GNOME 2 Desktop.} maintainers {rhwood openmaintainer} ve
 rsion 2.20.1 categories gnome revision 0
</ins><span class="cx"> gnome-photo-print 424
</span><span class="cx"> variants universal portdir gnome/gnome-photo-print description {Gnome Photo Printer is intended for printing photos in an easy way.} homepage http://www.fogman.de/gpp/ epoch 0 platforms darwin name gnome-photo-print depends_lib lib:libgnomeprintui-2-2:libgnomeprintui long_description {{Gnome Photo Printer is intended for printing photos in an easy way.}} maintainers nomaintainer version 0.6.3 categories gnome revision 0
</span><span class="cx"> gnome-pkgview 362
</span><span class="lines">@@ -2283,7 +2283,7 @@
</span><span class="cx"> tsclient 443
</span><span class="cx"> variants universal portdir gnome/tsclient description {A GNOME frontend for rdesktop and other remote desktop tools.} homepage http://www.gnomepro.com/tsclient/ epoch 0 platforms darwin name tsclient depends_lib {lib:libpanelapplet-2:gnome-panel bin:rdesktop:rdesktop bin:vncviewer:vnc} long_description {{A GNOME frontend for rdesktop and other remote desktop tools.}} maintainers nomaintainer version 0.148 categories {gnome net} revision 0
</span><span class="cx"> vino 391
</span><del>-variants universal portdir gnome/vino description {Vino is a VNC server for the current GNOME user} homepage http://www.gnome.org epoch 0 platforms darwin name vino depends_lib {port:libgcrypt port:gnutls port:avahi port:gnome-platform-suite} long_description {{Vino is a VNC server for the current GNOME user}} maintainers {rhwood openmaintainer} version 2.18.1 categories gnome revision 0
</del><ins>+variants universal portdir gnome/vino description {Vino is a VNC server for the current GNOME user} homepage http://www.gnome.org epoch 0 platforms darwin name vino depends_lib {port:libgcrypt port:gnutls port:avahi port:gnome-platform-suite} long_description {{Vino is a VNC server for the current GNOME user}} maintainers {rhwood openmaintainer} version 2.20.1 categories gnome revision 0
</ins><span class="cx"> vte 633
</span><span class="cx"> variants {universal without_python} depends_build {port:p5-xml-parser port:pkgconfig} portdir gnome/vte description {Terminal widget with improved accessibility and I18N support.} homepage http://www.gnome.org/ epoch 0 platforms darwin name vte depends_lib {port:python25 port:py25-gtk port:fontconfig port:freetype port:gettext port:libiconv port:gtk2 port:glib2 port:ncurses port:Xft2 port:pango} long_description {Terminal widget with improved font, internationalisation and accessibility support for the GNOME 2 desktop. Designed to replace libzvt.} maintainers {rhwood openmaintainer} version 0.16.9 categories gnome revision 0
</span><span class="cx"> xchat-gnome 436
</span><span class="lines">@@ -3571,7 +3571,7 @@
</span><span class="cx"> imapcp 520
</span><span class="cx"> variants universal portdir mail/imapcp description {imapcp is a simple tool to copy mailbox accounts} homepage http://www.jplanglois.com/products/imapcp/ epoch 0 depends_run bin:python:python24 platforms darwin name imapcp maintainers nomaintainer long_description {imapcp is a simple tool to copy mailbox accounts. It was used successfully to transfer mailboxes from a Washington University IMAP server to a Courier IMAP server, and from an OpenMail server to a WU IMAP server.} version 0.97 categories mail revision 0
</span><span class="cx"> imapfilter 480
</span><del>-variants {universal darwin_8} portdir mail/imapfilter description {IMAP message processor/filter} homepage http://imapfilter.hellug.gr/ epoch 0 platforms darwin name imapfilter depends_lib {port:lua port:openssl port:pcre} maintainers mww long_description {IMAPFilter connects to remote IMAP mail servers and processes messages according to defined filters (rules). It is intended to be executed before a user accesses his/her mailboxes.} version 2.0.5 categories mail revision 0
</del><ins>+variants {universal darwin_8} portdir mail/imapfilter description {IMAP message processor/filter} homepage http://imapfilter.hellug.gr/ epoch 0 platforms darwin name imapfilter depends_lib {port:lua port:openssl port:pcre} maintainers mww long_description {IMAPFilter connects to remote IMAP mail servers and processes messages according to defined filters (rules). It is intended to be executed before a user accesses his/her mailboxes.} version 2.0.6 categories mail revision 0
</ins><span class="cx"> imapsync 545
</span><span class="cx"> variants universal portdir mail/imapsync description {imapsync is an IMAP synchronization, copy or migration tool.} homepage http://www.linux-france.org/prj/imapsync/ epoch 0 platforms darwin name imapsync depends_lib {port:perl5.8 port:p5-digest-md5 port:p5-mail-imapclient port:p5-term-readkey port:p5-io-socket-ssl} maintainers mww long_description {imapsync is an IMAP synchronization, copy or migration tool. Synchronize mailboxes between two imap servers. It is especially good at IMAP migration.} version 1.223 categories mail revision 0
</span><span class="cx"> isync 578
</span><span class="lines">@@ -3716,8 +3716,8 @@
</span><span class="cx"> variants universal description {command line number converter} portdir math/bcv homepage http://gbarbier.free.fr/prj/dev/#bcv epoch 0 platforms darwin name bcv long_description {Converts number to/from decimal, hex, bin, octal and ascii on the command line.} maintainers nomaintainer categories math version 2.2 revision 0
</span><span class="cx"> blitz 444
</span><span class="cx"> variants {universal darwin_8} description {A C++ class library for scientific computing} portdir math/blitz homepage http://www.oonumerics.org/blitz/ epoch 0 platforms darwin name blitz long_description {Blitz++ is a C++ class library for scientific computing which provides performance on par with Fortran 77/90. It uses template techniques to achieve high performance.} maintainers nomaintainer categories {math devel} version 0.9 revision 0
</span><del>-cadabra 722
-variants {universal texmacs} portdir math/cadabra description {A field theory approach to symbolic computer algebra} homepage http://www.aei.mpg.de/~peekas/cadabra/ epoch 0 platforms darwin name cadabra depends_lib {port:modglue port:pcre port:pcrexx port:gmp port:LiE} maintainers gwright@macports.org long_description {Cadabra is a computer algebra system for the manipulation of what could loosely be called tensorial expressions. It is aimed at, though not necessarily restricted to, theoretical high energy physicists. Because of its target audience, the program's interface, storage system and underlying philosophy differ substantially from other computer algebra systems.} version 0.119 categories math revision 0
</del><ins>+cadabra 740
+variants {universal texmacs no_gui} portdir math/cadabra description {A field theory approach to symbolic computer algebra} homepage http://www.aei.mpg.de/~peekas/cadabra/ epoch 0 platforms darwin name cadabra depends_lib {port:modglue port:pcre port:pcrexx port:gmp port:LiE port:gtkmm} maintainers gwright@macports.org long_description {Cadabra is a computer algebra system for the manipulation of what could loosely be called tensorial expressions. It is aimed at, though not necessarily restricted to, theoretical high energy physicists. Because of its target audience, the program's interface, storage system and underlying philosophy differ substantially from other computer algebra systems.} version 0.123 categories math revision 0
</ins><span class="cx"> calc 813
</span><span class="cx"> variants universal portdir math/calc description {Arbitrary precision calculator} homepage http://www.isthe.com/chongo/tech/comp/calc/ epoch 0 platforms darwin name calc depends_lib {port:readline port:ncurses} maintainers nomaintainer long_description {Calc is an interactive calculator which provides for easy large numeric calculations, but which also can be easily programmed for difficult or long calculations. It can accept a command line argument, in which case it executes that single command and exits. Otherwise, it enters interactive mode. There are a great number of pre-defined functions. The calculator can calculate transcendental functions, and accept and display numbers in real or exponential format. The calculator also knows about complex numbers.} version 2.12.1.8 categories math revision 0
</span><span class="cx"> cln 361
</span><span class="lines">@@ -3765,7 +3765,7 @@
</span><span class="cx"> isabelle 755
</span><span class="cx"> 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 {bin:poly:polyml lib:poly/ML_dbase: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 dem5302@cs.rit.edu categories {lang ml} version 2004 revision 2
</span><span class="cx"> isabelle-devel 797
</span><del>-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-10-18 categories {math lang ml} revision 0
</del><ins>+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-10-21 categories {math lang ml} revision 0
</ins><span class="cx"> itl 720
</span><span class="cx"> variants universal portdir math/itl description {Iterative Template Library (based on MTL)} homepage http://www.osl.iu.edu/research/itl/ epoch 0 platforms darwin name itl depends_lib {port:blitz port:mtl} maintainers nomaintainer long_description {The Iterative Template Library (ITL) is a generic component library that provides iterative methods for solving linear systems. ITL also provides numerious preconditioners which is for MTL. ITL uses the abstract interface of matrix-vector, vector-vector, and vector-scalor operations MTL is default to serve those operations. ITL is able to use other packages such as Blitz++ and BLAS with the same abstract interface provided.} version 4.0.0-1 categories math revision 0
</span><span class="cx"> k3dsurf 474
</span><span class="lines">@@ -3783,7 +3783,7 @@
</span><span class="cx"> lp_solve 520
</span><span class="cx"> variants universal description {Linear Programming Solver} portdir math/lp_solve homepage http://lpsolve.sourceforge.net/5.5/ epoch 0 platforms darwin name lp_solve long_description {Mixed Integer Linear Programming (MILP) solver. lp_solve solves pure linear, (mixed) integer/binary, semi-continuous and special ordered sets (SOS) models. lp_solve is written in ANSI C and can be compiled on many different platforms like Mac OS X, Linux and Windows.} maintainers nomaintainer categories math version 5.5.0.9 revision 0
</span><span class="cx"> mathomatic 494
</span><del>-variants {universal darwin_8} portdir math/mathomatic description {small, portable symbolic math program} homepage http://mathomatic.orgserve.de/math/ epoch 0 platforms darwin name mathomatic depends_lib port:readline maintainers mww long_description {Mathomatic is a small, portable symbolic math program that can automatically solve, simplify, differentiate, combine, and compare algebraic equations, perform polynomial and complex arithmetic, etc.} version 12.7.7 categories math revision 0
</del><ins>+variants {universal darwin_8} portdir math/mathomatic description {small, portable symbolic math program} homepage http://mathomatic.orgserve.de/math/ epoch 0 platforms darwin name mathomatic depends_lib port:readline maintainers mww long_description {Mathomatic is a small, portable symbolic math program that can automatically solve, simplify, differentiate, combine, and compare algebraic equations, perform polynomial and complex arithmetic, etc.} version 12.7.8 categories math revision 0
</ins><span class="cx"> maxima 703
</span><span class="cx"> variants {universal clisp test printable_doc} portdir math/maxima description {The Maxima computer algebra system} homepage http://maxima.sourceforge.net/ epoch 0 depends_run {port:sbcl bin:wish:tk} platforms darwin name maxima maintainers nomaintainer long_description {The Maxima computer algebra system is a descendant of DOE Macsyma, a version of MIT's Macsyma whose development was supported by the U.S. Department of Energy. Through the effort of the late William Shelter of the University of Texas, it was released under the GNU General Public License. It is one of the more comprehensive and powerful computer algebra systems available as open source.} version 5.13.0 categories math revision 0
</span><span class="cx"> metis 621
</span><span class="lines">@@ -4439,7 +4439,7 @@
</span><span class="cx"> tcp_wrappers 683
</span><span class="cx"> variants {universal sunos suncc} description {Security wrappers for TCP services} portdir net/tcp_wrappers homepage ftp://ftp.porcupine.org/pub/security/ epoch 0 platforms sunos name tcp_wrappers long_description {TCP Wrappers provides tiny daemon wrapper programs that can be installed without any changes to existing software or to existing configuration files. The wrappers report the name of the client host and of the requested {service;} the wrappers do not exchange information with the client or server applications, and impose no overhead on the actual conversation between the client and server applications.} maintainers nomaintainer categories net version 7.6 revision 1
</span><span class="cx"> tcpdump 361
</span><del>-variants {universal ipv6 smb} portdir net/tcpdump description {dump traffic on a network} homepage http://www.tcpdump.org/ epoch 0 platforms darwin name tcpdump depends_lib port:libpcap maintainers {mww openmaintainer} long_description {tcpdump is a tool for network monitoring, protocol debugging and data acquisition.} version 3.9.7 categories net revision 0
</del><ins>+variants {universal ipv6 smb} portdir net/tcpdump description {dump traffic on a network} homepage http://www.tcpdump.org/ epoch 0 platforms darwin name tcpdump depends_lib port:libpcap maintainers {mww openmaintainer} long_description {tcpdump is a tool for network monitoring, protocol debugging and data acquisition.} version 3.9.8 categories net revision 0
</ins><span class="cx"> tcpflow 886
</span><span class="cx"> variants {universal darwin} portdir net/tcpflow description {TCP flow recorder} homepage http://www.circlemud.org/~jelson/software/tcpflow/ epoch 0 platforms {darwin freebsd} name tcpflow depends_lib lib:libpcap:libpcap maintainers nomaintainer long_description {tcpflow is a program that captures data transmitted as part of TCP connections (flows), and stores the data in a way that is convenient for protocol analysis or debugging. A program like tcpdump(4) shows a summary of packets seen on the wire, but usually doesn't store the data that's actually being transmitted. In contrast, tcpflow reconstructs the actual data streams and stores each flow in a separate file for later analysis. tcpflow understands TCP sequence numbers and will correctly reconstruct data streams regardless of retransmissions or out-of-order delivery.} version 0.21 categories {net security} revision 1
</span><span class="cx"> tcpick 1017
</span><span class="lines">@@ -4852,8 +4852,8 @@
</span><span class="cx"> variants {universal postgresql7 postgresql80 postgresql81} portdir perl/p5-dbd-pg description {Perl DBI module to provide access to PostgreSQL databases} homepage http://search.cpan.org/dist/DBD-Pg/ epoch 0 platforms darwin name p5-dbd-pg depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:postgresql82 port:openssl port:p5-dbi} maintainers narf_tm@macports.org long_description {DBD::Pg is a Perl module which works with the DBI module to provide access to PostgreSQL databases} version 1.49 categories {perl databases} revision 0
</span><span class="cx"> p5-dbd-sqlite 366
</span><span class="cx"> variants universal portdir perl/p5-dbd-sqlite description {perl dbd interface to SQLite} homepage http://search.cpan.org/dist/DBD-SQLite/ epoch 0 platforms darwin name p5-dbd-sqlite depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:p5-dbi} maintainers narf_tm@macports.org long_description {{perl dbd interface to SQLite}} version 1.14 categories perl revision 0
</span><del>-p5-dbi 656
-variants universal portdir perl/p5-dbi description {Abstract database access module for Perl} homepage http://dbi.perl.org/ epoch 0 platforms darwin name p5-dbi depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:p5-scalar-list-utils port:p5-test-simple} maintainers narf_tm@macports.org long_description {The DBI module enables your Perl applications to access multiple database types transparently. You can connect to MySQL, MSSQL, Oracle, Informix, Sybase, ODBC etc. without having to know the different underlying interfaces of each. The API defined by DBI will work on all these database types and many more.} version 1.59 categories perl revision 0
</del><ins>+p5-dbi 657
+variants universal portdir perl/p5-dbi description {Abstract database access module for Perl} homepage http://dbi.perl.org/ epoch 0 platforms darwin name p5-dbi depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:p5-scalar-list-utils port:p5-test-simple} maintainers narf_tm@macports.org long_description {The DBI module enables your Perl applications to access multiple database types transparently. You can connect to MySQL, MSSQL, Oracle, Informix, Sybase, ODBC etc. without having to know the different underlying interfaces of each. The API defined by DBI will work on all these database types and many more.} version 1.601 categories perl revision 0
</ins><span class="cx"> p5-dbix-class 775
</span><span class="cx"> variants universal portdir perl/p5-dbix-class description {Extensible and flexible object &lt;-&gt; relational mapper.} homepage http://search.cpan.org/dist/DBIx-Class/ epoch 0 platforms darwin name p5-dbix-class depends_lib {{path:\${prefix}/bin/perl:perl5.8} port:p5-carp-clan port:p5-class-accessor-grouped port:p5-class-c3 port:p5-class-c3-componentised port:p5-class-inspector port:p5-dbi port:p5-data-page port:p5-json port:p5-module-find port:p5-sql-abstract port:p5-sql-abstract-limit port:p5-scalar-list-utils port:p5-scope-guard port:p5-class-trigger port:p5-dbd-sqlite port:p5-dbix-contextualfetch port:p5-test-simple} maintainers narf_tm@macports.org long_description {{Extensible and flexible object &lt;-&gt; relational mapper.}} version 0.08007 categories perl revision 0
</span><span class="cx"> p5-dbix-class-schema-loader 865
</span></span></pre>
</div>
</div>

</body>
</html>