Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner
* Package name: depqbf
Version : 0.1
Upstream Author : Florian Lonsing
* URL : http://fmv.jku.at/depqbf/
* License : GPL
Programming Lang: C
Description : solver for quantified boolean
Dear Raphael,
On Wed May 25, 2011 12:02:23PM +0200, Raphael Hertzog wrote:
> Hi,
>
> On Sun, 06 Mar 2011, Thomas Krennwallner wrote:
> > * Package name: bool2cnf
> > Version : 20110304
> > Upstream Author : Tatsuhiro Tsuchiya
> > * URL
rs would prefer to sponsor it.
I have re-uploaded the package now and converted copyright to DEP-5 and
fixed a missing DEP-3 header in runlim-renaming.patch:
http://mentors.debian.net/debian/pool/main/r/runlim/
thx and cheers,
TK
--
Thomas Krennwallner
University assistant
.
TU Wien - Vienna Univer
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner
* Package name: bool2cnf
Version : 20110304
Upstream Author : Tatsuhiro Tsuchiya
* URL :
http://www-ise4.ist.osaka-u.ac.jp/~t-tutiya/sources/bool2cnf/
* License : BSD
Programming Lang: C
s discussed with upstream, future versions of "run"
will be called "runlim". mentors.d.n has runlim 1.4-4 up for grabs,
which is run 1.4 + renaming of the binary/manpage and changing the
output to use "runlim" instead of "run":
http://mentors.debian.net/debian/p
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner
* Package name: run
Version : 1.4
Upstream Author : Armin Biere and Toni Jussila
* URL : http://fmv.jku.at/run/
* License : BSD
Programming Lang: C
Description : tool for sampling time and
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner
* Package name: gringo
Version : 3.0.3
Upstream Author : Potassco team
* URL : http://www.cs.uni-potsdam.de/gringo/
* License : GPL
Programming Lang: C++
Description : An lparse-compatible
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner
* Package name: coala
Version : 1.0.1
Upstream Author : Torsten Grote
* URL : http://www.cs.uni-potsdam.de/~tgrote/coala/
* License : GPL
Programming Lang: C++
Description : translates
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner
* Package name: clasp
Version : 1.3.6
Upstream Author : Benjamin Kaufmann
* URL : http://www.cs.uni-potsdam.de/clasp/
* License : GPL
Programming Lang: C++
Description : A conflict-driven
Package: wnpp
Severity: wishlist
* Package name: achievo
Version : 1.0.4
Upstream Author : Ivo Jansch <[EMAIL PROTECTED]>
* URL : http://www.achievo.org/
* License : GPL
Description : web-based resource management tool for business environments
Achievo is
Package: wnpp
Severity: wishlist
* Package name: geximon
Version : 0.7
Upstream Author : Gintautas Miliauskas <[EMAIL PROTECTED]>
* URL : http://pov.lt/geximon
* License : GPL
Description : exim MTA monitor
Geximon is a monitor for the exim mail server. I
Package: wnpp
Version: unavailable; reported 2003-08-09
Severity: wishlist
* Package name: yammi
Version : 0.8.2
Upstream Author : Oliver Nölle <[EMAIL PROTECTED]>
* URL : http://yammi.sourceforge.net/
* License : GPL
Description : Fastest and easiest acc
Package: wnpp
Version: unavailable; reported 2003-06-01
Severity: wishlist
* Package name: ilias
Version : 2.3.6
Upstream Author : ILIAS open source team <[EMAIL PROTECTED]>
* URL : http://www.ilias.uni-koeln.de/ios/index-e.html
* License : GPL
Description
Package: wnpp
Version: N/A; reported 2003-04-25
Severity: wishlist
* Package name: xfe
Version : 0.54
Upstream Author : Roland Baudin <[EMAIL PROTECTED]>
* URL : http://sourceforge.net/projects/xfe
* License : GPL
Description : X File Explorer
X File Expl
Package: wnpp
Version: N/A; reported 2003-04-21
Severity: wishlist
* Package name: petidomo
Version : 4.0b1
Upstream Author : Peter Simons <[EMAIL PROTECTED]>
* URL : http://www.ossp.org/pkg/tool/petidomo/
* License : GPL
Description : Mailing List Manager
Package: wnpp
Version: N/A; reported 2003-04-07
Severity: wishlist
* Package name: lcwa
Version : 1.0.0
Upstream Author : Ralf S. Engelschall <[EMAIL PROTECTED]>
* URL : http://www.engelschall.com/sw/lcwa/
* License : GPL
Description : Latest Changes Web A
Package: wnpp
Version: N/A; reported 2003-01-05
Severity: wishlist
* Package name: libsdl-gfx
Version : 2.0.3
Upstream Author : Andreas Schiffler <[EMAIL PROTECTED]>
* URL : http://www.ferzkopp.net/Software/SDL_gfx-2.0/index.html
* License : LGPL
Description
Package: wnpp
Version: N/A; reported 2002-12-31
Severity: wishlist
* Package name: libsdl-ttf2.0
Version : 2.0.5
Upstream Author : Sam Lantinga <[EMAIL PROTECTED]>
* URL : http://www.libsdl.org/projects/SDL_ttf/
* License : LGPL
Description : ttf library f
Package: wnpp
Version: N/A; reported 2002-12-30
Severity: wishlist
* Package name: khdrecord
Version : 7.4
Upstream Author : Peter Jodda <[EMAIL PROTECTED]>
* URL : http://software.jodda.de/record.html
* License : GPL
Description : A QT audio harddisk reco
19 matches
Mail list logo