Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at
* Package name: run
Version : 1.4
Upstream Author : Armin Biere bi...@jku.at and Toni Jussila
* URL : http://fmv.jku.at/run/
* License : BSD
Programming Lang: C
Description
On pe, 2011-02-18 at 18:30 +0100, Thomas Krennwallner wrote:
Package: wnpp
Severity: wishlist
Owner: Thomas Krennwallner tk...@kr.tuwien.ac.at
* Package name: run
Version : 1.4
Upstream Author : Armin Biere bi...@jku.at and Toni Jussila
* URL :
2 matches
Mail list logo