Bug#603416: ITP: ofmc -- Open-source Fixedpoint Model Checker

Package: wnpp Severity: wishlist Owner: Morten Sørensen * Package name: ofmc * Version : 2009c * Upstream Author : Sebastian Mödersheim * URL : http://www.avantssar.eu/index.php?option=com_content&task=view&id=7&Itemid=32 * License : BSD st

Bug#492264: Status update?

Hello Is there any updates on this package yet? It is over half a year ago since Hideki Yamane came up with a port from the Ubuntu package, so I was wondering if that (or an updated) version was going to be released anytime soon? I have a package which depends on it, so I would like to see it out

Bug#599130: javahelper: Support for renaming symlinks in jh_linkjars

Package: javahelper Version: 0.32 Severity: wishlist This feature could be useful for when a newer version of some library is used instead of the version distributed with the library or program. In some cases it might even remove patches needed to solve this case. Possible syntax for debian/linkj

Bug#590699: antlr3: Add ant task

Package: antlr3 Version: 3.2-4 Severity: wishlist Hello Would it be possible to add the ant task to the antlr3 package? Download link: http://www.antlr.org/share/1169924912745/antlr3-task.zip //Morten -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "un

Bug#589768: ITP: libtableformatter-java - Java library to print text in tabulated form

Package: wnpp Severity: wishlist Owner: Morten Sørensen * Package name : libtableformatter-java * Version : 0.96.0 * Upstream Author : David Farrell * URL : http://trac.inamik.com/trac/jtable_format/ * License : GPLv2 * Programming Lang

Bug#571034: ITP: libsvnant-java - Svn tasks for ant

Package: wnpp Severity: wishlist Owner: Morten Sørensen * Package name : libsvnant-java * Version : 1.3.0 * Upstream Author : Apache Software Foundation * URL : http://subclipse.tigris.org/svnant.html * License : Apache, v1.1 * Programming

Bug#563123: ITP: libsqljet-java - Java implementation for using SQLite databases

Package: wnpp Severity: wishlist Owner: Morten Sørensen * Package name : libsqljet-java * Version : 1.0.1 * Upstream Author : Sergey Scherbina * URL : http://sqljet.com/ * License : GPL-2 * Programming Lang : Java * Description

Bug#559076: ITP: libtggraphlayer-java - graph visualization library

Package: wnpp Severity: wishlist Owner: Morten Sørensen * Package name : libtggraphlayer-java * Version : 122 * Upstream Author: a...@touchgraph.com * URL : http://sourceforge.net/projects/touchgraph/ * License : TG-Apache

Bug#492264: Update on libnb-svnclientadapter-java

Hi Are there any news on libnb-svnclientadapter-java? I am trying to pack a new version of jgrapht which depends on it. -- Morten -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org

Bug#544637: Any news on jopt-simple?

block 557071 with 544637 thanks Hi Samuel How is it going with jopt-simple? I'm trying to pack stanse which depends on it. -- Morten -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org