Bug#613986: ITP: run -- tool for sampling time and memory usage

2011-02-18 Thread Lars Wirzenius
On pe, 2011-02-18 at 18:30 +0100, Thomas Krennwallner wrote: > 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

Bug#613986: ITP: run -- tool for sampling time and memory usage

2011-02-18 Thread Thomas Krennwallner
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 me