jgrapht stable port information

Package: jgrapht
Version: 0.7.0
Revision: 1
License: LGPL
Description: Java graph library
Homepage: http://jgrapht.sourceforge.net/
Maintainer: Trevor Harmon

Type: java(1.5)

Source: mirror:sourceforge:%n/%n-%v.tar.gz
Source-MD5: 9241b48feb3cebe40fed6688b265c424

Depends: system-java (>= 1.5)
BuildDepends: system-java-dev (>= 1.5), ant-base

CompileScript: ant jar javadoc

InstallScript: <<
# Copy the JavaDocs
mkdir -p %i/share/doc/%n/javadoc
cp -R javadoc/* %i/share/doc/%n/javadoc

<<

JarFiles: jgrapht-jdk1.5.jar:%n.jar

DocFiles: license-LGPL.txt README.html

DescDetail: <<
JGraphT is a free Java graph library that provides mathematical graph-theory
objects and algorithms. JGraphT supports various types of graphs including:

* directed and undirected graphs.
* graphs with weighted / unweighted / labeled or any user-defined edges.
* various edge multiplicity options, including: simple-graphs, multigraphs,
pseudographs.
* unmodifiable graphs - allow modules to provide "read-only" access to internal
graphs.
* listenable graphs - allow external listeners to track modification events.
* subgraphs graphs that are auto-updating subgraph views on other graphs.
* all compositions of above graphs.

Although powerful, JGraphT is designed to be simple and type-safe (via Java 5
generics). For example, graph vertices can be of any objects. You can create
graphs based on: Strings, URLs, XML documents, etc; you can even create graphs
of graphs!
<<