[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

RFS: stanse

Dear mentors,

I am looking for a sponsor for my package "stanse".

* Package name    : stanse
  Version         : 1.1.2-1
  Upstream Author : Jan Obdržálek <obda@mail.muni.cz> (project leader)
* URL             : http://stanse.fi.muni.cz
* License         : GPLv2
  Section         : java

It builds these binary packages:
stanse     - Error-finding tool based on static analysis
stanse-doc - Javadoc generated API for stanse

The package appears to be lintian clean.

The upload would fix these bugs: 557071

Note: This package depends on libtableformatter-java, which is also on mentors.

My motivation for maintaining this package is: This prorgam is used in
different courses at my university to check our source.

The package can be found on mentors.debian.net:
- URL: http://mentors.debian.net/debian/pool/main/s/stanse
- Source repository: deb-src http://mentors.debian.net/debian unstable
main contrib non-free
- dget http://mentors.debian.net/debian/pool/main/s/stanse/stanse_1.1.2-1.dsc

I would be glad if someone uploaded this package for me.

Kind regards
 Morten Christian Sørensen

Reply to: